Data.HList.TIC
Description
The HList library
(C) 2004, Oleg Kiselyov, Ralf Laemmel, Keean Schupke
Type-indexed co-products.
- data TIC l = TIC Dynamic
- mkTIC :: (HTypeIndexed l, HTypeProxied l, HOccurs (Proxy i) l, Typeable i) => i -> TIC l
- unTIC :: (HTypeIndexed l, HTypeProxied l, HOccurs (Proxy o) l, Typeable o) => TIC l -> Maybe o
- class HTypeProxied l
Documentation
A datatype for type-indexed co-products
mkTIC :: (HTypeIndexed l, HTypeProxied l, HOccurs (Proxy i) l, Typeable i) => i -> TIC lSource
Public constructor
unTIC :: (HTypeIndexed l, HTypeProxied l, HOccurs (Proxy o) l, Typeable o) => TIC l -> Maybe oSource
Public destructor
class HTypeProxied l Source
A type-indexed type sequence that is a sequence of proxy types
Instances
| HTypeProxied HNil | |
| HTypeProxied l => HTypeProxied (HCons (Proxy e) l) |