{-# OPTIONS_GHC -fno-warn-orphans #-}
module Agda.TypeChecking.Serialise.Instances.Errors where
import Control.Monad
import Agda.TypeChecking.Serialise.Base
import Agda.TypeChecking.Serialise.Instances.Internal ()
import Agda.TypeChecking.Serialise.Instances.Abstract ()
import Agda.Syntax.Concrete.Definitions (DeclarationWarning(..), DeclarationWarning'(..))
import Agda.Syntax.Parser.Monad
import Agda.TypeChecking.Monad.Base
import qualified Agda.TypeChecking.Monad.Base.Warning as W
import Agda.Interaction.Options
import Agda.Interaction.Options.Warnings
import Agda.Interaction.Library.Base
import Agda.Termination.CutOff
import Agda.Syntax.Common.Pretty
import Agda.Utils.ProfileOptions
import Agda.Utils.Impossible
instance EmbPrj TCWarning where
icod_ :: TCWarning -> S Int32
icod_ (TCWarning CallStack
fp Range
a Warning
b Doc
c Bool
d) = (CallStack -> Range -> Warning -> Doc -> Bool -> TCWarning)
-> Arrows
(Domains
(CallStack -> Range -> Warning -> Doc -> Bool -> TCWarning))
(S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' CallStack -> Range -> Warning -> Doc -> Bool -> TCWarning
TCWarning CallStack
fp Range
a Warning
b Doc
c Bool
d
value :: Int32 -> R TCWarning
value = (CallStack -> Range -> Warning -> Doc -> Bool -> TCWarning)
-> Int32
-> R (CoDomain
(CallStack -> Range -> Warning -> Doc -> Bool -> TCWarning))
forall t.
(VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Int32 -> R (CoDomain t)
valueN CallStack -> Range -> Warning -> Doc -> Bool -> TCWarning
TCWarning
instance EmbPrj Warning where
icod_ :: Warning -> S Int32
icod_ = \case
TerminationIssue [TerminationError]
a -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
UnreachableClauses QName
a [Range]
b -> Int32
-> (QName -> [Range] -> Warning)
-> Arrows (Domains (QName -> [Range] -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 QName -> [Range] -> Warning
UnreachableClauses QName
a [Range]
b
CoverageIssue QName
a [(Telescope, [NamedArg DeBruijnPattern])]
b -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
NotStrictlyPositive QName
a Seq OccursWhere
b -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
ConstructorDoesNotFitInData{} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
UnsolvedMetaVariables [Range]
a -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
UnsolvedInteractionMetas [Range]
a -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
UnsolvedConstraints Constraints
a -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
InteractionMetaBoundaries [Range]
a -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
OldBuiltin BuiltinId
a BuiltinId
b -> Int32
-> (BuiltinId -> BuiltinId -> Warning)
-> Arrows (Domains (BuiltinId -> BuiltinId -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
1 BuiltinId -> BuiltinId -> Warning
OldBuiltin BuiltinId
a BuiltinId
b
Warning
EmptyRewritePragma -> Int32 -> Warning -> Arrows (Domains Warning) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
2 Warning
EmptyRewritePragma
Warning
UselessPublic -> Int32 -> Warning -> Arrows (Domains Warning) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
3 Warning
UselessPublic
UselessInline QName
a -> Int32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
4 QName -> Warning
UselessInline QName
a
InvalidCharacterLiteral Char
a -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagPostulate Name
a -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagPragma [String]
a -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
Warning
SafeFlagWithoutKFlagPrimEraseEquality -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
DuplicateRecordDirective RecordDirective
a -> Int32
-> (RecordDirective -> Warning)
-> Arrows (Domains (RecordDirective -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
5 RecordDirective -> Warning
DuplicateRecordDirective RecordDirective
a
DeprecationWarning String
a String
b String
c -> Int32
-> (String -> String -> String -> Warning)
-> Arrows
(Domains (String -> String -> String -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
6 String -> String -> String -> Warning
DeprecationWarning String
a String
b String
c
NicifierIssue DeclarationWarning
a -> Int32
-> (DeclarationWarning -> Warning)
-> Arrows (Domains (DeclarationWarning -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
7 DeclarationWarning -> Warning
NicifierIssue DeclarationWarning
a
InversionDepthReached QName
a -> Int32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
8 QName -> Warning
InversionDepthReached QName
a
UserWarning Text
a -> Int32
-> (Text -> Warning)
-> Arrows (Domains (Text -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
9 Text -> Warning
UserWarning Text
a
AbsurdPatternRequiresNoRHS [NamedArg DeBruijnPattern]
a -> Int32
-> ([NamedArg DeBruijnPattern] -> Warning)
-> Arrows
(Domains ([NamedArg DeBruijnPattern] -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
10 [NamedArg DeBruijnPattern] -> Warning
AbsurdPatternRequiresNoRHS [NamedArg DeBruijnPattern]
a
ModuleDoesntExport QName
a [Name]
b [Name]
c [ImportedName]
d -> Int32
-> (QName -> [Name] -> [Name] -> [ImportedName] -> Warning)
-> Arrows
(Domains (QName -> [Name] -> [Name] -> [ImportedName] -> Warning))
(S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
11 QName -> [Name] -> [Name] -> [ImportedName] -> Warning
ModuleDoesntExport QName
a [Name]
b [Name]
c [ImportedName]
d
LibraryWarning LibWarning
a -> Int32
-> (LibWarning -> Warning)
-> Arrows (Domains (LibWarning -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
12 LibWarning -> Warning
LibraryWarning LibWarning
a
CoverageNoExactSplit QName
a [Clause]
b -> Int32
-> (QName -> [Clause] -> Warning)
-> Arrows (Domains (QName -> [Clause] -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
13 QName -> [Clause] -> Warning
CoverageNoExactSplit QName
a [Clause]
b
CantGeneralizeOverSorts [MetaId]
a -> Int32
-> ([MetaId] -> Warning)
-> Arrows (Domains ([MetaId] -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
14 [MetaId] -> Warning
CantGeneralizeOverSorts [MetaId]
a
IllformedAsClause String
a -> Int32
-> (String -> Warning)
-> Arrows (Domains (String -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
15 String -> Warning
IllformedAsClause String
a
Warning
WithoutKFlagPrimEraseEquality -> Int32 -> Warning -> Arrows (Domains Warning) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
16 Warning
WithoutKFlagPrimEraseEquality
InstanceWithExplicitArg QName
a -> Int32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
17 QName -> Warning
InstanceWithExplicitArg QName
a
InfectiveImport Doc
a -> Int32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
18 Doc -> Warning
InfectiveImport Doc
a
CoInfectiveImport Doc
a -> Int32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
19 Doc -> Warning
CoInfectiveImport Doc
a
InstanceNoOutputTypeName Doc
a -> Int32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
20 Doc -> Warning
InstanceNoOutputTypeName Doc
a
InstanceArgWithExplicitArg Doc
a -> Int32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
21 Doc -> Warning
InstanceArgWithExplicitArg Doc
a
Warning
WrongInstanceDeclaration -> Int32 -> Warning -> Arrows (Domains Warning) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
22 Warning
WrongInstanceDeclaration
RewriteNonConfluent Term
a Term
b Term
c Doc
d -> Int32
-> (Term -> Term -> Term -> Doc -> Warning)
-> Arrows
(Domains (Term -> Term -> Term -> Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
23 Term -> Term -> Term -> Doc -> Warning
RewriteNonConfluent Term
a Term
b Term
c Doc
d
RewriteMaybeNonConfluent Term
a Term
b [Doc]
c -> Int32
-> (Term -> Term -> [Doc] -> Warning)
-> Arrows (Domains (Term -> Term -> [Doc] -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
24 Term -> Term -> [Doc] -> Warning
RewriteMaybeNonConfluent Term
a Term
b [Doc]
c
PragmaCompileErased String
a QName
b -> Int32
-> (String -> QName -> Warning)
-> Arrows (Domains (String -> QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
25 String -> QName -> Warning
PragmaCompileErased String
a QName
b
FixityInRenamingModule List1 Range
a -> Int32
-> (List1 Range -> Warning)
-> Arrows (Domains (List1 Range -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
26 List1 Range -> Warning
FixityInRenamingModule List1 Range
a
NotInScopeW [QName]
ns -> Int32
-> ([QName] -> Warning)
-> Arrows (Domains ([QName] -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
27 [QName] -> Warning
NotInScopeW [QName]
ns
ClashesViaRenaming NameOrModule
a [Name]
b -> Int32
-> (NameOrModule -> [Name] -> Warning)
-> Arrows (Domains (NameOrModule -> [Name] -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
28 NameOrModule -> [Name] -> Warning
ClashesViaRenaming NameOrModule
a [Name]
b
RecordFieldWarning RecordFieldWarning
a -> Int32
-> (RecordFieldWarning -> Warning)
-> Arrows (Domains (RecordFieldWarning -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
29 RecordFieldWarning -> Warning
RecordFieldWarning RecordFieldWarning
a
UselessPatternDeclarationForRecord String
a -> Int32
-> (String -> Warning)
-> Arrows (Domains (String -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
30 String -> Warning
UselessPatternDeclarationForRecord String
a
Warning
EmptyWhere -> Int32 -> Warning -> Arrows (Domains Warning) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
31 Warning
EmptyWhere
AsPatternShadowsConstructorOrPatternSynonym LHSOrPatSyn
a -> Int32
-> (LHSOrPatSyn -> Warning)
-> Arrows (Domains (LHSOrPatSyn -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
32 LHSOrPatSyn -> Warning
AsPatternShadowsConstructorOrPatternSynonym LHSOrPatSyn
a
DuplicateUsing List1 ImportedName
a -> Int32
-> (List1 ImportedName -> Warning)
-> Arrows (Domains (List1 ImportedName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
33 List1 ImportedName -> Warning
DuplicateUsing List1 ImportedName
a
UselessHiding [ImportedName]
a -> Int32
-> ([ImportedName] -> Warning)
-> Arrows (Domains ([ImportedName] -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
34 [ImportedName] -> Warning
UselessHiding [ImportedName]
a
UselessPragma Range
a Doc
b -> Int32
-> (Range -> Doc -> Warning)
-> Arrows (Domains (Range -> Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
35 Range -> Doc -> Warning
UselessPragma Range
a Doc
b
RewriteAmbiguousRules Term
a Term
b Term
c -> Int32
-> (Term -> Term -> Term -> Warning)
-> Arrows (Domains (Term -> Term -> Term -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
36 Term -> Term -> Term -> Warning
RewriteAmbiguousRules Term
a Term
b Term
c
RewriteMissingRule Term
a Term
b Term
c -> Int32
-> (Term -> Term -> Term -> Warning)
-> Arrows (Domains (Term -> Term -> Term -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
37 Term -> Term -> Term -> Warning
RewriteMissingRule Term
a Term
b Term
c
ParseWarning ParseWarning
a -> Int32
-> (ParseWarning -> Warning)
-> Arrows (Domains (ParseWarning -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
38 ParseWarning -> Warning
ParseWarning ParseWarning
a
NoGuardednessFlag QName
a -> Int32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
39 QName -> Warning
NoGuardednessFlag QName
a
UnsupportedIndexedMatch Doc
f -> Int32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
40 Doc -> Warning
UnsupportedIndexedMatch Doc
f
OptionWarning OptionWarning
a -> Int32
-> (OptionWarning -> Warning)
-> Arrows (Domains (OptionWarning -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
41 OptionWarning -> Warning
OptionWarning OptionWarning
a
PlentyInHardCompileTimeMode QωOrigin
a -> Int32
-> (QωOrigin -> Warning)
-> Arrows (Domains (QωOrigin -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
42 QωOrigin -> Warning
PlentyInHardCompileTimeMode QωOrigin
a
Warning
NotAffectedByOpaque -> Int32 -> Warning -> Arrows (Domains Warning) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
43 Warning
NotAffectedByOpaque
UnfoldTransparentName QName
nm -> Int32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
44 QName -> Warning
UnfoldTransparentName QName
nm
Warning
UselessOpaque -> Int32 -> Warning -> Arrows (Domains Warning) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
45 Warning
UselessOpaque
InlineNoExactSplit QName
a Clause
b -> Int32
-> (QName -> Clause -> Warning)
-> Arrows (Domains (QName -> Clause -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
46 QName -> Clause -> Warning
InlineNoExactSplit QName
a Clause
b
FaceConstraintCannotBeHidden ArgInfo
a -> Int32
-> (ArgInfo -> Warning)
-> Arrows (Domains (ArgInfo -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
47 ArgInfo -> Warning
FaceConstraintCannotBeHidden ArgInfo
a
FaceConstraintCannotBeNamed NamedName
a -> Int32
-> (NamedName -> Warning)
-> Arrows (Domains (NamedName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
48 NamedName -> Warning
FaceConstraintCannotBeNamed NamedName
a
PatternShadowsConstructor Name
a QName
b -> Int32
-> (Name -> QName -> Warning)
-> Arrows (Domains (Name -> QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
49 Name -> QName -> Warning
PatternShadowsConstructor Name
a QName
b
DuplicateInterfaceFiles AbsolutePath
a AbsolutePath
b -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
ConfluenceCheckingIncompleteBecauseOfMeta QName
a -> Int32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
50 QName -> Warning
ConfluenceCheckingIncompleteBecauseOfMeta QName
a
BuiltinDeclaresIdentifier BuiltinId
a -> Int32
-> (BuiltinId -> Warning)
-> Arrows (Domains (BuiltinId -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
51 BuiltinId -> Warning
BuiltinDeclaresIdentifier BuiltinId
a
Warning
ConfluenceForCubicalNotSupported -> Int32 -> Warning -> Arrows (Domains Warning) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
52 Warning
ConfluenceForCubicalNotSupported
Warning
PragmaCompileList -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
Warning
PragmaCompileMaybe -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
NoMain TopLevelModuleName
_ -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
IllegalRewriteRule QName
a IllegalRewriteRuleReason
b -> Int32
-> (QName -> IllegalRewriteRuleReason -> Warning)
-> Arrows
(Domains (QName -> IllegalRewriteRuleReason -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
53 QName -> IllegalRewriteRuleReason -> Warning
IllegalRewriteRule QName
a IllegalRewriteRuleReason
b
MissingTypeSignatureForOpaque QName
a IsOpaque
b -> Int32
-> (QName -> IsOpaque -> Warning)
-> Arrows (Domains (QName -> IsOpaque -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
54 QName -> IsOpaque -> Warning
MissingTypeSignatureForOpaque QName
a IsOpaque
b
ConflictingPragmaOptions String
a String
b -> Int32
-> (String -> String -> Warning)
-> Arrows (Domains (String -> String -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
55 String -> String -> Warning
ConflictingPragmaOptions String
a String
b
CustomBackendWarning String
a Doc
b -> Int32
-> (String -> Doc -> Warning)
-> Arrows (Domains (String -> Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
56 String -> Doc -> Warning
CustomBackendWarning String
a Doc
b
CoinductiveEtaRecord QName
a -> Int32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
57 QName -> Warning
CoinductiveEtaRecord QName
a
value :: Int32 -> R Warning
value = ([Int32] -> R Warning) -> Int32 -> R Warning
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R Warning) -> Int32 -> R Warning)
-> ([Int32] -> R Warning) -> Int32 -> R Warning
forall a b. (a -> b) -> a -> b
$ \ case
[Int32
0, Int32
a, Int32
b] -> (QName -> [Range] -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> [Range] -> Warning)))
(R (CoDomain (QName -> [Range] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> [Range] -> Warning
UnreachableClauses Int32
a Int32
b
[Int32
1, Int32
a, Int32
b] -> (BuiltinId -> BuiltinId -> Warning)
-> Arrows
(Constant Int32 (Domains (BuiltinId -> BuiltinId -> Warning)))
(R (CoDomain (BuiltinId -> BuiltinId -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN BuiltinId -> BuiltinId -> Warning
OldBuiltin Int32
a Int32
b
[Int32
2] -> Warning
-> Arrows (Constant Int32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Warning
EmptyRewritePragma
[Int32
3] -> Warning
-> Arrows (Constant Int32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Warning
UselessPublic
[Int32
4, Int32
a] -> (QName -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> Warning)))
(R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
UselessInline Int32
a
[Int32
5, Int32
a] -> (RecordDirective -> Warning)
-> Arrows
(Constant Int32 (Domains (RecordDirective -> Warning)))
(R (CoDomain (RecordDirective -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN RecordDirective -> Warning
DuplicateRecordDirective Int32
a
[Int32
6, Int32
a, Int32
b, Int32
c] -> (String -> String -> String -> Warning)
-> Arrows
(Constant Int32 (Domains (String -> String -> String -> Warning)))
(R (CoDomain (String -> String -> String -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> String -> String -> Warning
DeprecationWarning Int32
a Int32
b Int32
c
[Int32
7, Int32
a] -> (DeclarationWarning -> Warning)
-> Arrows
(Constant Int32 (Domains (DeclarationWarning -> Warning)))
(R (CoDomain (DeclarationWarning -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN DeclarationWarning -> Warning
NicifierIssue Int32
a
[Int32
8, Int32
a] -> (QName -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> Warning)))
(R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
InversionDepthReached Int32
a
[Int32
9, Int32
a] -> (Text -> Warning)
-> Arrows
(Constant Int32 (Domains (Text -> Warning)))
(R (CoDomain (Text -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Text -> Warning
UserWarning Int32
a
[Int32
10, Int32
a] -> ([NamedArg DeBruijnPattern] -> Warning)
-> Arrows
(Constant Int32 (Domains ([NamedArg DeBruijnPattern] -> Warning)))
(R (CoDomain ([NamedArg DeBruijnPattern] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [NamedArg DeBruijnPattern] -> Warning
AbsurdPatternRequiresNoRHS Int32
a
[Int32
11, Int32
a, Int32
b, Int32
c, Int32
d] -> (QName -> [Name] -> [Name] -> [ImportedName] -> Warning)
-> Arrows
(Constant
Int32
(Domains (QName -> [Name] -> [Name] -> [ImportedName] -> Warning)))
(R (CoDomain
(QName -> [Name] -> [Name] -> [ImportedName] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> [Name] -> [Name] -> [ImportedName] -> Warning
ModuleDoesntExport Int32
a Int32
b Int32
c Int32
d
[Int32
12, Int32
a] -> (LibWarning -> Warning)
-> Arrows
(Constant Int32 (Domains (LibWarning -> Warning)))
(R (CoDomain (LibWarning -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN LibWarning -> Warning
LibraryWarning Int32
a
[Int32
13, Int32
a, Int32
b] -> (QName -> [Clause] -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> [Clause] -> Warning)))
(R (CoDomain (QName -> [Clause] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> [Clause] -> Warning
CoverageNoExactSplit Int32
a Int32
b
[Int32
14, Int32
a] -> ([MetaId] -> Warning)
-> Arrows
(Constant Int32 (Domains ([MetaId] -> Warning)))
(R (CoDomain ([MetaId] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [MetaId] -> Warning
CantGeneralizeOverSorts Int32
a
[Int32
15, Int32
a] -> (String -> Warning)
-> Arrows
(Constant Int32 (Domains (String -> Warning)))
(R (CoDomain (String -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> Warning
IllformedAsClause Int32
a
[Int32
16] -> Warning
-> Arrows (Constant Int32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Warning
WithoutKFlagPrimEraseEquality
[Int32
17, Int32
a] -> (QName -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> Warning)))
(R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
InstanceWithExplicitArg Int32
a
[Int32
18, Int32
a] -> (Doc -> Warning)
-> Arrows
(Constant Int32 (Domains (Doc -> Warning)))
(R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
InfectiveImport Int32
a
[Int32
19, Int32
a] -> (Doc -> Warning)
-> Arrows
(Constant Int32 (Domains (Doc -> Warning)))
(R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
CoInfectiveImport Int32
a
[Int32
20, Int32
a] -> (Doc -> Warning)
-> Arrows
(Constant Int32 (Domains (Doc -> Warning)))
(R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
InstanceNoOutputTypeName Int32
a
[Int32
21, Int32
a] -> (Doc -> Warning)
-> Arrows
(Constant Int32 (Domains (Doc -> Warning)))
(R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
InstanceArgWithExplicitArg Int32
a
[Int32
22] -> Warning
-> Arrows (Constant Int32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Warning
WrongInstanceDeclaration
[Int32
23, Int32
a, Int32
b, Int32
c, Int32
d] -> (Term -> Term -> Term -> Doc -> Warning)
-> Arrows
(Constant Int32 (Domains (Term -> Term -> Term -> Doc -> Warning)))
(R (CoDomain (Term -> Term -> Term -> Doc -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> Term -> Doc -> Warning
RewriteNonConfluent Int32
a Int32
b Int32
c Int32
d
[Int32
24, Int32
a, Int32
b, Int32
c] -> (Term -> Term -> [Doc] -> Warning)
-> Arrows
(Constant Int32 (Domains (Term -> Term -> [Doc] -> Warning)))
(R (CoDomain (Term -> Term -> [Doc] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> [Doc] -> Warning
RewriteMaybeNonConfluent Int32
a Int32
b Int32
c
[Int32
25, Int32
a, Int32
b] -> (String -> QName -> Warning)
-> Arrows
(Constant Int32 (Domains (String -> QName -> Warning)))
(R (CoDomain (String -> QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> QName -> Warning
PragmaCompileErased Int32
a Int32
b
[Int32
26, Int32
a] -> (List1 Range -> Warning)
-> Arrows
(Constant Int32 (Domains (List1 Range -> Warning)))
(R (CoDomain (List1 Range -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN List1 Range -> Warning
FixityInRenamingModule Int32
a
[Int32
27, Int32
ns] -> ([QName] -> Warning)
-> Arrows
(Constant Int32 (Domains ([QName] -> Warning)))
(R (CoDomain ([QName] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [QName] -> Warning
NotInScopeW Int32
ns
[Int32
28, Int32
a, Int32
b] -> (NameOrModule -> [Name] -> Warning)
-> Arrows
(Constant Int32 (Domains (NameOrModule -> [Name] -> Warning)))
(R (CoDomain (NameOrModule -> [Name] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN NameOrModule -> [Name] -> Warning
ClashesViaRenaming Int32
a Int32
b
[Int32
29, Int32
a] -> (RecordFieldWarning -> Warning)
-> Arrows
(Constant Int32 (Domains (RecordFieldWarning -> Warning)))
(R (CoDomain (RecordFieldWarning -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN RecordFieldWarning -> Warning
RecordFieldWarning Int32
a
[Int32
30, Int32
a] -> (String -> Warning)
-> Arrows
(Constant Int32 (Domains (String -> Warning)))
(R (CoDomain (String -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> Warning
UselessPatternDeclarationForRecord Int32
a
[Int32
31] -> Warning
-> Arrows (Constant Int32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Warning
EmptyWhere
[Int32
32, Int32
a] -> (LHSOrPatSyn -> Warning)
-> Arrows
(Constant Int32 (Domains (LHSOrPatSyn -> Warning)))
(R (CoDomain (LHSOrPatSyn -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN LHSOrPatSyn -> Warning
AsPatternShadowsConstructorOrPatternSynonym Int32
a
[Int32
33, Int32
a] -> (List1 ImportedName -> Warning)
-> Arrows
(Constant Int32 (Domains (List1 ImportedName -> Warning)))
(R (CoDomain (List1 ImportedName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN List1 ImportedName -> Warning
DuplicateUsing Int32
a
[Int32
34, Int32
a] -> ([ImportedName] -> Warning)
-> Arrows
(Constant Int32 (Domains ([ImportedName] -> Warning)))
(R (CoDomain ([ImportedName] -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [ImportedName] -> Warning
UselessHiding Int32
a
[Int32
35, Int32
a, Int32
b] -> (Range -> Doc -> Warning)
-> Arrows
(Constant Int32 (Domains (Range -> Doc -> Warning)))
(R (CoDomain (Range -> Doc -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> Doc -> Warning
UselessPragma Int32
a Int32
b
[Int32
36, Int32
a, Int32
b, Int32
c] -> (Term -> Term -> Term -> Warning)
-> Arrows
(Constant Int32 (Domains (Term -> Term -> Term -> Warning)))
(R (CoDomain (Term -> Term -> Term -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> Term -> Warning
RewriteAmbiguousRules Int32
a Int32
b Int32
c
[Int32
37, Int32
a, Int32
b, Int32
c] -> (Term -> Term -> Term -> Warning)
-> Arrows
(Constant Int32 (Domains (Term -> Term -> Term -> Warning)))
(R (CoDomain (Term -> Term -> Term -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> Term -> Warning
RewriteMissingRule Int32
a Int32
b Int32
c
[Int32
38, Int32
a] -> (ParseWarning -> Warning)
-> Arrows
(Constant Int32 (Domains (ParseWarning -> Warning)))
(R (CoDomain (ParseWarning -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN ParseWarning -> Warning
ParseWarning Int32
a
[Int32
39, Int32
a] -> (QName -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> Warning)))
(R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
NoGuardednessFlag Int32
a
[Int32
40, Int32
a] -> (Doc -> Warning)
-> Arrows
(Constant Int32 (Domains (Doc -> Warning)))
(R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
UnsupportedIndexedMatch Int32
a
[Int32
41, Int32
a] -> (OptionWarning -> Warning)
-> Arrows
(Constant Int32 (Domains (OptionWarning -> Warning)))
(R (CoDomain (OptionWarning -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN OptionWarning -> Warning
OptionWarning Int32
a
[Int32
42, Int32
a] -> (QωOrigin -> Warning)
-> Arrows
(Constant Int32 (Domains (QωOrigin -> Warning)))
(R (CoDomain (QωOrigin -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QωOrigin -> Warning
PlentyInHardCompileTimeMode Int32
a
[Int32
43] -> Warning
-> Arrows (Constant Int32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Warning
NotAffectedByOpaque
[Int32
44, Int32
a] -> (QName -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> Warning)))
(R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
UnfoldTransparentName Int32
a
[Int32
45] -> Warning
-> Arrows (Constant Int32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Warning
UselessOpaque
[Int32
46, Int32
a, Int32
b] -> (QName -> Clause -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> Clause -> Warning)))
(R (CoDomain (QName -> Clause -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> Clause -> Warning
InlineNoExactSplit Int32
a Int32
b
[Int32
47, Int32
a] -> (ArgInfo -> Warning)
-> Arrows
(Constant Int32 (Domains (ArgInfo -> Warning)))
(R (CoDomain (ArgInfo -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN ArgInfo -> Warning
FaceConstraintCannotBeHidden Int32
a
[Int32
48, Int32
a] -> (NamedName -> Warning)
-> Arrows
(Constant Int32 (Domains (NamedName -> Warning)))
(R (CoDomain (NamedName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN NamedName -> Warning
FaceConstraintCannotBeNamed Int32
a
[Int32
49, Int32
a, Int32
b] -> (Name -> QName -> Warning)
-> Arrows
(Constant Int32 (Domains (Name -> QName -> Warning)))
(R (CoDomain (Name -> QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Name -> QName -> Warning
PatternShadowsConstructor Int32
a Int32
b
[Int32
50, Int32
a] -> (QName -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> Warning)))
(R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
ConfluenceCheckingIncompleteBecauseOfMeta Int32
a
[Int32
51, Int32
a] -> (BuiltinId -> Warning)
-> Arrows
(Constant Int32 (Domains (BuiltinId -> Warning)))
(R (CoDomain (BuiltinId -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN BuiltinId -> Warning
BuiltinDeclaresIdentifier Int32
a
[Int32
52] -> Warning
-> Arrows (Constant Int32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Warning
ConfluenceForCubicalNotSupported
[Int32
53, Int32
a, Int32
b] -> (QName -> IllegalRewriteRuleReason -> Warning)
-> Arrows
(Constant
Int32 (Domains (QName -> IllegalRewriteRuleReason -> Warning)))
(R (CoDomain (QName -> IllegalRewriteRuleReason -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason -> Warning
IllegalRewriteRule Int32
a Int32
b
[Int32
54, Int32
a, Int32
b] -> (QName -> IsOpaque -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> IsOpaque -> Warning)))
(R (CoDomain (QName -> IsOpaque -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> IsOpaque -> Warning
MissingTypeSignatureForOpaque Int32
a Int32
b
[Int32
55, Int32
a, Int32
b] -> (String -> String -> Warning)
-> Arrows
(Constant Int32 (Domains (String -> String -> Warning)))
(R (CoDomain (String -> String -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> String -> Warning
ConflictingPragmaOptions Int32
a Int32
b
[Int32
56, Int32
a, Int32
b] -> (String -> Doc -> Warning)
-> Arrows
(Constant Int32 (Domains (String -> Doc -> Warning)))
(R (CoDomain (String -> Doc -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> Doc -> Warning
CustomBackendWarning Int32
a Int32
b
[Int32
57, Int32
a] -> (QName -> Warning)
-> Arrows
(Constant Int32 (Domains (QName -> Warning)))
(R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
CoinductiveEtaRecord Int32
a
[Int32]
_ -> R Warning
forall a. R a
malformed
instance EmbPrj IllegalRewriteRuleReason where
icod_ :: IllegalRewriteRuleReason -> S Int32
icod_ = \case
IllegalRewriteRuleReason
LHSNotDefinitionOrConstructor -> Int32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 IllegalRewriteRuleReason
LHSNotDefinitionOrConstructor
VariablesNotBoundByLHS IntSet
a -> Int32
-> (IntSet -> IllegalRewriteRuleReason)
-> Arrows (Domains (IntSet -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
1 IntSet -> IllegalRewriteRuleReason
VariablesNotBoundByLHS IntSet
a
VariablesBoundMoreThanOnce IntSet
a -> Int32
-> (IntSet -> IllegalRewriteRuleReason)
-> Arrows (Domains (IntSet -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
2 IntSet -> IllegalRewriteRuleReason
VariablesBoundMoreThanOnce IntSet
a
LHSReduces Term
a Term
b -> Int32
-> (Term -> Term -> IllegalRewriteRuleReason)
-> Arrows
(Domains (Term -> Term -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
3 Term -> Term -> IllegalRewriteRuleReason
LHSReduces Term
a Term
b
HeadSymbolIsProjection QName
a -> Int32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
4 QName -> IllegalRewriteRuleReason
HeadSymbolIsProjection QName
a
HeadSymbolIsProjectionLikeFunction QName
a -> Int32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
5 QName -> IllegalRewriteRuleReason
HeadSymbolIsProjectionLikeFunction QName
a
HeadSymbolIsTypeConstructor QName
a -> Int32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
6 QName -> IllegalRewriteRuleReason
HeadSymbolIsTypeConstructor QName
a
HeadSymbolContainsMetas QName
a -> Int32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
7 QName -> IllegalRewriteRuleReason
HeadSymbolContainsMetas QName
a
ConstructorParametersNotGeneral ConHead
a Args
b -> Int32
-> (ConHead -> Args -> IllegalRewriteRuleReason)
-> Arrows
(Domains (ConHead -> Args -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
8 ConHead -> Args -> IllegalRewriteRuleReason
ConstructorParametersNotGeneral ConHead
a Args
b
ContainsUnsolvedMetaVariables Set MetaId
a -> Int32
-> (Set MetaId -> IllegalRewriteRuleReason)
-> Arrows
(Domains (Set MetaId -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
9 Set MetaId -> IllegalRewriteRuleReason
ContainsUnsolvedMetaVariables Set MetaId
a
BlockedOnProblems Set ProblemId
a -> Int32
-> (Set ProblemId -> IllegalRewriteRuleReason)
-> Arrows
(Domains (Set ProblemId -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
10 Set ProblemId -> IllegalRewriteRuleReason
BlockedOnProblems Set ProblemId
a
RequiresDefinitions Set QName
a -> Int32
-> (Set QName -> IllegalRewriteRuleReason)
-> Arrows
(Domains (Set QName -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
11 Set QName -> IllegalRewriteRuleReason
RequiresDefinitions Set QName
a
IllegalRewriteRuleReason
DoesNotTargetRewriteRelation -> Int32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
12 IllegalRewriteRuleReason
DoesNotTargetRewriteRelation
IllegalRewriteRuleReason
BeforeFunctionDefinition -> Int32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
13 IllegalRewriteRuleReason
BeforeFunctionDefinition
BeforeMutualFunctionDefinition QName
a -> Int32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
14 QName -> IllegalRewriteRuleReason
BeforeMutualFunctionDefinition QName
a
IllegalRewriteRuleReason
DuplicateRewriteRule -> Int32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
15 IllegalRewriteRuleReason
DuplicateRewriteRule
value :: Int32 -> R IllegalRewriteRuleReason
value = ([Int32] -> R IllegalRewriteRuleReason)
-> Int32 -> R IllegalRewriteRuleReason
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R IllegalRewriteRuleReason)
-> Int32 -> R IllegalRewriteRuleReason)
-> ([Int32] -> R IllegalRewriteRuleReason)
-> Int32
-> R IllegalRewriteRuleReason
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0] -> IllegalRewriteRuleReason
-> Arrows
(Constant Int32 (Domains IllegalRewriteRuleReason))
(R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
LHSNotDefinitionOrConstructor
[Int32
1, Int32
a] -> (IntSet -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (IntSet -> IllegalRewriteRuleReason)))
(R (CoDomain (IntSet -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN IntSet -> IllegalRewriteRuleReason
VariablesNotBoundByLHS Int32
a
[Int32
2, Int32
a] -> (IntSet -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (IntSet -> IllegalRewriteRuleReason)))
(R (CoDomain (IntSet -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN IntSet -> IllegalRewriteRuleReason
VariablesBoundMoreThanOnce Int32
a
[Int32
3, Int32
a, Int32
b] -> (Term -> Term -> IllegalRewriteRuleReason)
-> Arrows
(Constant
Int32 (Domains (Term -> Term -> IllegalRewriteRuleReason)))
(R (CoDomain (Term -> Term -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> IllegalRewriteRuleReason
LHSReduces Int32
a Int32
b
[Int32
4, Int32
a] -> (QName -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (QName -> IllegalRewriteRuleReason)))
(R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
HeadSymbolIsProjection Int32
a
[Int32
5, Int32
a] -> (QName -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (QName -> IllegalRewriteRuleReason)))
(R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
HeadSymbolIsProjectionLikeFunction Int32
a
[Int32
6, Int32
a] -> (QName -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (QName -> IllegalRewriteRuleReason)))
(R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
HeadSymbolIsTypeConstructor Int32
a
[Int32
7, Int32
a] -> (QName -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (QName -> IllegalRewriteRuleReason)))
(R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
HeadSymbolContainsMetas Int32
a
[Int32
8, Int32
a, Int32
b] -> (ConHead -> Args -> IllegalRewriteRuleReason)
-> Arrows
(Constant
Int32 (Domains (ConHead -> Args -> IllegalRewriteRuleReason)))
(R (CoDomain (ConHead -> Args -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN ConHead -> Args -> IllegalRewriteRuleReason
ConstructorParametersNotGeneral Int32
a Int32
b
[Int32
9, Int32
a] -> (Set MetaId -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (Set MetaId -> IllegalRewriteRuleReason)))
(R (CoDomain (Set MetaId -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Set MetaId -> IllegalRewriteRuleReason
ContainsUnsolvedMetaVariables Int32
a
[Int32
10, Int32
a] -> (Set ProblemId -> IllegalRewriteRuleReason)
-> Arrows
(Constant
Int32 (Domains (Set ProblemId -> IllegalRewriteRuleReason)))
(R (CoDomain (Set ProblemId -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Set ProblemId -> IllegalRewriteRuleReason
BlockedOnProblems Int32
a
[Int32
11, Int32
a] -> (Set QName -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (Set QName -> IllegalRewriteRuleReason)))
(R (CoDomain (Set QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Set QName -> IllegalRewriteRuleReason
RequiresDefinitions Int32
a
[Int32
12] -> IllegalRewriteRuleReason
-> Arrows
(Constant Int32 (Domains IllegalRewriteRuleReason))
(R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
DoesNotTargetRewriteRelation
[Int32
13] -> IllegalRewriteRuleReason
-> Arrows
(Constant Int32 (Domains IllegalRewriteRuleReason))
(R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
BeforeFunctionDefinition
[Int32
14, Int32
a] -> (QName -> IllegalRewriteRuleReason)
-> Arrows
(Constant Int32 (Domains (QName -> IllegalRewriteRuleReason)))
(R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
BeforeMutualFunctionDefinition Int32
a
[Int32
15] -> IllegalRewriteRuleReason
-> Arrows
(Constant Int32 (Domains IllegalRewriteRuleReason))
(R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
DuplicateRewriteRule
[Int32]
_ -> R IllegalRewriteRuleReason
forall a. R a
malformed
instance EmbPrj OptionWarning where
icod_ :: OptionWarning -> S Int32
icod_ = \case
OptionRenamed String
a String
b -> Int32
-> (String -> String -> OptionWarning)
-> Arrows (Domains (String -> String -> OptionWarning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 String -> String -> OptionWarning
OptionRenamed String
a String
b
WarningProblem WarningModeError
a -> Int32
-> (WarningModeError -> OptionWarning)
-> Arrows (Domains (WarningModeError -> OptionWarning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
1 WarningModeError -> OptionWarning
WarningProblem WarningModeError
a
value :: Int32 -> R OptionWarning
value = ([Int32] -> R OptionWarning) -> Int32 -> R OptionWarning
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R OptionWarning) -> Int32 -> R OptionWarning)
-> ([Int32] -> R OptionWarning) -> Int32 -> R OptionWarning
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a, Int32
b] -> (String -> String -> OptionWarning)
-> Arrows
(Constant Int32 (Domains (String -> String -> OptionWarning)))
(R (CoDomain (String -> String -> OptionWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> String -> OptionWarning
OptionRenamed Int32
a Int32
b
[Int32
1, Int32
a] -> (WarningModeError -> OptionWarning)
-> Arrows
(Constant Int32 (Domains (WarningModeError -> OptionWarning)))
(R (CoDomain (WarningModeError -> OptionWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN WarningModeError -> OptionWarning
WarningProblem Int32
a
[Int32]
_ -> R OptionWarning
forall a. R a
malformed
instance EmbPrj WarningModeError where
icod_ :: WarningModeError -> S Int32
icod_ = \case
Unknown Text
a -> Int32
-> (Text -> WarningModeError)
-> Arrows (Domains (Text -> WarningModeError)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 Text -> WarningModeError
Unknown Text
a
NoNoError Text
a -> Int32
-> (Text -> WarningModeError)
-> Arrows (Domains (Text -> WarningModeError)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
1 Text -> WarningModeError
NoNoError Text
a
value :: Int32 -> R WarningModeError
value = ([Int32] -> R WarningModeError) -> Int32 -> R WarningModeError
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R WarningModeError) -> Int32 -> R WarningModeError)
-> ([Int32] -> R WarningModeError) -> Int32 -> R WarningModeError
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a] -> (Text -> WarningModeError)
-> Arrows
(Constant Int32 (Domains (Text -> WarningModeError)))
(R (CoDomain (Text -> WarningModeError)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Text -> WarningModeError
Unknown Int32
a
[Int32
1, Int32
a] -> (Text -> WarningModeError)
-> Arrows
(Constant Int32 (Domains (Text -> WarningModeError)))
(R (CoDomain (Text -> WarningModeError)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Text -> WarningModeError
NoNoError Int32
a
[Int32]
_ -> R WarningModeError
forall a. R a
malformed
instance EmbPrj ParseWarning where
icod_ :: ParseWarning -> S Int32
icod_ = \case
OverlappingTokensWarning Range
a -> Int32
-> (Range -> ParseWarning)
-> Arrows (Domains (Range -> ParseWarning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 Range -> ParseWarning
OverlappingTokensWarning Range
a
UnsupportedAttribute Range
a Maybe String
b -> Int32
-> (Range -> Maybe String -> ParseWarning)
-> Arrows
(Domains (Range -> Maybe String -> ParseWarning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
1 Range -> Maybe String -> ParseWarning
UnsupportedAttribute Range
a Maybe String
b
MultipleAttributes Range
a Maybe String
b -> Int32
-> (Range -> Maybe String -> ParseWarning)
-> Arrows
(Domains (Range -> Maybe String -> ParseWarning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
2 Range -> Maybe String -> ParseWarning
MultipleAttributes Range
a Maybe String
b
value :: Int32 -> R ParseWarning
value = ([Int32] -> R ParseWarning) -> Int32 -> R ParseWarning
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R ParseWarning) -> Int32 -> R ParseWarning)
-> ([Int32] -> R ParseWarning) -> Int32 -> R ParseWarning
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a] -> (Range -> ParseWarning)
-> Arrows
(Constant Int32 (Domains (Range -> ParseWarning)))
(R (CoDomain (Range -> ParseWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> ParseWarning
OverlappingTokensWarning Int32
a
[Int32
1, Int32
a, Int32
b] -> (Range -> Maybe String -> ParseWarning)
-> Arrows
(Constant Int32 (Domains (Range -> Maybe String -> ParseWarning)))
(R (CoDomain (Range -> Maybe String -> ParseWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> Maybe String -> ParseWarning
UnsupportedAttribute Int32
a Int32
b
[Int32
2, Int32
a, Int32
b] -> (Range -> Maybe String -> ParseWarning)
-> Arrows
(Constant Int32 (Domains (Range -> Maybe String -> ParseWarning)))
(R (CoDomain (Range -> Maybe String -> ParseWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> Maybe String -> ParseWarning
MultipleAttributes Int32
a Int32
b
[Int32]
_ -> R ParseWarning
forall a. R a
malformed
instance EmbPrj RecordFieldWarning where
icod_ :: RecordFieldWarning -> S Int32
icod_ = \case
W.DuplicateFields [(Name, Range)]
a -> Int32
-> ([(Name, Range)] -> RecordFieldWarning)
-> Arrows
(Domains ([(Name, Range)] -> RecordFieldWarning)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 [(Name, Range)] -> RecordFieldWarning
W.DuplicateFields [(Name, Range)]
a
W.TooManyFields QName
a [Name]
b [(Name, Range)]
c -> Int32
-> (QName -> [Name] -> [(Name, Range)] -> RecordFieldWarning)
-> Arrows
(Domains
(QName -> [Name] -> [(Name, Range)] -> RecordFieldWarning))
(S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
1 QName -> [Name] -> [(Name, Range)] -> RecordFieldWarning
W.TooManyFields QName
a [Name]
b [(Name, Range)]
c
value :: Int32 -> R RecordFieldWarning
value = ([Int32] -> R RecordFieldWarning) -> Int32 -> R RecordFieldWarning
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R RecordFieldWarning)
-> Int32 -> R RecordFieldWarning)
-> ([Int32] -> R RecordFieldWarning)
-> Int32
-> R RecordFieldWarning
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a] -> ([(Name, Range)] -> RecordFieldWarning)
-> Arrows
(Constant Int32 (Domains ([(Name, Range)] -> RecordFieldWarning)))
(R (CoDomain ([(Name, Range)] -> RecordFieldWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [(Name, Range)] -> RecordFieldWarning
W.DuplicateFields Int32
a
[Int32
1, Int32
a, Int32
b, Int32
c] -> (QName -> [Name] -> [(Name, Range)] -> RecordFieldWarning)
-> Arrows
(Constant
Int32
(Domains
(QName -> [Name] -> [(Name, Range)] -> RecordFieldWarning)))
(R (CoDomain
(QName -> [Name] -> [(Name, Range)] -> RecordFieldWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN QName -> [Name] -> [(Name, Range)] -> RecordFieldWarning
W.TooManyFields Int32
a Int32
b Int32
c
[Int32]
_ -> R RecordFieldWarning
forall a. R a
malformed
instance EmbPrj DeclarationWarning where
icod_ :: DeclarationWarning -> S Int32
icod_ (DeclarationWarning CallStack
a DeclarationWarning'
b) = (CallStack -> DeclarationWarning' -> DeclarationWarning)
-> Arrows
(Domains (CallStack -> DeclarationWarning' -> DeclarationWarning))
(S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' CallStack -> DeclarationWarning' -> DeclarationWarning
DeclarationWarning CallStack
a DeclarationWarning'
b
value :: Int32 -> R DeclarationWarning
value = ([Int32] -> R DeclarationWarning) -> Int32 -> R DeclarationWarning
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R DeclarationWarning)
-> Int32 -> R DeclarationWarning)
-> ([Int32] -> R DeclarationWarning)
-> Int32
-> R DeclarationWarning
forall a b. (a -> b) -> a -> b
$ \case
[Int32
a, Int32
b] -> (CallStack -> DeclarationWarning' -> DeclarationWarning)
-> Arrows
(Constant
Int32
(Domains (CallStack -> DeclarationWarning' -> DeclarationWarning)))
(R (CoDomain
(CallStack -> DeclarationWarning' -> DeclarationWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN CallStack -> DeclarationWarning' -> DeclarationWarning
DeclarationWarning Int32
a Int32
b
[Int32]
_ -> R DeclarationWarning
forall a. R a
malformed
instance EmbPrj DeclarationWarning' where
icod_ :: DeclarationWarning' -> S Int32
icod_ = \case
UnknownNamesInFixityDecl [Name]
a -> Int32
-> ([Name] -> DeclarationWarning')
-> Arrows (Domains ([Name] -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 [Name] -> DeclarationWarning'
UnknownNamesInFixityDecl [Name]
a
UnknownNamesInPolarityPragmas [Name]
a -> Int32
-> ([Name] -> DeclarationWarning')
-> Arrows (Domains ([Name] -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
1 [Name] -> DeclarationWarning'
UnknownNamesInPolarityPragmas [Name]
a
PolarityPragmasButNotPostulates [Name]
a -> Int32
-> ([Name] -> DeclarationWarning')
-> Arrows (Domains ([Name] -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
2 [Name] -> DeclarationWarning'
PolarityPragmasButNotPostulates [Name]
a
UselessPrivate KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
3 KwRange -> DeclarationWarning'
UselessPrivate KwRange
a
UselessAbstract KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
4 KwRange -> DeclarationWarning'
UselessAbstract KwRange
a
UselessInstance KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
5 KwRange -> DeclarationWarning'
UselessInstance KwRange
a
EmptyMutual KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
6 KwRange -> DeclarationWarning'
EmptyMutual KwRange
a
EmptyAbstract KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
7 KwRange -> DeclarationWarning'
EmptyAbstract KwRange
a
EmptyPrivate KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
8 KwRange -> DeclarationWarning'
EmptyPrivate KwRange
a
EmptyInstance KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
9 KwRange -> DeclarationWarning'
EmptyInstance KwRange
a
EmptyMacro KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
10 KwRange -> DeclarationWarning'
EmptyMacro KwRange
a
EmptyPostulate KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
11 KwRange -> DeclarationWarning'
EmptyPostulate KwRange
a
InvalidTerminationCheckPragma Range
a -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
12 Range -> DeclarationWarning'
InvalidTerminationCheckPragma Range
a
InvalidNoPositivityCheckPragma Range
a -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
13 Range -> DeclarationWarning'
InvalidNoPositivityCheckPragma Range
a
InvalidCatchallPragma Range
a -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
14 Range -> DeclarationWarning'
InvalidCatchallPragma Range
a
InvalidNoUniverseCheckPragma Range
a -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
15 Range -> DeclarationWarning'
InvalidNoUniverseCheckPragma Range
a
UnknownFixityInMixfixDecl [Name]
a -> Int32
-> ([Name] -> DeclarationWarning')
-> Arrows (Domains ([Name] -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
16 [Name] -> DeclarationWarning'
UnknownFixityInMixfixDecl [Name]
a
MissingDefinitions [(Name, Range)]
a -> Int32
-> ([(Name, Range)] -> DeclarationWarning')
-> Arrows
(Domains ([(Name, Range)] -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
17 [(Name, Range)] -> DeclarationWarning'
MissingDefinitions [(Name, Range)]
a
NotAllowedInMutual Range
r String
a -> Int32
-> (Range -> String -> DeclarationWarning')
-> Arrows
(Domains (Range -> String -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
18 Range -> String -> DeclarationWarning'
NotAllowedInMutual Range
r String
a
PragmaNoTerminationCheck Range
r -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
19 Range -> DeclarationWarning'
PragmaNoTerminationCheck Range
r
EmptyGeneralize KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
20 KwRange -> DeclarationWarning'
EmptyGeneralize KwRange
a
PragmaCompiled Range
r -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
21 Range -> DeclarationWarning'
PragmaCompiled Range
r
EmptyPrimitive KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
22 KwRange -> DeclarationWarning'
EmptyPrimitive KwRange
a
EmptyField KwRange
r -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
23 KwRange -> DeclarationWarning'
EmptyField KwRange
r
ShadowingInTelescope List1 (Name, List2 Range)
nrs -> Int32
-> (List1 (Name, List2 Range) -> DeclarationWarning')
-> Arrows
(Domains (List1 (Name, List2 Range) -> DeclarationWarning'))
(S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
24 List1 (Name, List2 Range) -> DeclarationWarning'
ShadowingInTelescope List1 (Name, List2 Range)
nrs
InvalidCoverageCheckPragma Range
r -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
25 Range -> DeclarationWarning'
InvalidCoverageCheckPragma Range
r
OpenPublicAbstract KwRange
r -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
26 KwRange -> DeclarationWarning'
OpenPublicAbstract KwRange
r
OpenPublicPrivate KwRange
r -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
27 KwRange -> DeclarationWarning'
OpenPublicPrivate KwRange
r
EmptyConstructor KwRange
a -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
28 KwRange -> DeclarationWarning'
EmptyConstructor KwRange
a
InvalidConstructor Range
a -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
30 Range -> DeclarationWarning'
InvalidConstructor Range
a
InvalidConstructorBlock Range
a -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
31 Range -> DeclarationWarning'
InvalidConstructorBlock Range
a
MissingDeclarations [(Name, Range)]
a -> Int32
-> ([(Name, Range)] -> DeclarationWarning')
-> Arrows
(Domains ([(Name, Range)] -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
32 [(Name, Range)] -> DeclarationWarning'
MissingDeclarations [(Name, Range)]
a
HiddenGeneralize Range
r -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
33 Range -> DeclarationWarning'
HiddenGeneralize Range
r
UselessMacro KwRange
r -> Int32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
34 KwRange -> DeclarationWarning'
UselessMacro KwRange
r
SafeFlagEta {} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagInjective {} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagNoCoverageCheck {} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagNoPositivityCheck {} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagNoUniverseCheck {} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagNonTerminating {} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagPolarity {} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
SafeFlagTerminating {} -> S Int32
forall a. HasCallStack => a
__IMPOSSIBLE__
value :: Int32 -> R DeclarationWarning'
value = ([Int32] -> R DeclarationWarning')
-> Int32 -> R DeclarationWarning'
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R DeclarationWarning')
-> Int32 -> R DeclarationWarning')
-> ([Int32] -> R DeclarationWarning')
-> Int32
-> R DeclarationWarning'
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a] -> ([Name] -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains ([Name] -> DeclarationWarning')))
(R (CoDomain ([Name] -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [Name] -> DeclarationWarning'
UnknownNamesInFixityDecl Int32
a
[Int32
1, Int32
a] -> ([Name] -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains ([Name] -> DeclarationWarning')))
(R (CoDomain ([Name] -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [Name] -> DeclarationWarning'
UnknownNamesInPolarityPragmas Int32
a
[Int32
2, Int32
a] -> ([Name] -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains ([Name] -> DeclarationWarning')))
(R (CoDomain ([Name] -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [Name] -> DeclarationWarning'
PolarityPragmasButNotPostulates Int32
a
[Int32
3, Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
UselessPrivate Int32
a
[Int32
4, Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
UselessAbstract Int32
a
[Int32
5, Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
UselessInstance Int32
a
[Int32
6, Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyMutual Int32
a
[Int32
7, Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyAbstract Int32
a
[Int32
8, Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyPrivate Int32
a
[Int32
9, Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyInstance Int32
a
[Int32
10,Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyMacro Int32
a
[Int32
11,Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyPostulate Int32
a
[Int32
12,Int32
a] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidTerminationCheckPragma Int32
a
[Int32
13,Int32
a] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidNoPositivityCheckPragma Int32
a
[Int32
14,Int32
a] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidCatchallPragma Int32
a
[Int32
15,Int32
a] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidNoUniverseCheckPragma Int32
a
[Int32
16,Int32
a] -> ([Name] -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains ([Name] -> DeclarationWarning')))
(R (CoDomain ([Name] -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [Name] -> DeclarationWarning'
UnknownFixityInMixfixDecl Int32
a
[Int32
17,Int32
a] -> ([(Name, Range)] -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains ([(Name, Range)] -> DeclarationWarning')))
(R (CoDomain ([(Name, Range)] -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [(Name, Range)] -> DeclarationWarning'
MissingDefinitions Int32
a
[Int32
18,Int32
r,Int32
a] -> (Range -> String -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> String -> DeclarationWarning')))
(R (CoDomain (Range -> String -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> String -> DeclarationWarning'
NotAllowedInMutual Int32
r Int32
a
[Int32
19,Int32
r] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
PragmaNoTerminationCheck Int32
r
[Int32
20,Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyGeneralize Int32
a
[Int32
21,Int32
a] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
PragmaCompiled Int32
a
[Int32
22,Int32
a] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyPrimitive Int32
a
[Int32
23,Int32
r] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyField Int32
r
[Int32
24,Int32
nrs] -> (List1 (Name, List2 Range) -> DeclarationWarning')
-> Arrows
(Constant
Int32 (Domains (List1 (Name, List2 Range) -> DeclarationWarning')))
(R (CoDomain (List1 (Name, List2 Range) -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN List1 (Name, List2 Range) -> DeclarationWarning'
ShadowingInTelescope Int32
nrs
[Int32
25,Int32
r] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidCoverageCheckPragma Int32
r
[Int32
26,Int32
r] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
OpenPublicAbstract Int32
r
[Int32
27,Int32
r] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
OpenPublicPrivate Int32
r
[Int32
28,Int32
r] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyConstructor Int32
r
[Int32
30,Int32
r] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidConstructor Int32
r
[Int32
31,Int32
r] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidConstructorBlock Int32
r
[Int32
32,Int32
r] -> ([(Name, Range)] -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains ([(Name, Range)] -> DeclarationWarning')))
(R (CoDomain ([(Name, Range)] -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN [(Name, Range)] -> DeclarationWarning'
MissingDeclarations Int32
r
[Int32
33,Int32
r] -> (Range -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (Range -> DeclarationWarning')))
(R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
HiddenGeneralize Int32
r
[Int32
34,Int32
r] -> (KwRange -> DeclarationWarning')
-> Arrows
(Constant Int32 (Domains (KwRange -> DeclarationWarning')))
(R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
UselessMacro Int32
r
[Int32]
_ -> R DeclarationWarning'
forall a. R a
malformed
instance EmbPrj LibWarning where
icod_ :: LibWarning -> S Int32
icod_ = \case
LibWarning Maybe LibPositionInfo
a LibWarning'
b -> Int32
-> (Maybe LibPositionInfo -> LibWarning' -> LibWarning)
-> Arrows
(Domains (Maybe LibPositionInfo -> LibWarning' -> LibWarning))
(S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 Maybe LibPositionInfo -> LibWarning' -> LibWarning
LibWarning Maybe LibPositionInfo
a LibWarning'
b
value :: Int32 -> R LibWarning
value = ([Int32] -> R LibWarning) -> Int32 -> R LibWarning
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R LibWarning) -> Int32 -> R LibWarning)
-> ([Int32] -> R LibWarning) -> Int32 -> R LibWarning
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a, Int32
b] -> (Maybe LibPositionInfo -> LibWarning' -> LibWarning)
-> Arrows
(Constant
Int32
(Domains (Maybe LibPositionInfo -> LibWarning' -> LibWarning)))
(R (CoDomain (Maybe LibPositionInfo -> LibWarning' -> LibWarning)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Maybe LibPositionInfo -> LibWarning' -> LibWarning
LibWarning Int32
a Int32
b
[Int32]
_ -> R LibWarning
forall a. R a
malformed
instance EmbPrj LibWarning' where
icod_ :: LibWarning' -> S Int32
icod_ = \case
UnknownField String
a -> Int32
-> (String -> LibWarning')
-> Arrows (Domains (String -> LibWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 String -> LibWarning'
UnknownField String
a
value :: Int32 -> R LibWarning'
value = ([Int32] -> R LibWarning') -> Int32 -> R LibWarning'
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R LibWarning') -> Int32 -> R LibWarning')
-> ([Int32] -> R LibWarning') -> Int32 -> R LibWarning'
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a] -> (String -> LibWarning')
-> Arrows
(Constant Int32 (Domains (String -> LibWarning')))
(R (CoDomain (String -> LibWarning')))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> LibWarning'
UnknownField Int32
a
[Int32]
_ -> R LibWarning'
forall a. R a
malformed
instance EmbPrj ExecutablesFile where
icod_ :: ExecutablesFile -> S Int32
icod_ = \case
ExecutablesFile String
a Bool
b -> Int32
-> (String -> Bool -> ExecutablesFile)
-> Arrows (Domains (String -> Bool -> ExecutablesFile)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 String -> Bool -> ExecutablesFile
ExecutablesFile String
a Bool
b
value :: Int32 -> R ExecutablesFile
value = ([Int32] -> R ExecutablesFile) -> Int32 -> R ExecutablesFile
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R ExecutablesFile) -> Int32 -> R ExecutablesFile)
-> ([Int32] -> R ExecutablesFile) -> Int32 -> R ExecutablesFile
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a, Int32
b] -> (String -> Bool -> ExecutablesFile)
-> Arrows
(Constant Int32 (Domains (String -> Bool -> ExecutablesFile)))
(R (CoDomain (String -> Bool -> ExecutablesFile)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN String -> Bool -> ExecutablesFile
ExecutablesFile Int32
a Int32
b
[Int32]
_ -> R ExecutablesFile
forall a. R a
malformed
instance EmbPrj LibPositionInfo where
icod_ :: LibPositionInfo -> S Int32
icod_ = \case
LibPositionInfo Maybe String
a LineNumber
b String
c -> Int32
-> (Maybe String -> LineNumber -> String -> LibPositionInfo)
-> Arrows
(Domains (Maybe String -> LineNumber -> String -> LibPositionInfo))
(S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 Maybe String -> LineNumber -> String -> LibPositionInfo
LibPositionInfo Maybe String
a LineNumber
b String
c
value :: Int32 -> R LibPositionInfo
value = ([Int32] -> R LibPositionInfo) -> Int32 -> R LibPositionInfo
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase (([Int32] -> R LibPositionInfo) -> Int32 -> R LibPositionInfo)
-> ([Int32] -> R LibPositionInfo) -> Int32 -> R LibPositionInfo
forall a b. (a -> b) -> a -> b
$ \case
[Int32
0, Int32
a, Int32
b, Int32
c] -> (Maybe String -> LineNumber -> String -> LibPositionInfo)
-> Arrows
(Constant
Int32
(Domains
(Maybe String -> LineNumber -> String -> LibPositionInfo)))
(R (CoDomain
(Maybe String -> LineNumber -> String -> LibPositionInfo)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Maybe String -> LineNumber -> String -> LibPositionInfo
LibPositionInfo Int32
a Int32
b Int32
c
[Int32]
_ -> R LibPositionInfo
forall a. R a
malformed
instance EmbPrj Doc where
icod_ :: Doc -> S Int32
icod_ Doc
d = (String -> Doc) -> Arrows (Domains (String -> Doc)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' (String -> Doc
forall a. HasCallStack => a
undefined :: String -> Doc) (Doc -> String
forall a. Doc a -> String
render Doc
d)
value :: Int32 -> R Doc
value = (String -> Doc) -> Int32 -> R (CoDomain (String -> Doc))
forall t.
(VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Int32 -> R (CoDomain t)
valueN String -> Doc
forall a. String -> Doc a
text
instance EmbPrj InfectiveCoinfective where
icod_ :: InfectiveCoinfective -> S Int32
icod_ InfectiveCoinfective
Infective = InfectiveCoinfective
-> Arrows (Domains InfectiveCoinfective) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' InfectiveCoinfective
Infective
icod_ InfectiveCoinfective
Coinfective = Int32
-> InfectiveCoinfective
-> Arrows (Domains InfectiveCoinfective) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 InfectiveCoinfective
Coinfective
value :: Int32 -> R InfectiveCoinfective
value = ([Int32] -> R InfectiveCoinfective)
-> Int32 -> R InfectiveCoinfective
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase [Int32] -> R InfectiveCoinfective
forall {a}. (Eq a, Num a) => [a] -> R InfectiveCoinfective
valu where
valu :: [a]
-> Arrows
(Constant Int32 (Domains InfectiveCoinfective))
(R (CoDomain InfectiveCoinfective))
valu [] = InfectiveCoinfective
-> Arrows
(Constant Int32 (Domains InfectiveCoinfective))
(R (CoDomain InfectiveCoinfective))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN InfectiveCoinfective
Infective
valu [a
0] = InfectiveCoinfective
-> Arrows
(Constant Int32 (Domains InfectiveCoinfective))
(R (CoDomain InfectiveCoinfective))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN InfectiveCoinfective
Coinfective
valu [a]
_ = R InfectiveCoinfective
Arrows
(Constant Int32 (Domains InfectiveCoinfective))
(R (CoDomain InfectiveCoinfective))
forall a. R a
malformed
instance EmbPrj PragmaOptions where
icod_ :: PragmaOptions -> S Int32
icod_ (PragmaOptions WithDefault 'False
a WithDefault 'True
b WithDefault 'False
c WithDefault' UnicodeOrAscii 'True
d Verbosity
e ProfileOptions
f WithDefault 'False
g WithDefault 'False
h WithDefault 'False
i WithDefault 'False
j WithDefault 'False
k WithDefault 'True
l WithDefault 'True
m CutOff
n WithDefault 'True
o WithDefault 'False
p WithDefault 'False
q WithDefault 'False
r WithDefault 'False
s WithDefault 'False
t WithDefault 'True
u WithDefault 'False
v WithDefault 'False
w WithDefault 'False
x WithDefault 'False
y WithDefault 'True
z WithDefault 'True
aa WithDefault 'True
bb WithDefault 'False
cc WithDefault 'True
dd WithDefault 'True
ee WithDefault 'True
ff WithDefault 'False
gg WithDefault 'True
hh WithDefault 'False
ii WithDefault 'False
jj Maybe Cubical
kk WithDefault 'False
ll WithDefault 'False
mm WithDefault 'True
nn WithDefault 'True
oo WithDefault 'True
pp WithDefault 'True
qq LineNumber
rr WithDefault 'False
ss WithDefault 'True
tt LineNumber
uu WithDefault 'False
vv WithDefault 'False
ww Maybe LineNumber
xx WarningMode
yy WithDefault 'True
zz WithDefault 'True
aaa WithDefault 'False
bbb WithDefault 'False
ccc WithDefault 'True
ddd WithDefault 'True
eee WithDefault 'False
fff Maybe ConfluenceCheck
ggg WithDefault 'False
hhh WithDefault 'False
iii WithDefault 'True
jjj WithDefault 'True
kkk WithDefault 'False
lll WithDefault 'True
mmm WithDefault 'False
nnn WithDefault 'False
ooo WithDefault 'False
ppp WithDefault 'True
qqq) =
(WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault' UnicodeOrAscii 'True
-> Verbosity
-> ProfileOptions
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> CutOff
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> Maybe Cubical
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'False
-> Maybe LineNumber
-> WarningMode
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> Maybe ConfluenceCheck
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> PragmaOptions)
-> Arrows
(Domains
(WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault' UnicodeOrAscii 'True
-> Verbosity
-> ProfileOptions
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> CutOff
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> Maybe Cubical
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'False
-> Maybe LineNumber
-> WarningMode
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> Maybe ConfluenceCheck
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> PragmaOptions))
(S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault' UnicodeOrAscii 'True
-> Verbosity
-> ProfileOptions
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> CutOff
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> Maybe Cubical
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'False
-> Maybe LineNumber
-> WarningMode
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> Maybe ConfluenceCheck
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> PragmaOptions
PragmaOptions WithDefault 'False
a WithDefault 'True
b WithDefault 'False
c WithDefault' UnicodeOrAscii 'True
d Verbosity
e ProfileOptions
f WithDefault 'False
g WithDefault 'False
h WithDefault 'False
i WithDefault 'False
j WithDefault 'False
k WithDefault 'True
l WithDefault 'True
m CutOff
n WithDefault 'True
o WithDefault 'False
p WithDefault 'False
q WithDefault 'False
r WithDefault 'False
s WithDefault 'False
t WithDefault 'True
u WithDefault 'False
v WithDefault 'False
w WithDefault 'False
x WithDefault 'False
y WithDefault 'True
z WithDefault 'True
aa WithDefault 'True
bb WithDefault 'False
cc WithDefault 'True
dd WithDefault 'True
ee WithDefault 'True
ff WithDefault 'False
gg WithDefault 'True
hh WithDefault 'False
ii WithDefault 'False
jj Maybe Cubical
kk WithDefault 'False
ll WithDefault 'False
mm WithDefault 'True
nn WithDefault 'True
oo WithDefault 'True
pp WithDefault 'True
qq LineNumber
rr WithDefault 'False
ss WithDefault 'True
tt LineNumber
uu WithDefault 'False
vv WithDefault 'False
ww Maybe LineNumber
xx WarningMode
yy WithDefault 'True
zz WithDefault 'True
aaa WithDefault 'False
bbb WithDefault 'False
ccc WithDefault 'True
ddd WithDefault 'True
eee WithDefault 'False
fff Maybe ConfluenceCheck
ggg WithDefault 'False
hhh WithDefault 'False
iii WithDefault 'True
jjj WithDefault 'True
kkk WithDefault 'False
lll WithDefault 'True
mmm WithDefault 'False
nnn WithDefault 'False
ooo WithDefault 'False
ppp WithDefault 'True
qqq
value :: Int32 -> R PragmaOptions
value = (WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault' UnicodeOrAscii 'True
-> Verbosity
-> ProfileOptions
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> CutOff
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> Maybe Cubical
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'False
-> Maybe LineNumber
-> WarningMode
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> Maybe ConfluenceCheck
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> PragmaOptions)
-> Int32
-> R (CoDomain
(WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault' UnicodeOrAscii 'True
-> Verbosity
-> ProfileOptions
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> CutOff
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> Maybe Cubical
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'False
-> Maybe LineNumber
-> WarningMode
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> Maybe ConfluenceCheck
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> PragmaOptions))
forall t.
(VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Int32 -> R (CoDomain t)
valueN WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault' UnicodeOrAscii 'True
-> Verbosity
-> ProfileOptions
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> CutOff
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> Maybe Cubical
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'False
-> Maybe LineNumber
-> WarningMode
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> Maybe ConfluenceCheck
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> PragmaOptions
PragmaOptions
instance EmbPrj ProfileOptions where
icod_ :: ProfileOptions -> S Int32
icod_ ProfileOptions
opts = [ProfileOption] -> S Int32
forall a. EmbPrj a => a -> S Int32
icode (ProfileOptions -> [ProfileOption]
profileOptionsToList ProfileOptions
opts)
value :: Int32 -> R ProfileOptions
value = ([ProfileOption] -> ProfileOptions)
-> StateT St IO [ProfileOption] -> R ProfileOptions
forall a b. (a -> b) -> StateT St IO a -> StateT St IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [ProfileOption] -> ProfileOptions
profileOptionsFromList (StateT St IO [ProfileOption] -> R ProfileOptions)
-> (Int32 -> StateT St IO [ProfileOption])
-> Int32
-> R ProfileOptions
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int32 -> StateT St IO [ProfileOption]
forall a. EmbPrj a => Int32 -> R a
value
instance EmbPrj ProfileOption
instance EmbPrj LHSOrPatSyn
instance EmbPrj UnicodeOrAscii
instance EmbPrj ConfluenceCheck where
icod_ :: ConfluenceCheck -> S Int32
icod_ ConfluenceCheck
LocalConfluenceCheck = ConfluenceCheck -> Arrows (Domains ConfluenceCheck) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' ConfluenceCheck
LocalConfluenceCheck
icod_ ConfluenceCheck
GlobalConfluenceCheck = Int32
-> ConfluenceCheck -> Arrows (Domains ConfluenceCheck) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 ConfluenceCheck
GlobalConfluenceCheck
value :: Int32 -> R ConfluenceCheck
value = ([Int32] -> R ConfluenceCheck) -> Int32 -> R ConfluenceCheck
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase [Int32] -> R ConfluenceCheck
forall {a}. (Eq a, Num a) => [a] -> R ConfluenceCheck
valu where
valu :: [a]
-> Arrows
(Constant Int32 (Domains ConfluenceCheck))
(R (CoDomain ConfluenceCheck))
valu [] = ConfluenceCheck
-> Arrows
(Constant Int32 (Domains ConfluenceCheck))
(R (CoDomain ConfluenceCheck))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN ConfluenceCheck
LocalConfluenceCheck
valu [a
0] = ConfluenceCheck
-> Arrows
(Constant Int32 (Domains ConfluenceCheck))
(R (CoDomain ConfluenceCheck))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN ConfluenceCheck
GlobalConfluenceCheck
valu [a]
_ = R ConfluenceCheck
Arrows
(Constant Int32 (Domains ConfluenceCheck))
(R (CoDomain ConfluenceCheck))
forall a. R a
malformed
instance EmbPrj WarningMode where
icod_ :: WarningMode -> S Int32
icod_ (WarningMode Set WarningName
a Bool
b) = (Set WarningName -> Bool -> WarningMode)
-> Arrows
(Domains (Set WarningName -> Bool -> WarningMode)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' Set WarningName -> Bool -> WarningMode
WarningMode Set WarningName
a Bool
b
value :: Int32 -> R WarningMode
value = (Set WarningName -> Bool -> WarningMode)
-> Int32 -> R (CoDomain (Set WarningName -> Bool -> WarningMode))
forall t.
(VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Int32 -> R (CoDomain t)
valueN Set WarningName -> Bool -> WarningMode
WarningMode
instance EmbPrj WarningName where
icod_ :: WarningName -> S Int32
icod_ = Int32 -> S Int32
forall a. a -> ReaderT Dict IO a
forall (m :: * -> *) a. Monad m => a -> m a
return (Int32 -> S Int32)
-> (WarningName -> Int32) -> WarningName -> S Int32
forall b c a. (b -> c) -> (a -> b) -> a -> c
. \case
WarningName
OverlappingTokensWarning_ -> Int32
0
WarningName
UnsupportedAttribute_ -> Int32
1
WarningName
MultipleAttributes_ -> Int32
2
WarningName
LibUnknownField_ -> Int32
3
WarningName
EmptyAbstract_ -> Int32
4
WarningName
EmptyConstructor_ -> Int32
5
WarningName
EmptyField_ -> Int32
6
WarningName
EmptyGeneralize_ -> Int32
7
WarningName
EmptyInstance_ -> Int32
8
WarningName
EmptyMacro_ -> Int32
9
WarningName
EmptyMutual_ -> Int32
10
WarningName
EmptyPostulate_ -> Int32
11
WarningName
EmptyPrimitive_ -> Int32
12
WarningName
EmptyPrivate_ -> Int32
13
WarningName
EmptyRewritePragma_ -> Int32
14
WarningName
EmptyWhere_ -> Int32
15
WarningName
HiddenGeneralize_ -> Int32
16
WarningName
InvalidCatchallPragma_ -> Int32
17
WarningName
InvalidConstructor_ -> Int32
18
WarningName
InvalidConstructorBlock_ -> Int32
19
WarningName
InvalidCoverageCheckPragma_ -> Int32
20
WarningName
InvalidNoPositivityCheckPragma_ -> Int32
21
WarningName
InvalidNoUniverseCheckPragma_ -> Int32
22
WarningName
DuplicateRecordDirective_ -> Int32
23
WarningName
InvalidTerminationCheckPragma_ -> Int32
24
WarningName
MissingDeclarations_ -> Int32
25
WarningName
MissingDefinitions_ -> Int32
26
WarningName
NotAllowedInMutual_ -> Int32
27
WarningName
OpenPublicAbstract_ -> Int32
28
WarningName
OpenPublicPrivate_ -> Int32
29
WarningName
PolarityPragmasButNotPostulates_ -> Int32
30
WarningName
PragmaCompiled_ -> Int32
31
WarningName
PragmaNoTerminationCheck_ -> Int32
32
WarningName
ShadowingInTelescope_ -> Int32
33
WarningName
UnknownFixityInMixfixDecl_ -> Int32
34
WarningName
UnknownNamesInFixityDecl_ -> Int32
35
WarningName
UnknownNamesInPolarityPragmas_ -> Int32
36
WarningName
UselessAbstract_ -> Int32
37
WarningName
UselessInstance_ -> Int32
38
WarningName
UselessPrivate_ -> Int32
39
WarningName
AbsurdPatternRequiresNoRHS_ -> Int32
40
WarningName
AsPatternShadowsConstructorOrPatternSynonym_ -> Int32
41
WarningName
CantGeneralizeOverSorts_ -> Int32
42
WarningName
ClashesViaRenaming_ -> Int32
43
WarningName
CoverageIssue_ -> Int32
44
WarningName
CoverageNoExactSplit_ -> Int32
45
WarningName
DeprecationWarning_ -> Int32
46
WarningName
DuplicateUsing_ -> Int32
47
WarningName
FixityInRenamingModule_ -> Int32
48
WarningName
InvalidCharacterLiteral_ -> Int32
49
WarningName
UselessPragma_ -> Int32
50
WarningName
IllformedAsClause_ -> Int32
52
WarningName
InstanceArgWithExplicitArg_ -> Int32
53
WarningName
InstanceWithExplicitArg_ -> Int32
54
WarningName
InstanceNoOutputTypeName_ -> Int32
55
WarningName
InversionDepthReached_ -> Int32
56
WarningName
ModuleDoesntExport_ -> Int32
57
WarningName
NoGuardednessFlag_ -> Int32
58
WarningName
NotInScope_ -> Int32
59
WarningName
NotStrictlyPositive_ -> Int32
60
WarningName
UnsupportedIndexedMatch_ -> Int32
61
WarningName
OldBuiltin_ -> Int32
62
WarningName
PragmaCompileErased_ -> Int32
63
WarningName
RewriteMaybeNonConfluent_ -> Int32
64
WarningName
RewriteNonConfluent_ -> Int32
65
WarningName
RewriteAmbiguousRules_ -> Int32
66
WarningName
RewriteMissingRule_ -> Int32
67
WarningName
SafeFlagEta_ -> Int32
68
WarningName
SafeFlagInjective_ -> Int32
69
WarningName
SafeFlagNoCoverageCheck_ -> Int32
70
WarningName
SafeFlagNonTerminating_ -> Int32
71
WarningName
SafeFlagNoPositivityCheck_ -> Int32
72
WarningName
SafeFlagNoUniverseCheck_ -> Int32
73
WarningName
SafeFlagPolarity_ -> Int32
74
WarningName
SafeFlagPostulate_ -> Int32
75
WarningName
SafeFlagPragma_ -> Int32
76
WarningName
SafeFlagTerminating_ -> Int32
77
WarningName
SafeFlagWithoutKFlagPrimEraseEquality_ -> Int32
78
WarningName
TerminationIssue_ -> Int32
79
WarningName
UnreachableClauses_ -> Int32
80
WarningName
UnsolvedConstraints_ -> Int32
81
WarningName
UnsolvedInteractionMetas_ -> Int32
82
WarningName
UnsolvedMetaVariables_ -> Int32
83
WarningName
UselessHiding_ -> Int32
84
WarningName
UselessInline_ -> Int32
85
WarningName
UselessPatternDeclarationForRecord_ -> Int32
86
WarningName
UselessPublic_ -> Int32
87
WarningName
UserWarning_ -> Int32
88
WarningName
WithoutKFlagPrimEraseEquality_ -> Int32
89
WarningName
WrongInstanceDeclaration_ -> Int32
90
WarningName
CoInfectiveImport_ -> Int32
91
WarningName
InfectiveImport_ -> Int32
92
WarningName
DuplicateFields_ -> Int32
93
WarningName
TooManyFields_ -> Int32
94
WarningName
OptionRenamed_ -> Int32
95
WarningName
PlentyInHardCompileTimeMode_ -> Int32
96
WarningName
InteractionMetaBoundaries_ -> Int32
97
WarningName
NotAffectedByOpaque_ -> Int32
98
WarningName
UnfoldTransparentName_ -> Int32
99
WarningName
UselessOpaque_ -> Int32
100
WarningName
InlineNoExactSplit_ -> Int32
101
WarningName
FaceConstraintCannotBeHidden_ -> Int32
102
WarningName
FaceConstraintCannotBeNamed_ -> Int32
103
WarningName
PatternShadowsConstructor_ -> Int32
104
WarningName
DuplicateInterfaceFiles_ -> Int32
105
WarningName
ConfluenceCheckingIncompleteBecauseOfMeta_ -> Int32
106
WarningName
BuiltinDeclaresIdentifier_ -> Int32
107
WarningName
ConfluenceForCubicalNotSupported_ -> Int32
108
WarningName
PragmaCompileList_ -> Int32
109
WarningName
PragmaCompileMaybe_ -> Int32
110
WarningName
NoMain_ -> Int32
111
WarningName
DuplicateRewriteRule_ -> Int32
112
WarningName
MissingTypeSignatureForOpaque_ -> Int32
113
WarningName
UselessMacro_ -> Int32
114
WarningName
WarningProblem_ -> Int32
115
WarningName
ConflictingPragmaOptions_ -> Int32
116
WarningName
ConstructorDoesNotFitInData_ -> Int32
117
WarningName
CustomBackendWarning_ -> Int32
118
WarningName
CoinductiveEtaRecord_ -> Int32
119
WarningName
RewriteLHSNotDefinitionOrConstructor_ -> Int32
120
WarningName
RewriteVariablesNotBoundByLHS_ -> Int32
121
WarningName
RewriteVariablesBoundMoreThanOnce_ -> Int32
122
WarningName
RewriteLHSReduces_ -> Int32
123
WarningName
RewriteHeadSymbolIsProjection_ -> Int32
124
WarningName
RewriteHeadSymbolIsProjectionLikeFunction_ -> Int32
125
WarningName
RewriteHeadSymbolIsTypeConstructor_ -> Int32
126
WarningName
RewriteHeadSymbolContainsMetas_ -> Int32
127
WarningName
RewriteConstructorParametersNotGeneral_ -> Int32
128
WarningName
RewriteContainsUnsolvedMetaVariables_ -> Int32
129
WarningName
RewriteBlockedOnProblems_ -> Int32
130
WarningName
RewriteRequiresDefinitions_ -> Int32
131
WarningName
RewriteDoesNotTargetRewriteRelation_ -> Int32
132
WarningName
RewriteBeforeFunctionDefinition_ -> Int32
133
WarningName
RewriteBeforeMutualFunctionDefinition_ -> Int32
134
value :: Int32 -> R WarningName
value = \case
Int32
0 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OverlappingTokensWarning_
Int32
1 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsupportedAttribute_
Int32
2 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
MultipleAttributes_
Int32
3 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
LibUnknownField_
Int32
4 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyAbstract_
Int32
5 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyConstructor_
Int32
6 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyField_
Int32
7 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyGeneralize_
Int32
8 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyInstance_
Int32
9 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyMacro_
Int32
10 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyMutual_
Int32
11 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyPostulate_
Int32
12 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyPrimitive_
Int32
13 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyPrivate_
Int32
14 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyRewritePragma_
Int32
15 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyWhere_
Int32
16 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
HiddenGeneralize_
Int32
17 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidCatchallPragma_
Int32
18 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidConstructor_
Int32
19 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidConstructorBlock_
Int32
20 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidCoverageCheckPragma_
Int32
21 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidNoPositivityCheckPragma_
Int32
22 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidNoUniverseCheckPragma_
Int32
23 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DuplicateRecordDirective_
Int32
24 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidTerminationCheckPragma_
Int32
25 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
MissingDeclarations_
Int32
26 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
MissingDefinitions_
Int32
27 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NotAllowedInMutual_
Int32
28 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OpenPublicAbstract_
Int32
29 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OpenPublicPrivate_
Int32
30 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PolarityPragmasButNotPostulates_
Int32
31 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PragmaCompiled_
Int32
32 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PragmaNoTerminationCheck_
Int32
33 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ShadowingInTelescope_
Int32
34 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnknownFixityInMixfixDecl_
Int32
35 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnknownNamesInFixityDecl_
Int32
36 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnknownNamesInPolarityPragmas_
Int32
37 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessAbstract_
Int32
38 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessInstance_
Int32
39 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessPrivate_
Int32
40 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
AbsurdPatternRequiresNoRHS_
Int32
41 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
AsPatternShadowsConstructorOrPatternSynonym_
Int32
42 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CantGeneralizeOverSorts_
Int32
43 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ClashesViaRenaming_
Int32
44 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CoverageIssue_
Int32
45 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CoverageNoExactSplit_
Int32
46 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DeprecationWarning_
Int32
47 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DuplicateUsing_
Int32
48 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
FixityInRenamingModule_
Int32
49 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidCharacterLiteral_
Int32
50 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessPragma_
Int32
52 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
IllformedAsClause_
Int32
53 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InstanceArgWithExplicitArg_
Int32
54 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InstanceWithExplicitArg_
Int32
55 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InstanceNoOutputTypeName_
Int32
56 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InversionDepthReached_
Int32
57 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ModuleDoesntExport_
Int32
58 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NoGuardednessFlag_
Int32
59 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NotInScope_
Int32
60 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NotStrictlyPositive_
Int32
61 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsupportedIndexedMatch_
Int32
62 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OldBuiltin_
Int32
63 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PragmaCompileErased_
Int32
64 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteMaybeNonConfluent_
Int32
65 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteNonConfluent_
Int32
66 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteAmbiguousRules_
Int32
67 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteMissingRule_
Int32
68 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagEta_
Int32
69 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagInjective_
Int32
70 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagNoCoverageCheck_
Int32
71 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagNonTerminating_
Int32
72 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagNoPositivityCheck_
Int32
73 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagNoUniverseCheck_
Int32
74 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagPolarity_
Int32
75 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagPostulate_
Int32
76 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagPragma_
Int32
77 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagTerminating_
Int32
78 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagWithoutKFlagPrimEraseEquality_
Int32
79 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
TerminationIssue_
Int32
80 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnreachableClauses_
Int32
81 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsolvedConstraints_
Int32
82 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsolvedInteractionMetas_
Int32
83 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsolvedMetaVariables_
Int32
84 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessHiding_
Int32
85 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessInline_
Int32
86 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessPatternDeclarationForRecord_
Int32
87 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessPublic_
Int32
88 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UserWarning_
Int32
89 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
WithoutKFlagPrimEraseEquality_
Int32
90 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
WrongInstanceDeclaration_
Int32
91 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CoInfectiveImport_
Int32
92 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InfectiveImport_
Int32
93 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DuplicateFields_
Int32
94 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
TooManyFields_
Int32
95 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OptionRenamed_
Int32
96 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PlentyInHardCompileTimeMode_
Int32
97 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InteractionMetaBoundaries_
Int32
98 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NotAffectedByOpaque_
Int32
99 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnfoldTransparentName_
Int32
100 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessOpaque_
Int32
101 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InlineNoExactSplit_
Int32
102 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
FaceConstraintCannotBeHidden_
Int32
103 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
FaceConstraintCannotBeNamed_
Int32
104 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PatternShadowsConstructor_
Int32
105 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DuplicateInterfaceFiles_
Int32
106 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ConfluenceCheckingIncompleteBecauseOfMeta_
Int32
107 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
BuiltinDeclaresIdentifier_
Int32
108 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ConfluenceForCubicalNotSupported_
Int32
109 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PragmaCompileList_
Int32
110 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PragmaCompileMaybe_
Int32
111 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NoMain_
Int32
112 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DuplicateRewriteRule_
Int32
113 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
MissingTypeSignatureForOpaque_
Int32
114 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessMacro_
Int32
115 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
WarningProblem_
Int32
116 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ConflictingPragmaOptions_
Int32
117 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ConstructorDoesNotFitInData_
Int32
118 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CustomBackendWarning_
Int32
119 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CoinductiveEtaRecord_
Int32
120 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteLHSNotDefinitionOrConstructor_
Int32
121 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteVariablesNotBoundByLHS_
Int32
122 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteVariablesBoundMoreThanOnce_
Int32
123 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteLHSReduces_
Int32
124 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteHeadSymbolIsProjection_
Int32
125 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteHeadSymbolIsProjectionLikeFunction_
Int32
126 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteHeadSymbolIsTypeConstructor_
Int32
127 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteHeadSymbolContainsMetas_
Int32
128 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteConstructorParametersNotGeneral_
Int32
129 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteContainsUnsolvedMetaVariables_
Int32
130 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteBlockedOnProblems_
Int32
131 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteRequiresDefinitions_
Int32
132 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteDoesNotTargetRewriteRelation_
Int32
133 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteBeforeFunctionDefinition_
Int32
134 -> WarningName -> R WarningName
forall a. a -> StateT St IO a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteBeforeMutualFunctionDefinition_
Int32
_ -> R WarningName
forall a. R a
malformed
instance EmbPrj CutOff where
icod_ :: CutOff -> S Int32
icod_ = \case
CutOff
DontCutOff -> CutOff -> Arrows (Domains CutOff) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' CutOff
DontCutOff
CutOff LineNumber
a -> Int32
-> (LineNumber -> CutOff)
-> Arrows (Domains (LineNumber -> CutOff)) (S Int32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Int32),
All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
0 LineNumber -> CutOff
CutOff LineNumber
a
value :: Int32 -> R CutOff
value = ([Int32] -> R CutOff) -> Int32 -> R CutOff
forall a. EmbPrj a => ([Int32] -> R a) -> Int32 -> R a
vcase [Int32] -> R CutOff
valu where
valu :: [Int32]
-> Arrows (Constant Int32 (Domains CutOff)) (R (CoDomain CutOff))
valu [] = CutOff
-> Arrows (Constant Int32 (Domains CutOff)) (R (CoDomain CutOff))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN CutOff
DontCutOff
valu [Int32
0,Int32
a] = (LineNumber -> CutOff)
-> Arrows
(Constant Int32 (Domains (LineNumber -> CutOff)))
(R (CoDomain (LineNumber -> CutOff)))
forall t.
(VALU t (IsBase t),
StrictCurrying (Constant Int32 (Domains t)) (R (CoDomain t)),
All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN LineNumber -> CutOff
CutOff Int32
a
valu [Int32]
_ = R CutOff
Arrows (Constant Int32 (Domains CutOff)) (R (CoDomain CutOff))
forall a. R a
malformed