 | EdisonCore-1.2.1: A library of efficient, purely-functional data structures (Core Implementations) | Contents | Index |
|
| Data.Edison.Seq.SizedSeq | | Portability | GHC, Hugs (MPTC and FD) | | Stability | stable | | Maintainer | robdockins AT fastmail DOT fm |
|
|
|
|
|
| Description |
This module defines a sequence adaptor Sized s.
If s is a sequence type constructor, then Sized s
is a sequence type constructor that is identical to s,
except that it also keeps track of the current size of
each sequence.
All time complexities are determined by the underlying
sequence, except that size becomes O( 1 ).
|
|
| Synopsis |
|
| data Sized s a | | | empty :: Sequence s => Sized s a | | | singleton :: Sequence s => a -> Sized s a | | | lcons :: Sequence s => a -> Sized s a -> Sized s a | | | rcons :: Sequence s => a -> Sized s a -> Sized s a | | | append :: Sequence s => Sized s a -> Sized s a -> Sized s a | | | lview :: (Sequence s, Monad m) => Sized s a -> m (a, Sized s a) | | | lhead :: Sequence s => Sized s a -> a | | | ltail :: Sequence s => Sized s a -> Sized s a | | | rview :: (Sequence s, Monad m) => Sized s a -> m (a, Sized s a) | | | rhead :: Sequence s => Sized s a -> a | | | rtail :: Sequence s => Sized s a -> Sized s a | | | lheadM :: (Sequence s, Monad m) => Sized s a -> m a | | | ltailM :: (Sequence s, Monad m) => Sized s a -> m (Sized s a) | | | rheadM :: (Sequence s, Monad m) => Sized s a -> m a | | | rtailM :: (Sequence s, Monad m) => Sized s a -> m (Sized s a) | | | null :: Sequence s => Sized s a -> Bool | | | size :: Sequence s => Sized s a -> Int | | | concat :: Sequence s => Sized s (Sized s a) -> Sized s a | | | reverse :: Sequence s => Sized s a -> Sized s a | | | reverseOnto :: Sequence s => Sized s a -> Sized s a -> Sized s a | | | fromList :: Sequence s => [a] -> Sized s a | | | toList :: Sequence s => Sized s a -> [a] | | | map :: Sequence s => (a -> b) -> Sized s a -> Sized s b | | | concatMap :: Sequence s => (a -> Sized s b) -> Sized s a -> Sized s b | | | fold :: Sequence s => (a -> b -> b) -> b -> Sized s a -> b | | | fold' :: Sequence s => (a -> b -> b) -> b -> Sized s a -> b | | | fold1 :: Sequence s => (a -> a -> a) -> Sized s a -> a | | | fold1' :: Sequence s => (a -> a -> a) -> Sized s a -> a | | | foldr :: Sequence s => (a -> b -> b) -> b -> Sized s a -> b | | | foldr' :: Sequence s => (a -> b -> b) -> b -> Sized s a -> b | | | foldl :: Sequence s => (b -> a -> b) -> b -> Sized s a -> b | | | foldl' :: Sequence s => (b -> a -> b) -> b -> Sized s a -> b | | | foldr1 :: Sequence s => (a -> a -> a) -> Sized s a -> a | | | foldr1' :: Sequence s => (a -> a -> a) -> Sized s a -> a | | | foldl1 :: Sequence s => (a -> a -> a) -> Sized s a -> a | | | foldl1' :: Sequence s => (a -> a -> a) -> Sized s a -> a | | | reducer :: Sequence s => (a -> a -> a) -> a -> Sized s a -> a | | | reducer' :: Sequence s => (a -> a -> a) -> a -> Sized s a -> a | | | reducel :: Sequence s => (a -> a -> a) -> a -> Sized s a -> a | | | reducel' :: Sequence s => (a -> a -> a) -> a -> Sized s a -> a | | | reduce1 :: Sequence s => (a -> a -> a) -> Sized s a -> a | | | reduce1' :: Sequence s => (a -> a -> a) -> Sized s a -> a | | | copy :: Sequence s => Int -> a -> Sized s a | | | inBounds :: Sequence s => Int -> Sized s a -> Bool | | | lookup :: Sequence s => Int -> Sized s a -> a | | | lookupM :: (Sequence s, Monad m) => Int -> Sized s a -> m a | | | lookupWithDefault :: Sequence s => a -> Int -> Sized s a -> a | | | update :: Sequence s => Int -> a -> Sized s a -> Sized s a | | | adjust :: Sequence s => (a -> a) -> Int -> Sized s a -> Sized s a | | | mapWithIndex :: Sequence s => (Int -> a -> b) -> Sized s a -> Sized s b | | | foldrWithIndex :: Sequence s => (Int -> a -> b -> b) -> b -> Sized s a -> b | | | foldlWithIndex :: Sequence s => (b -> Int -> a -> b) -> b -> Sized s a -> b | | | foldrWithIndex' :: Sequence s => (Int -> a -> b -> b) -> b -> Sized s a -> b | | | foldlWithIndex' :: Sequence s => (b -> Int -> a -> b) -> b -> Sized s a -> b | | | take :: Sequence s => Int -> Sized s a -> Sized s a | | | drop :: Sequence s => Int -> Sized s a -> Sized s a | | | splitAt :: Sequence s => Int -> Sized s a -> (Sized s a, Sized s a) | | | subseq :: Sequence s => Int -> Int -> Sized s a -> Sized s a | | | filter :: Sequence s => (a -> Bool) -> Sized s a -> Sized s a | | | partition :: Sequence s => (a -> Bool) -> Sized s a -> (Sized s a, Sized s a) | | | takeWhile :: Sequence s => (a -> Bool) -> Sized s a -> Sized s a | | | dropWhile :: Sequence s => (a -> Bool) -> Sized s a -> Sized s a | | | splitWhile :: Sequence s => (a -> Bool) -> Sized s a -> (Sized s a, Sized s a) | | | zip :: Sequence s => Sized s a -> Sized s b -> Sized s (a, b) | | | zip3 :: Sequence s => Sized s a -> Sized s b -> Sized s c -> Sized s (a, b, c) | | | zipWith :: Sequence s => (a -> b -> c) -> Sized s a -> Sized s b -> Sized s c | | | zipWith3 :: Sequence s => (a -> b -> c -> d) -> Sized s a -> Sized s b -> Sized s c -> Sized s d | | | unzip :: Sequence s => Sized s (a, b) -> (Sized s a, Sized s b) | | | unzip3 :: Sequence s => Sized s (a, b, c) -> (Sized s a, Sized s b, Sized s c) | | | unzipWith :: Sequence s => (a -> b) -> (a -> c) -> Sized s a -> (Sized s b, Sized s c) | | | unzipWith3 :: Sequence s => (a -> b) -> (a -> c) -> (a -> d) -> Sized s a -> (Sized s b, Sized s c, Sized s d) | | | strict :: Sequence s => Sized s a -> Sized s a | | | strictWith :: Sequence s => (a -> b) -> Sized s a -> Sized s a | | | structuralInvariant :: Sequence s => Sized s a -> Bool | | | moduleName :: String | | | instanceName :: Sequence s => Sized s a -> String | | | fromSeq :: Sequence s => s a -> Sized s a | | | toSeq :: Sequence s => Sized s a -> s a |
|
|
|
| Sized Sequence Type
|
|
| data Sized s a |
 Instances | |
