Data.HList.TIC

Documentation

data TIC l

Constructors

TIC Dynamic

Instances

Show (TIC l)

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

Instances

HTypeProxied HNil

HTypeProxied l => HTypeProxied (HCons (Proxy e) l)