Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

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

    Agda Agda.Utils.Boolean

    No documentation available.

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

    Agda Agda.Utils.Boolean

    No documentation available.

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

    Agda Agda.Utils.Boolean

    No documentation available.

  4. class KnownBool (b :: Bool)

    Agda Agda.Utils.TypeLits

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

  5. data SBool (b :: Bool)

    Agda Agda.Utils.TypeLits

    Singleton for type level booleans.

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

    Agda Agda.Utils.TypeLits

    No documentation available.

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

    Hastructure Deal.DealQuery

    test a condition with a deal and a date

  8. DealStatBool :: DealStatFields -> DealStats

    Hastructure Types

    No documentation available.

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

    Hastructure Types

    No documentation available.

  10. InspectBool :: Date -> DealStats -> Bool -> ResultComponent

    Hastructure Types

    A bool value from inspection

Page 148 of many | Previous | Next