|
|
| Sequence Operations
|
|
| empty :: Sequence s => Sized s a |
|
| singleton :: Sequence s => a -> Sized s a |
|
| lcons :: Sequence s => a -> Sized s a -> Sized s a |
|
| rcons :: Sequence s => a -> Sized s a -> Sized s a |
|
| append :: Sequence s => Sized s a -> Sized s a -> Sized s a |
|
| lview :: (Sequence s, Monad m) => Sized s a -> m (a, Sized s a) |
|
| lhead :: Sequence s => Sized s a -> a |
|
| ltail :: Sequence s => Sized s a -> Sized s a |
|
| rview :: (Sequence s, Monad m) => Sized s a -> m (a, Sized s a) |
|
| rhead :: Sequence s => Sized s a -> a |
|
| rtail :: Sequence s => Sized s a -> Sized s a |
|
| lheadM :: (Sequence s, Monad m) => Sized s a -> m a |
|
| ltailM :: (Sequence s, Monad m) => Sized s a -> m (Sized s a) |
|
| rheadM :: (Sequence s, Monad m) => Sized s a -> m a |
|
| rtailM :: (Sequence s, Monad m) => Sized s a -> m (Sized s a) |
|
| null :: Sequence s => Sized s a -> Bool |
|
| size :: Sequence s => Sized s a -> Int |
|
| concat :: Sequence s => Sized s (Sized s a) -> Sized s a |
|
| reverse :: Sequence s => Sized s a -> Sized s a |
|
| reverseOnto :: Sequence s => Sized s a -> Sized s a -> Sized s a |
|
| fromList :: Sequence s => [a] -> Sized s a |
|
| toList :: Sequence s => Sized s a -> [a] |
|
| map :: Sequence s => (a -> b) -> Sized s a -> Sized s b |
|
| concatMap :: Sequence s => (a -> Sized s b) -> Sized s a -> Sized s b |
|
| fold :: Sequence s => (a -> b -> b) -> b -> Sized s a -> b |
|
| fold' :: Sequence s => (a -> b -> b) -> b -> Sized s a -> b |
|
| fold1 :: Sequence s => (a -> a -> a) -> Sized s a -> a |
|
| fold1' :: Sequence s => (a -> a -> a) -> Sized s a -> a |
|
| foldr :: Sequence s => (a -> b -> b) -> b -> Sized s a -> b |
|
| foldr' :: Sequence s => (a -> b -> b) -> b -> Sized s a -> b |
|
| foldl :: Sequence s => (b -> a -> b) -> b -> Sized s a -> b |
|
| foldl' :: Sequence s => (b -> a -> b) -> b -> Sized s a -> b |
|
| foldr1 :: Sequence s => (a -> a -> a) -> Sized s a -> a |
|
| foldr1' :: Sequence s => (a -> a -> a) -> Sized s a -> a |
|
| foldl1 :: Sequence s => (a -> a -> a) -> Sized s a -> a |
|
| foldl1' :: Sequence s => (a -> a -> a) -> Sized s a -> a |
|
| reducer :: Sequence s => (a -> a -> a) -> a -> Sized s a -> a |
|
| reducer' :: Sequence s => (a -> a -> a) -> a -> Sized s a -> a |
|
| reducel :: Sequence s => (a -> a -> a) -> a -> Sized s a -> a |
|
| reducel' :: Sequence s => (a -> a -> a) -> a -> Sized s a -> a |
|
| reduce1 :: Sequence s => (a -> a -> a) -> Sized s a -> a |
|
| reduce1' :: Sequence s => (a -> a -> a) -> Sized s a -> a |
|
| copy :: Sequence s => Int -> a -> Sized s a |
|
| inBounds :: Sequence s => Int -> Sized s a -> Bool |
|
| lookup :: Sequence s => Int -> Sized s a -> a |
|
| lookupM :: (Sequence s, Monad m) => Int -> Sized s a -> m a |
|
| lookupWithDefault :: Sequence s => a -> Int -> Sized s a -> a |
|
| update :: Sequence s => Int -> a -> Sized s a -> Sized s a |
|
| adjust :: Sequence s => (a -> a) -> Int -> Sized s a -> Sized s a |
|
| mapWithIndex :: Sequence s => (Int -> a -> b) -> Sized s a -> Sized s b |
|
| foldrWithIndex :: Sequence s => (Int -> a -> b -> b) -> b -> Sized s a -> b |
|
| foldlWithIndex :: Sequence s => (b -> Int -> a -> b) -> b -> Sized s a -> b |
|
| foldrWithIndex' :: Sequence s => (Int -> a -> b -> b) -> b -> Sized s a -> b |
|
| foldlWithIndex' :: Sequence s => (b -> Int -> a -> b) -> b -> Sized s a -> b |
|
| take :: Sequence s => Int -> Sized s a -> Sized s a |
|
| drop :: Sequence s => Int -> Sized s a -> Sized s a |
|
| splitAt :: Sequence s => Int -> Sized s a -> (Sized s a, Sized s a) |
|
| subseq :: Sequence s => Int -> Int -> Sized s a -> Sized s a |
|
| filter :: Sequence s => (a -> Bool) -> Sized s a -> Sized s a |
|
| partition :: Sequence s => (a -> Bool) -> Sized s a -> (Sized s a, Sized s a) |
|
| takeWhile :: Sequence s => (a -> Bool) -> Sized s a -> Sized s a |
|
| dropWhile :: Sequence s => (a -> Bool) -> Sized s a -> Sized s a |
|
| splitWhile :: Sequence s => (a -> Bool) -> Sized s a -> (Sized s a, Sized s a) |
|
| zip :: Sequence s => Sized s a -> Sized s b -> Sized s (a, b) |
|
| zip3 :: Sequence s => Sized s a -> Sized s b -> Sized s c -> Sized s (a, b, c) |
|
| zipWith :: Sequence s => (a -> b -> c) -> Sized s a -> Sized s b -> Sized s c |
|
| zipWith3 :: Sequence s => (a -> b -> c -> d) -> Sized s a -> Sized s b -> Sized s c -> Sized s d |
|
| unzip :: Sequence s => Sized s (a, b) -> (Sized s a, Sized s b) |
|
| unzip3 :: Sequence s => Sized s (a, b, c) -> (Sized s a, Sized s b, Sized s c) |
|
| unzipWith :: Sequence s => (a -> b) -> (a -> c) -> Sized s a -> (Sized s b, Sized s c) |
|
| unzipWith3 :: Sequence s => (a -> b) -> (a -> c) -> (a -> d) -> Sized s a -> (Sized s b, Sized s c, Sized s d) |
|
| strict :: Sequence s => Sized s a -> Sized s a |
|
| strictWith :: Sequence s => (a -> b) -> Sized s a -> Sized s a |
|
| Unit testing
|
|
| structuralInvariant :: Sequence s => Sized s a -> Bool |
|
| Documentation
|
|
| moduleName :: String |
|
| instanceName :: Sequence s => Sized s a -> String |
|
| Other supported operations
|
|
| fromSeq :: Sequence s => s a -> Sized s a |
|
| toSeq :: Sequence s => Sized s a -> s a |
|
| Produced by Haddock version 0.8 |