Copyright | Copyright (c) 1998 2008 Chris Okasaki |
---|---|
License | MIT; see COPYRIGHT file for terms and conditions |
Maintainer | robdockins AT fastmail DOT fm |
Stability | internal (unstable) |
Portability | GHC, Hugs (MPTC and FD) |
Safe Haskell | None |
Language | Haskell2010 |
This module provides default implementations of many of the sequence operations. It is used to fill in implementations and is not intended for end users.
Documentation
rconsUsingAppend :: Sequence s => a -> s a -> s a Source #
rconsUsingFoldr :: Sequence s => a -> s a -> s a Source #
appendUsingFoldr :: Sequence s => s a -> s a -> s a Source #
rviewDefault :: (Monad m, Sequence s) => s a -> m (a, s a) Source #
rtailUsingLview :: Sequence s => s a -> s a Source #
rtailMUsingLview :: (Monad m, Sequence s) => s a -> m (s a) Source #
concatUsingFoldr :: Sequence s => s (s a) -> s a Source #
reverseUsingReverseOnto :: Sequence s => s a -> s a Source #
reverseUsingLists :: Sequence s => s a -> s a Source #
reverseOntoUsingFoldl :: Sequence s => s a -> s a -> s a Source #
reverseOntoUsingReverse :: Sequence s => s a -> s a -> s a Source #
fromListUsingCons :: Sequence s => [a] -> s a Source #
toListUsingFoldr :: Sequence s => s a -> [a] Source #
mapUsingFoldr :: Sequence s => (a -> b) -> s a -> s b Source #
concatMapUsingFoldr :: Sequence s => (a -> s b) -> s a -> s b Source #
foldrUsingLists :: Sequence s => (a -> b -> b) -> b -> s a -> b Source #
foldr'UsingLists :: Sequence s => (a -> b -> b) -> b -> s a -> b Source #
foldlUsingLists :: Sequence s => (b -> a -> b) -> b -> s a -> b Source #
foldl'UsingLists :: Sequence s => (b -> a -> b) -> b -> s a -> b Source #
foldr1UsingLists :: Sequence s => (a -> a -> a) -> s a -> a Source #
foldr1'UsingLists :: Sequence s => (a -> a -> a) -> s a -> a Source #
foldl1UsingLists :: Sequence s => (a -> a -> a) -> s a -> a Source #
foldl1'UsingLists :: Sequence s => (a -> a -> a) -> s a -> a Source #
fold1UsingFold :: Sequence s => (a -> a -> a) -> s a -> a Source #
fold1'UsingFold' :: Sequence s => (a -> a -> a) -> s a -> a Source #
foldr1UsingLview :: Sequence s => (a -> a -> a) -> s a -> a Source #
foldr1'UsingLview :: Sequence s => (a -> a -> a) -> s a -> a Source #
foldl1UsingFoldl :: Sequence s => (a -> a -> a) -> s a -> a Source #
foldl1'UsingFoldl' :: Sequence s => (a -> a -> a) -> s a -> a Source #
reducerUsingReduce1 :: Sequence s => (a -> a -> a) -> a -> s a -> a Source #
reducer'UsingReduce1' :: Sequence s => (a -> a -> a) -> a -> s a -> a Source #
reducelUsingReduce1 :: Sequence s => (a -> a -> a) -> a -> s a -> a Source #
reducel'UsingReduce1' :: Sequence s => (a -> a -> a) -> a -> s a -> a Source #
reduce1UsingLists :: Sequence s => (a -> a -> a) -> s a -> a Source #
reduce1'UsingLists :: Sequence s => (a -> a -> a) -> s a -> a Source #
copyUsingLists :: Sequence s => Int -> a -> s a Source #
lookupUsingLookupM :: Sequence s => Int -> s a -> a Source #
lookupUsingDrop :: Sequence s => Int -> s a -> a Source #
lookupWithDefaultUsingLookupM :: Sequence s => a -> Int -> s a -> a Source #
lookupWithDefaultUsingDrop :: Sequence s => a -> Int -> s a -> a Source #
filterUsingLview :: Sequence s => (a -> Bool) -> s a -> s a Source #
filterUsingLists :: Sequence s => (a -> Bool) -> s a -> s a Source #
filterUsingFoldr :: Sequence s => (a -> Bool) -> s a -> s a Source #
partitionUsingLists :: Sequence s => (a -> Bool) -> s a -> (s a, s a) Source #
partitionUsingFoldr :: Sequence s => (a -> Bool) -> s a -> (s a, s a) Source #
updateUsingAdjust :: Sequence s => Int -> a -> s a -> s a Source #
updateUsingSplitAt :: Sequence s => Int -> a -> s a -> s a Source #
adjustUsingLists :: Sequence s => (a -> a) -> Int -> s a -> s a Source #
adjustUsingSplitAt :: Sequence s => (a -> a) -> Int -> s a -> s a Source #
mapWithIndexUsingLists :: Sequence s => (Int -> a -> b) -> s a -> s b Source #
foldrWithIndexUsingLists :: Sequence s => (Int -> a -> b -> b) -> b -> s a -> b Source #
foldrWithIndex'UsingLists :: Sequence s => (Int -> a -> b -> b) -> b -> s a -> b Source #
foldlWithIndexUsingLists :: Sequence s => (b -> Int -> a -> b) -> b -> s a -> b Source #
foldlWithIndex'UsingLists :: Sequence s => (b -> Int -> a -> b) -> b -> s a -> b Source #
takeUsingLists :: Sequence s => Int -> s a -> s a Source #
takeUsingLview :: Sequence s => Int -> s a -> s a Source #
dropUsingLists :: Sequence s => Int -> s a -> s a Source #
dropUsingLtail :: Sequence s => Int -> s a -> s a Source #
splitAtDefault :: Sequence s => Int -> s a -> (s a, s a) Source #
splitAtUsingLview :: Sequence s => Int -> s a -> (s a, s a) Source #
takeWhileUsingLview :: Sequence s => (a -> Bool) -> s a -> s a Source #
dropWhileUsingLview :: Sequence s => (a -> Bool) -> s a -> s a Source #
splitWhileUsingLview :: Sequence s => (a -> Bool) -> s a -> (s a, s a) Source #
zipUsingLview :: Sequence s => s a -> s b -> s (a, b) Source #
zip3UsingLview :: Sequence s => s a -> s b -> s c -> s (a, b, c) Source #
zipWithUsingLview :: Sequence s => (a -> b -> c) -> s a -> s b -> s c Source #
zipWith3UsingLview :: Sequence s => (a -> b -> c -> d) -> s a -> s b -> s c -> s d Source #
zipUsingLists :: Sequence s => s a -> s b -> s (a, b) Source #
zip3UsingLists :: Sequence s => s a -> s b -> s c -> s (a, b, c) Source #
zipWithUsingLists :: Sequence s => (a -> b -> c) -> s a -> s b -> s c Source #
zipWith3UsingLists :: Sequence s => (a -> b -> c -> d) -> s a -> s b -> s c -> s d Source #
unzipUsingLists :: Sequence s => s (a, b) -> (s a, s b) Source #
unzipUsingFoldr :: Sequence s => s (a, b) -> (s a, s b) Source #
unzip3UsingLists :: Sequence s => s (a, b, c) -> (s a, s b, s c) Source #
unzip3UsingFoldr :: Sequence s => s (a, b, c) -> (s a, s b, s c) Source #
unzipWithUsingLists :: Sequence s => (a -> b) -> (a -> c) -> s a -> (s b, s c) Source #
unzipWithUsingFoldr :: Sequence s => (a -> b) -> (a -> c) -> s a -> (s b, s c) Source #
unzipWith3UsingLists :: Sequence s => (a -> b) -> (a -> c) -> (a -> d) -> s a -> (s b, s c, s d) Source #
unzipWith3UsingFoldr :: Sequence s => (a -> b) -> (a -> c) -> (a -> d) -> s a -> (s b, s c, s d) Source #
readSParens :: ReadS a -> ReadS a Source #
maybeParens :: ReadS a -> ReadS a Source #