Data.HList.ContainsType

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

Documentation

class ContainsType a c where

Minimal complete definition

setHListElem, getHListElem

Methods

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

getHListElem :: HList c -> a

Instances

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

Methods

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

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

ContainsType a ((:) * a xs)

Methods

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

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