Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

  1. boolectorAdapter :: forall (st :: Type -> Type) . SolverAdapter st

    what4 What4.Solver.Boolector

    No documentation available.

  2. boolectorFeatures :: ProblemFeatures

    what4 What4.Solver.Boolector

    No documentation available.

  3. boolectorOptions :: [ConfigDesc]

    what4 What4.Solver.Boolector

    No documentation available.

  4. boolectorPath :: ConfigOption (BaseStringType Unicode)

    what4 What4.Solver.Boolector

    Path to boolector

  5. boolectorTimeout :: ConfigOption BaseIntegerType

    what4 What4.Solver.Boolector

    Per-check timeout, in milliseconds (zero is none)

  6. boolScalar :: Scalar Bool

    yaml-unscrambler YamlUnscrambler

    Boolean scalar parser.

  7. boolSemiring :: Semiring Bool

    Agda Agda.Termination.Semiring

    The standard semiring on Bools.

  8. boolToMaybe :: Bool -> a -> Maybe a

    Agda Agda.Utils.Maybe

    Retain object when tag is True.

  9. boolSing :: KnownBool b => SBool b

    Agda Agda.Utils.TypeLits

    No documentation available.

  10. boolVal :: forall proxy (b :: Bool) . KnownBool b => proxy b -> Bool

    Agda Agda.Utils.TypeLits

    No documentation available.

Page 59 of many | Previous | Next