Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

  1. TBoolean :: ValType

    typst Typst.Types

    No documentation available.

  2. VBoolean :: Bool -> Val

    typst Typst.Types

    A bool value.

  3. chooseBool :: Gen Bool

    what4 Test.Verification

    A test generator that returns True or False

  4. genChooseBool :: GenEnv (m :: Type -> Type) -> m Bool

    what4 Test.Verification

    No documentation available.

  5. BaseBoolRepr :: BaseTypeRepr 'BaseBoolType

    what4 What4.BaseTypes

    No documentation available.

  6. type BaseBoolType = 'BaseBoolType

    what4 What4.BaseTypes

    No documentation available.

  7. ConcreteBool :: Bool -> ConcreteVal 'BaseBoolType

    what4 What4.Concrete

    No documentation available.

  8. fromConcreteBool :: ConcreteVal BaseBoolType -> Bool

    what4 What4.Concrete

    No documentation available.

  9. setBoolOpt :: Some OptionSetting -> Bool -> IO [Doc Void]

    what4 What4.Config

    Given a boolean value, set the named option to that value or generate an OptSetFailure exception if the option is not a boolean valued option.

  10. viewBoolMap :: forall (f :: BaseType -> Type) . BoolMap f -> BoolMapView f

    what4 What4.Expr.BoolMap

    Deconstruct the given bool map for later processing

Page 145 of many | Previous | Next