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.

  1. whCheckRunOutputSummary :: HookCheckRunOutput -> !Maybe Text

    github-webhooks GitHub.Data.Webhooks.Payload

    No documentation available.

  2. whWikiPageSummary :: HookWikiPage -> !Maybe Text

    github-webhooks GitHub.Data.Webhooks.Payload

    No documentation available.

  3. projectSearchFilter_repository_checksum_failed :: ProjectSearchAttrs -> Maybe Bool

    gitlab-haskell GitLab.API.Projects

    Limit projects where the repository checksum calculation has failed.

  4. ProduceUnsatAssumptions :: Bool -> SMTOption

    grisette Grisette.Backend

    No documentation available.

  5. AssumptionViolation :: VerificationConditions

    grisette Grisette.Core

    No documentation available.

  6. 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 ())}

  7. AssumptionViolation :: VerificationConditions

    grisette Grisette.Internal.Core.Control.Exception

    No documentation available.

  8. 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 ())}

  9. binaryOpAllowSumType :: BinaryOpClassConfig -> Bool

    grisette Grisette.Internal.TH.Derivation.BinaryOpCommon

    No documentation available.

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

    grisette Grisette.Lib.Control.Applicative

    asum with MergingStrategy knowledge propagation.

Page 210 of many | Previous | Next