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

Safe Haskell	Safe
Language	Haskell2010

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 IsNull Null = True
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 Null = True
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)