Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc GHC.Tc.Module The returned [Id] is the list of new Ids bound by this statement. It can be used to extend the InteractiveContext via extendInteractiveContext. The returned TypecheckedHsExpr is of type IO [ Any ], a list of the bound values, coerced to Any.
FRRBindStmt :: StmtOrigin -> FixedRuntimeRepContextghc GHC.Tc.Types.Origin Arguments to (>>=) arising from a do expression or a monad comprehension must have a fixed runtime representation. Test cases: RepPolyDoBind, RepPolyMcBind.
FRRBindStmtGuard :: FixedRuntimeRepContextghc GHC.Tc.Types.Origin A value bound by a pattern guard must have a fixed runtime representation. Test cases: none.
FRRBodyStmt :: StmtOrigin -> Int -> FixedRuntimeRepContextghc GHC.Tc.Types.Origin The body of a do expression or a monad comprehension must have a fixed runtime representation. Test cases: RepPolyDoBody{1,2}, RepPolyMcBody.
FRRBodyStmtGuard :: FixedRuntimeRepContextghc GHC.Tc.Types.Origin Arguments to a guard in a monad comprehension must have a fixed runtime representation. Test case: RepPolyMcGuard.
wrapLocFstM :: (a -> TcM (b, c)) -> Located a -> TcM (Located b, c)ghc GHC.Tc.Utils.Monad No documentation available.
wrapLocFstMA :: (a -> TcM (b, c)) -> GenLocated (EpAnn ann) a -> TcM (GenLocated (EpAnn ann) b, c)ghc GHC.Tc.Utils.Monad No documentation available.
-
ghc GHC.Types.Error Suggests that a monadic code block is probably missing a "do" keyword. Example: main = putStrLn "hello" putStrLn "world" Test case(s): parsershould_failT8501a, parsershould_failreadFail007, parsershould_failInfixAppPatErr, parsershould_failT984
SuggestMoveNonCanonicalDefinition :: Name -> Name -> String -> GhcHintghc GHC.Types.Error Suggest moving a method implementation to a different instance to its superclass that defines the canonical version of the method.
SuggestMoveToDeclarationSite :: SDoc -> RdrName -> GhcHintghc GHC.Types.Error Something is split off from its corresponding declaration. For example, a datatype is given a role declaration in a different module. Test cases: T495, T8485, T2713, T5533.