Module

# Type.Data.List

- Package
- purescript-typelevel-lists
- Repository
- PureFunctor/purescript-typelevel-lists

Type-level heterogenous list of kinds for PureScript

### #Cons' Source

`data Cons' :: forall k. k -> List' k -> List' k`

Prepends an item to a `List'`

, creating a new `List'`

.

#### Instances

`IsMember x (Cons' x xs) True`

`(IsMember x ys r) => IsMember x (Cons' y ys) r`

`(Concat xs ys zs) => Concat (Cons' x xs) ys (Cons' x zs)`

`IsEmpty (Cons' x xs) False`

`(Init' z zs ws) => Init' y (Cons' z zs) (Cons' y ws)`

`(Init' x xs ys) => Init (Cons' x xs) ys`

`Last (Cons' x Nil') x`

`(Last xs ys) => Last (Cons' x xs) ys`

`(SumInt n P1 m, Length' xs m r) => Length' (Cons' x xs) n r`

`(SumInt n N1 m, Take m xs ys) => Take n (Cons' x xs) (Cons' x ys)`

`(SumInt n N1 m, Drop m xs ys) => Drop n (Cons' x xs) ys`

`(Zip xs ys zs) => Zip (Cons' x xs) (Cons' y ys) (Cons' (Tuple x y) zs)`

`(Map f xs ys) => Map f (Cons' x xs) (Cons' (f x) ys)`

`(Fold f (f z x) xs r) => Fold f z (Cons' x xs) r`

`Foldr f z (Cons' x Nil') (f x z)`

`(Foldr f z xs r) => Foldr f z (Cons' x xs) (f x r)`

- Modules
- Type.
Data. List