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

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

   grisette	Grisette.Internal.Core.Data.Symbol

   Modify the identifier of a symbol.

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

   grisette	Grisette.Internal.Core.Data.Symbol

   Modify the metadata of an identifier.

4. mapEvent :: WidgetClass self => Signal self (EventM EAny Bool)

   gtk3	Graphics.UI.Gtk.Abstract.Widget

   The window is put onto the screen.

5. mapSignal :: WidgetClass self => Signal self (IO ())

   gtk3	Graphics.UI.Gtk.Abstract.Widget

   The widget appears on screen.

6. mapContext :: (String -> String) -> Context a -> Context a

   hakyll	Hakyll.Web.Template.Context

   Transform the respective string results of all fields in a context. For example,

   mapContext (++"c") (constField "x" "a" <> constField "y" "b")
   

   is equivalent to

   constField "x" "ac" <> constField "y" "bc"
   

7. mapContextBy :: (String -> Bool) -> (String -> String) -> Context a -> Context a

   hakyll	Hakyll.Web.Template.Context

   Transform the respective string results of all fields in a context satisfying a predicate. For example,

   mapContextBy (=="y") (++"c") (constField "x" "a" <> constField "y" "b")
   

   is equivalent to

   constField "x" "a" <> constField "y" "bc"
   

8. mapAccum :: (a -> b -> (a, c)) -> a -> Map k b -> (a, Map k c)

   hashmap	Data.HashMap

   The function mapAccum threads an accumulating argument through the map in unspecified order of keys.

9. mapAccumWithKey :: (a -> k -> b -> (a, c)) -> a -> Map k b -> (a, Map k c)

   hashmap	Data.HashMap

   The function mapAccumWithKey threads an accumulating argument through the map in unspecified order of keys.

10. mapEither :: Ord k => (a -> Either b c) -> Map k a -> (Map k b, Map k c)

    hashmap	Data.HashMap

    Map values and separate the Left and Right results.

Page 296 of many | Previous | Next