Test.Syd.HList

Documentation

data HList (r :: [Type]) where

Constructors

HNil :: HList '[]

HCons :: e -> HList l -> HList (e ': l)

Instances

HContains l (HList l)

Defined in Test.Syd.HList

Methods

getElem :: HList l -> HList l

class HContains (l :: [Type]) a where

Methods

getElem :: HList l -> a

Instances

HContains l (HList l)

Defined in Test.Syd.HList

Methods

getElem :: HList l -> HList l

HContains ('[] :: [Type]) ()

Defined in Test.Syd.HList

Methods

getElem :: HList '[] -> ()

HContains '[a] a

Defined in Test.Syd.HList

Methods

getElem :: HList '[a] -> a

HContains (a ': l) a

Defined in Test.Syd.HList

Methods

getElem :: HList (a ': l) -> a

HContains l a => HContains (b ': l) a

Defined in Test.Syd.HList

Methods

getElem :: HList (b ': l) -> a