{-# 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), Currying (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), Currying (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__
    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), Currying (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), Currying (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), Currying (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), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
4 QName -> Warning
UselessInline QName
a
    GenericWarning Doc
a                      -> Int32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
5 Doc -> Warning
GenericWarning Doc
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__
    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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
31 Warning
EmptyWhere
    AsPatternShadowsConstructorOrPatternSynonym Bool
a -> Int32
-> (Bool -> Warning)
-> Arrows (Domains (Bool -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
32 Bool -> Warning
AsPatternShadowsConstructorOrPatternSynonym Bool
a
    DuplicateUsing List1 ImportedName
a                      -> Int32
-> (List1 ImportedName -> Warning)
-> Arrows (Domains (List1 ImportedName -> Warning)) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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

  value :: Int32 -> R Warning
value = (Node -> R Warning) -> Int32 -> R Warning
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R Warning) -> Int32 -> R Warning)
-> (Node -> 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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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]               -> (Doc -> Warning)
-> Arrows
     (Constant Int32 (Domains (Doc -> Warning)))
     (R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
GenericWarning 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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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]              -> (Bool -> Warning)
-> Arrows
     (Constant Int32 (Domains (Bool -> Warning)))
     (R (CoDomain (Bool -> Warning)))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Bool -> 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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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
    Node
_ -> R Warning
forall a. R a
malformed

instance EmbPrj OptionWarning where
  icod_ :: OptionWarning -> S Int32
icod_ = \case
    OptionRenamed String
a String
b -> (String -> String -> OptionWarning)
-> Arrows (Domains (String -> String -> OptionWarning)) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Int32)
icodeN' String -> String -> OptionWarning
OptionRenamed String
a String
b

  value :: Int32 -> R OptionWarning
value = (Node -> R OptionWarning) -> Int32 -> R OptionWarning
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R OptionWarning) -> Int32 -> R OptionWarning)
-> (Node -> R OptionWarning) -> Int32 -> R OptionWarning
forall a b. (a -> b) -> a -> b
$ \case
    [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),
 Currying (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
    Node
_ -> R OptionWarning
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), Currying (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), Currying (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), Currying (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 = (Node -> R ParseWarning) -> Int32 -> R ParseWarning
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R ParseWarning) -> Int32 -> R ParseWarning)
-> (Node -> 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),
 Currying (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),
 Currying (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),
 Currying (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
    Node
_ -> 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), Currying (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), Currying (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 = (Node -> R RecordFieldWarning) -> Int32 -> R RecordFieldWarning
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R RecordFieldWarning) -> Int32 -> R RecordFieldWarning)
-> (Node -> 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),
 Currying (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),
 Currying (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
    Node
_ -> 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), Currying (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 = (Node -> R DeclarationWarning) -> Int32 -> R DeclarationWarning
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R DeclarationWarning) -> Int32 -> R DeclarationWarning)
-> (Node -> 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),
 Currying (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
    Node
_ -> 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), Currying (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), Currying (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), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
2 [Name] -> DeclarationWarning'
PolarityPragmasButNotPostulates [Name]
a
    UselessPrivate Range
a                  -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
3 Range -> DeclarationWarning'
UselessPrivate Range
a
    UselessAbstract Range
a                 -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
4 Range -> DeclarationWarning'
UselessAbstract Range
a
    UselessInstance Range
a                 -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
5 Range -> DeclarationWarning'
UselessInstance Range
a
    EmptyMutual Range
a                     -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
6 Range -> DeclarationWarning'
EmptyMutual Range
a
    EmptyAbstract Range
a                   -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
7 Range -> DeclarationWarning'
EmptyAbstract Range
a
    EmptyPrivate Range
a                    -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
8 Range -> DeclarationWarning'
EmptyPrivate Range
a
    EmptyInstance Range
a                   -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
9 Range -> DeclarationWarning'
EmptyInstance Range
a
    EmptyMacro Range
a                      -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
10 Range -> DeclarationWarning'
EmptyMacro Range
a
    EmptyPostulate Range
a                  -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
11 Range -> DeclarationWarning'
EmptyPostulate Range
a
    InvalidTerminationCheckPragma Range
a   -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (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), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
19 Range -> DeclarationWarning'
PragmaNoTerminationCheck Range
r
    EmptyGeneralize Range
a                 -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
20 Range -> DeclarationWarning'
EmptyGeneralize Range
a
    PragmaCompiled Range
r                  -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
21 Range -> DeclarationWarning'
PragmaCompiled Range
r
    EmptyPrimitive Range
