Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. 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

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

   gi-harfbuzz	GI.HarfBuzz.Functions

   Stores key:value in the map. Since: 1.7.7

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

   gi-harfbuzz	GI.HarfBuzz.Functions

   Add the contents of other to map. Since: 7.0.0

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

   gi-harfbuzz	GI.HarfBuzz.Functions

   Add the values of map to values. Since: 7.0.0

5. 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

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

   grisette	Grisette.Core

   Modify the identifier of a symbol.

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

   grisette	Grisette.Core

   Modify the metadata of an identifier.

8. 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

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

   grisette	Grisette.Internal.Core.Data.Symbol

   Modify the identifier of a symbol.

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

    grisette	Grisette.Internal.Core.Data.Symbol

    Modify the metadata of an identifier.

Page 296 of many | Previous | Next