Data.Map.Justified

Map and Key types

data Map ph k v

data Key ph k

theKey

theMap

Evaluation

withMap

withSingleton

data KeyInfo

type MissingReference k f

withRecMap

Gathering evidence

member

keys

lookupLT

lookupLE

lookupGT

lookupGE

Lookup and update

lookup

(!)

adjust

adjustWithKey

reinsert

Inserting new keys

inserting

insertingWith

Mapping

mapWithKey

traverseWithKey

mapAccum

mapAccumWithKey

Mapping keys

mappingKeys

mappingKnownKeys

mappingKeysWith

mappingKnownKeysWith

Unions

unioning

unioningWith

unioningWithKey

Zipping

zip

zipWith

zipWithKey

Indexing

findIndex

elemAt

Utilities

tie