Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. natGeqBool :: Translation -> [TyCon]

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

2. natGtBool :: Translation -> [TyCon]

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

3. natLeqBool :: Translation -> [TyCon]

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

4. natLtBool :: Translation -> [TyCon]

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

5. tyEqBool :: Translation -> [TyCon]

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

6. tyNeqBool :: Translation -> [TyCon]

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Types

   No documentation available.

7. JsonBool :: Specification

   json-spec	Data.JsonSpec

   A JSON boolean value.

8. _Bool :: AsValue t => Traversal' t Bool

   microlens-aeson	Lens.Micro.Aeson

   >>> "{\"a\": \"xyz\", \"b\": true}" ^? key "b" . _Bool
   Just True
   

   >>> "{\"a\": \"xyz\", \"b\": true}" ^? key "a" . _Bool
   Nothing
   

9. binaryLevelFromBool :: Bool -> BinaryLevel

   synthesizer-core	Synthesizer.Plain.Analysis

   No documentation available.

10. selectBool :: (T a, T a) -> T Bool -> T a

    synthesizer-core	Synthesizer.Plain.Cut

    No documentation available.

Page 123 of many | Previous | Next