Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

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

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.Of

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

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

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.Of

   Replace the first value in the dictionary that matches the witness

3. orderedWitnessMapOfSingle :: w a -> a -> OrderedWitnessMapOf w

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.Of

   No documentation available.

4. orderedWitnessMapOfToList :: forall (w :: Type -> Type) . OrderedWitnessMapOf w -> [SomeOf w]

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.Of

   No documentation available.

5. MkWitnessMapFor :: [SomeFor f w] -> WitnessMapFor (f :: k -> Type) (w :: k -> Type)

   witness	Data.Type.Witness.Specific.WitnessMap.For

   No documentation available.

6. newtype WitnessMapFor (f :: k -> Type) (w :: k -> Type)

   witness	Data.Type.Witness.Specific.WitnessMap.For

   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.

7. witnessMapForToList :: WitnessMapFor (f :: k -> Type) (w :: k -> Type) -> [SomeFor f w]

   witness	Data.Type.Witness.Specific.WitnessMap.For

   No documentation available.

8. type WitnessMapOf = WitnessMapFor Identity

   witness	Data.Type.Witness.Specific.WitnessMap.Of

   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.

9. emptyWitnessMapOf :: forall (w :: Type -> Type) . WitnessMapOf w

   witness	Data.Type.Witness.Specific.WitnessMap.Of

   An empty dictionary.

10. witnessMapOfAdd :: w a -> a -> WitnessMapOf w -> WitnessMapOf w

    witness	Data.Type.Witness.Specific.WitnessMap.Of

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

Page 1101 of many | Previous | Next