a                  -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
22 Range -> DeclarationWarning'
EmptyPrimitive Range
a
    EmptyField Range
r                      -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
23 Range -> DeclarationWarning'
EmptyField Range
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), Currying (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), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
25 Range -> DeclarationWarning'
InvalidCoverageCheckPragma Range
r
    OpenPublicAbstract Range
r              -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
26 Range -> DeclarationWarning'
OpenPublicAbstract Range
r
    OpenPublicPrivate Range
r               -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
27 Range -> DeclarationWarning'
OpenPublicPrivate Range
r
    EmptyConstructor Range
a                -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
28 Range -> DeclarationWarning'
EmptyConstructor Range
a
    InvalidRecordDirective Range
a          -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
29 Range -> DeclarationWarning'
InvalidRecordDirective Range
a
    InvalidConstructor Range
a              -> Int32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Int32)
forall t.
(ICODE t (IsBase t), Currying (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), Currying (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), Currying (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), Currying (Domains t) (S Int32),
 All EmbPrj (Domains t)) =>
Int32 -> t -> Arrows (Domains t) (S Int32)
icodeN Int32
33 Range -> DeclarationWarning'
HiddenGeneralize Range
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 = (Node -> R DeclarationWarning') -> Int32 -> R DeclarationWarning'
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R DeclarationWarning') -> Int32 -> R DeclarationWarning')
-> (Node -> 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),
 Currying (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),
 Currying (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),
 Currying (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]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
