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

Safe HaskellSafe
LanguageHaskell2010

Type.Data.List

Documentation

data Cons car cdr Source

Instances

(Show car, Show cdr) => Show (Cons car cdr) Source 
type Tail (Cons _car cdr) = cdr Source 
type Head (Cons car _cdr) = car Source 
type IsNull (Cons _car _cdr) = False Source 
type Append (Cons car1 cdr2) l2 = Cons car1 (Append cdr2 l2) Source 

data Null Source

Instances

type family IsNull l Source

Instances

type IsNull Null = True Source 
type IsNull (Cons _car _cdr) = False Source 

type family Head l Source

Instances

type Head (Cons car _cdr) = car Source 

type family Tail l Source

Instances

type Tail (Cons _car cdr) = cdr Source 

type family Reverse l Source

Instances

type Reverse l Source 

type family Append l1 l2 Source

Instances

type Append Null l2 = l2 Source 
type Append (Cons car1 cdr2) l2 = Cons car1 (Append cdr2 l2) Source