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 :: Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcAnn NoEpAnns => SrcSpan -> LocatedA (body (GhcPass p)) -> EpAnn GrhsAnn -> GRHSs (GhcPass p) (LocatedA (body (GhcPass p)))
ghc GHC.Hs.Utils
unguardedRHS :: Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcAnn 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
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 p
ghc Language.Haskell.Syntax.Expr
Guards of pattern bindings, e.g., (Just b) | Just _ <- x = e | otherwise = e'
PatGuard :: HsMatchContext p -> HsStmtContext p
ghc Language.Haskell.Syntax.Expr
Pattern guard for specified thing