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.

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

    Agda Agda.Utils.Boolean

    No documentation available.

  2. class KnownBool (b :: Bool)

    Agda Agda.Utils.TypeLits

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

  3. data SBool (b :: Bool)

    Agda Agda.Utils.TypeLits

    Singleton for type level booleans.

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

    Agda Agda.Utils.TypeLits

    No documentation available.

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

    Hastructure Deal.DealQuery

    test a condition with a deal and a date

  6. DealStatBool :: DealStatFields -> DealStats

    Hastructure Types

    No documentation available.

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

    Hastructure Types

    No documentation available.

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

    Hastructure Types

    A bool value from inspection

  9. RtnBool :: DealStatType

    Hastructure Types

    No documentation available.

  10. assertBool :: HasCallStack => String -> Bool -> Assertion

    ImpSpec Test.ImpSpec.Expectations

    Asserts that the specified condition holds.

Page 144 of many | Previous | Next