data-type-0.1.0: Basic type wrangling types and classes

Data.Type.TList

Documentation

data TNil Source

Constructors

Instances

Apply (Member TNil) a TFalse

data a :*: b Source

Constructors

a :*: b

Instances

(TypeEq h a b1, Apply (Member t) a b2, TOr b1 b2 b) => Apply (Member (:*: h t)) a b