Data.Type.Witness.Specific.OrderedWitnessMap.For

Documentation

newtype OrderedWitnessMapFor f w

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.

Constructors

MkOrderedWitnessMapFor (Map (Some w) (SomeFor f w))

Instances

TestOrder w => Monoid (OrderedWitnessMapFor f w)

Defined in Data.Type.Witness.Specific.OrderedWitnessMap.For

Methods

mempty :: OrderedWitnessMapFor f w

mappend :: OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w

mconcat :: [OrderedWitnessMapFor f w] -> OrderedWitnessMapFor f w

TestOrder w => Semigroup (OrderedWitnessMapFor f w)

Defined in Data.Type.Witness.Specific.OrderedWitnessMap.For

Methods

(<>) :: OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w

sconcat :: NonEmpty (OrderedWitnessMapFor f w) -> OrderedWitnessMapFor f w

stimes :: Integral b => b -> OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w

emptyOrderedWitnessMapFor :: TestOrder w => OrderedWitnessMapFor f w

An empty dictionary.

orderedWitnessMapForLookup :: TestOrder w => w a -> OrderedWitnessMapFor f w -> Maybe (f a)

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

orderedWitnessMapForModify :: forall f w a. TestOrder w => w a -> (f a -> f a) -> OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w

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

orderedWitnessMapForReplace :: TestOrder w => w a -> f a -> OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w

Replace the value in the dictionary that matches the witness

orderedWitnessMapForAdd :: TestOrder w => w a -> f a -> OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w

Add a witness and value to the dictionary.

orderedWitnessMapForSingle :: w a -> f a -> OrderedWitnessMapFor f w

A dictionary for a single witness and value

orderedWitnessMapForFold :: Monoid m => OrderedWitnessMapFor f w -> (forall a. w a -> f a -> m) -> m

orderedWitnessMapForRemove :: TestOrder w => w a -> OrderedWitnessMapFor f w -> OrderedWitnessMapFor f w

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

orderedWitnessMapForToList :: OrderedWitnessMapFor f w -> [SomeFor f w]

orderedWitnessMapForFromList :: TestOrder w => [SomeFor f w] -> OrderedWitnessMapFor f w

Create a dictionary from a list of witness/value pairs

orderedWitnessMapForMapM :: Applicative m => (forall a. f a -> m (g a)) -> OrderedWitnessMapFor f w -> m (OrderedWitnessMapFor g w)