tfp-0.5: Type-level programming library using type families

Safe HaskellNone

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