Data.POMap.Internal

class SingIAreWeStrict s

seq'

seqList

data POMap k v

mkPOMap

chainDecomposition

Instances

Query

size

width

foldEntry

lookup

member

notMember

findWithDefault

data RelationalOperator

flipRelationalOperator

containsOrdering

comparePartial

addToAntichain

dedupAntichain

lookupX

lookupLT

lookupLE

lookupGE

lookupGT

Construction

empty

singleton

Insertion

insert

insertWith

insertWithKey

insertLookupWithKey

keyedInsertAsAlter

Deletion

data LookupResult a

overChains

delete

deleteLookup

adjust

adjustWithKey

adjustLookupWithKey

update

updateWithKey

updateLookupWithKey

alter

alterWithKey

alterChain

alterLookupWithKey

alterLookupChain

alterF

alterFChain

Combine

Union

union

unionWith

unionWithKey

unions

unionsWith

Difference

difference

differenceWith

differenceWithKey

Intersection

intersection

intersectionWith

intersectionWithKey

Traversals

map

mapWithKey

traverseWithKey

mapAccum

mapAccumWithKey

mapKeys

mapKeysWith

mapKeysMonotonic

Folds

foldr'

foldrWithKey

foldrWithKey'

foldl'

foldlWithKey

foldlWithKey'

foldMapWithKey

Conversion

elems

keys

assocs

toList

fromListImpl

fromListWith

fromListWithKey

Filter

filter

filterWithKey

partition

partitionWithKey

mapMaybe

mapMaybeWithKey

traverseMaybeWithKey

mapEither

mapEitherWithKey

Submap

isSubmapOf

isSubmapOfBy

isProperSubmapOf

isProperSubmapOfBy

Min/Max

lookupMin

lookupMax