Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

  1. BoolT :: ColumnType

    hpqtypes-extras Database.PostgreSQL.PQTypes.Model.ColumnType

    No documentation available.

  2. BoolTagValue :: Bool -> TagValue

    opentelemetry-extra OpenTelemetry.Common

    No documentation available.

  3. BoolAexprConst :: Bool -> AexprConst

    postgresql-syntax PostgresqlSyntax.Ast

    No documentation available.

  4. BooleanNumeric :: Numeric

    postgresql-syntax PostgresqlSyntax.Ast

    No documentation available.

  5. Boolector :: Solver

    sbv Data.SBV

    No documentation available.

  6. Boolector :: Solver

    sbv Data.SBV.Dynamic

    No documentation available.

  7. Boolector :: Solver

    sbv Data.SBV.Internals

    No documentation available.

  8. Boolector :: Solver

    sbv Data.SBV.Trans

    No documentation available.

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

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

Page 25 of many | Previous | Next