{-# 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 () --instance only
import Agda.TypeChecking.Serialise.Instances.Abstract () --instance only

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

-- We don't need to serialise warnings that turn into errors
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
    -- Not source code related, therefore they should never be serialized
    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
    -- We do not need to serialize compiler warnings:
    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
    -- 29 removed
    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
    -- 29 removed
    [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