Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. sequence_ :: (Foldable t, Monad m) => t (m a) -> m ()

    ghc-lib-parser GHC.Prelude.Basic

    Evaluate each monadic action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequence. sequence_ is just like sequenceA_, but specialised to monadic actions.

  2. seqTagInfo :: TagInfo -> ()

    ghc-lib-parser GHC.Stg.InferTags.TagSig

    No documentation available.

  3. seqTagSig :: TagSig -> ()

    ghc-lib-parser GHC.Stg.InferTags.TagSig

    No documentation available.

  4. luRequired :: LinkableUnit -> Bool

    ghc-lib-parser GHC.StgToJS.Types

    always link this unit

  5. BlockedEquality :: ErrorItem -> TcSolverReportMsg

    ghc-lib-parser GHC.Tc.Errors.Types

    An equality between two types is blocked on a kind equality between their kinds. Test cases: none.

  6. DerivErrLangExtRequired :: Extension -> DeriveInstanceErrReason

    ghc-lib-parser GHC.Tc.Errors.Types

    No documentation available.

  7. FunBindLacksEquations :: Name -> ConversionFailReason

    ghc-lib-parser GHC.Tc.Errors.Types

    No documentation available.

  8. RepresentationalEq :: TyVarInfo -> Maybe CoercibleMsg -> CannotUnifyVariableReason

    ghc-lib-parser GHC.Tc.Errors.Types

    No documentation available.

  9. TcRnTypeEqualityOutOfScope :: TcRnMessage

    ghc-lib-parser GHC.Tc.Errors.Types

    TcRnTypeEqualityOutOfScope is a warning (controlled by -Wtype-equality-out-of-scope) that occurs when the type equality (a ~ b) is not in scope. Test case: warningsshould_compileT18862b

  10. TcRnTypeEqualityRequiresOperators :: TcRnMessage

    ghc-lib-parser GHC.Tc.Errors.Types

    TcRnTypeEqualityRequiresOperators is a warning (controlled by -Wtype-equality-requires-operators) that occurs when the type equality (a ~ b) is used without the TypeOperators extension. Example: {-# LANGUAGE NoTypeOperators #-} f :: (a ~ b) => a -> b Test case: T18862a

Page 411 of many | Previous | Next