Module

Type.Data.List

Type-level heterogenous list of kinds for PureScript

#List'

data List' k

#Nil'

data Nil' :: forall k. List' k

Represents an empty List'.

Instances

#Cons'

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

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

Instances

#type (:>)

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

#IsMember

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

Members

Instances

#Concat

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

Members

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

Instances

#IsEmpty

class IsEmpty xs r | xs -> r where

Members

Instances

#Init

class Init xs ys | xs -> ys where

Members

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

Instances

#Init'

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

Instances

#Last

class Last xs x | xs -> x where

Members

Instances

#Length

class Length xs r | xs -> r where

Members

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

Instances

#Length'

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

Instances

#Take

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

Members

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

Instances

#Drop

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

Members

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

Instances

#Zip

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

Members

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

Instances

#Map

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

Members

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

Instances

#Fold

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

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

data ListProxy l

Constructors

Modules