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.
-
data-prometheus Data.Prometheus.Monad Convert Bool to Gauge, 0 meaning False
boolFlag :: Name -> Description -> FlagsParser Boolflags-applicative Flags.Applicative Returns a parser with the given name and description for a flag with no value, returning whether the flag was present.
-
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
-
generic-case Generics.Case bool, implemented using gcaseR. Equivalent type signature:
boolR :: forall r. AnalysisR Bool r
The implementation is just:boolR = gcaseR @Bool
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.
boolFilterGetInvert :: (HasCallStack, MonadIO m, IsBoolFilter a) => a -> m Boolgi-gtk4 GI.Gtk.Objects.BoolFilter Returns whether the filter inverts the expression.
boolFilterNew :: (HasCallStack, MonadIO m, IsExpression a) => Maybe a -> m BoolFiltergi-gtk4 GI.Gtk.Objects.BoolFilter Creates a new bool filter.
-
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.
boolFilterSetInvert :: (HasCallStack, MonadIO m, IsBoolFilter a) => a -> Bool -> m ()gi-gtk4 GI.Gtk.Objects.BoolFilter Sets whether the filter should invert the expression.
boolector :: GrisetteSMTConfiggrisette Grisette.Backend Solver configuration for Boolector. https://boolector.github.io/