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.

Minimal complete definition

setHListElem, getHListElem

Methods

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

getHListElem :: HList c -> a

Instances

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

Methods

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

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

ContainsType a ((:) * a xs)

Methods

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

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