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.

Exact lookup

1. ghcEnvBool :: GHCEnv -> Maybe QName

   Agda	Agda.Compiler.MAlonzo.Misc

   No documentation available.

2. withBool :: String -> (Bool -> Parser a) -> Value -> Parser a

   Agda	Agda.Interaction.JSON

   withBool expected f value applies f to the Bool when value is a Boolean and fails otherwise.

   Error message example

   withBool "MyType" f (String "oops")
   -- Error: "parsing MyType failed, expected Boolean, but encountered String"
   

3. BuiltinBool :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

4. builtinBool :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

5. eExpandLastBool :: Lens' TCEnv Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. primBool :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

7. class (Boolean a, Eq a) => IsBool a

   Agda	Agda.Utils.Boolean

   Types isomorphic to Bool.

8. fromBool :: Boolean a => Bool -> a

   Agda	Agda.Utils.Boolean

   No documentation available.

9. fromBool1 :: IsBool a => (Bool -> Bool) -> a -> a

   Agda	Agda.Utils.Boolean

   No documentation available.

10. fromBool2 :: IsBool a => (Bool -> Bool -> Bool) -> a -> a -> a

    Agda	Agda.Utils.Boolean

    No documentation available.

Page 143 of many | Previous | Next