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. muxWordMap :: forall sym (w :: Nat) (a :: BaseType) . IsExprBuilder sym => sym -> NatRepr w -> BaseTypeRepr a -> Pred sym -> WordMap sym w a -> WordMap sym w a -> IO (WordMap sym w a)

   what4	What4.WordMap

   Compute a pointwise if-then-else operation on the elements of two word maps.

2. MkOrderedWitnessMapFor :: Map (Some w) (SomeFor f w) -> OrderedWitnessMapFor (f :: k -> Type) (w :: k -> Type)

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.For

   No documentation available.

3. newtype OrderedWitnessMapFor (f :: k -> Type) (w :: k -> Type)

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.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.

4. type OrderedWitnessMapOf = OrderedWitnessMapFor Identity

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.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.

5. emptyOrderedWitnessMapOf :: forall (w :: Type -> Type) . TestOrder w => OrderedWitnessMapOf w

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

   An empty dictionary.

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

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

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

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

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

   No documentation available.

8. orderedWitnessMapOfFromList :: forall (w :: Type -> Type) . TestOrder w => [SomeOf w] -> OrderedWitnessMapOf w

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

   Create a dictionary from a list of witness/value pairs

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

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

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

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

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

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

Page 1100 of many | Previous | Next