Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype MinBound = MinBound Integer
- newtype MaxBound = MaxBound Integer
- type MaxUncoveredPatterns = Int
- type MaxPmCheckModels = Int
- data DsMessage
- = DsUnknownMessage (UnknownDiagnostic (DiagnosticOpts DsMessage))
- | DsEmptyEnumeration
- | DsIdentitiesFound !Id !Type
- | DsOverflowedLiterals !Integer !Name !(Maybe (MinBound, MaxBound)) !NegLiteralExtEnabled
- | DsRedundantBangPatterns !(HsMatchContext GhcTc) !SDoc
- | DsOverlappingPatterns !(HsMatchContext GhcTc) !SDoc
- | DsInaccessibleRhs !(HsMatchContext GhcTc) !SDoc
- | DsMaxPmCheckModelsReached !MaxPmCheckModels
- | DsNonExhaustivePatterns !(HsMatchContext GhcTc) !ExhaustivityCheckType !MaxUncoveredPatterns [Id] [Nabla]
- | DsTopLevelBindsNotAllowed !BindsType !(HsBindLR GhcTc GhcTc)
- | DsUselessSpecialiseForClassMethodSelector !Id
- | DsUselessSpecialiseForNoInlineFunction !Id
- | DsMultiplicityCoercionsNotSupported
- | DsOrphanRule !CoreRule
- | DsRuleLhsTooComplicated !CoreExpr !CoreExpr
- | DsRuleIgnoredDueToConstructor !DataCon
- | DsRuleBindersNotBound ![Var] ![Var] !CoreExpr !CoreExpr
- | DsLazyPatCantBindVarsOfUnliftedType [Var]
- | DsNotYetHandledByTH !ThRejectionReason
- | DsAggregatedViewExpressions [[LHsExpr GhcTc]]
- | DsUnbangedStrictPatterns !(HsBindLR GhcTc GhcTc)
- | DsCannotMixPolyAndUnliftedBindings !(HsBindLR GhcTc GhcTc)
- | DsWrongDoBind !(LHsExpr GhcTc) !Type
- | DsUnusedDoBind !(LHsExpr GhcTc) !Type
- | DsRecBindsNotAllowedForUnliftedTys ![LHsBindLR GhcTc GhcTc]
- | DsRuleMightInlineFirst !RuleName !Var !Activation
- | DsAnotherRuleMightFireFirst !RuleName !RuleName !Var
- newtype DsArgNum = DsArgNum Int
- data ThRejectionReason
- = ThAmbiguousRecordUpdates !(HsRecUpdField GhcRn GhcRn)
- | ThAbstractClosedTypeFamily !(LFamilyDecl GhcRn)
- | ThForeignLabel !CLabelString
- | ThForeignExport !(LForeignDecl GhcRn)
- | ThMinimalPragmas
- | ThSCCPragmas
- | ThNoUserInline
- | ThExoticFormOfType !(HsType GhcRn)
- | ThAmbiguousRecordSelectors !(HsExpr GhcRn)
- | ThMonadComprehensionSyntax !(HsExpr GhcRn)
- | ThCostCentres !(HsExpr GhcRn)
- | ThExpressionForm !(HsExpr GhcRn)
- | ThExoticStatement [Stmt GhcRn (LHsExpr GhcRn)]
- | ThExoticLiteral !(HsLit GhcRn)
- | ThExoticPattern !(Pat GhcRn)
- | ThGuardedLambdas !(Match GhcRn (LHsExpr GhcRn))
- | ThNegativeOverloadedPatterns !(Pat GhcRn)
- | ThHaddockDocumentation
- | ThWarningAndDeprecationPragmas [LIdP GhcRn]
- | ThSplicesWithinDeclBrackets
- | ThNonLinearDataCon
- data NegLiteralExtEnabled
- negLiteralExtEnabled :: DynFlags -> NegLiteralExtEnabled
- newtype ExhaustivityCheckType = ExhaustivityCheckType (Maybe WarningFlag)
- data BindsType
Documentation
type MaxUncoveredPatterns = Int Source #
type MaxPmCheckModels = Int Source #
Diagnostics messages emitted during desugaring.
Instances
data ThRejectionReason Source #
Why TemplateHaskell rejected the splice. Used in the DsNotYetHandledByTH
constructor of a DsMessage
.
ThAmbiguousRecordUpdates !(HsRecUpdField GhcRn GhcRn) | |
ThAbstractClosedTypeFamily !(LFamilyDecl GhcRn) | |
ThForeignLabel !CLabelString | |
ThForeignExport !(LForeignDecl GhcRn) | |
ThMinimalPragmas | |
ThSCCPragmas | |
ThNoUserInline | |
ThExoticFormOfType !(HsType GhcRn) | |
ThAmbiguousRecordSelectors !(HsExpr GhcRn) | |
ThMonadComprehensionSyntax !(HsExpr GhcRn) | |
ThCostCentres !(HsExpr GhcRn) | |
ThExpressionForm !(HsExpr GhcRn) | |
ThExoticStatement [Stmt GhcRn (LHsExpr GhcRn)] | |
ThExoticLiteral !(HsLit GhcRn) | |
ThExoticPattern !(Pat GhcRn) | |
ThGuardedLambdas !(Match GhcRn (LHsExpr GhcRn)) | |
ThNegativeOverloadedPatterns !(Pat GhcRn) | |
ThHaddockDocumentation | |
ThWarningAndDeprecationPragmas [LIdP GhcRn] | |
ThSplicesWithinDeclBrackets | |
ThNonLinearDataCon |