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.

  1. notebookStyleHasSecondaryForwardStepper :: NotebookClass self => ReadAttr self Bool

    gtk Graphics.UI.Gtk.Layout.Notebook

    The notebookStyleHasSecondaryForwardStepper property determines whether a second forward arrow button is displayed on the opposite end of the tab area. Default value: False

    • Available since Gtk version 2.4

  2. adjustmentGetStepIncrement :: Adjustment -> IO Double

    gtk Graphics.UI.Gtk.Misc.Adjustment

    Retrieve the step-increment value.

  3. adjustmentSetStepIncrement :: Adjustment -> Double -> IO ()

    gtk Graphics.UI.Gtk.Misc.Adjustment

    Set the step-increment value.

  4. adjustmentStepIncrement :: Attr Adjustment Double

    gtk Graphics.UI.Gtk.Misc.Adjustment

    The step increment of the adjustment. Default value: 0

  5. data MovementStep

    gtk Graphics.UI.Gtk.Multiline.TextView

    Movement in text widget

  6. type family SimplifyStep p :: Maybe Type

    rerefined Rerefined.Simplify.Core

    Try to perform a single simplification step on the given predicate. Returns Nothing if we were unable to simplify.

  7. data InductionStep

    sbv Data.SBV.Tools.Induction

    A step in an inductive proof. If the tag is present (i.e., Just nm), then the step belongs to the subproof that establishes the strengthening named nm.

  8. simplifyStep :: (SimpleExpr -> SimpleExpr) -> SimpleExpr -> SimpleExpr

    simple-expr Debug.SimpleExpr.Expr

    Minimalistic simplification step.

    Examples of usage

    >>> import Prelude (($), id)

>>> import NumHask ((+), (*), (**))

    >>> simplifyStep id (0 + (0 + (0 + 10)))
0+(0+10)

    >>> simplifyStep id (1 * (0 + (10 ** 1)))
0+(10^1)

  9. chainStepM :: Applicative m => (s1 -> m s2) -> (a -> m (Step s2 b)) -> Step s1 a -> m (Step s2 b)

    streamly-core Streamly.Internal.Data.Fold

    If Partial then map the state, if Done then call the next step.

  10. mapMStep :: Applicative m => (a -> m b) -> Step s a -> m (Step s b)

    streamly-core Streamly.Internal.Data.Fold

    Map a monadic function over the result b in Step s b. Internal

Page 73 of many | Previous | Next