Data.HList.TIC

The HList library

(C) 2004, Oleg Kiselyov, Ralf Laemmel, Keean Schupke

Type-indexed co-products.

(There are other ways: see ConsUnion.hs, for example)

Documentation

newtype TIC l

A datatype for type-indexed co-products

Constructors

TIC Dynamic

Instances

Show (TIC l)

TICs are opaque

mkTIC :: (HTypeIndexed l, HMember i l True, Typeable i) => i -> TIC l

Public constructor (or, open union's injection function)

unTIC :: (HTypeIndexed l, HMember o l True, Typeable o) => TIC l -> Maybe o

Public destructor (or, open union's projection function)