Type.Data.List

Documentation

data Cons car cdr

Instances

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

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)

Defined in Type.Data.List

type Tail (Cons _car cdr) = cdr

type Head (Cons car _cdr)

Defined in Type.Data.List

type Head (Cons car _cdr) = car

type IsNull (Cons _car _cdr)

Defined in Type.Data.List

type IsNull (Cons _car _cdr) = False

type Append (Cons car1 cdr2) l2

Defined in Type.Data.List

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

data Null

Instances

Show Null

Defined in Type.Data.List

Methods

showsPrec :: Int -> Null -> ShowS

show :: Null -> String

showList :: [Null] -> ShowS

type IsNull Null

Defined in Type.Data.List

type IsNull Null = True

type Append Null l2

Defined in Type.Data.List

type Append Null l2 = l2

type family IsNull l

Instances

type IsNull Null

Defined in Type.Data.List

type IsNull Null = True

type IsNull (Cons _car _cdr)

Defined in Type.Data.List

type IsNull (Cons _car _cdr) = False

type family Head l

Instances

type Head (Cons car _cdr)

Defined in Type.Data.List

type Head (Cons car _cdr) = car

type family Tail l

Instances

type Tail (Cons _car cdr)

Defined in Type.Data.List

type Tail (Cons _car cdr) = cdr

type family Reverse l

Instances

type Reverse l

Defined in Type.Data.List

type Reverse l

type family Append l1 l2

Instances

type Append Null l2

Defined in Type.Data.List

type Append Null l2 = l2

type Append (Cons car1 cdr2) l2

Defined in Type.Data.List

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