uulib-0.9.3: ContentsIndex
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