mgeneric-0.0.0.1: Generics with multiple parameters
Data.HList
data HList as where Source
Constructors
class HNth as n where Source
Methods
hnth :: HList as -> Proxy n -> as :!: n Source
Instances
type family Map f as Source
Equations
class HMap as f g where Source
hmap :: Proxy as -> (forall i. f i -> g i) -> HList (Map f as) -> HList (Map g as) Source
class HLookup n as where Source
hlookup :: Proxy n -> Proxy as -> HList as -> as :!: n Source