Data.Extensible.Class

Class

class Extensible f p t

piece

pieceAssoc

itemAt

item

itemAssoc

Membership

data Membership xs x

mkMembership

Member

class Member xs x

remember

type x xs

type family FindType (x :: k) (xs :: [k]) :: [Nat] where ...

Generation

class Generate xs

class Forall c xs

type family ForallF (c :: k -> Constraint) (xs :: [k]) :: Constraint where ...

Association

data Assoc k v

type (>:)

class Associate k v xs

type family FindAssoc (key :: k) (xs :: [Assoc k v]) where ...

Sugar

type family Elaborate (key :: k) (xs :: [v]) :: Elaborated k v where ...

data Elaborated k v