uulib-0.9.2: Contents Index

UU.DData.Seq

Contents Type Operators Construction Conversion

Description

Synopsis

data Seq a (<>) :: Seq a -> Seq a -> Seq a empty :: Seq a single :: a -> Seq a cons :: a -> Seq a -> Seq a append :: Seq a -> Seq a -> Seq a toList :: Seq a -> [a] fromList :: [a] -> Seq a

Type

data Seq a

Sequences of values a.

Operators

(<>) :: Seq a -> Seq a -> Seq a

O(1). Append two sequences, see append.

Construction

empty :: Seq a

O(1). Create an empty sequence.

single :: a -> Seq a

O(1). Create a sequence of one element.

cons :: a -> Seq a -> Seq a

O(1). Put a value in front of a sequence.

append :: Seq a -> Seq a -> Seq a

O(1). Append two sequences.

Conversion

toList :: Seq a -> [a]

O(n). Convert a sequence to a list.

fromList :: [a] -> Seq a

O(n). Create a sequence from a list.

Produced by Haddock version 0.8