Hoogle Search

Within LTS Haskell 24.26 (ghc-9.10.3)

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

  1. boolToGauge :: Bool -> Metric

    data-prometheus Data.Prometheus.Monad

    Convert Bool to Gauge, 0 meaning False

  2. boolFlag :: Name -> Description -> FlagsParser Bool

    flags-applicative Flags.Applicative

    Returns a parser with the given name and description for a flag with no value, returning whether the flag was present.

  3. boolL :: Bool -> r -> r -> r

    generic-case Generics.Case

    Same as bool, except the Bool comes before the case functions. Equivalent type signature:

    boolL :: forall r. Analysis Bool r
    
    The implementation is just:
    boolL = gcase
    

  4. boolR :: r -> r -> Bool -> r

    generic-case Generics.Case

    bool, implemented using gcaseR. Equivalent type signature:

    boolR :: forall r. AnalysisR Bool r
    
    The implementation is just:
    boolR = gcaseR @Bool
    

  5. boolFilterGetExpression :: (HasCallStack, MonadIO m, IsBoolFilter a) => a -> m (Maybe Expression)

    gi-gtk4 GI.Gtk.Objects.BoolFilter

    Gets the expression that the filter uses to evaluate if an item should be filtered.

  6. boolFilterGetInvert :: (HasCallStack, MonadIO m, IsBoolFilter a) => a -> m Bool

    gi-gtk4 GI.Gtk.Objects.BoolFilter

    Returns whether the filter inverts the expression.

  7. boolFilterNew :: (HasCallStack, MonadIO m, IsExpression a) => Maybe a -> m BoolFilter

    gi-gtk4 GI.Gtk.Objects.BoolFilter

    Creates a new bool filter.

  8. boolFilterSetExpression :: (HasCallStack, MonadIO m, IsBoolFilter a, IsExpression b) => a -> Maybe b -> m ()

    gi-gtk4 GI.Gtk.Objects.BoolFilter

    Sets the expression that the filter uses to check if items should be filtered. The expression must have a value type of G_TYPE_BOOLEAN.

  9. boolFilterSetInvert :: (HasCallStack, MonadIO m, IsBoolFilter a) => a -> Bool -> m ()

    gi-gtk4 GI.Gtk.Objects.BoolFilter

    Sets whether the filter should invert the expression.

  10. boolector :: GrisetteSMTConfig

    grisette Grisette.Backend

    Solver configuration for Boolector. https://boolector.github.io/

Page 61 of many | Previous | Next