multistate-0.7.1.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

Documentation

class ContainsType a c where Source #

Minimal complete definition

setHListElem, getHListElem

Methods

setHListElem :: a -> HList c -> HList c Source #

getHListElem :: HList c -> a Source #

Instances

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

Methods

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

getHListElem :: HList ((* ': 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 #