Module

Data.List.Lazy.Types

Package: purescript-lists
Repository: purescript/purescript-lists

#List Source

newtype List a

A lazy linked list.

Constructors

List (Lazy (Step a))

Instances

#Step Source

data Step a

A list is either empty (represented by the Nil constructor) or non-empty, in which case it consists of a head element, and another list (represented by the Cons constructor).

Constructors

Nil
Cons a (List a)

#step Source

step :: forall a. List a -> Step a

Unwrap a lazy linked list

#nil Source

nil :: forall a. List a

The empty list.

Running time: O(1)

#cons Source

cons :: forall a. a -> List a -> List a

Attach an element to the front of a lazy list.

Running time: O(1)

#(:) Source

Operator alias for Data.List.Lazy.Types.cons (right-associative / precedence 6)

An infix alias for cons; attaches an element to the front of a list.

Running time: O(1)

#NonEmptyList Source

newtype NonEmptyList a

Constructors

NonEmptyList (Lazy (NonEmpty List a))

Instances

#toList Source

toList :: NonEmptyList ~> List

Modules: Data.List; Data.List.Lazy; Data.List.Lazy.NonEmpty; Data.List.Lazy.Types; Data.List.NonEmpty; Data.List.Partial; Data.List.Types; Data.List.ZipList