Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
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
Instances
ContainsType a xs => ContainsType a ((:) * x xs) Source # | |
ContainsType a ((:) * a xs) Source # | |