multistate-0.8.0.2: like mtl's ReaderT / WriterT / StateT, but more than one contained value/type.

Safe HaskellSafe
LanguageHaskell2010

Data.HList.ContainsType

Description

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

Synopsis

Documentation

class ContainsType a c where Source #

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 Source #

getHListElem :: HList c -> a Source #

Instances

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

Methods

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

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

ContainsType a ((:) * a xs) Source # 

Methods

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

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