Data.Type.Witness.Specific.WitnessMap.Of

Documentation

type WitnessMapOf = WitnessMapFor 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.

emptyWitnessMapOf :: WitnessMapOf w

An empty dictionary.

witnessMapOfLookup :: TestEquality w => w a -> WitnessMapOf w -> Maybe a

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

witnessMapOfModify :: TestEquality w => w a -> (a -> a) -> WitnessMapOf w -> WitnessMapOf w

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

witnessMapOfReplace :: TestEquality w => w a -> a -> WitnessMapOf w -> WitnessMapOf w

Replace the first value in the dictionary that matches the witness

witnessMapOfSingle :: w a -> a -> WitnessMapOf w

witnessMapOfFold :: Monoid m => WitnessMapOf w -> (forall a. w a -> a -> m) -> m

witnessMapOfAdd :: w a -> a -> WitnessMapOf w -> WitnessMapOf w

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

witnessMapOfRemove :: TestEquality w => w a -> WitnessMapOf w -> WitnessMapOf w

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

witnessMapOfFromList :: [SomeOf w] -> WitnessMapOf w

Create a dictionary from a list of witness/value pairs

witnessMapOfToList :: WitnessMapOf w -> [SomeOf w]