Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

  1. printSettingsSetBool :: (HasCallStack, MonadIO m, IsPrintSettings a) => a -> Text -> Bool -> m ()

    gi-gtk4 GI.Gtk.Objects.PrintSettings

    Sets key to a boolean value.

  2. GBool :: Bool -> GValueBody

    greskell Data.Greskell

    No documentation available.

  3. runBool :: Logic Bool -> Bool

    greskell Data.Greskell.Logic

    Run the logic tree of Bool values to get the result.

  4. eqTypeRepBool :: forall ka kb (a :: ka) (b :: kb) . TypeRep a -> TypeRep b -> Bool

    grisette Grisette.Internal.SymPrim.Prim.Internal.Utils

    Compare two type representations for equality.

  5. module Grisette.Internal.SymPrim.SymBool

    No documentation available.

  6. newtype SymBool

    grisette Grisette.Internal.SymPrim.SymBool

    Symbolic Boolean type. 

    >>> "a" :: SymBool
a

>>> "a" .&& "b" :: SymBool
(&& a b)
    More operations are available. Please refer to Grisette.Core#g:symops for more information.

  7. SymBool :: Term Bool -> SymBool

    grisette Grisette.Internal.SymPrim.SymBool

    No documentation available.

  8. type SymBoolKey = AsKey SymBool

    grisette Grisette.Internal.SymPrim.SymBool

    SymBool type with identity equality.

  9. UBool :: TheoryToUnify

    grisette Grisette.Internal.Unified.Theories

    No documentation available.

  10. module Grisette.Internal.Unified.UnifiedBool

    No documentation available.

Page 153 of many | Previous | Next