{-# 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.Common   ( SerialisedRange(..) )
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 IsAmbiguous where
  icod_ :: IsAmbiguous -> S Word32
icod_ = \case
    YesAmbiguous AmbiguousQName
a -> (AmbiguousQName -> IsAmbiguous)
-> Arrows (Domains (AmbiguousQName -> IsAmbiguous)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' AmbiguousQName -> IsAmbiguous
YesAmbiguous AmbiguousQName
a
    IsAmbiguous
NotAmbiguous   -> IsAmbiguous -> Arrows (Domains IsAmbiguous) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' IsAmbiguous
NotAmbiguous

  value :: Word32 -> R IsAmbiguous
value = ([Word32] -> R IsAmbiguous) -> Word32 -> R IsAmbiguous
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase \case
    [Word32
a] -> (AmbiguousQName -> IsAmbiguous)
-> Arrows
     (Constant Word32 (Domains (AmbiguousQName -> IsAmbiguous)))
     (R (CoDomain (AmbiguousQName -> IsAmbiguous)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN AmbiguousQName -> IsAmbiguous
YesAmbiguous Word32
a
    []  -> IsAmbiguous
-> Arrows
     (Constant Word32 (Domains IsAmbiguous)) (R (CoDomain IsAmbiguous))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN IsAmbiguous
NotAmbiguous
    [Word32]
_   -> R IsAmbiguous
forall a. R a
malformed

instance EmbPrj TCWarning where
  icod_ :: TCWarning -> S Word32
icod_ (TCWarning CallStack
fp Range
r Warning
a Doc
b String
c Bool
d) = (CallStack
 -> SerialisedRange
 -> Warning
 -> Doc
 -> String
 -> Bool
 -> TCWarning)
-> Arrows
     (Domains
        (CallStack
         -> SerialisedRange
         -> Warning
         -> Doc
         -> String
         -> Bool
         -> TCWarning))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' (\ CallStack
fp -> CallStack -> Range -> Warning -> Doc -> String -> Bool -> TCWarning
TCWarning CallStack
fp (Range -> Warning -> Doc -> String -> Bool -> TCWarning)
-> (SerialisedRange -> Range)
-> SerialisedRange
-> Warning
-> Doc
-> String
-> Bool
-> TCWarning
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SerialisedRange -> Range
underlyingRange) CallStack
fp (Range -> SerialisedRange
SerialisedRange Range
r) Warning
a Doc
b String
c Bool
d
  value :: Word32 -> R TCWarning
value = (CallStack
 -> SerialisedRange
 -> Warning
 -> Doc
 -> String
 -> Bool
 -> TCWarning)
-> Word32
-> R (CoDomain
        (CallStack
         -> SerialisedRange
         -> Warning
         -> Doc
         -> String
         -> Bool
         -> TCWarning))
forall t.
(VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Word32 -> R (CoDomain t)
valueN (\ CallStack
fp -> CallStack -> Range -> Warning -> Doc -> String -> Bool -> TCWarning
TCWarning CallStack
fp (Range -> Warning -> Doc -> String -> Bool -> TCWarning)
-> (SerialisedRange -> Range)
-> SerialisedRange
-> Warning
-> Doc
-> String
-> Bool
-> TCWarning
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SerialisedRange -> Range
underlyingRange)

-- We don't need to serialise warnings that turn into errors
instance EmbPrj Warning where
  icod_ :: Warning -> S Word32
icod_ = \case
    TerminationIssue List1 TerminationError
a                    -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    UnreachableClauses QName
a List1 Range
b                -> Word32
-> (QName -> List1 Range -> Warning)
-> Arrows (Domains (QName -> List1 Range -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 QName -> List1 Range -> Warning
UnreachableClauses QName
a List1 Range
b
    CoverageIssue QName
a List1 (Telescope, [NamedArg DeBruijnPattern])
b                     -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    NotStrictlyPositive QName
a Seq OccursWhere
b               -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    ConstructorDoesNotFitInData{}         -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    UnsolvedMetaVariables Set1 Range
a               -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    UnsolvedInteractionMetas Set1 Range
a            -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    UnsolvedConstraints List1 ProblemConstraint
a                 -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    InteractionMetaBoundaries Set1 Range
a           -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    OldBuiltin BuiltinId
a BuiltinId
b                        -> Word32
-> (BuiltinId -> BuiltinId -> Warning)
-> Arrows (Domains (BuiltinId -> BuiltinId -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 BuiltinId -> BuiltinId -> Warning
OldBuiltin BuiltinId
a BuiltinId
b
    Warning
EmptyRewritePragma                    -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 Warning
EmptyRewritePragma
    Warning
UselessPublic                         -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
3 Warning
UselessPublic
    UselessInline QName
a                       -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
4 QName -> Warning
UselessInline QName
a
    InvalidCharacterLiteral Char
a             -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagPostulate Name
a                   -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagPragma Set String
a                      -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    Warning
SafeFlagWithoutKFlagPrimEraseEquality -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    DuplicateRecordDirective RecordDirective
a            -> Word32
-> (RecordDirective -> Warning)
-> Arrows (Domains (RecordDirective -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
5 RecordDirective -> Warning
DuplicateRecordDirective RecordDirective
a
    DeprecationWarning String
a String
b String
c              -> Word32
-> (String -> String -> String -> Warning)
-> Arrows
     (Domains (String -> String -> String -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
6 String -> String -> String -> Warning
DeprecationWarning String
a String
b String
c
    NicifierIssue DeclarationWarning
a                       -> Word32
-> (DeclarationWarning -> Warning)
-> Arrows (Domains (DeclarationWarning -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
7 DeclarationWarning -> Warning
NicifierIssue DeclarationWarning
a
    InversionDepthReached QName
a               -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
8 QName -> Warning
InversionDepthReached QName
a
    UserWarning Text
a                         -> Word32
-> (Text -> Warning)
-> Arrows (Domains (Text -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
9 Text -> Warning
UserWarning Text
a
    Warning
AbsurdPatternRequiresAbsentRHS        -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
10 Warning
AbsurdPatternRequiresAbsentRHS
    ModuleDoesntExport QName
a [Name]
b [Name]
c List1 ImportedName
d            -> Word32
-> (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning)
-> Arrows
     (Domains
        (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
11 QName -> [Name] -> [Name] -> List1 ImportedName -> Warning
ModuleDoesntExport QName
a [Name]
b [Name]
c List1 ImportedName
d
    LibraryWarning LibWarning
a                      -> Word32
-> (LibWarning -> Warning)
-> Arrows (Domains (LibWarning -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
12 LibWarning -> Warning
LibraryWarning LibWarning
a
    CoverageNoExactSplit QName
a List1 Clause
b              -> Word32
-> (QName -> List1 Clause -> Warning)
-> Arrows (Domains (QName -> List1 Clause -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
13 QName -> List1 Clause -> Warning
CoverageNoExactSplit QName
a List1 Clause
b
    CantGeneralizeOverSorts Set1 MetaId
a             -> Word32
-> (Set1 MetaId -> Warning)
-> Arrows (Domains (Set1 MetaId -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
14 Set1 MetaId -> Warning
CantGeneralizeOverSorts Set1 MetaId
a
    IllformedAsClause String
a                   -> Word32
-> (String -> Warning)
-> Arrows (Domains (String -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
15 String -> Warning
IllformedAsClause String
a
    Warning
WithoutKFlagPrimEraseEquality         -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
16 Warning
WithoutKFlagPrimEraseEquality
    InstanceWithExplicitArg QName
a             -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
17 QName -> Warning
InstanceWithExplicitArg QName
a
    InfectiveImport Doc
a                     -> Word32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
18 Doc -> Warning
InfectiveImport Doc
a
    CoInfectiveImport Doc
a                   -> Word32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
19 Doc -> Warning
CoInfectiveImport Doc
a
    InstanceNoOutputTypeName Doc
a            -> Word32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
20 Doc -> Warning
InstanceNoOutputTypeName Doc
a
    InstanceArgWithExplicitArg Doc
a          -> Word32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
21 Doc -> Warning
InstanceArgWithExplicitArg Doc
a
    Warning
WrongInstanceDeclaration              -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
22 Warning
WrongInstanceDeclaration
    RewriteNonConfluent Term
a Term
b Term
c Doc
d           -> Word32
-> (Term -> Term -> Term -> Doc -> Warning)
-> Arrows
     (Domains (Term -> Term -> Term -> Doc -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
23 Term -> Term -> Term -> Doc -> Warning
RewriteNonConfluent Term
a Term
b Term
c Doc
d
    RewriteMaybeNonConfluent Term
a Term
b [Doc]
c        -> Word32
-> (Term -> Term -> [Doc] -> Warning)
-> Arrows (Domains (Term -> Term -> [Doc] -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
24 Term -> Term -> [Doc] -> Warning
RewriteMaybeNonConfluent Term
a Term
b [Doc]
c
    PragmaCompileErased Text
a QName
b               -> Word32
-> (Text -> QName -> Warning)
-> Arrows (Domains (Text -> QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
25 Text -> QName -> Warning
PragmaCompileErased Text
a QName
b
    FixityInRenamingModule List1 Range
a              -> Word32
-> (List1 Range -> Warning)
-> Arrows (Domains (List1 Range -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
26 List1 Range -> Warning
FixityInRenamingModule List1 Range
a
    NotInScopeW QName
a                         -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
27 QName -> Warning
NotInScopeW QName
a
    ClashesViaRenaming NameOrModule
a Set1 Name
b                -> Word32
-> (NameOrModule -> Set1 Name -> Warning)
-> Arrows
     (Domains (NameOrModule -> Set1 Name -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
28 NameOrModule -> Set1 Name -> Warning
ClashesViaRenaming NameOrModule
a Set1 Name
b
    RecordFieldWarning RecordFieldWarning
a                  -> Word32
-> (RecordFieldWarning -> Warning)
-> Arrows (Domains (RecordFieldWarning -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
29 RecordFieldWarning -> Warning
RecordFieldWarning RecordFieldWarning
a
    UselessPatternDeclarationForRecord String
a  -> Word32
-> (String -> Warning)
-> Arrows (Domains (String -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
30 String -> Warning
UselessPatternDeclarationForRecord String
a
    Warning
EmptyWhere                            -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
31 Warning
EmptyWhere
    AsPatternShadowsConstructorOrPatternSynonym ConstructorOrPatternSynonym
a -> Word32
-> (ConstructorOrPatternSynonym -> Warning)
-> Arrows
     (Domains (ConstructorOrPatternSynonym -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
32 ConstructorOrPatternSynonym -> Warning
AsPatternShadowsConstructorOrPatternSynonym ConstructorOrPatternSynonym
a
    DuplicateUsing List1 ImportedName
a                      -> Word32
-> (List1 ImportedName -> Warning)
-> Arrows (Domains (List1 ImportedName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
33 List1 ImportedName -> Warning
DuplicateUsing List1 ImportedName
a
    UselessHiding List1 ImportedName
a                       -> Word32
-> (List1 ImportedName -> Warning)
-> Arrows (Domains (List1 ImportedName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
34 List1 ImportedName -> Warning
UselessHiding List1 ImportedName
a
    UselessPragma Range
a Doc
b                     -> Word32
-> (Range -> Doc -> Warning)
-> Arrows (Domains (Range -> Doc -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
35 Range -> Doc -> Warning
UselessPragma Range
a Doc
b
    RewriteAmbiguousRules Term
a Term
b Term
c           -> Word32
-> (Term -> Term -> Term -> Warning)
-> Arrows (Domains (Term -> Term -> Term -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
36 Term -> Term -> Term -> Warning
RewriteAmbiguousRules Term
a Term
b Term
c
    RewriteMissingRule Term
a Term
b Term
c              -> Word32
-> (Term -> Term -> Term -> Warning)
-> Arrows (Domains (Term -> Term -> Term -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
37 Term -> Term -> Term -> Warning
RewriteMissingRule Term
a Term
b Term
c
    ParseWarning ParseWarning
a                        -> Word32
-> (ParseWarning -> Warning)
-> Arrows (Domains (ParseWarning -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
38 ParseWarning -> Warning
ParseWarning ParseWarning
a
    NoGuardednessFlag QName
a                   -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
39 QName -> Warning
NoGuardednessFlag QName
a
    UnsupportedIndexedMatch Doc
f             -> Word32
-> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
40 Doc -> Warning
UnsupportedIndexedMatch Doc
f
    OptionWarning OptionWarning
a                       -> Word32
-> (OptionWarning -> Warning)
-> Arrows (Domains (OptionWarning -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
41 OptionWarning -> Warning
OptionWarning OptionWarning
a
    PlentyInHardCompileTimeMode QωOrigin
a         -> Word32
-> (QωOrigin -> Warning)
-> Arrows (Domains (QωOrigin -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
42 QωOrigin -> Warning
PlentyInHardCompileTimeMode QωOrigin
a
    Warning
NotAffectedByOpaque                   -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
43 Warning
NotAffectedByOpaque
    UnfoldTransparentName QName
nm              -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
44 QName -> Warning
UnfoldTransparentName QName
nm
    Warning
UselessOpaque                         -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
45 Warning
UselessOpaque
    InlineNoExactSplit QName
a Clause
b                -> Word32
-> (QName -> Clause -> Warning)
-> Arrows (Domains (QName -> Clause -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
46 QName -> Clause -> Warning
InlineNoExactSplit QName
a Clause
b
    FaceConstraintCannotBeHidden ArgInfo
a        -> Word32
-> (ArgInfo -> Warning)
-> Arrows (Domains (ArgInfo -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
47 ArgInfo -> Warning
FaceConstraintCannotBeHidden ArgInfo
a
    FaceConstraintCannotBeNamed NamedName
a         -> Word32
-> (NamedName -> Warning)
-> Arrows (Domains (NamedName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
48 NamedName -> Warning
FaceConstraintCannotBeNamed NamedName
a
    PatternShadowsConstructor Name
a QName
b         -> Word32
-> (Name -> QName -> Warning)
-> Arrows (Domains (Name -> QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
49 Name -> QName -> Warning
PatternShadowsConstructor Name
a QName
b
    ConfluenceCheckingIncompleteBecauseOfMeta QName
a -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
50 QName -> Warning
ConfluenceCheckingIncompleteBecauseOfMeta QName
a
    BuiltinDeclaresIdentifier BuiltinId
a                 -> Word32
-> (BuiltinId -> Warning)
-> Arrows (Domains (BuiltinId -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
51 BuiltinId -> Warning
BuiltinDeclaresIdentifier BuiltinId
a
    Warning
ConfluenceForCubicalNotSupported            -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
52 Warning
ConfluenceForCubicalNotSupported
    -- We do not need to serialize compiler warnings:
    Warning
PragmaCompileList                           -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    Warning
PragmaCompileMaybe                          -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    NoMain TopLevelModuleName
_                                    -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    IllegalRewriteRule QName
a IllegalRewriteRuleReason
b                      -> Word32
-> (QName -> IllegalRewriteRuleReason -> Warning)
-> Arrows
     (Domains (QName -> IllegalRewriteRuleReason -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
53 QName -> IllegalRewriteRuleReason -> Warning
IllegalRewriteRule QName
a IllegalRewriteRuleReason
b
    MissingTypeSignatureForOpaque QName
a IsOpaque
b           -> Word32
-> (QName -> IsOpaque -> Warning)
-> Arrows (Domains (QName -> IsOpaque -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
54 QName -> IsOpaque -> Warning
MissingTypeSignatureForOpaque QName
a IsOpaque
b
    ConflictingPragmaOptions String
a String
b                -> Word32
-> (String -> String -> Warning)
-> Arrows (Domains (String -> String -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
55 String -> String -> Warning
ConflictingPragmaOptions String
a String
b
    CustomBackendWarning String
a Doc
b                    -> Word32
-> (String -> Doc -> Warning)
-> Arrows (Domains (String -> Doc -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
56 String -> Doc -> Warning
CustomBackendWarning String
a Doc
b
    CoinductiveEtaRecord QName
a                      -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
57 QName -> Warning
CoinductiveEtaRecord QName
a
    WithClauseProjectionFixityMismatch NamedArg Pattern
a ProjOrigin
b NamedArg DeBruijnPattern
c ProjOrigin
d  -> Word32
-> (NamedArg Pattern
    -> ProjOrigin -> NamedArg DeBruijnPattern -> ProjOrigin -> Warning)
-> Arrows
     (Domains
        (NamedArg Pattern
         -> ProjOrigin
         -> NamedArg DeBruijnPattern
         -> ProjOrigin
         -> Warning))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
58 NamedArg Pattern
-> ProjOrigin -> NamedArg DeBruijnPattern -> ProjOrigin -> Warning
WithClauseProjectionFixityMismatch NamedArg Pattern
a ProjOrigin
b NamedArg DeBruijnPattern
c ProjOrigin
d
    InvalidDisplayForm QName
a String
b                      -> Word32
-> (QName -> String -> Warning)
-> Arrows (Domains (QName -> String -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
59 QName -> String -> Warning
InvalidDisplayForm QName
a String
b
    TooManyArgumentsToSort QName
a List1 (NamedArg Expr)
b                  -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    NotARewriteRule QName
a IsAmbiguous
b                         -> Word32
-> (QName -> IsAmbiguous -> Warning)
-> Arrows (Domains (QName -> IsAmbiguous -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
60 QName -> IsAmbiguous -> Warning
NotARewriteRule QName
a IsAmbiguous
b
    PragmaCompileWrongName QName
a IsAmbiguous
b                  -> Word32
-> (QName -> IsAmbiguous -> Warning)
-> Arrows (Domains (QName -> IsAmbiguous -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
61 QName -> IsAmbiguous -> Warning
PragmaCompileWrongName QName
a IsAmbiguous
b
    PragmaCompileUnparsable String
a                   -> Word32
-> (String -> Warning)
-> Arrows (Domains (String -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
62 String -> Warning
PragmaCompileUnparsable String
a
    PragmaCompileWrong QName
a String
b                      -> Word32
-> (QName -> String -> Warning)
-> Arrows (Domains (QName -> String -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
63 QName -> String -> Warning
PragmaCompileWrong QName
a String
b
    PragmaExpectsUnambiguousConstructorOrFunction String
a QName
b IsAmbiguous
c ->
      Word32
-> (String -> QName -> IsAmbiguous -> Warning)
-> Arrows
     (Domains (String -> QName -> IsAmbiguous -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
64 String -> QName -> IsAmbiguous -> Warning
PragmaExpectsUnambiguousConstructorOrFunction String
a QName
b IsAmbiguous
c
    PragmaExpectsUnambiguousProjectionOrFunction String
a QName
b IsAmbiguous
c ->
      Word32
-> (String -> QName -> IsAmbiguous -> Warning)
-> Arrows
     (Domains (String -> QName -> IsAmbiguous -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
65 String -> QName -> IsAmbiguous -> Warning
PragmaExpectsUnambiguousProjectionOrFunction String
a QName
b IsAmbiguous
c
    PragmaExpectsDefinedSymbol String
a QName
b              -> Word32
-> (String -> QName -> Warning)
-> Arrows (Domains (String -> QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
66 String -> QName -> Warning
PragmaExpectsDefinedSymbol String
a QName
b
    UnfoldingWrongName QName
a                        -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
67 QName -> Warning
UnfoldingWrongName QName
a
    -- TODO: linearity
    -- FixingQuantity a b c                        -> icodeN 68 FixingQuantity a b c
    FixingRelevance String
a Relevance
b Relevance
c                       -> Word32
-> (String -> Relevance -> Relevance -> Warning)
-> Arrows
     (Domains (String -> Relevance -> Relevance -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
69 String -> Relevance -> Relevance -> Warning
FixingRelevance String
a Relevance
b Relevance
c
    UnusedVariablesInDisplayForm List1 Name
a              -> Word32
-> (List1 Name -> Warning)
-> Arrows (Domains (List1 Name -> Warning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
70 List1 Name -> Warning
UnusedVariablesInDisplayForm List1 Name
a
    HiddenNotInArgumentPosition Expr
a               -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    InstanceNotInArgumentPosition Expr
a             -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    Warning
MacroInLetBindings                          -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    Warning
AbstractInLetBindings                       -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    TopLevelPolarity QName
a PolarityModality
b                        -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__

  value :: Word32 -> R Warning
value = ([Word32] -> R Warning) -> Word32 -> R Warning
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R Warning) -> Word32 -> R Warning)
-> ([Word32] -> R Warning) -> Word32 -> R Warning
forall a b. (a -> b) -> a -> b
$ \ case
    [Word32
0, Word32
a, Word32
b]            -> (QName -> List1 Range -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> List1 Range -> Warning)))
     (R (CoDomain (QName -> List1 Range -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> List1 Range -> Warning
UnreachableClauses Word32
a Word32
b
    [Word32
1, Word32
a, Word32
b]            -> (BuiltinId -> BuiltinId -> Warning)
-> Arrows
     (Constant Word32 (Domains (BuiltinId -> BuiltinId -> Warning)))
     (R (CoDomain (BuiltinId -> BuiltinId -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN BuiltinId -> BuiltinId -> Warning
OldBuiltin Word32
a Word32
b
    [Word32
2]                  -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
EmptyRewritePragma
    [Word32
3]                  -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
UselessPublic
    [Word32
4, Word32
a]               -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
UselessInline Word32
a
    [Word32
5, Word32
a]               -> (RecordDirective -> Warning)
-> Arrows
     (Constant Word32 (Domains (RecordDirective -> Warning)))
     (R (CoDomain (RecordDirective -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN RecordDirective -> Warning
DuplicateRecordDirective Word32
a
    [Word32
6, Word32
a, Word32
b, Word32
c]         -> (String -> String -> String -> Warning)
-> Arrows
     (Constant Word32 (Domains (String -> String -> String -> Warning)))
     (R (CoDomain (String -> String -> String -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> String -> String -> Warning
DeprecationWarning Word32
a Word32
b Word32
c
    [Word32
7, Word32
a]               -> (DeclarationWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (DeclarationWarning -> Warning)))
     (R (CoDomain (DeclarationWarning -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN DeclarationWarning -> Warning
NicifierIssue Word32
a
    [Word32
8, Word32
a]               -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
InversionDepthReached Word32
a
    [Word32
9, Word32
a]               -> (Text -> Warning)
-> Arrows
     (Constant Word32 (Domains (Text -> Warning)))
     (R (CoDomain (Text -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Text -> Warning
UserWarning Word32
a
    [Word32
10]                 -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
AbsurdPatternRequiresAbsentRHS
    [Word32
11, Word32
a, Word32
b, Word32
c, Word32
d]     -> (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains
           (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning)))
     (R (CoDomain
           (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> [Name] -> [Name] -> List1 ImportedName -> Warning
ModuleDoesntExport Word32
a Word32
b Word32
c Word32
d
    [Word32
12, Word32
a]              -> (LibWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (LibWarning -> Warning)))
     (R (CoDomain (LibWarning -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN LibWarning -> Warning
LibraryWarning Word32
a
    [Word32
13, Word32
a, Word32
b]           -> (QName -> List1 Clause -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> List1 Clause -> Warning)))
     (R (CoDomain (QName -> List1 Clause -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> List1 Clause -> Warning
CoverageNoExactSplit Word32
a Word32
b
    [Word32
14, Word32
a]              -> (Set1 MetaId -> Warning)
-> Arrows
     (Constant Word32 (Domains (Set1 MetaId -> Warning)))
     (R (CoDomain (Set1 MetaId -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Set1 MetaId -> Warning
CantGeneralizeOverSorts Word32
a
    [Word32
15, Word32
a]              -> (String -> Warning)
-> Arrows
     (Constant Word32 (Domains (String -> Warning)))
     (R (CoDomain (String -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> Warning
IllformedAsClause Word32
a
    [Word32
16]                 -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
WithoutKFlagPrimEraseEquality
    [Word32
17, Word32
a]              -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
InstanceWithExplicitArg Word32
a
    [Word32
18, Word32
a]              -> (Doc -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc -> Warning)))
     (R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
InfectiveImport Word32
a
    [Word32
19, Word32
a]              -> (Doc -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc -> Warning)))
     (R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
CoInfectiveImport Word32
a
    [Word32
20, Word32
a]              -> (Doc -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc -> Warning)))
     (R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
InstanceNoOutputTypeName Word32
a
    [Word32
21, Word32
a]              -> (Doc -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc -> Warning)))
     (R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
InstanceArgWithExplicitArg Word32
a
    [Word32
22]                 -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
WrongInstanceDeclaration
    [Word32
23, Word32
a, Word32
b, Word32
c, Word32
d]     -> (Term -> Term -> Term -> Doc -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (Term -> Term -> Term -> Doc -> Warning)))
     (R (CoDomain (Term -> Term -> Term -> Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> Term -> Doc -> Warning
RewriteNonConfluent Word32
a Word32
b Word32
c Word32
d
    [Word32
24, Word32
a, Word32
b, Word32
c]        -> (Term -> Term -> [Doc] -> Warning)
-> Arrows
     (Constant Word32 (Domains (Term -> Term -> [Doc] -> Warning)))
     (R (CoDomain (Term -> Term -> [Doc] -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> [Doc] -> Warning
RewriteMaybeNonConfluent Word32
a Word32
b Word32
c
    [Word32
25, Word32
a, Word32
b]           -> (Text -> QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (Text -> QName -> Warning)))
     (R (CoDomain (Text -> QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Text -> QName -> Warning
PragmaCompileErased Word32
a Word32
b
    [Word32
26, Word32
a]              -> (List1 Range -> Warning)
-> Arrows
     (Constant Word32 (Domains (List1 Range -> Warning)))
     (R (CoDomain (List1 Range -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN List1 Range -> Warning
FixityInRenamingModule Word32
a
    [Word32
27, Word32
a]              -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
NotInScopeW Word32
a
    [Word32
28, Word32
a, Word32
b]           -> (NameOrModule -> Set1 Name -> Warning)
-> Arrows
     (Constant Word32 (Domains (NameOrModule -> Set1 Name -> Warning)))
     (R (CoDomain (NameOrModule -> Set1 Name -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NameOrModule -> Set1 Name -> Warning
ClashesViaRenaming Word32
a Word32
b
    [Word32
29, Word32
a]              -> (RecordFieldWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (RecordFieldWarning -> Warning)))
     (R (CoDomain (RecordFieldWarning -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN RecordFieldWarning -> Warning
RecordFieldWarning Word32
a
    [Word32
30, Word32
a]              -> (String -> Warning)
-> Arrows
     (Constant Word32 (Domains (String -> Warning)))
     (R (CoDomain (String -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> Warning
UselessPatternDeclarationForRecord Word32
a
    [Word32
31]                 -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
EmptyWhere
    [Word32
32, Word32
a]              -> (ConstructorOrPatternSynonym -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (ConstructorOrPatternSynonym -> Warning)))
     (R (CoDomain (ConstructorOrPatternSynonym -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ConstructorOrPatternSynonym -> Warning
AsPatternShadowsConstructorOrPatternSynonym Word32
a
    [Word32
33, Word32
a]              -> (List1 ImportedName -> Warning)
-> Arrows
     (Constant Word32 (Domains (List1 ImportedName -> Warning)))
     (R (CoDomain (List1 ImportedName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN List1 ImportedName -> Warning
DuplicateUsing Word32
a
    [Word32
34, Word32
a]              -> (List1 ImportedName -> Warning)
-> Arrows
     (Constant Word32 (Domains (List1 ImportedName -> Warning)))
     (R (CoDomain (List1 ImportedName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN List1 ImportedName -> Warning
UselessHiding Word32
a
    [Word32
35, Word32
a, Word32
b]           -> (Range -> Doc -> Warning)
-> Arrows
     (Constant Word32 (Domains (Range -> Doc -> Warning)))
     (R (CoDomain (Range -> Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> Doc -> Warning
UselessPragma Word32
a Word32
b
    [Word32
36, Word32
a, Word32
b, Word32
c]        -> (Term -> Term -> Term -> Warning)
-> Arrows
     (Constant Word32 (Domains (Term -> Term -> Term -> Warning)))
     (R (CoDomain (Term -> Term -> Term -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> Term -> Warning
RewriteAmbiguousRules Word32
a Word32
b Word32
c
    [Word32
37, Word32
a, Word32
b, Word32
c]        -> (Term -> Term -> Term -> Warning)
-> Arrows
     (Constant Word32 (Domains (Term -> Term -> Term -> Warning)))
     (R (CoDomain (Term -> Term -> Term -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> Term -> Warning
RewriteMissingRule Word32
a Word32
b Word32
c
    [Word32
38, Word32
a]              -> (ParseWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (ParseWarning -> Warning)))
     (R (CoDomain (ParseWarning -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ParseWarning -> Warning
ParseWarning Word32
a
    [Word32
39, Word32
a]              -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
NoGuardednessFlag Word32
a
    [Word32
40, Word32
a]              -> (Doc -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc -> Warning)))
     (R (CoDomain (Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc -> Warning
UnsupportedIndexedMatch Word32
a
    [Word32
41, Word32
a]              -> (OptionWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (OptionWarning -> Warning)))
     (R (CoDomain (OptionWarning -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN OptionWarning -> Warning
OptionWarning Word32
a
    [Word32
42, Word32
a]              -> (QωOrigin -> Warning)
-> Arrows
     (Constant Word32 (Domains (QωOrigin -> Warning)))
     (R (CoDomain (QωOrigin -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QωOrigin -> Warning
PlentyInHardCompileTimeMode Word32
a
    [Word32
43]                 -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
NotAffectedByOpaque
    [Word32
44, Word32
a]              -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
UnfoldTransparentName Word32
a
    [Word32
45]                 -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
UselessOpaque
    [Word32
46, Word32
a, Word32
b]           -> (QName -> Clause -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Clause -> Warning)))
     (R (CoDomain (QName -> Clause -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Clause -> Warning
InlineNoExactSplit Word32
a Word32
b
    [Word32
47, Word32
a]              -> (ArgInfo -> Warning)
-> Arrows
     (Constant Word32 (Domains (ArgInfo -> Warning)))
     (R (CoDomain (ArgInfo -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ArgInfo -> Warning
FaceConstraintCannotBeHidden Word32
a
    [Word32
48, Word32
a]              -> (NamedName -> Warning)
-> Arrows
     (Constant Word32 (Domains (NamedName -> Warning)))
     (R (CoDomain (NamedName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NamedName -> Warning
FaceConstraintCannotBeNamed Word32
a
    [Word32
49, Word32
a, Word32
b]           -> (Name -> QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (Name -> QName -> Warning)))
     (R (CoDomain (Name -> QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Name -> QName -> Warning
PatternShadowsConstructor Word32
a Word32
b
    [Word32
50, Word32
a]              -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
ConfluenceCheckingIncompleteBecauseOfMeta Word32
a
    [Word32
51, Word32
a]              -> (BuiltinId -> Warning)
-> Arrows
     (Constant Word32 (Domains (BuiltinId -> Warning)))
     (R (CoDomain (BuiltinId -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN BuiltinId -> Warning
BuiltinDeclaresIdentifier Word32
a
    [Word32
52]                 -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
ConfluenceForCubicalNotSupported
    [Word32
53, Word32
a, Word32
b]           -> (QName -> IllegalRewriteRuleReason -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (QName -> IllegalRewriteRuleReason -> Warning)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason -> Warning
IllegalRewriteRule Word32
a Word32
b
    [Word32
54, Word32
a, Word32
b]           -> (QName -> IsOpaque -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> IsOpaque -> Warning)))
     (R (CoDomain (QName -> IsOpaque -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> IsOpaque -> Warning
MissingTypeSignatureForOpaque Word32
a Word32
b
    [Word32
55, Word32
a, Word32
b]           -> (String -> String -> Warning)
-> Arrows
     (Constant Word32 (Domains (String -> String -> Warning)))
     (R (CoDomain (String -> String -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> String -> Warning
ConflictingPragmaOptions Word32
a Word32
b
    [Word32
56, Word32
a, Word32
b]           -> (String -> Doc -> Warning)
-> Arrows
     (Constant Word32 (Domains (String -> Doc -> Warning)))
     (R (CoDomain (String -> Doc -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> Doc -> Warning
CustomBackendWarning Word32
a Word32
b
    [Word32
57, Word32
a]              -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
CoinductiveEtaRecord Word32
a
    [Word32
58, Word32
a, Word32
b, Word32
c, Word32
d]     -> (NamedArg Pattern
 -> ProjOrigin -> NamedArg DeBruijnPattern -> ProjOrigin -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains
           (NamedArg Pattern
            -> ProjOrigin
            -> NamedArg DeBruijnPattern
            -> ProjOrigin
            -> Warning)))
     (R (CoDomain
           (NamedArg Pattern
            -> ProjOrigin
            -> NamedArg DeBruijnPattern
            -> ProjOrigin
            -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NamedArg Pattern
-> ProjOrigin -> NamedArg DeBruijnPattern -> ProjOrigin -> Warning
WithClauseProjectionFixityMismatch Word32
a Word32
b Word32
c Word32
d
    [Word32
59, Word32
a, Word32
b]           -> (QName -> String -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> String -> Warning)))
     (R (CoDomain (QName -> String -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> String -> Warning
InvalidDisplayForm Word32
a Word32
b
    [Word32
60, Word32
a, Word32
b]           -> (QName -> IsAmbiguous -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> IsAmbiguous -> Warning)))
     (R (CoDomain (QName -> IsAmbiguous -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> IsAmbiguous -> Warning
NotARewriteRule Word32
a Word32
b
    [Word32
61, Word32
a, Word32
b]           -> (QName -> IsAmbiguous -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> IsAmbiguous -> Warning)))
     (R (CoDomain (QName -> IsAmbiguous -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> IsAmbiguous -> Warning
PragmaCompileWrongName Word32
a Word32
b
    [Word32
62, Word32
a]              -> (String -> Warning)
-> Arrows
     (Constant Word32 (Domains (String -> Warning)))
     (R (CoDomain (String -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> Warning
PragmaCompileUnparsable Word32
a
    [Word32
63, Word32
a, Word32
b]           -> (QName -> String -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> String -> Warning)))
     (R (CoDomain (QName -> String -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> String -> Warning
PragmaCompileWrong Word32
a Word32
b
    [Word32
64, Word32
a, Word32
b, Word32
c]        -> (String -> QName -> IsAmbiguous -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (String -> QName -> IsAmbiguous -> Warning)))
     (R (CoDomain (String -> QName -> IsAmbiguous -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> QName -> IsAmbiguous -> Warning
PragmaExpectsUnambiguousConstructorOrFunction Word32
a Word32
b Word32
c
    [Word32
65, Word32
a, Word32
b, Word32
c]        -> (String -> QName -> IsAmbiguous -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (String -> QName -> IsAmbiguous -> Warning)))
     (R (CoDomain (String -> QName -> IsAmbiguous -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> QName -> IsAmbiguous -> Warning
PragmaExpectsUnambiguousProjectionOrFunction Word32
a Word32
b Word32
c
    [Word32
66, Word32
a, Word32
b]           -> (String -> QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (String -> QName -> Warning)))
     (R (CoDomain (String -> QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> QName -> Warning
PragmaExpectsDefinedSymbol Word32
a Word32
b
    [Word32
67, Word32
a]              -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> Warning
UnfoldingWrongName Word32
a
    -- TODO: linearity
    -- [68, a, b, c]        -> valuN FixingQuantity a b c
    [Word32
69, Word32
a, Word32
b, Word32
c]        -> (String -> Relevance -> Relevance -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (String -> Relevance -> Relevance -> Warning)))
     (R (CoDomain (String -> Relevance -> Relevance -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> Relevance -> Relevance -> Warning
FixingRelevance Word32
a Word32
b Word32
c
    [Word32
70, Word32
a]              -> (List1 Name -> Warning)
-> Arrows
     (Constant Word32 (Domains (List1 Name -> Warning)))
     (R (CoDomain (List1 Name -> Warning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN List1 Name -> Warning
UnusedVariablesInDisplayForm Word32
a
    [Word32]
_ -> R Warning
forall a. R a
malformed

instance EmbPrj IllegalRewriteRuleReason where
  icod_ :: IllegalRewriteRuleReason -> S Word32
icod_ = \case
    IllegalRewriteRuleReason
LHSNotDefinitionOrConstructor               -> Word32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 IllegalRewriteRuleReason
LHSNotDefinitionOrConstructor
    VariablesNotBoundByLHS IntSet
a                    -> Word32
-> (IntSet -> IllegalRewriteRuleReason)
-> Arrows (Domains (IntSet -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 IntSet -> IllegalRewriteRuleReason
VariablesNotBoundByLHS IntSet
a
    VariablesBoundMoreThanOnce IntSet
a                -> Word32
-> (IntSet -> IllegalRewriteRuleReason)
-> Arrows (Domains (IntSet -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 IntSet -> IllegalRewriteRuleReason
VariablesBoundMoreThanOnce IntSet
a
    LHSReduces Term
a Term
b                              -> Word32
-> (Term -> Term -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (Term -> Term -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
3 Term -> Term -> IllegalRewriteRuleReason
LHSReduces Term
a Term
b
    -- 4 was HeadSymbolIsProjection
    HeadSymbolIsProjectionLikeFunction QName
a        -> Word32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
5 QName -> IllegalRewriteRuleReason
HeadSymbolIsProjectionLikeFunction QName
a
    HeadSymbolIsTypeConstructor QName
a               -> Word32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
6 QName -> IllegalRewriteRuleReason
HeadSymbolIsTypeConstructor QName
a
    HeadSymbolContainsMetas QName
a                   -> Word32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
7 QName -> IllegalRewriteRuleReason
HeadSymbolContainsMetas QName
a
    ConstructorParametersNotGeneral ConHead
a Args
b         -> Word32
-> (ConHead -> Args -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (ConHead -> Args -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
8 ConHead -> Args -> IllegalRewriteRuleReason
ConstructorParametersNotGeneral ConHead
a Args
b
    ContainsUnsolvedMetaVariables Set1 MetaId
a             -> Word32
-> (Set1 MetaId -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (Set1 MetaId -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
9 Set1 MetaId -> IllegalRewriteRuleReason
ContainsUnsolvedMetaVariables Set1 MetaId
a
    BlockedOnProblems Set1 ProblemId
a                         -> Word32
-> (Set1 ProblemId -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (Set1 ProblemId -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
10 Set1 ProblemId -> IllegalRewriteRuleReason
BlockedOnProblems Set1 ProblemId
a
    RequiresDefinitions Set1 QName
a                       -> Word32
-> (Set1 QName -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (Set1 QName -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
11 Set1 QName -> IllegalRewriteRuleReason
RequiresDefinitions Set1 QName
a
    IllegalRewriteRuleReason
DoesNotTargetRewriteRelation                -> Word32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
12 IllegalRewriteRuleReason
DoesNotTargetRewriteRelation
    IllegalRewriteRuleReason
BeforeFunctionDefinition                    -> Word32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
13 IllegalRewriteRuleReason
BeforeFunctionDefinition
    BeforeMutualFunctionDefinition QName
a            -> Word32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
14 QName -> IllegalRewriteRuleReason
BeforeMutualFunctionDefinition QName
a
    IllegalRewriteRuleReason
DuplicateRewriteRule                        -> Word32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
15 IllegalRewriteRuleReason
DuplicateRewriteRule

  value :: Word32 -> R IllegalRewriteRuleReason
value = ([Word32] -> R IllegalRewriteRuleReason)
-> Word32 -> R IllegalRewriteRuleReason
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R IllegalRewriteRuleReason)
 -> Word32 -> R IllegalRewriteRuleReason)
-> ([Word32] -> R IllegalRewriteRuleReason)
-> Word32
-> R IllegalRewriteRuleReason
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0]       -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
LHSNotDefinitionOrConstructor
    [Word32
1, Word32
a]    -> (IntSet -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (IntSet -> IllegalRewriteRuleReason)))
     (R (CoDomain (IntSet -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN IntSet -> IllegalRewriteRuleReason
VariablesNotBoundByLHS Word32
a
    [Word32
2, Word32
a]    -> (IntSet -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (IntSet -> IllegalRewriteRuleReason)))
     (R (CoDomain (IntSet -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN IntSet -> IllegalRewriteRuleReason
VariablesBoundMoreThanOnce Word32
a
    [Word32
3, Word32
a, Word32
b] -> (Term -> Term -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32 (Domains (Term -> Term -> IllegalRewriteRuleReason)))
     (R (CoDomain (Term -> Term -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Term -> Term -> IllegalRewriteRuleReason
LHSReduces Word32
a Word32
b
    -- 4 was HeadSymbolIsProjection
    [Word32
5, Word32
a]    -> (QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
HeadSymbolIsProjectionLikeFunction Word32
a
    [Word32
6, Word32
a]    -> (QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
HeadSymbolIsTypeConstructor Word32
a
    [Word32
7, Word32
a]    -> (QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
HeadSymbolContainsMetas Word32
a
    [Word32
8, Word32
a, Word32
b] -> (ConHead -> Args -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32 (Domains (ConHead -> Args -> IllegalRewriteRuleReason)))
     (R (CoDomain (ConHead -> Args -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ConHead -> Args -> IllegalRewriteRuleReason
ConstructorParametersNotGeneral Word32
a Word32
b
    [Word32
9, Word32
a]    -> (Set1 MetaId -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32 (Domains (Set1 MetaId -> IllegalRewriteRuleReason)))
     (R (CoDomain (Set1 MetaId -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Set1 MetaId -> IllegalRewriteRuleReason
ContainsUnsolvedMetaVariables Word32
a
    [Word32
10, Word32
a]   -> (Set1 ProblemId -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32 (Domains (Set1 ProblemId -> IllegalRewriteRuleReason)))
     (R (CoDomain (Set1 ProblemId -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Set1 ProblemId -> IllegalRewriteRuleReason
BlockedOnProblems Word32
a
    [Word32
11, Word32
a]   -> (Set1 QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32 (Domains (Set1 QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (Set1 QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Set1 QName -> IllegalRewriteRuleReason
RequiresDefinitions Word32
a
    [Word32
12]      -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
DoesNotTargetRewriteRelation
    [Word32
13]      -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
BeforeFunctionDefinition
    [Word32
14, Word32
a]   -> (QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> IllegalRewriteRuleReason
BeforeMutualFunctionDefinition Word32
a
    [Word32
15]      -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
DuplicateRewriteRule
    [Word32]
_ -> R IllegalRewriteRuleReason
forall a. R a
malformed

instance EmbPrj OptionWarning where
  icod_ :: OptionWarning -> S Word32
icod_ = \case
    OptionRenamed String
a String
b -> Word32
-> (String -> String -> OptionWarning)
-> Arrows (Domains (String -> String -> OptionWarning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 String -> String -> OptionWarning
OptionRenamed String
a String
b
    WarningProblem WarningModeError
a  -> Word32
-> (WarningModeError -> OptionWarning)
-> Arrows (Domains (WarningModeError -> OptionWarning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 WarningModeError -> OptionWarning
WarningProblem WarningModeError
a

  value :: Word32 -> R OptionWarning
value = ([Word32] -> R OptionWarning) -> Word32 -> R OptionWarning
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R OptionWarning) -> Word32 -> R OptionWarning)
-> ([Word32] -> R OptionWarning) -> Word32 -> R OptionWarning
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a, Word32
b] -> (String -> String -> OptionWarning)
-> Arrows
     (Constant Word32 (Domains (String -> String -> OptionWarning)))
     (R (CoDomain (String -> String -> OptionWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> String -> OptionWarning
OptionRenamed Word32
a Word32
b
    [Word32
1, Word32
a]    -> (WarningModeError -> OptionWarning)
-> Arrows
     (Constant Word32 (Domains (WarningModeError -> OptionWarning)))
     (R (CoDomain (WarningModeError -> OptionWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN WarningModeError -> OptionWarning
WarningProblem Word32
a
    [Word32]
_ -> R OptionWarning
forall a. R a
malformed

instance EmbPrj WarningModeError where
  icod_ :: WarningModeError -> S Word32
icod_ = \case
    Unknown Text
a   -> Word32
-> (Text -> WarningModeError)
-> Arrows (Domains (Text -> WarningModeError)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Text -> WarningModeError
Unknown Text
a
    NoNoError Text
a -> Word32
-> (Text -> WarningModeError)
-> Arrows (Domains (Text -> WarningModeError)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 Text -> WarningModeError
NoNoError Text
a

  value :: Word32 -> R WarningModeError
value = ([Word32] -> R WarningModeError) -> Word32 -> R WarningModeError
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R WarningModeError) -> Word32 -> R WarningModeError)
-> ([Word32] -> R WarningModeError) -> Word32 -> R WarningModeError
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a] -> (Text -> WarningModeError)
-> Arrows
     (Constant Word32 (Domains (Text -> WarningModeError)))
     (R (CoDomain (Text -> WarningModeError)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Text -> WarningModeError
Unknown Word32
a
    [Word32
1, Word32
a] -> (Text -> WarningModeError)
-> Arrows
     (Constant Word32 (Domains (Text -> WarningModeError)))
     (R (CoDomain (Text -> WarningModeError)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Text -> WarningModeError
NoNoError Word32
a
    [Word32]
_ -> R WarningModeError
forall a. R a
malformed

instance EmbPrj ParseWarning where
  icod_ :: ParseWarning -> S Word32
icod_ = \case
    OverlappingTokensWarning Range
a -> Word32
-> (Range -> ParseWarning)
-> Arrows (Domains (Range -> ParseWarning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Range -> ParseWarning
OverlappingTokensWarning Range
a
    UnsupportedAttribute Range
a Maybe String
b   -> Word32
-> (Range -> Maybe String -> ParseWarning)
-> Arrows
     (Domains (Range -> Maybe String -> ParseWarning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 Range -> Maybe String -> ParseWarning
UnsupportedAttribute Range
a Maybe String
b
    MultipleAttributes Range
a Maybe String
b     -> Word32
-> (Range -> Maybe String -> ParseWarning)
-> Arrows
     (Domains (Range -> Maybe String -> ParseWarning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 Range -> Maybe String -> ParseWarning
MultipleAttributes Range
a Maybe String
b

  value :: Word32 -> R ParseWarning
value = ([Word32] -> R ParseWarning) -> Word32 -> R ParseWarning
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R ParseWarning) -> Word32 -> R ParseWarning)
-> ([Word32] -> R ParseWarning) -> Word32 -> R ParseWarning
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a]    -> (Range -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> ParseWarning)))
     (R (CoDomain (Range -> ParseWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> ParseWarning
OverlappingTokensWarning Word32
a
    [Word32
1, Word32
a, Word32
b] -> (Range -> Maybe String -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> Maybe String -> ParseWarning)))
     (R (CoDomain (Range -> Maybe String -> ParseWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> Maybe String -> ParseWarning
UnsupportedAttribute Word32
a Word32
b
    [Word32
2, Word32
a, Word32
b] -> (Range -> Maybe String -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> Maybe String -> ParseWarning)))
     (R (CoDomain (Range -> Maybe String -> ParseWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> Maybe String -> ParseWarning
MultipleAttributes Word32
a Word32
b
    [Word32]
_ -> R ParseWarning
forall a. R a
malformed

instance EmbPrj RecordFieldWarning where
  icod_ :: RecordFieldWarning -> S Word32
icod_ = \case
    W.DuplicateFields List1 (Name, Range)
a   -> Word32
-> (List1 (Name, Range) -> RecordFieldWarning)
-> Arrows
     (Domains (List1 (Name, Range) -> RecordFieldWarning)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 List1 (Name, Range) -> RecordFieldWarning
W.DuplicateFields List1 (Name, Range)
a
    W.TooManyFields QName
a [Name]
b List1 (Name, Range)
c -> Word32
-> (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning)
-> Arrows
     (Domains
        (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning
W.TooManyFields QName
a [Name]
b List1 (Name, Range)
c

  value :: Word32 -> R RecordFieldWarning
value = ([Word32] -> R RecordFieldWarning)
-> Word32 -> R RecordFieldWarning
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R RecordFieldWarning)
 -> Word32 -> R RecordFieldWarning)
-> ([Word32] -> R RecordFieldWarning)
-> Word32
-> R RecordFieldWarning
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a]       -> (List1 (Name, Range) -> RecordFieldWarning)
-> Arrows
     (Constant
        Word32 (Domains (List1 (Name, Range) -> RecordFieldWarning)))
     (R (CoDomain (List1 (Name, Range) -> RecordFieldWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN List1 (Name, Range) -> RecordFieldWarning
W.DuplicateFields Word32
a
    [Word32
1, Word32
a, Word32
b, Word32
c] -> (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning)
-> Arrows
     (Constant
        Word32
        (Domains
           (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning)))
     (R (CoDomain
           (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning
W.TooManyFields Word32
a Word32
b Word32
c
    [Word32]
_ -> R RecordFieldWarning
forall a. R a
malformed

instance EmbPrj DeclarationWarning where
  icod_ :: DeclarationWarning -> S Word32
icod_ (DeclarationWarning CallStack
a DeclarationWarning'
b) = (CallStack -> DeclarationWarning' -> DeclarationWarning)
-> Arrows
     (Domains (CallStack -> DeclarationWarning' -> DeclarationWarning))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' CallStack -> DeclarationWarning' -> DeclarationWarning
DeclarationWarning CallStack
a DeclarationWarning'
b
  value :: Word32 -> R DeclarationWarning
value = ([Word32] -> R DeclarationWarning)
-> Word32 -> R DeclarationWarning
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R DeclarationWarning)
 -> Word32 -> R DeclarationWarning)
-> ([Word32] -> R DeclarationWarning)
-> Word32
-> R DeclarationWarning
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
a, Word32
b] -> (CallStack -> DeclarationWarning' -> DeclarationWarning)
-> Arrows
     (Constant
        Word32
        (Domains (CallStack -> DeclarationWarning' -> DeclarationWarning)))
     (R (CoDomain
           (CallStack -> DeclarationWarning' -> DeclarationWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN CallStack -> DeclarationWarning' -> DeclarationWarning
DeclarationWarning Word32
a Word32
b
    [Word32]
_ -> R DeclarationWarning
forall a. R a
malformed

instance EmbPrj DeclarationWarning' where
  icod_ :: DeclarationWarning' -> S Word32
icod_ = \case
    UnknownNamesInFixityDecl Set1 Name
a        -> Word32
-> (Set1 Name -> DeclarationWarning')
-> Arrows (Domains (Set1 Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Set1 Name -> DeclarationWarning'
UnknownNamesInFixityDecl Set1 Name
a
    UnknownNamesInPolarityPragmas Set1 Name
a   -> Word32
-> (Set1 Name -> DeclarationWarning')
-> Arrows (Domains (Set1 Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 Set1 Name -> DeclarationWarning'
UnknownNamesInPolarityPragmas Set1 Name
a
    PolarityPragmasButNotPostulates Set1 Name
a -> Word32
-> (Set1 Name -> DeclarationWarning')
-> Arrows (Domains (Set1 Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 Set1 Name -> DeclarationWarning'
PolarityPragmasButNotPostulates Set1 Name
a
    UselessPrivate KwRange
a                  -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
3 KwRange -> DeclarationWarning'
UselessPrivate KwRange
a
    UselessAbstract KwRange
a                 -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
4 KwRange -> DeclarationWarning'
UselessAbstract KwRange
a
    UselessInstance KwRange
a                 -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
5 KwRange -> DeclarationWarning'
UselessInstance KwRange
a
    EmptyMutual KwRange
a                     -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
6 KwRange -> DeclarationWarning'
EmptyMutual KwRange
a
    EmptyAbstract KwRange
a                   -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
7 KwRange -> DeclarationWarning'
EmptyAbstract KwRange
a
    EmptyPrivate KwRange
a                    -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
8 KwRange -> DeclarationWarning'
EmptyPrivate KwRange
a
    EmptyInstance KwRange
a                   -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
9 KwRange -> DeclarationWarning'
EmptyInstance KwRange
a
    EmptyMacro KwRange
a                      -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
10 KwRange -> DeclarationWarning'
EmptyMacro KwRange
a
    EmptyPostulate KwRange
a                  -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
11 KwRange -> DeclarationWarning'
EmptyPostulate KwRange
a
    InvalidTerminationCheckPragma Range
a   -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
12 Range -> DeclarationWarning'
InvalidTerminationCheckPragma Range
a
    InvalidNoPositivityCheckPragma Range
a  -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
13 Range -> DeclarationWarning'
InvalidNoPositivityCheckPragma Range
a
    InvalidCatchallPragma Range
a           -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
14 Range -> DeclarationWarning'
InvalidCatchallPragma Range
a
    InvalidNoUniverseCheckPragma Range
a    -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
15 Range -> DeclarationWarning'
InvalidNoUniverseCheckPragma Range
a
    UnknownFixityInMixfixDecl Set1 Name
a       -> Word32
-> (Set1 Name -> DeclarationWarning')
-> Arrows (Domains (Set1 Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
16 Set1 Name -> DeclarationWarning'
UnknownFixityInMixfixDecl Set1 Name
a
    MissingDefinitions List1 (Name, Range)
a              -> Word32
-> (List1 (Name, Range) -> DeclarationWarning')
-> Arrows
     (Domains (List1 (Name, Range) -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
17 List1 (Name, Range) -> DeclarationWarning'
MissingDefinitions List1 (Name, Range)
a
    NotAllowedInMutual Range
r String
a            -> Word32
-> (Range -> String -> DeclarationWarning')
-> Arrows
     (Domains (Range -> String -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
18 Range -> String -> DeclarationWarning'
NotAllowedInMutual Range
r String
a
    PragmaNoTerminationCheck Range
r        -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
19 Range -> DeclarationWarning'
PragmaNoTerminationCheck Range
r
    EmptyGeneralize KwRange
a                 -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
20 KwRange -> DeclarationWarning'
EmptyGeneralize KwRange
a
    PragmaCompiled Range
r                  -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
21 Range -> DeclarationWarning'
PragmaCompiled Range
r
    EmptyPrimitive KwRange
a                  -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
22 KwRange -> DeclarationWarning'
EmptyPrimitive KwRange
a
    EmptyField KwRange
r                      -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
23 KwRange -> DeclarationWarning'
EmptyField KwRange
r
    ShadowingInTelescope List1 (Name, List2 Range)
nrs          -> Word32
-> (List1 (Name, List2 Range) -> DeclarationWarning')
-> Arrows
     (Domains (List1 (Name, List2 Range) -> DeclarationWarning'))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
24 List1 (Name, List2 Range) -> DeclarationWarning'
ShadowingInTelescope List1 (Name, List2 Range)
nrs
    InvalidCoverageCheckPragma Range
r      -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
25 Range -> DeclarationWarning'
InvalidCoverageCheckPragma Range
r
    OpenPublicAbstract KwRange
r              -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
26 KwRange -> DeclarationWarning'
OpenPublicAbstract KwRange
r
    OpenPublicPrivate KwRange
r               -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
27 KwRange -> DeclarationWarning'
OpenPublicPrivate KwRange
r
    EmptyConstructor KwRange
a                -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
28 KwRange -> DeclarationWarning'
EmptyConstructor KwRange
a
    -- 29 removed
    -- 30 removed
    InvalidConstructorBlock Range
a         -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
31 Range -> DeclarationWarning'
InvalidConstructorBlock Range
a
    MissingDataDeclaration Name
a          -> Word32
-> (Name -> DeclarationWarning')
-> Arrows (Domains (Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
32 Name -> DeclarationWarning'
MissingDataDeclaration Name
a
    HiddenGeneralize Range
r                -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
33 Range -> DeclarationWarning'
HiddenGeneralize Range
r
    UselessMacro KwRange
r                    -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
34 KwRange -> DeclarationWarning'
UselessMacro KwRange
r
    SafeFlagEta                    {} -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagInjective              {} -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagNoCoverageCheck        {} -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagNoPositivityCheck      {} -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagNoUniverseCheck        {} -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagNonTerminating         {} -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagPolarity               {} -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagTerminating            {} -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    EmptyPolarityPragma Range
r             -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
35 Range -> DeclarationWarning'
EmptyPolarityPragma Range
r

  value :: Word32 -> R DeclarationWarning'
value = ([Word32] -> R DeclarationWarning')
-> Word32 -> R DeclarationWarning'
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R DeclarationWarning')
 -> Word32 -> R DeclarationWarning')
-> ([Word32] -> R DeclarationWarning')
-> Word32
-> R DeclarationWarning'
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a]   -> (Set1 Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Set1 Name -> DeclarationWarning')))
     (R (CoDomain (Set1 Name -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Set1 Name -> DeclarationWarning'
UnknownNamesInFixityDecl Word32
a
    [Word32
1, Word32
a]   -> (Set1 Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Set1 Name -> DeclarationWarning')))
     (R (CoDomain (Set1 Name -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Set1 Name -> DeclarationWarning'
UnknownNamesInPolarityPragmas Word32
a
    [Word32
2, Word32
a]   -> (Set1 Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Set1 Name -> DeclarationWarning')))
     (R (CoDomain (Set1 Name -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Set1 Name -> DeclarationWarning'
PolarityPragmasButNotPostulates Word32
a
    [Word32
3, Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
UselessPrivate Word32
a
    [Word32
4, Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
UselessAbstract Word32
a
    [Word32
5, Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
UselessInstance Word32
a
    [Word32
6, Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyMutual Word32
a
    [Word32
7, Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyAbstract Word32
a
    [Word32
8, Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyPrivate Word32
a
    [Word32
9, Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyInstance Word32
a
    [Word32
10,Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyMacro Word32
a
    [Word32
11,Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyPostulate Word32
a
    [Word32
12,Word32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidTerminationCheckPragma Word32
a
    [Word32
13,Word32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidNoPositivityCheckPragma Word32
a
    [Word32
14,Word32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidCatchallPragma Word32
a
    [Word32
15,Word32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidNoUniverseCheckPragma Word32
a
    [Word32
16,Word32
a]   -> (Set1 Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Set1 Name -> DeclarationWarning')))
     (R (CoDomain (Set1 Name -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Set1 Name -> DeclarationWarning'
UnknownFixityInMixfixDecl Word32
a
    [Word32
17,Word32
a]   -> (List1 (Name, Range) -> DeclarationWarning')
-> Arrows
     (Constant
        Word32 (Domains (List1 (Name, Range) -> DeclarationWarning')))
     (R (CoDomain (List1 (Name, Range) -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN List1 (Name, Range) -> DeclarationWarning'
MissingDefinitions Word32
a
    [Word32
18,Word32
r,Word32
a] -> (Range -> String -> DeclarationWarning')
-> Arrows
     (Constant
        Word32 (Domains (Range -> String -> DeclarationWarning')))
     (R (CoDomain (Range -> String -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> String -> DeclarationWarning'
NotAllowedInMutual Word32
r Word32
a
    [Word32
19,Word32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
PragmaNoTerminationCheck Word32
r
    [Word32
20,Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyGeneralize Word32
a
    [Word32
21,Word32
a]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
PragmaCompiled Word32
a
    [Word32
22,Word32
a]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyPrimitive Word32
a
    [Word32
23,Word32
r]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyField Word32
r
    [Word32
24,Word32
nrs] -> (List1 (Name, List2 Range) -> DeclarationWarning')
-> Arrows
     (Constant
        Word32
        (Domains (List1 (Name, List2 Range) -> DeclarationWarning')))
     (R (CoDomain (List1 (Name, List2 Range) -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN List1 (Name, List2 Range) -> DeclarationWarning'
ShadowingInTelescope Word32
nrs
    [Word32
25,Word32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidCoverageCheckPragma Word32
r
    [Word32
26,Word32
r]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
OpenPublicAbstract Word32
r
    [Word32
27,Word32
r]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
OpenPublicPrivate Word32
r
    [Word32
28,Word32
r]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
EmptyConstructor Word32
r
    -- 29 removed
    -- 30 removed
    [Word32
31,Word32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
InvalidConstructorBlock Word32
r
    [Word32
32,Word32
r]   -> (Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Name -> DeclarationWarning')))
     (R (CoDomain (Name -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Name -> DeclarationWarning'
MissingDataDeclaration Word32
r
    [Word32
33,Word32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
HiddenGeneralize Word32
r
    [Word32
34,Word32
r]   -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> DeclarationWarning'
UselessMacro Word32
r
    [Word32
35,Word32
r]   -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DeclarationWarning'
EmptyPolarityPragma Word32
r
    [Word32]
_ -> R DeclarationWarning'
forall a. R a
malformed

instance EmbPrj LibWarning where
  icod_ :: LibWarning -> S Word32
icod_ = \case
    LibWarning Maybe LibPositionInfo
a LibWarning'
b -> Word32
-> (Maybe LibPositionInfo -> LibWarning' -> LibWarning)
-> Arrows
     (Domains (Maybe LibPositionInfo -> LibWarning' -> LibWarning))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Maybe LibPositionInfo -> LibWarning' -> LibWarning
LibWarning Maybe LibPositionInfo
a LibWarning'
b

  value :: Word32 -> R LibWarning
value = ([Word32] -> R LibWarning) -> Word32 -> R LibWarning
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R LibWarning) -> Word32 -> R LibWarning)
-> ([Word32] -> R LibWarning) -> Word32 -> R LibWarning
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a, Word32
b]   -> (Maybe LibPositionInfo -> LibWarning' -> LibWarning)
-> Arrows
     (Constant
        Word32
        (Domains (Maybe LibPositionInfo -> LibWarning' -> LibWarning)))
     (R (CoDomain (Maybe LibPositionInfo -> LibWarning' -> LibWarning)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Maybe LibPositionInfo -> LibWarning' -> LibWarning
LibWarning Word32
a Word32
b
    [Word32]
_ -> R LibWarning
forall a. R a
malformed

instance EmbPrj LibWarning' where
  icod_ :: LibWarning' -> S Word32
icod_ = \case
    UnknownField     String
a   -> Word32
-> (String -> LibWarning')
-> Arrows (Domains (String -> LibWarning')) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 String -> LibWarning'
UnknownField String
a

  value :: Word32 -> R LibWarning'
value = ([Word32] -> R LibWarning') -> Word32 -> R LibWarning'
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R LibWarning') -> Word32 -> R LibWarning')
-> ([Word32] -> R LibWarning') -> Word32 -> R LibWarning'
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a]    -> (String -> LibWarning')
-> Arrows
     (Constant Word32 (Domains (String -> LibWarning')))
     (R (CoDomain (String -> LibWarning')))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> LibWarning'
UnknownField Word32
a
    [Word32]
_ -> R LibWarning'
forall a. R a
malformed

instance EmbPrj ExecutablesFile where
  icod_ :: ExecutablesFile -> S Word32
icod_ = \case
    ExecutablesFile String
a Bool
b -> Word32
-> (String -> Bool -> ExecutablesFile)
-> Arrows (Domains (String -> Bool -> ExecutablesFile)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 String -> Bool -> ExecutablesFile
ExecutablesFile String
a Bool
b

  value :: Word32 -> R ExecutablesFile
value = ([Word32] -> R ExecutablesFile) -> Word32 -> R ExecutablesFile
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R ExecutablesFile) -> Word32 -> R ExecutablesFile)
-> ([Word32] -> R ExecutablesFile) -> Word32 -> R ExecutablesFile
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a, Word32
b] -> (String -> Bool -> ExecutablesFile)
-> Arrows
     (Constant Word32 (Domains (String -> Bool -> ExecutablesFile)))
     (R (CoDomain (String -> Bool -> ExecutablesFile)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN String -> Bool -> ExecutablesFile
ExecutablesFile Word32
a Word32
b
    [Word32]
_ -> R ExecutablesFile
forall a. R a
malformed

instance EmbPrj LibPositionInfo where
  icod_ :: LibPositionInfo -> S Word32
icod_ = \case
    LibPositionInfo Maybe String
a LineNumber
b String
c -> Word32
-> (Maybe String -> LineNumber -> String -> LibPositionInfo)
-> Arrows
     (Domains (Maybe String -> LineNumber -> String -> LibPositionInfo))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Maybe String -> LineNumber -> String -> LibPositionInfo
LibPositionInfo Maybe String
a LineNumber
b String
c

  value :: Word32 -> R LibPositionInfo
value = ([Word32] -> R LibPositionInfo) -> Word32 -> R LibPositionInfo
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase (([Word32] -> R LibPositionInfo) -> Word32 -> R LibPositionInfo)
-> ([Word32] -> R LibPositionInfo) -> Word32 -> R LibPositionInfo
forall a b. (a -> b) -> a -> b
$ \case
    [Word32
0, Word32
a, Word32
b, Word32
c] -> (Maybe String -> LineNumber -> String -> LibPositionInfo)
-> Arrows
     (Constant
        Word32
        (Domains
           (Maybe String -> LineNumber -> String -> LibPositionInfo)))
     (R (CoDomain
           (Maybe String -> LineNumber -> String -> LibPositionInfo)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Maybe String -> LineNumber -> String -> LibPositionInfo
LibPositionInfo Word32
a Word32
b Word32
c
    [Word32]
_ -> R LibPositionInfo
forall a. R a
malformed

instance EmbPrj Doc where
  icod_ :: Doc -> S Word32
icod_ Doc
d = (String -> Doc) -> Arrows (Domains (String -> Doc)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' (String -> Doc
forall a. HasCallStack => a
undefined :: String -> Doc) (Doc -> String
forall a. Doc a -> String
render Doc
d)

  value :: Word32 -> R Doc
value = (String -> Doc) -> Word32 -> R (CoDomain (String -> Doc))
forall t.
(VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Word32 -> R (CoDomain t)
valueN String -> Doc
forall a. String -> Doc a
text

instance EmbPrj InfectiveCoinfective where
  icod_ :: InfectiveCoinfective -> S Word32
icod_ InfectiveCoinfective
Infective   = InfectiveCoinfective
-> Arrows (Domains InfectiveCoinfective) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' InfectiveCoinfective
Infective
  icod_ InfectiveCoinfective
Coinfective = Word32
-> InfectiveCoinfective
-> Arrows (Domains InfectiveCoinfective) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 InfectiveCoinfective
Coinfective

  value :: Word32 -> R InfectiveCoinfective
value = ([Word32] -> R InfectiveCoinfective)
-> Word32 -> R InfectiveCoinfective
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase [Word32] -> R InfectiveCoinfective
forall {a}. (Eq a, Num a) => [a] -> R InfectiveCoinfective
valu where
    valu :: [a]
-> Arrows
     (Constant Word32 (Domains InfectiveCoinfective))
     (R (CoDomain InfectiveCoinfective))
valu []  = InfectiveCoinfective
-> Arrows
     (Constant Word32 (Domains InfectiveCoinfective))
     (R (CoDomain InfectiveCoinfective))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN InfectiveCoinfective
Infective
    valu [a
0] = InfectiveCoinfective
-> Arrows
     (Constant Word32 (Domains InfectiveCoinfective))
     (R (CoDomain InfectiveCoinfective))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN InfectiveCoinfective
Coinfective
    valu [a]
_   = R InfectiveCoinfective
Arrows
  (Constant Word32 (Domains InfectiveCoinfective))
  (R (CoDomain InfectiveCoinfective))
forall a. R a
malformed

instance EmbPrj PragmaOptions where
  icod_ :: PragmaOptions -> S Word32
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 'True
nn WithDefault 'True
oo WithDefault 'True
pp WithDefault 'True
qq LineNumber
rr WithDefault 'False
ss WithDefault 'True
tt LineNumber
uu WithDefault 'False
vv WithDefault 'False
ww Maybe LineNumber
xx WarningMode
yy WithDefault 'True
zz WithDefault 'True
aaa WithDefault 'False
bbb WithDefault 'False
ccc WithDefault 'True
ddd WithDefault 'True
eee WithDefault 'False
fff Maybe ConfluenceCheck
ggg WithDefault 'False
hhh WithDefault 'False
iii WithDefault 'False
jjj WithDefault 'True
kkk WithDefault 'True
lll WithDefault 'False
mmm WithDefault 'False
nnn WithDefault 'False
ooo WithDefault 'False
ppp WithDefault 'False
qqq WithDefault 'True
rrr) =
    (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 'True
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'True
 -> LineNumber
 -> WithDefault 'False
 -> WithDefault 'True
 -> LineNumber
 -> WithDefault 'False
 -> WithDefault 'False
 -> Maybe LineNumber
 -> WarningMode
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'False
 -> Maybe ConfluenceCheck
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault '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 'True
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'True
         -> LineNumber
         -> WithDefault 'False
         -> WithDefault 'True
         -> LineNumber
         -> WithDefault 'False
         -> WithDefault 'False
         -> Maybe LineNumber
         -> WarningMode
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'False
         -> Maybe ConfluenceCheck
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'True
         -> PragmaOptions))
     (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
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 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'False
-> Maybe LineNumber
-> WarningMode
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> Maybe ConfluenceCheck
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault '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 'True
nn WithDefault 'True
oo WithDefault 'True
pp WithDefault 'True
qq LineNumber
rr WithDefault 'False
ss WithDefault 'True
tt LineNumber
uu WithDefault 'False
vv WithDefault 'False
ww Maybe LineNumber
xx WarningMode
yy WithDefault 'True
zz WithDefault 'True
aaa WithDefault 'False
bbb WithDefault 'False
ccc WithDefault 'True
ddd WithDefault 'True
eee WithDefault 'False
fff Maybe ConfluenceCheck
ggg WithDefault 'False
hhh WithDefault 'False
iii WithDefault 'False
jjj WithDefault 'True
kkk WithDefault 'True
lll WithDefault 'False
mmm WithDefault 'False
nnn WithDefault 'False
ooo WithDefault 'False
ppp WithDefault 'False
qqq WithDefault 'True
rrr

  value :: Word32 -> 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 'True
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'True
 -> LineNumber
 -> WithDefault 'False
 -> WithDefault 'True
 -> LineNumber
 -> WithDefault 'False
 -> WithDefault 'False
 -> Maybe LineNumber
 -> WarningMode
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'False
 -> Maybe ConfluenceCheck
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'True
 -> WithDefault 'True
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'False
 -> WithDefault 'True
 -> PragmaOptions)
-> Word32
-> 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 'True
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'True
         -> LineNumber
         -> WithDefault 'False
         -> WithDefault 'True
         -> LineNumber
         -> WithDefault 'False
         -> WithDefault 'False
         -> Maybe LineNumber
         -> WarningMode
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault 'True
         -> WithDefault 'True
         -> WithDefault 'False
         -> Maybe ConfluenceCheck
         -> WithDefault 'False
         -> WithDefault 'False
         -> WithDefault '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 -> Word32 -> 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 'True
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'True
-> LineNumber
-> WithDefault 'False
-> WithDefault 'False
-> Maybe LineNumber
-> WarningMode
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault 'True
-> WithDefault 'True
-> WithDefault 'False
-> Maybe ConfluenceCheck
-> WithDefault 'False
-> WithDefault 'False
-> WithDefault '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 Word32
icod_ ProfileOptions
opts = [ProfileOption] -> S Word32
forall a. EmbPrj a => a -> S Word32
icode (ProfileOptions -> [ProfileOption]
profileOptionsToList ProfileOptions
opts)
  value :: Word32 -> R ProfileOptions
value = ([ProfileOption] -> ProfileOptions)
-> StateT St IO [ProfileOption] -> R ProfileOptions
forall a b. (a -> b) -> StateT St IO a -> StateT St IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [ProfileOption] -> ProfileOptions
profileOptionsFromList (StateT St IO [ProfileOption] -> R ProfileOptions)
-> (Word32 -> StateT St IO [ProfileOption])
-> Word32
-> R ProfileOptions
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Word32 -> StateT St IO [ProfileOption]
forall a. EmbPrj a => Word32 -> R a
value

instance EmbPrj ProfileOption

instance EmbPrj LHSOrPatSyn

instance EmbPrj UnicodeOrAscii

instance EmbPrj ConfluenceCheck where
  icod_ :: ConfluenceCheck -> S Word32
icod_ ConfluenceCheck
LocalConfluenceCheck  = ConfluenceCheck -> Arrows (Domains ConfluenceCheck) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' ConfluenceCheck
LocalConfluenceCheck
  icod_ ConfluenceCheck
GlobalConfluenceCheck = Word32
-> ConfluenceCheck -> Arrows (Domains ConfluenceCheck) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 ConfluenceCheck
GlobalConfluenceCheck

  value :: Word32 -> R ConfluenceCheck
value = ([Word32] -> R ConfluenceCheck) -> Word32 -> R ConfluenceCheck
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase [Word32] -> R ConfluenceCheck
forall {a}. (Eq a, Num a) => [a] -> R ConfluenceCheck
valu where
    valu :: [a]
-> Arrows
     (Constant Word32 (Domains ConfluenceCheck))
     (R (CoDomain ConfluenceCheck))
valu []  = ConfluenceCheck
-> Arrows
     (Constant Word32 (Domains ConfluenceCheck))
     (R (CoDomain ConfluenceCheck))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ConfluenceCheck
LocalConfluenceCheck
    valu [a
0] = ConfluenceCheck
-> Arrows
     (Constant Word32 (Domains ConfluenceCheck))
     (R (CoDomain ConfluenceCheck))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ConfluenceCheck
GlobalConfluenceCheck
    valu [a]
_   = R ConfluenceCheck
Arrows
  (Constant Word32 (Domains ConfluenceCheck))
  (R (CoDomain ConfluenceCheck))
forall a. R a
malformed

instance EmbPrj WarningMode where
  icod_ :: WarningMode -> S Word32
icod_ (WarningMode Set WarningName
a Bool
b) = (Set WarningName -> Bool -> WarningMode)
-> Arrows
     (Domains (Set WarningName -> Bool -> WarningMode)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' Set WarningName -> Bool -> WarningMode
WarningMode Set WarningName
a Bool
b

  value :: Word32 -> R WarningMode
value = (Set WarningName -> Bool -> WarningMode)
-> Word32 -> R (CoDomain (Set WarningName -> Bool -> WarningMode))
forall t.
(VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Word32 -> R (CoDomain t)
valueN Set WarningName -> Bool -> WarningMode
WarningMode

-- Andreas, 2024-08-18
-- Removed manual implementation of EmbPrj for this Enum type.
instance EmbPrj WarningName

instance EmbPrj CutOff where
  icod_ :: CutOff -> S Word32
icod_ = \case
    CutOff
DontCutOff -> CutOff -> Arrows (Domains CutOff) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' CutOff
DontCutOff
    CutOff LineNumber
a -> Word32
-> (LineNumber -> CutOff)
-> Arrows (Domains (LineNumber -> CutOff)) (S Word32)
forall t.
(ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 LineNumber -> CutOff
CutOff LineNumber
a

  value :: Word32 -> R CutOff
value = ([Word32] -> R CutOff) -> Word32 -> R CutOff
forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
vcase [Word32] -> R CutOff
valu where
    valu :: [Word32]
-> Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
valu [] = CutOff
-> Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN CutOff
DontCutOff
    valu [Word32
0,Word32
a] = (LineNumber -> CutOff)
-> Arrows
     (Constant Word32 (Domains (LineNumber -> CutOff)))
     (R (CoDomain (LineNumber -> CutOff)))
forall t.
(VALU t (IsBase t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN LineNumber -> CutOff
CutOff Word32
a
    valu [Word32]
_ = R CutOff
Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
forall a. R a
malformed