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

Safe HaskellNone
LanguageHaskell2010

Data.HList.ContainsType

Description

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

Documentation

class ContainsType a c where Source

Methods

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

getHListElem :: HList c -> a Source

Instances

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