UselessPrivate Int32
a
    [Int32
4, Int32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
UselessAbstract Int32
a
    [Int32
5, Int32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
UselessInstance Int32
a
    [Int32
6, Int32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
EmptyMutual Int32
a
    [Int32
7, Int32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
EmptyAbstract Int32
a
    [Int32
8, Int32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
EmptyPrivate Int32
a
    [Int32
9, Int32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
EmptyInstance Int32
a
    [Int32
10,Int32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
EmptyMacro Int32
a
    [Int32
11,Int32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> 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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> 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),
 Currying (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]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
EmptyPrimitive Int32
a
    [Int32
23,Int32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> 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),
 Currying (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),
 Currying (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]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
OpenPublicAbstract Int32
r
    [Int32
27,Int32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
OpenPublicPrivate Int32
r
    [Int32
28,Int32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
EmptyConstructor Int32
r
    [Int32
29,Int32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidRecordDirective Int32
r
    [Int32
30,Int32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Int32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 Currying (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),
 Currying (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),
 Currying (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),
 Currying (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
    Node
_ -> 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), Currying (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 = (Node -> R LibWarning) -> Int32 -> R LibWarning
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R LibWarning) -> Int32 -> R LibWarning)
-> (Node -> 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),
 Currying (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
    Node
_ -> 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), Currying (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 = (Node -> R LibWarning') -> Int32 -> R LibWarning'
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R LibWarning') -> Int32 -> R LibWarning')
-> (Node -> 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),
 Currying (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
    Node
_ -> 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), Currying (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 = (Node -> R ExecutablesFile) -> Int32 -> R ExecutablesFile
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R ExecutablesFile) -> Int32 -> R ExecutablesFile)
-> (Node -> 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),
 Currying (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
    Node
_ -> 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), Currying (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 = (Node -> R LibPositionInfo) -> Int32 -> R LibPositionInfo
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase ((Node -> R LibPositionInfo) -> Int32 -> R LibPositionInfo)
-> (Node -> 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),
 Currying (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
    Node
_ -> 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), Currying (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), Currying (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), Currying (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 = (Node -> R InfectiveCoinfective) -> Int32 -> R InfectiveCoinfective
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase Node -> 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),
 Currying (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),
 Currying (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 'False
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 'False
nn WithDefault 'False
oo WithDefault 'True
pp LineNumber
qq WithDefault 'False
rr WithDefault 'True
ss LineNumber
tt WithDefault 'False
uu WithDefault 'False
vv Maybe LineNumber
ww WarningMode
xx WithDefault 'True
yy WithDefault 'True
zz WithDefault 'False
aaa WithDefault 'False
bbb WithDefault 'True
ccc WithDefault 'True
ddd WithDefault 'False
eee Maybe ConfluenceCheck
fff WithDefault 'False
ggg WithDefault 'False
hhh WithDefault 'True
iii WithDefault 'True
jjj WithDefault 'False
kkk WithDefault 'False
lll WithDefault 'False
mmm WithDefault 'False
nnn WithDefault 'False
ooo WithDefault 'True
ppp) =
    (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 'False
 -> WithDefault 'False
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'False
 -> WithDefault 'True
 -> WithDefault 'False
 -> WithDefault 'False
 -> Maybe Cubical
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'False
 -> 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 'False
 -> 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 'False
         -> WithDefault 'False
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'False
         -> WithDefault 'True
         -> WithDefault 'False
         -> WithDefault 'False
         -> Maybe Cubical
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> 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 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'True
         -> PragmaOptions))
     (S Int32)
forall t.
(ICODE t (IsBase t), Currying (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 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> Maybe Cubical
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> 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 'False
-> 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 'False
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 'False
nn WithDefault 'False
oo WithDefault 'True
pp LineNumber
qq WithDefault 'False
rr WithDefault 'True
ss LineNumber
tt WithDefault 'False
uu WithDefault 'False
vv Maybe LineNumber
ww WarningMode
xx WithDefault 'True
yy WithDefault 'True
zz WithDefault 'False
aaa WithDefault 'False
bbb WithDefault 'True
ccc WithDefault 'True
ddd WithDefault 'False
eee Maybe ConfluenceCheck
fff WithDefault 'False
ggg WithDefault 'False
hhh WithDefault 'True
iii WithDefault 'True
jjj WithDefault 'False
kkk WithDefault 'False
lll WithDefault 'False
mmm WithDefault 'False
nnn WithDefault 'False
ooo WithDefault 'True
ppp

  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 'False
 -> WithDefault 'False
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'False
 -> WithDefault 'True
 -> WithDefault 'False
 -> WithDefault 'False
 -> Maybe Cubical
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'False
 -> 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 'False
 -> 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 'False
         -> WithDefault 'False
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'False
         -> WithDefault 'True
         -> WithDefault 'False
         -> WithDefault 'False
         -> Maybe Cubical
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> 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 'False
         -> 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 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> Maybe Cubical
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'False
-> 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 'False
-> 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)
-> ExceptT TypeError (StateT St IO) [ProfileOption]
-> R ProfileOptions
forall a b.
(a -> b)
-> ExceptT TypeError (StateT St IO) a
-> ExceptT TypeError (StateT St IO) b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [ProfileOption] -> ProfileOptions
profileOptionsFromList (ExceptT TypeError (StateT St IO) [ProfileOption]
 -> R ProfileOptions)
-> (Int32 -> ExceptT TypeError (StateT St IO) [ProfileOption])
-> Int32
-> R ProfileOptions
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int32 -> ExceptT TypeError (StateT St IO) [ProfileOption]
forall a. EmbPrj a => Int32 -> R a
value

instance EmbPrj ProfileOption where

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), Currying (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), Currying (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 = (Node -> R ConfluenceCheck) -> Int32 -> R ConfluenceCheck
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase Node -> 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),
 Currying (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),
 Currying (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), Currying (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
InvalidRecordDirective_                      -> 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
GenericWarning_                              -> Int32
51
    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

  value :: Int32 -> R WarningName
value = \case
    Int32
0   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OverlappingTokensWarning_
    Int32
1   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsupportedAttribute_
    Int32
2   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
MultipleAttributes_
    Int32
3   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
LibUnknownField_
    Int32
4   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyAbstract_
    Int32
5   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyConstructor_
    Int32
6   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyField_
    Int32
7   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyGeneralize_
    Int32
8   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyInstance_
    Int32
9   -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyMacro_
    Int32
10  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyMutual_
    Int32
11  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyPostulate_
    Int32
12  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyPrimitive_
    Int32
13  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyPrivate_
    Int32
14  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyRewritePragma_
    Int32
15  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
EmptyWhere_
    Int32
16  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
HiddenGeneralize_
    Int32
17  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidCatchallPragma_
    Int32
18  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidConstructor_
    Int32
19  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidConstructorBlock_
    Int32
20  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidCoverageCheckPragma_
    Int32
21  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidNoPositivityCheckPragma_
    Int32
22  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidNoUniverseCheckPragma_
    Int32
23  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidRecordDirective_
    Int32
24  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidTerminationCheckPragma_
    Int32
25  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
MissingDeclarations_
    Int32
26  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
MissingDefinitions_
    Int32
27  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NotAllowedInMutual_
    Int32
28  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OpenPublicAbstract_
    Int32
29  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OpenPublicPrivate_
    Int32
30  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PolarityPragmasButNotPostulates_
    Int32
31  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PragmaCompiled_
    Int32
32  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PragmaNoTerminationCheck_
    Int32
33  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ShadowingInTelescope_
    Int32
34  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnknownFixityInMixfixDecl_
    Int32
35  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnknownNamesInFixityDecl_
    Int32
36  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnknownNamesInPolarityPragmas_
    Int32
37  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessAbstract_
    Int32
38  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessInstance_
    Int32
39  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessPrivate_
    Int32
40  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
AbsurdPatternRequiresNoRHS_
    Int32
41  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
AsPatternShadowsConstructorOrPatternSynonym_
    Int32
42  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CantGeneralizeOverSorts_
    Int32
43  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ClashesViaRenaming_
    Int32
44  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CoverageIssue_
    Int32
45  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CoverageNoExactSplit_
    Int32
46  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DeprecationWarning_
    Int32
47  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DuplicateUsing_
    Int32
48  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
FixityInRenamingModule_
    Int32
49  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InvalidCharacterLiteral_
    Int32
50  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessPragma_
    Int32
51  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
GenericWarning_
    Int32
52  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
IllformedAsClause_
    Int32
53  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InstanceArgWithExplicitArg_
    Int32
54  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InstanceWithExplicitArg_
    Int32
55  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InstanceNoOutputTypeName_
    Int32
56  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InversionDepthReached_
    Int32
57  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
ModuleDoesntExport_
    Int32
58  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NoGuardednessFlag_
    Int32
59  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NotInScope_
    Int32
60  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NotStrictlyPositive_
    Int32
61  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsupportedIndexedMatch_
    Int32
62  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OldBuiltin_
    Int32
63  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PragmaCompileErased_
    Int32
64  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteMaybeNonConfluent_
    Int32
65  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteNonConfluent_
    Int32
66  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteAmbiguousRules_
    Int32
67  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
RewriteMissingRule_
    Int32
68  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagEta_
    Int32
69  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagInjective_
    Int32
70  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagNoCoverageCheck_
    Int32
71  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagNonTerminating_
    Int32
72  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagNoPositivityCheck_
    Int32
73  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagNoUniverseCheck_
    Int32
74  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagPolarity_
    Int32
75  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagPostulate_
    Int32
76  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagPragma_
    Int32
77  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagTerminating_
    Int32
78  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
SafeFlagWithoutKFlagPrimEraseEquality_
    Int32
79  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
TerminationIssue_
    Int32
80  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnreachableClauses_
    Int32
81  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsolvedConstraints_
    Int32
82  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsolvedInteractionMetas_
    Int32
83  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnsolvedMetaVariables_
    Int32
84  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessHiding_
    Int32
85  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessInline_
    Int32
86  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessPatternDeclarationForRecord_
    Int32
87  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessPublic_
    Int32
88  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UserWarning_
    Int32
89  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
WithoutKFlagPrimEraseEquality_
    Int32
90  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
WrongInstanceDeclaration_
    Int32
91  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
CoInfectiveImport_
    Int32
92  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InfectiveImport_
    Int32
93  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
DuplicateFields_
    Int32
94  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
TooManyFields_
    Int32
95  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
OptionRenamed_
    Int32
96  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PlentyInHardCompileTimeMode_
    Int32
97  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InteractionMetaBoundaries_
    Int32
98  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
NotAffectedByOpaque_
    Int32
99  -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UnfoldTransparentName_
    Int32
100 -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
UselessOpaque_
    Int32
101 -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
InlineNoExactSplit_
    Int32
102 -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
FaceConstraintCannotBeHidden_
    Int32
103 -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
FaceConstraintCannotBeNamed_
    Int32
104 -> WarningName -> R WarningName
forall a. a -> ExceptT TypeError (StateT St IO) a
forall (m :: * -> *) a. Monad m => a -> m a
return WarningName
PatternShadowsConstructor_
    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), Currying (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), Currying (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 = (Node -> R CutOff) -> Int32 -> R CutOff
forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
vcase Node -> R CutOff
valu where
    valu :: Node
-> Arrows (Constant Int32 (Domains CutOff)) (R (CoDomain CutOff))
valu [] = CutOff
-> Arrows (Constant Int32 (Domains CutOff)) (R (CoDomain CutOff))
forall t.
(VALU t (IsBase t),
 Currying (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),
 Currying (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 Node
_ = R CutOff
Arrows (Constant Int32 (Domains CutOff)) (R (CoDomain CutOff))
forall a. R a
malformed