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.

Exact lookup

1. builtinBool :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

2. eExpandLastBool :: Lens' TCEnv Bool

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   Types isomorphic to Bool.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

8. toBool :: IsBool a => a -> Bool

   Agda	Agda.Utils.Boolean

   No documentation available.

9. class KnownBool (b :: Bool)

   Agda	Agda.Utils.TypeLits

   A known boolean is one we can obtain a singleton for. Concrete values are trivially known.

10. data SBool (b :: Bool)

    Agda	Agda.Utils.TypeLits

    Singleton for type level booleans.

Page 143 of many | Previous | Next