Data.Type.Member

Documentation

data Member s

Instances

TypeEq s a b => Apply (Member s) a b

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

Apply (Member TNil) a TFalse

member :: Member s

mNil :: Member TNil

mUnit :: a -> Member a

mCons :: Member a -> Member b -> Member (a :*: b)