tfp-1.0.1: 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 # 
Instance details

Defined in Type.Data.List

Methods

showsPrec :: Int -> Cons car cdr -> ShowS #

show :: Cons car cdr -> String #

showList :: [Cons car cdr] -> ShowS #

type Tail (Cons _car cdr) Source # 
Instance details

Defined in Type.Data.List

type Tail (Cons _car cdr) = cdr
type Head (Cons car _cdr) Source # 
Instance details

Defined in Type.Data.List

type Head (Cons car _cdr) = car
type IsNull (Cons _car _cdr) Source # 
Instance details

Defined in Type.Data.List

type IsNull (Cons _car _cdr) = False
type Append (Cons car1 cdr2) l2 Source # 
Instance details

Defined in Type.Data.List

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

data Null Source #

Instances
Show Null Source # 
Instance details

Defined in Type.Data.List

Methods

showsPrec :: Int -> Null -> ShowS #

show :: Null -> String #

showList :: [Null] -> ShowS #

type IsNull Null Source # 
Instance details

Defined in Type.Data.List

type Append Null l2 Source # 
Instance details

Defined in Type.Data.List

type Append Null l2 = l2

type family IsNull l Source #

Instances
type IsNull Null Source # 
Instance details

Defined in Type.Data.List

type IsNull (Cons _car _cdr) Source # 
Instance details

Defined in Type.Data.List

type IsNull (Cons _car _cdr) = False

type family Head l Source #

Instances
type Head (Cons car _cdr) Source # 
Instance details

Defined in Type.Data.List

type Head (Cons car _cdr) = car

type family Tail l Source #

Instances
type Tail (Cons _car cdr) Source # 
Instance details

Defined in Type.Data.List

type Tail (Cons _car cdr) = cdr

type family Reverse l Source #

Instances
type Reverse l Source # 
Instance details

Defined in Type.Data.List

type Reverse l

type family Append l1 l2 Source #

Instances
type Append Null l2 Source # 
Instance details

Defined in Type.Data.List

type Append Null l2 = l2
type Append (Cons car1 cdr2) l2 Source # 
Instance details

Defined in Type.Data.List

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