Data.Map.Justified

Map and Key types

data Map ph k v

data Key ph k

theKey

theMap

Evaluation

withMap

data KeyInfo

type MissingReference k f

withRecMap

Gathering evidence

member

keys

Lookup and update

lookup

(!)

adjust

adjustWithKey

reinsert

Indexing

findIndex

elemAt

Utilities

tie