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.
-
sbv Data.SBV.Trans No documentation available.
-
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.
-
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.
-
sbv Documentation.SBV.Examples.KnuckleDragger.ShefferStroke No documentation available.
Bool' :: a -> Bool -> Value' atoml-parser Toml No documentation available.
-
toml-parser Toml boolean literals
-
toml-parser Toml.Pretty boolean literals
Bool' :: a -> Bool -> Value' atoml-parser Toml.Schema No documentation available.
Bool' :: a -> Bool -> Value' atoml-parser Toml.Semantics No documentation available.
Bool' :: a -> Bool -> Value' atoml-parser Toml.Semantics.Types No documentation available.