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.

Exact lookup

1. Boolean :: ExpType

   typecheck-plugin-nat-simple	Data.Derivation.Expression

   No documentation available.

2. Boolean :: Bool -> Literal

   typst	Typst.Syntax

   No documentation available.

3. BoolProperty :: Bool -> Property

   what4	Test.Verification

   No documentation available.

4. type BoolExpr t = Expr t BaseBoolType

   what4	What4.Expr

   No documentation available.

5. BoolExpr :: forall t . !Bool -> !ProgramLoc -> Expr t 'BaseBoolType

   what4	What4.Expr

   No documentation available.

6. BoolTheory :: AppTheory

   what4	What4.Expr

   No documentation available.

7. BoolExpr :: forall t . !Bool -> !ProgramLoc -> Expr t 'BaseBoolType

   what4	What4.Expr.App

   No documentation available.

8. type BoolExpr t = Expr t BaseBoolType

   what4	What4.Expr.App

   No documentation available.

9. BoolTheory :: AppTheory

   what4	What4.Expr.AppTheory

   No documentation available.

10. module What4.Expr.BoolMap

    Declares a datatype for representing n-way conjunctions or disjunctions in a way that efficiently captures important algebraic laws like commutativity, associativity and resolution.

Page 27 of many | Previous | Next