Data.HList.ContainsType

Class to provide type-driven access to elements of a HList

Documentation

class ContainsType a c where

for get/put of a value in a HList, with type-directed lookup.

Methods

setHListElem :: a -> HList c -> HList c

getHListElem :: HList c -> a

Instances

ContainsType a xs => ContainsType a (x ': xs)

Defined in Data.HList.ContainsType

Methods

setHListElem :: a -> HList (x ': xs) -> HList (x ': xs)

getHListElem :: HList (x ': xs) -> a

ContainsType a (a ': xs)

Defined in Data.HList.ContainsType

Methods

setHListElem :: a -> HList (a ': xs) -> HList (a ': xs)

getHListElem :: HList (a ': xs) -> a