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. ConcreteBool :: Bool -> ConcreteVal 'BaseBoolType

    what4 What4.Concrete

    No documentation available.

  2. fromConcreteBool :: ConcreteVal BaseBoolType -> Bool

    what4 What4.Concrete

    No documentation available.

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

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

    what4 What4.Expr.BoolMap

    Deconstruct the given bool map for later processing

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

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

    what4 What4.Protocol.VerilogWriter.AST

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

  7. vsBoolCache :: ModuleState sym n -> Map Bool Identifier

    what4 What4.Protocol.VerilogWriter.AST

    A cache of Boolean constants, to avoid duplicating constant declarations.

  8. ABool :: Bool -> Atom

    what4 What4.Serialize.Parser

    Boolean literal.

  9. ABool :: Bool -> Atom

    what4 What4.Serialize.Printer

    Boolean literal.

  10. ABool :: Bool -> Atom

    what4 What4.Serialize.SETokens

    Boolean literal.

Page 140 of many | Previous | Next