Data.Map.Justified

Map and Key types

data Map ph k v

data Key ph k

Evaluation

type MissingReference k f

Gathering evidence

Safe lookup

Preserving key sets

Localized updates

Mapping values

traverseWithKey

mapAccumWithKey

Zipping

Enlarging key sets

Inserting new keys

Unions

unioningWithKey

Reducing key sets

Removing keys

Filtering

filteringWithKey

Intersections

intersectingWith

intersectingWithKey

Mapping key sets

mappingKnownKeys

mappingKeysWith

mappingKnownKeysWith

Indexing

Utilities