Data.Type.Witness.Specific.OrderedWitnessMap.Of

Documentation

type OrderedWitnessMapOf = OrderedWitnessMapFor Identity

A dictionary that is heterogenous up to its simple witness type w. Witnesses are the keys of the dictionary, and the values they witness are the values of the dictionary.

emptyOrderedWitnessMapOf :: TestOrder w => OrderedWitnessMapOf w

An empty dictionary.

orderedWitnessMapOfLookup :: TestOrder w => w a -> OrderedWitnessMapOf w -> Maybe a

Look up the first value in the dictionary that matches the given witness.

orderedWitnessMapOfModify :: TestOrder w => w a -> (a -> a) -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w

Modify the first value in the dictionary that matches a particular witness.

orderedWitnessMapOfReplace :: TestOrder w => w a -> a -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w

Replace the first value in the dictionary that matches the witness

orderedWitnessMapOfSingle :: w a -> a -> OrderedWitnessMapOf w

orderedWitnessMapOfFold :: Monoid m => OrderedWitnessMapOf w -> (forall a. w a -> a -> m) -> m

orderedWitnessMapOfAdd :: TestOrder w => w a -> a -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w

Add a witness and value as the first entry in the dictionary.

orderedWitnessMapOfRemove :: TestOrder w => w a -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w

Remove the first entry in the dictionary that matches the given witness.

orderedWitnessMapOfFromList :: TestOrder w => [SomeOf w] -> OrderedWitnessMapOf w

Create a dictionary from a list of witness/value pairs

orderedWitnessMapOfToList :: OrderedWitnessMapOf w -> [SomeOf w]