EdisonCore-1.2.1.2: A library of efficent, purely-functional data structures (Core Implementations) Source code Contents Index

Data.Edison.Coll.Defaults Portability GHC / Hugs (MPTC and FD) Stability internal (unstable) Maintainer robdockins AT fastmail DOT fm

Description

This module provides default implementations of many of the collection methods. The functions in this module are used to fill out collection implementations and are not intended to be used directly by end users.

Documentation

insertSeqUsingUnion :: (CollX c a, Sequence seq) => seq a -> c -> c Source

insertSeqUsingFoldr :: (CollX c a, Sequence seq) => seq a -> c -> c Source

memberUsingFold :: Coll c a => c -> a -> Bool Source

countUsingMember :: SetX c a => a -> c -> Int Source

lookupAllUsingLookupM :: (Set c a, Sequence seq) => a -> c -> seq a Source

deleteSeqUsingDelete :: (CollX c a, Sequence seq) => seq a -> c -> c Source

unionSeqUsingFoldl :: (CollX c a, Sequence seq) => seq c -> c Source

unionSeqUsingFoldl' :: (CollX c a, Sequence seq) => seq c -> c Source

unionSeqUsingReduce :: (CollX c a, Sequence seq) => seq c -> c Source

fromSeqUsingFoldr :: (CollX c a, Sequence seq) => seq a -> c Source

fromSeqUsingUnionSeq :: (CollX c a, Sequence seq) => seq a -> c Source

toSeqUsingFold :: (Coll c a, Sequence seq) => c -> seq a Source

unsafeInsertMaxUsingUnsafeAppend :: OrdCollX c a => a -> c -> c Source

toOrdSeqUsingFoldr :: (OrdColl c a, Sequence seq) => c -> seq a Source

unsafeFromOrdSeqUsingUnsafeInsertMin :: (OrdCollX c a, Sequence seq) => seq a -> c Source

disjointUsingToOrdList :: OrdColl c a => c -> c -> Bool Source

intersectWitnessUsingToOrdList :: (OrdColl c a, Monad m) => c -> c -> m (a, a) Source

lookupUsingLookupM :: Coll c a => a -> c -> a Source

lookupUsingLookupAll :: Coll c a => a -> c -> a Source

lookupMUsingLookupAll :: (Coll c a, Monad m) => a -> c -> m a Source

lookupWithDefaultUsingLookupAll :: Coll c a => a -> a -> c -> a Source

lookupWithDefaultUsingLookupM :: Coll c a => a -> a -> c -> a Source

deleteMaxUsingMaxView :: OrdColl c a => c -> c Source

fromSeqWithUsingInsertWith :: (Set c a, Sequence seq) => (a -> a -> a) -> seq a -> c Source

insertUsingInsertWith :: Set c a => a -> c -> c Source

unionUsingUnionWith :: Set c a => c -> c -> c Source

filterUsingOrdLists :: OrdColl c a => (a -> Bool) -> c -> c Source

partitionUsingOrdLists :: OrdColl c a => (a -> Bool) -> c -> (c, c) Source

intersectionUsingIntersectionWith :: Set c a => c -> c -> c Source

differenceUsingOrdLists :: OrdSet c a => c -> c -> c Source

symmetricDifferenceUsingDifference :: SetX c a => c -> c -> c Source

properSubsetUsingOrdLists :: OrdSet c a => c -> c -> Bool Source

subsetUsingOrdLists :: OrdSet c a => c -> c -> Bool Source

properSubsetOnOrdLists :: Ord t => [t] -> [t] -> Bool Source

subsetOnOrdLists :: Ord t => [t] -> [t] -> Bool Source

insertSeqWithUsingInsertWith :: (Set c a, Sequence seq) => (a -> a -> a) -> seq a -> c -> c Source

unionlUsingUnionWith :: Set c a => c -> c -> c Source

unionrUsingUnionWith :: Set c a => c -> c -> c Source

unionWithUsingOrdLists :: OrdSet c a => (a -> a -> a) -> c -> c -> c Source

unionSeqWithUsingReducer :: (Set c a, Sequence seq) => (a -> a -> a) -> seq c -> c Source

intersectionWithUsingOrdLists :: OrdSet c a => (a -> a -> a) -> c -> c -> c Source

unsafeMapMonotonicUsingFoldr :: (OrdColl cin a, OrdCollX cout b) => (a -> b) -> cin -> cout Source

showsPrecUsingToList :: (Coll c a, Show a) => Int -> c -> ShowS Source

readsPrecUsingFromList :: (Coll c a, Read a) => Int -> ReadS c Source

compareUsingToOrdList :: OrdColl c a => c -> c -> Ordering Source

Produced by Haddock version 2.3.0