tfp-0.8: Type-level integers, booleans, lists using type families

Safe HaskellSafe-Inferred

Types.Data.List

Documentation

data Cons car cdr Source

Instances

Typeable2 Cons 
(Show car, Show cdr) => Show (Cons car cdr) 

data Null Source

Instances

type family IsNull l Source

type family Head l Source

type family Tail l Source

type family Reverse l Source

type family Append l1 l2 Source