Module

Type.Data.List

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

Type-level heterogenous list of kinds for PureScript

#List' Source

data List' k

#Nil' Source

data Nil' :: forall k. List' k

Represents an empty List'.

Instances

#Cons' Source

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

Prepends an item to a List', creating a new List'.

Instances

#type (:>) Source

Operator alias for Type.Data.List.Cons' (right-associative / precedence 1)

#IsMember Source

class IsMember x xs r | x xs -> r where

Members

Instances

#Concat Source

class Concat xs ys zs | xs ys -> zs where

Members

  • concat :: forall lproxy. lproxy xs -> lproxy ys -> lproxy zs

Instances

#IsEmpty Source

class IsEmpty xs r | xs -> r where

Members

Instances

#Init Source

class Init xs ys | xs -> ys where

Members

  • init :: forall lproxy. lproxy xs -> lproxy ys

Instances

#Init' Source

class Init' xs ys zs | xs ys -> zs

Instances

#Last Source

class Last xs x | xs -> x where

Members

Instances

#Length Source

class Length xs r | xs -> r where

Members

  • length :: forall lproxy iproxy. lproxy xs -> iproxy r

Instances

#Length' Source

class Length' xs n r | xs n -> r

Instances

#Take Source

class Take n xs ys | n xs -> ys where

Members

  • take :: forall lproxy iproxy. iproxy n -> lproxy xs -> lproxy ys

Instances

#Drop Source

class Drop n xs ys | n xs -> ys where

Members

  • drop :: forall lproxy iproxy. iproxy n -> lproxy xs -> lproxy ys

Instances

#Zip Source

class Zip x y z | x y -> z where

Members

  • zip :: forall lproxy. lproxy x -> lproxy y -> lproxy z

Instances

#Map Source

class Map f xs ys | f xs -> ys where

Members

  • map :: forall fproxy lproxy. fproxy f -> lproxy xs -> lproxy ys

Instances

#Fold Source

class Fold f z xs r | f z xs -> r where

Members

  • fold :: forall fproxy kproxy lproxy. fproxy f -> kproxy z -> lproxy xs -> kproxy r

Instances

#Foldr Source

class Foldr f z xs r | f z xs -> r where

Members

  • foldr :: forall fproxy kproxy lproxy. fproxy f -> kproxy z -> lproxy xs -> kproxy r

Instances

#ListProxy Source

data ListProxy l

Constructors