generated at
2/18/2025, 12:31:12 PM
Indexable型クラス
from
Representable型クラス
Indexable型クラス
https://hackage.haskell.org/package/keys-3.0.4/docs/Data-Key.html#t:Indexable
Keyed型クラス
,
Lookup型クラス
を継承
hs
class Lookup f => Indexable f where index :: f a -> Key f -> a