Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
lookupTyNatBoolLt :: TcPluginM (Maybe TyCon)ghc-typelits-presburger GHC.TypeLits.Presburger.Compat No documentation available.
-
ghc-typelits-presburger GHC.TypeLits.Presburger.Compat No documentation available.
natGeqBool :: Translation -> [TyCon]ghc-typelits-presburger GHC.TypeLits.Presburger.Types No documentation available.
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.
_Bool :: AsValue t => Traversal' t Boolmicrolens-aeson Lens.Micro.Aeson >>> "{\"a\": \"xyz\", \"b\": true}" ^? key "b" . _Bool Just True>>> "{\"a\": \"xyz\", \"b\": true}" ^? key "a" . _Bool Nothing