APIRequest型クラス

[Cj-bc]

概要

型クラスを使う事で、明示的に各API用のRequestを作らなくてよくなる（伝われ）

実装例

class APIRequest a where
    defaultRequest :: a
    -- Create APIRequest with minimum requirement
    fromMinimum :: String -> a

メリット

• いちいち各APIのモジュールをqualified importしてUN.APIRequest ...としなくて済むようになる

課題

• fromMinimumの型が決まらない
• fromUserIDなどとしたいが、 userIDを使用しないAPIもあるので悩ましい

[Cj-bc]

class APIRequest a => FromUserId a where
  fromUserId :: UserId -> a

class APIRequest a => FromNoteId a where
  fromUserId :: NoteId -> a

みたいに作る？？

[Cj-bc]

思ったんですが、なんか「aがこの型の場合はbをこの型に固定する」みたいな仕様ありませんでしたっけ。
a | a -> bみたいな（覚えてないので調べること）

もしあるとすれば、APIRequest型クラスの型引数を増やして（ghc拡張にはなる）対応できるかも。
でも果たしてそれが良い手なのかはわからない

[Cj-bc]

Data families若しくはtype familyでできそう

https://qiita.com/lotz/items/6c038698c8f04f57113a

[Cj-bc]

class APIRequest a where
    _id :: Text -> Maybe a
    _id = Nothing

    sinceId :: Id -> Maybe a
    sinceId _ = Nothing

    untilId :: Id -> Maybe a
    untilId _ = Nothing

    ...

などと全ての「引数にとりうるもの」からAPIRequestを実装している型を作り出すクラスにすると楽かも？

[Cj-bc]

Lensでよくないですか？？？？？？