Hoogle Search
Within LTS Haskell 24.27 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
natGtBool :: Translation -> [TyCon]ghc-typelits-presburger GHC.TypeLits.Presburger.Types No documentation available.
natLeqBool :: Translation -> [TyCon]ghc-typelits-presburger GHC.TypeLits.Presburger.Types No documentation available.
natLtBool :: Translation -> [TyCon]ghc-typelits-presburger GHC.TypeLits.Presburger.Types No documentation available.
tyEqBool :: Translation -> [TyCon]ghc-typelits-presburger GHC.TypeLits.Presburger.Types No documentation available.
tyNeqBool :: Translation -> [TyCon]ghc-typelits-presburger GHC.TypeLits.Presburger.Types No documentation available.
-
json-spec Data.JsonSpec A JSON boolean value.
binaryLevelFromBool :: Bool -> BinaryLevelsynthesizer-core Synthesizer.Plain.Analysis No documentation available.
selectBool :: (T a, T a) -> T Bool -> T asynthesizer-core Synthesizer.Plain.Cut No documentation available.
selectBool :: (T a, T a) -> T Bool -> T asynthesizer-core Synthesizer.State.Cut No documentation available.
-
Color Graphics.Color.Algebra.Binary