guard package:ghc

guardMIdKey :: Unique
ghc GHC.Builtin.Names
guardMName :: Name
ghc GHC.Builtin.Names
guardedBIdKey :: Unique
ghc GHC.Builtin.Names.TH
guardedBName :: Name
ghc GHC.Builtin.Names.TH
module GHC.HsToCore.GuardedRHSs
ghc
type GuardLStmt id = LStmt id LHsExpr id
ghc Language.Haskell.Syntax.Expr
Guard Located Statement
type GuardStmt id = Stmt id LHsExpr id
ghc Language.Haskell.Syntax.Expr
Guard Statement
nonExhaustiveGuardsErrorIdKey :: Unique
ghc GHC.Builtin.Names
nON_EXHAUSTIVE_GUARDS_ERROR_ID :: Id
ghc GHC.Core.Make
unguardedGRHSs :: forall (p :: Pass) body . Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ EpAnn NoEpAnns => SrcSpan -> LocatedA (body (GhcPass p)) -> EpAnn GrhsAnn -> GRHSs (GhcPass p) (LocatedA (body (GhcPass p)))
ghc GHC.Hs.Utils
unguardedRHS :: forall (p :: Pass) body . Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ EpAnn NoEpAnns => EpAnn GrhsAnn -> SrcSpan -> LocatedA (body (GhcPass p)) -> [LGRHS (GhcPass p) (LocatedA (body (GhcPass p)))]
ghc GHC.Hs.Utils
ThGuardedLambdas :: !Match GhcRn (LHsExpr GhcRn) -> ThRejectionReason
ghc GHC.HsToCore.Errors.Types
dsGuarded :: GRHSs GhcTc (LHsExpr GhcTc) -> Type -> NonEmpty Nablas -> DsM CoreExpr
ghc GHC.HsToCore.GuardedRHSs
mkGuardedMatchResult :: CoreExpr -> MatchResult CoreExpr -> MatchResult CoreExpr
ghc GHC.HsToCore.Utils
data NonStandardGuards
ghc GHC.Tc.Errors.Types
NonStandardGuards :: forall body . (Outputable body, Anno (Stmt GhcRn body) ~ SrcSpanAnnA) => [LStmtLR GhcRn GhcRn body] -> NonStandardGuards
ghc GHC.Tc.Errors.Types
TcRnNonStdGuards :: NonStandardGuards -> TcRnMessage
ghc GHC.Tc.Errors.Types
TcRnNonStdGuards is a warning thrown when a user uses non-standard guards (e.g. patterns in guards) without enabling the PatternGuards extension. More realistically: the user has explicitly disabled PatternGuards, as it is enabled by default with `-XHaskell2010`. Example(s): f | 5 <- 2 + 3 = ... Test cases: renameshould_compilern049
tcGuardStmt :: TcExprStmtChecker
ghc GHC.Tc.Gen.Match
FRRBindStmtGuard :: FixedRuntimeRepContext
ghc GHC.Tc.Types.Origin
A value bound by a pattern guard must have a fixed runtime representation. Test cases: none.
FRRBodyStmtGuard :: FixedRuntimeRepContext
ghc GHC.Tc.Types.Origin
Arguments to a guard in a monad comprehension must have a fixed runtime representation. Test case: RepPolyMcGuard.
PatBindGuards :: HsMatchContext fn
ghc Language.Haskell.Syntax.Expr
Guards of pattern bindings, e.g., (Just b) | Just _ <- x = e | otherwise = e'
PatGuard :: HsMatchContext fn -> HsStmtContext fn
ghc Language.Haskell.Syntax.Expr
Pattern guard for specified thing