Documentation

singletonUsingInsert :: Assoc m k => k -> a -> m a Source

fromSeqUsingInsertSeq :: (AssocX m k, Sequence seq) => seq (k, a) -> m a Source

insertSeqUsingFoldr :: (AssocX m k, Sequence seq) => seq (k, a) -> m a -> m a Source

unionSeqUsingReduce :: (AssocX m k, Sequence seq) => seq (m a) -> m a Source

deleteSeqUsingFoldr :: (AssocX m k, Sequence seq) => seq k -> m a -> m a Source

memberUsingLookupM :: AssocX m k => k -> m a -> Bool Source

countUsingMember :: AssocX m k => k -> m a -> Int Source

lookupAllUsingLookupM :: (AssocX m k, Sequence seq) => k -> m a -> seq a Source

lookupWithDefaultUsingLookupM :: AssocX m k => a -> k -> m a -> a Source

partitionUsingFilter :: AssocX m k => (a -> Bool) -> m a -> (m a, m a) Source

fold1UsingElements :: AssocX m k => (a -> a -> a) -> m a -> a Source

elementsUsingFold :: (AssocX m k, Sequence seq) => m a -> seq a Source

nullUsingElements :: AssocX m k => m a -> Bool Source

insertWithUsingLookupM :: FiniteMapX m k => (a -> a -> a) -> k -> a -> m a -> m a Source

fromSeqWithUsingInsertSeqWith :: (FiniteMapX m k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> m a Source

fromSeqWithKeyUsingInsertSeqWithKey :: (FiniteMapX m k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> m a Source

insertWithKeyUsingInsertWith :: FiniteMapX m k => (k -> a -> a -> a) -> k -> a -> m a -> m a Source

insertSeqWithUsingInsertWith :: (FiniteMapX m k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> m a -> m a Source

insertSeqWithKeyUsingInsertWithKey :: (FiniteMapX m k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> m a -> m a Source

unionSeqWithUsingReduce :: (FiniteMapX m k, Sequence seq) => (a -> a -> a) -> seq (m a) -> m a Source

unionSeqWithUsingFoldr :: (FiniteMapX m k, Sequence seq) => (a -> a -> a) -> seq (m a) -> m a Source

toSeqUsingFoldWithKey :: (Assoc m k, Sequence seq) => m a -> seq (k, a) Source

keysUsingFoldWithKey :: (Assoc m k, Sequence seq) => m a -> seq k Source

unionWithUsingInsertWith :: FiniteMap m k => (a -> a -> a) -> m a -> m a -> m a Source

unionWithKeyUsingInsertWithKey :: FiniteMap m k => (k -> a -> a -> a) -> m a -> m a -> m a Source

unionSeqWithKeyUsingReduce :: (FiniteMap m k, Sequence seq) => (k -> a -> a -> a) -> seq (m a) -> m a Source

unionSeqWithKeyUsingFoldr :: (FiniteMap m k, Sequence seq) => (k -> a -> a -> a) -> seq (m a) -> m a Source

intersectionWithUsingLookupM :: FiniteMap m k => (a -> b -> c) -> m a -> m b -> m c Source

intersectionWithKeyUsingLookupM :: FiniteMap m k => (k -> a -> b -> c) -> m a -> m b -> m c Source

differenceUsingDelete :: FiniteMap m k => m a -> m b -> m a Source

properSubsetUsingSubset :: FiniteMapX m k => m a -> m b -> Bool Source

subsetUsingMember :: FiniteMap m k => m a -> m b -> Bool Source

submapByUsingLookupM :: FiniteMap m k => (a -> a -> Bool) -> m a -> m a -> Bool Source

properSubmapByUsingSubmapBy :: FiniteMapX m k => (a -> a -> Bool) -> m a -> m a -> Bool Source

sameMapByUsingOrdLists :: OrdFiniteMap m k => (a -> a -> Bool) -> m a -> m a -> Bool Source

sameMapByUsingSubmapBy :: FiniteMapX m k => (a -> a -> Bool) -> m a -> m a -> Bool Source

lookupAndDeleteDefault :: AssocX m k => k -> m a -> (a, m a) Source

lookupAndDeleteMDefault :: (Monad rm, AssocX m k) => k -> m a -> rm (a, m a) Source

lookupAndDeleteAllDefault :: (Sequence seq, AssocX m k) => k -> m a -> (seq a, m a) Source

adjustOrInsertUsingMember :: AssocX m k => (a -> a) -> a -> k -> m a -> m a Source

adjustOrDeleteDefault :: AssocX m k => (a -> Maybe a) -> k -> m a -> m a Source

adjustOrDeleteAllDefault :: AssocX m k => (a -> Maybe a) -> k -> m a -> m a Source

minElemUsingMinView :: OrdAssocX m k => m a -> a Source

deleteMinUsingMinView :: OrdAssocX m k => m a -> m a Source

minElemWithKeyUsingMinViewWithKey :: OrdAssoc m k => m a -> (k, a) Source

maxElemUsingMaxView :: OrdAssocX m k => m a -> a Source

deleteMaxUsingMaxView :: OrdAssocX m k => m a -> m a Source

maxElemWithKeyUsingMaxViewWithKey :: OrdAssoc m k => m a -> (k, a) Source

toOrdSeqUsingFoldrWithKey :: (OrdAssoc m k, Sequence seq) => m a -> seq (k, a) Source

showsPrecUsingToList :: (Show k, Show a, Assoc m k) => Int -> m a -> ShowS Source

readsPrecUsingFromList :: (Read k, Read a, AssocX m k) => Int -> ReadS (m a) Source

showsPrecUsingToOrdList :: (Show k, Show a, OrdAssoc m k) => Int -> m a -> ShowS Source

readsPrecUsingUnsafeFromOrdSeq :: (Read k, Read a, OrdAssoc m k) => Int -> ReadS (m a) Source

compareUsingToOrdList :: (Ord a, OrdAssoc m k) => m a -> m a -> Ordering Source