Hoogle Search

Within LTS Haskell 24.28 (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.Core

   Map the error and values in a CBMCExceptT

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

   grisette	Grisette.Core

   Modify the identifier of a symbol.

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

   grisette	Grisette.Core

   Modify the metadata of an identifier.

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

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

   grisette	Grisette.Internal.Core.Data.Symbol

   Modify the identifier of a symbol.

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

   grisette	Grisette.Internal.Core.Data.Symbol

   Modify the metadata of an identifier.

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

   gtk3	Graphics.UI.Gtk.Abstract.Widget

   The window is put onto the screen.

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

   gtk3	Graphics.UI.Gtk.Abstract.Widget

   The widget appears on screen.

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

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

Page 295 of many | Previous | Next