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. projectSearchFilter_repository_checksum_failed :: ProjectSearchAttrs -> Maybe Bool

    gitlab-haskell GitLab.API.Projects

    Limit projects where the repository checksum calculation has failed.

  2. ProduceUnsatAssumptions :: Bool -> SMTOption

    grisette Grisette.Backend

    No documentation available.

  3. AssumptionViolation :: VerificationConditions

    grisette Grisette.Core

    No documentation available.

  4. symAssume :: (TransformError VerificationConditions to, Mergeable to, MonadError to erm, MonadUnion erm) => SymBool -> erm ()

    grisette Grisette.Core

    Used within a monadic multi path computation to begin exception processing. Similar to symAssert, but terminates the execution path with AssumptionViolation error. Examples: 

    >>> symAssume (ssym "a") :: ExceptT VerificationConditions Union ()
ExceptT {If (! a) (Left AssumptionViolation) (Right ())}

  5. AssumptionViolation :: VerificationConditions

    grisette Grisette.Internal.Core.Control.Exception

    No documentation available.

  6. symAssume :: (TransformError VerificationConditions to, Mergeable to, MonadError to erm, MonadUnion erm) => SymBool -> erm ()

    grisette Grisette.Internal.Core.Data.Class.Error

    Used within a monadic multi path computation to begin exception processing. Similar to symAssert, but terminates the execution path with AssumptionViolation error. Examples: 

    >>> symAssume (ssym "a") :: ExceptT VerificationConditions Union ()
ExceptT {If (! a) (Left AssumptionViolation) (Right ())}

  7. binaryOpAllowSumType :: BinaryOpClassConfig -> Bool

    grisette Grisette.Internal.TH.Derivation.BinaryOpCommon

    No documentation available.

  8. mrgAsum :: (Alternative f, TryMerge f, Mergeable a, Foldable t) => t (f a) -> f a

    grisette Grisette.Lib.Control.Applicative

    asum with MergingStrategy knowledge propagation.

  9. mrgMsum :: (MonadTryMerge m, Mergeable a, MonadPlus m, Foldable t) => t (m a) -> m a

    grisette Grisette.Lib.Control.Monad

    msum with MergingStrategy knowledge propagation.

  10. mrgAsum :: (Alternative f, TryMerge f, Mergeable a, Foldable t) => t (f a) -> f a

    grisette Grisette.Lib.Data.Foldable

    asum with MergingStrategy knowledge propagation.

Page 211 of many | Previous | Next