Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type OrderedWitnessMapOf = OrderedWitnessMapFor Identity
- emptyOrderedWitnessMapOf :: TestOrder w => OrderedWitnessMapOf w
- orderedWitnessMapOfLookup :: TestOrder w => w a -> OrderedWitnessMapOf w -> Maybe a
- orderedWitnessMapOfModify :: TestOrder w => w a -> (a -> a) -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w
- orderedWitnessMapOfReplace :: TestOrder w => w a -> a -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w
- 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
- orderedWitnessMapOfRemove :: TestOrder w => w a -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w
- orderedWitnessMapOfFromList :: TestOrder w => [SomeOf w] -> OrderedWitnessMapOf w
- orderedWitnessMapOfToList :: OrderedWitnessMapOf w -> [SomeOf w]
Documentation
type OrderedWitnessMapOf = OrderedWitnessMapFor Identity Source #
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 Source #
An empty dictionary.
orderedWitnessMapOfLookup :: TestOrder w => w a -> OrderedWitnessMapOf w -> Maybe a Source #
Look up the first value in the dictionary that matches the given witness.
orderedWitnessMapOfModify :: TestOrder w => w a -> (a -> a) -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w Source #
Modify the first value in the dictionary that matches a particular witness.
orderedWitnessMapOfReplace :: TestOrder w => w a -> a -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w Source #
Replace the first value in the dictionary that matches the witness
orderedWitnessMapOfSingle :: w a -> a -> OrderedWitnessMapOf w Source #
orderedWitnessMapOfFold :: Monoid m => OrderedWitnessMapOf w -> (forall a. w a -> a -> m) -> m Source #
orderedWitnessMapOfAdd :: TestOrder w => w a -> a -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w Source #
Add a witness and value as the first entry in the dictionary.
orderedWitnessMapOfRemove :: TestOrder w => w a -> OrderedWitnessMapOf w -> OrderedWitnessMapOf w Source #
Remove the first entry in the dictionary that matches the given witness.
orderedWitnessMapOfFromList :: TestOrder w => [SomeOf w] -> OrderedWitnessMapOf w Source #
Create a dictionary from a list of witness/value pairs
orderedWitnessMapOfToList :: OrderedWitnessMapOf w -> [SomeOf w] Source #