next up previous
Next: Implementation Up: Hughes's efficient sequence type Previous: Hughes's efficient sequence type

Signature


>  empty                         :: Sequ a


>  single                        :: a -> Sequ a

>  infixr 5 <>
>  (<>)                          :: Sequ a -> Sequ a -> Sequ a

>  fromList                      :: [a] -> Sequ a

>  fromListT                     :: ([a] -> [a]) -> Sequ a

>  toList                        :: Sequ a -> [a] 


next up previous
Next: Implementation Up: Hughes's efficient sequence type Previous: Hughes's efficient sequence type
Ralf Hinze 2001-03-20