Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. mapKeys :: (HasCallStack, MonadIO m) => MapT -> SetT -> m ()

   gi-harfbuzz	GI.HarfBuzz.Functions

   Add the keys of map to keys. Since: 7.0.0

2. mapNext :: (HasCallStack, MonadIO m) => MapT -> Int32 -> m (Int32, Int32, Word32, Word32)

   gi-harfbuzz	GI.HarfBuzz.Functions

   Fetches the next key/value pair in map. Set idx to -1 to get started. If the map is modified during iteration, the behavior is undefined. The order in which the key/values are returned is undefined. Since: 7.0.0

3. mapSet :: (HasCallStack, MonadIO m) => MapT -> Word32 -> Word32 -> m ()

   gi-harfbuzz	GI.HarfBuzz.Functions

   Stores key:value in the map. Since: 1.7.7

4. mapUpdate :: (HasCallStack, MonadIO m) => MapT -> MapT -> m ()

   gi-harfbuzz	GI.HarfBuzz.Functions

   Add the contents of other to map. Since: 7.0.0

5. mapValues :: (HasCallStack, MonadIO m) => MapT -> SetT -> m ()

   gi-harfbuzz	GI.HarfBuzz.Functions

   Add the values of map to values. Since: 7.0.0

6. mapCBMCExceptT :: (m (Either e a) -> n (Either e' b)) -> CBMCExceptT e m a -> CBMCExceptT e' n b

   grisette	Grisette.Core

   Map the error and values in a CBMCExceptT

7. mapIdentifier :: (Identifier -> Identifier) -> Symbol -> Symbol

   grisette	Grisette.Core

   Modify the identifier of a symbol.

8. mapMetadata :: AsMetadata a => (SExpr -> a) -> Identifier -> Identifier

   grisette	Grisette.Core

   Modify the metadata of an identifier.

9. mapCBMCExceptT :: (m (Either e a) -> n (Either e' b)) -> CBMCExceptT e m a -> CBMCExceptT e' n b

   grisette	Grisette.Internal.Core.Control.Monad.CBMCExcept

   Map the error and values in a CBMCExceptT

10. mapIdentifier :: (Identifier -> Identifier) -> Symbol -> Symbol

    grisette	Grisette.Internal.Core.Data.Symbol

    Modify the identifier of a symbol.

Page 335 of many | Previous | Next