Documentation

data TIC l Source

mkTIC :: (HTypeIndexed l, HTypeProxied l, HOccurs (Proxy i) l, Typeable i) => i -> TIC lSource

unTIC :: (HTypeIndexed l, HTypeProxied l, HOccurs (Proxy o) l, Typeable o) => TIC l -> Maybe oSource

class HTypeProxied l Source