Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. TcRnForAllRankErr :: Rank -> Type -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnForAllRankErr is an error that occurs whenever an illegal ranked type is specified. Examples(s): foo :: (a,b) -> (a~b => t) -> (a,b) foo p x = p Test cases: - ghcishould_runT15806 - indexed-typesshould_failSimpleFail15 - typecheckshould_failT11355 - typecheckshould_failT12083a - typecheckshould_failT12083b - typecheckshould_failT16059c - typecheckshould_failT16059e - typecheckshould_failT17213 - typecheckshould_failT18939_Fail - typecheckshould_failT2538 - typecheckshould_failT5957 - typecheckshould_failT7019 - typecheckshould_failT7019a - typecheckshould_failT7809 - typecheckshould_failT9196 - typecheckshould_failtcfail127 - typecheckshould_failtcfail184 - typecheckshould_failtcfail196 - typecheckshould_failtcfail197

2. TcRnInvisPatWithNoForAll :: HsTyPat GhcRn -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnInvisPatWithNoForAll is an error raised when invisible type pattern is used without associated `forall` in types Examples: f :: Int f @t = 5 g :: [a -> a] g = [ @t x -> x :: t] Test cases: T17694c T17594d

3. TcRnNestedForallsContexts :: NestedForallsContextsIn -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnNestedForallsContexts is an error indicating that multiple foralls or contexts are nested/curried where this is not supported, like ∀ x. ∀ y. instead of ∀ x y.. Test cases: T12087, T14320, T16114, T16394, T16427, T18191, T18240a, T18240b, T18455, T5951

4. TcRnUnsupportedCallConv :: Either (ForeignExport GhcRn) (ForeignImport GhcRn) -> UnsupportedCallConvention -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnUnsupportedCallConv informs the user that the calling convention specified for a foreign export declaration is not compatible with the target platform. It is a warning controlled by -Wunsupported-calling-conventions in the case of stdcall but is otherwise considered an error. Example(s): None Test cases: None

5. UnexpectedNestedForall :: IllegalForeignTypeReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. data UnsupportedCallConvention

   ghc	GHC.Tc.Errors.Types

   Specifies which calling convention is unsupported on the current platform

7. WildcardsNotAllowedAtAll :: BadAnonWildcardContext

   ghc	GHC.Tc.Errors.Types

   No documentation available.

8. VACall :: HsExpr GhcRn -> Int -> SrcSpan -> AppCtxt

   ghc	GHC.Tc.Gen.Head

   No documentation available.

9. kindGeneralizeAll :: SkolemInfo -> TcType -> TcM [KindVar]

   ghc	GHC.Tc.Gen.HsType

   • Specialised version of kindGeneralizeSome, but with empty WantedConstraints, so no filtering is needed i.e. kindGeneraliseAll = kindGeneralizeSome emptyWC

10. solveCallStack :: CtEvidence -> EvCallStack -> TcS ()

    ghc	GHC.Tc.Solver.Dict

    No documentation available.

Page 311 of many | Previous | Next