| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.HList.ContainsType
Description
Class to provide type-driven access to elements of a HList
Synopsis
- class ContainsType a c where
Documentation
class ContainsType a c where #
for get/put of a value in a HList, with type-directed lookup.
Minimal complete definition
Instances
| ContainsType a xs => ContainsType a (x ': xs) # | |
Defined in Data.HList.ContainsType Methods setHListElem :: a -> HList (x ': xs) -> HList (x ': xs) # getHListElem :: HList (x ': xs) -> a # | |
| ContainsType a (a ': xs) # | |
Defined in Data.HList.ContainsType Methods setHListElem :: a -> HList (a ': xs) -> HList (a ': xs) # getHListElem :: HList (a ': xs) -> a # | |