Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. BoolTypeMap :: TypeMap 'BaseBoolType

   what4	What4.Protocol.SMTWriter

   No documentation available.

2. BoolLit :: Bool -> Exp 'BaseBoolType

   what4	What4.Protocol.VerilogWriter.AST

   No documentation available.

3. data Boolector

   what4	What4.Solver

   No documentation available.

4. Boolector :: Boolector

   what4	What4.Solver

   No documentation available.

5. module What4.Solver.Boolector

   This module provides an interface for running Boolector and parsing the results back.

6. data Boolector

   what4	What4.Solver.Boolector

   No documentation available.

7. Boolector :: Boolector

   what4	What4.Solver.Boolector

   No documentation available.

8. BoolScalar :: Scalar

   yaml-unscrambler	YamlUnscrambler.Expectations

   No documentation available.

9. module Agda.Utils.BoolSet

   Representation of Set Bool as a 4-element enum type. All operations in constant time and space. Mimics the interface of Set. Import as: import qualified Agda.Utils.BoolSet as BoolSet import Agda.Utils.BoolSet (BoolSet)

10. data BoolSet

    Agda	Agda.Utils.BoolSet

    Isomorphic to Set Bool.

Page 29 of many | Previous | Next