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. chooseBool :: Gen Bool

    what4 Test.Verification

    A test generator that returns True or False

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

    what4 Test.Verification

    No documentation available.

  3. BaseBoolRepr :: BaseTypeRepr 'BaseBoolType

    what4 What4.BaseTypes

    No documentation available.

  4. type BaseBoolType = 'BaseBoolType

    what4 What4.BaseTypes

    No documentation available.

  5. ConcreteBool :: Bool -> ConcreteVal 'BaseBoolType

    what4 What4.Concrete

    No documentation available.

  6. fromConcreteBool :: ConcreteVal BaseBoolType -> Bool

    what4 What4.Concrete

    No documentation available.

  7. 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.

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

    what4 What4.Expr.BoolMap

    Deconstruct the given bool map for later processing

  9. smtEvalBool :: SMTEvalFunctions h -> Term h -> IO Bool

    what4 What4.Protocol.SMTWriter

    Given a SMT term for a Boolean value, this should return an indication of whether the term is assigned true or false.

  10. litBool :: Bool -> VerilogM sym n (IExp BaseBoolType)

    what4 What4.Protocol.VerilogWriter.AST

    Return the (possibly-cached) name for a literal Boolean value.

Page 141 of many | Previous | Next