Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

Exact lookup

1. BoolAexprConst :: Bool -> AexprConst

   postgresql-syntax	PostgresqlSyntax.Ast

   No documentation available.

2. BooleanNumeric :: Numeric

   postgresql-syntax	PostgresqlSyntax.Ast

   No documentation available.

3. Boolector :: Solver

   sbv	Data.SBV

   No documentation available.

4. Boolector :: Solver

   sbv	Data.SBV.Dynamic

   No documentation available.

5. Boolector :: Solver

   sbv	Data.SBV.Internals

   No documentation available.

6. Boolector :: Solver

   sbv	Data.SBV.Trans

   No documentation available.

7. class BooleanAlgebra α

   sbv	Documentation.SBV.Examples.KnuckleDragger.ShefferStroke

   Capture what it means to be a boolean algebra. We follow Lean's definition, as much as we can: https://leanprover-community.github.io/mathlib_docs/order/boolean_algebra.html. Since there's no way in Haskell to capture properties together with a class, we'll represent the properties separately.

8. data BooleanAlgebraProof

   sbv	Documentation.SBV.Examples.KnuckleDragger.ShefferStroke

   Proofs needed for a boolean-algebra. Again, we follow Lean's definition here. Since we cannot put these in the class definition above, we will keep them in a simple data-structure.

9. BooleanAlgebraProof :: Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> Proof -> BooleanAlgebraProof

   sbv	Documentation.SBV.Examples.KnuckleDragger.ShefferStroke

   No documentation available.

10. Bool' :: a -> Bool -> Value' a

    toml-parser	Toml

    No documentation available.

Page 25 of many | Previous | Next