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.

Exact lookup

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   Types isomorphic to Bool.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

7. class KnownBool (b :: Bool)

   Agda	Agda.Utils.TypeLits

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

8. data SBool (b :: Bool)

   Agda	Agda.Utils.TypeLits

   Singleton for type level booleans.

9. eraseSBool :: forall (b :: Bool) . SBool b -> Bool

   Agda	Agda.Utils.TypeLits

   No documentation available.

10. queryDealBool :: Asset a => TestDeal a -> DealStats -> Date -> Either String Bool

    Hastructure	Deal.DealQuery

    test a condition with a deal and a date

Page 143 of many | Previous | Next