HList-0.3.0: Heterogeneous lists

Safe HaskellNone

Data.HList.TIC

Description

The HList library

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

Type-indexed co-products.

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

Synopsis

Documentation

newtype TIC l Source

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 lSource

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

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

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