Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

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

   Agda	Agda.Utils.Boolean

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

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

   Agda	Agda.Utils.Boolean

   No documentation available.

5. class KnownBool (b :: Bool)

   Agda	Agda.Utils.TypeLits

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

6. data SBool (b :: Bool)

   Agda	Agda.Utils.TypeLits

   Singleton for type level booleans.

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

   Agda	Agda.Utils.TypeLits

   No documentation available.

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

   Hastructure	Deal.DealQuery

   test a condition with a deal and a date

9. DealStatBool :: DealStatFields -> DealStats

   Hastructure	Types

   No documentation available.

10. IfBool :: DealStats -> Bool -> Pre

    Hastructure	Types

    No documentation available.

Page 147 of many | Previous | Next