mgeneric-0.0.0.0: Generics with multiple parameters

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.HList

Documentation

data HList as where Source

Constructors

HNil :: HList [] 
HCons :: a -> HList as -> HList (a : as) infixr 6 

class HNth as n where Source

Methods

hnth :: HList as -> Proxy n -> as :!: n Source

Instances

HNth ((:) * a as) NZ 
HNth as n => HNth ((:) * b as) (NS n)