sydtest-0.13.0.4: A modern testing framework for Haskell with good defaults and advanced testing features.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Syd.HList

Documentation

data HList (r :: [Type]) where Source #

Constructors

HNil :: HList '[] 
HCons :: e -> HList l -> HList (e ': l) 

Instances

Instances details
HContains l (HList l) Source # 
Instance details

Defined in Test.Syd.HList

Methods

getElem :: HList l -> HList l Source #

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

Methods

getElem :: HList l -> a Source #

Instances

Instances details
HContains l (HList l) Source # 
Instance details

Defined in Test.Syd.HList

Methods

getElem :: HList l -> HList l Source #

HContains ('[] :: [Type]) () Source # 
Instance details

Defined in Test.Syd.HList

Methods

getElem :: HList '[] -> () Source #

HContains '[a] a Source # 
Instance details

Defined in Test.Syd.HList

Methods

getElem :: HList '[a] -> a Source #

HContains (a ': l) a Source # 
Instance details

Defined in Test.Syd.HList

Methods

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

HContains l a => HContains (b ': l) a Source # 
Instance details

Defined in Test.Syd.HList

Methods

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