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

inBoundsUsingDrop :: Sequence s => Int -> s a -> Bool Source

inBoundsUsingLookupM :: Sequence s => Int -> s a -> Bool Source

inBoundsUsingSize :: Sequence s => Int -> s a -> Bool 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

lookupMUsingDrop :: (Monad m, Sequence s) => Int -> s a -> m 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

subseqDefault :: Sequence s => Int -> Int -> 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

defaultCompare :: (Ord a, Sequence s) => s a -> s a -> Ordering Source

readSParens :: ReadS a -> ReadS a Source

maybeParens :: ReadS a -> ReadS a Source