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

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

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

   toml-parser	Toml

   No documentation available.

4. BoolClass :: DocClass

   toml-parser	Toml

   boolean literals

5. BoolClass :: DocClass

   toml-parser	Toml.Pretty

   boolean literals

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

   toml-parser	Toml.Schema

   No documentation available.

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

   toml-parser	Toml.Semantics

   No documentation available.

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

   toml-parser	Toml.Semantics.Types

   No documentation available.

9. Boolean :: Bool -> Value

   toml-reader	TOML

   No documentation available.

10. Boolean :: Bool -> Value

    toml-reader	TOML.Value

    No documentation available.

Page 26 of many | Previous | Next