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

import Agda.Syntax.Common.Pretty
import Agda.Syntax.Concrete.Definitions.Errors
    ( DeclarationWarning(..), DeclarationWarning'(..), OpenOrImport(..) )
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.ProfileOptions
import Agda.Interaction.Options.Warnings
import Agda.Interaction.Library.Base
import Agda.Termination.CutOff

import Agda.Utils.DocTree qualified as DocTree
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 (Arity 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 (Arity t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' IsAmbiguous
NotAmbiguous

  value :: Word32 -> R IsAmbiguous
value = (Node -> R IsAmbiguous) -> Word32 -> R IsAmbiguous
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase \case
    N1 Word32
a -> (AmbiguousQName -> IsAmbiguous)
-> Arrows
     (Constant Word32 (Domains (AmbiguousQName -> IsAmbiguous)))
     (R (CoDomain (AmbiguousQName -> IsAmbiguous)))
forall t.
(VALU t (Arity 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
    Node
N0   -> IsAmbiguous
-> Arrows
     (Constant Word32 (Domains IsAmbiguous)) (R (CoDomain IsAmbiguous))
forall t.
(VALU t (Arity 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
    Node
_    -> R IsAmbiguous
forall a. R a
malformed

instance EmbPrj TCWarning where
  icod_ :: TCWarning -> S Word32
icod_ (TCWarning CallStack
fp Range
r Warning
a Doc Aspects
b [Char]
c Bool
d) = (CallStack
 -> SerialisedRange
 -> Warning
 -> Doc Aspects
 -> [Char]
 -> Bool
 -> TCWarning)
-> Arrows
     (Domains
        (CallStack
         -> SerialisedRange
         -> Warning
         -> Doc Aspects
         -> [Char]
         -> Bool
         -> TCWarning))
     (S Word32)
forall t.
(ICODE t (Arity t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' (\ CallStack
fp -> CallStack
-> Range -> Warning -> Doc Aspects -> [Char] -> Bool -> TCWarning
TCWarning CallStack
fp (Range -> Warning -> Doc Aspects -> [Char] -> Bool -> TCWarning)
-> (SerialisedRange -> Range)
-> SerialisedRange
-> Warning
-> Doc Aspects
-> [Char]
-> 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 Aspects
b [Char]
c Bool
d
  value :: Word32 -> R TCWarning
value = (CallStack
 -> SerialisedRange
 -> Warning
 -> Doc Aspects
 -> [Char]
 -> Bool
 -> TCWarning)
-> Word32
-> R (CoDomain
        (CallStack
         -> SerialisedRange
         -> Warning
         -> Doc Aspects
         -> [Char]
         -> Bool
         -> TCWarning))
forall t.
(VALU t (Arity t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Word32 -> R (CoDomain t)
valueN (\ CallStack
fp -> CallStack
-> Range -> Warning -> Doc Aspects -> [Char] -> Bool -> TCWarning
TCWarning CallStack
fp (Range -> Warning -> Doc Aspects -> [Char] -> Bool -> TCWarning)
-> (SerialisedRange -> Range)
-> SerialisedRange
-> Warning
-> Doc Aspects
-> [Char]
-> 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 NonEmpty Range
b                -> Word32
-> (QName -> NonEmpty Range -> Warning)
-> Arrows (Domains (QName -> NonEmpty Range -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 QName -> NonEmpty Range -> Warning
UnreachableClauses QName
a NonEmpty Range
b
    CoverageIssue QName
a List1 (Telescope, [Arg (Named_ 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 Warning
EmptyRewritePragma
    UselessPublic UselessPublicReason
a                       -> Word32
-> (UselessPublicReason -> Warning)
-> Arrows (Domains (UselessPublicReason -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
3 UselessPublicReason -> Warning
UselessPublic UselessPublicReason
a
    UselessInline QName
a                       -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 QName
a                   -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    SafeFlagPragma Set [Char]
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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
5 RecordDirective -> Warning
DuplicateRecordDirective RecordDirective
a
    DeprecationWarning [Char]
a Maybe [Char]
b [Char]
c              -> Word32
-> ([Char] -> Maybe [Char] -> [Char] -> Warning)
-> Arrows
     (Domains ([Char] -> Maybe [Char] -> [Char] -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
6 [Char] -> Maybe [Char] -> [Char] -> Warning
DeprecationWarning [Char]
a Maybe [Char]
b [Char]
c
    NicifierIssue DeclarationWarning
a                       -> Word32
-> (DeclarationWarning -> Warning)
-> Arrows (Domains (DeclarationWarning -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
10 Warning
AbsurdPatternRequiresAbsentRHS
    ModuleDoesntExport QName
a [Name]
b [Name]
c NonEmpty ImportedName
d            -> Word32
-> (QName -> [Name] -> [Name] -> NonEmpty ImportedName -> Warning)
-> Arrows
     (Domains
        (QName -> [Name] -> [Name] -> NonEmpty ImportedName -> Warning))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
11 QName -> [Name] -> [Name] -> NonEmpty ImportedName -> Warning
ModuleDoesntExport QName
a [Name]
b [Name]
c NonEmpty ImportedName
d
    LibraryWarning LibWarning
a                      -> Word32
-> (LibWarning -> Warning)
-> Arrows (Domains (LibWarning -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
12 LibWarning -> Warning
LibraryWarning LibWarning
a
    CoverageNoExactSplit QName
a NonEmpty Clause
b              -> Word32
-> (QName -> NonEmpty Clause -> Warning)
-> Arrows
     (Domains (QName -> NonEmpty Clause -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
13 QName -> NonEmpty Clause -> Warning
CoverageNoExactSplit QName
a NonEmpty Clause
b
    CantGeneralizeOverSorts NESet MetaId
a             -> Word32
-> (NESet MetaId -> Warning)
-> Arrows (Domains (NESet MetaId -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
14 NESet MetaId -> Warning
CantGeneralizeOverSorts NESet MetaId
a
    IllformedAsClause [Char]
a                   -> Word32
-> ([Char] -> Warning)
-> Arrows (Domains ([Char] -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
15 [Char] -> Warning
IllformedAsClause [Char]
a
    Warning
WithoutKFlagPrimEraseEquality         -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
16 Warning
WithoutKFlagPrimEraseEquality
    InstanceWithExplicitArg KwRange
a QName
b           -> Word32
-> (KwRange -> QName -> Warning)
-> Arrows (Domains (KwRange -> QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
17 KwRange -> QName -> Warning
InstanceWithExplicitArg KwRange
a QName
b
    InfectiveImport Doc Aspects
a                     -> Word32
-> (Doc Aspects -> Warning)
-> Arrows (Domains (Doc Aspects -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
18 Doc Aspects -> Warning
InfectiveImport Doc Aspects
a
    CoInfectiveImport Doc Aspects
a                   -> Word32
-> (Doc Aspects -> Warning)
-> Arrows (Domains (Doc Aspects -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
19 Doc Aspects -> Warning
CoInfectiveImport Doc Aspects
a
    InstanceNoOutputTypeName Doc Aspects
a            -> Word32
-> (Doc Aspects -> Warning)
-> Arrows (Domains (Doc Aspects -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
20 Doc Aspects -> Warning
InstanceNoOutputTypeName Doc Aspects
a
    InstanceArgWithExplicitArg Doc Aspects
a          -> Word32
-> (Doc Aspects -> Warning)
-> Arrows (Domains (Doc Aspects -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
21 Doc Aspects -> Warning
InstanceArgWithExplicitArg Doc Aspects
a
    WrongInstanceDeclaration KwRange
a            -> Word32
-> (KwRange -> Warning)
-> Arrows (Domains (KwRange -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
22 KwRange -> Warning
WrongInstanceDeclaration KwRange
a
    RewriteNonConfluent Term
a Term
b Term
c Doc Aspects
d           -> Word32
-> (Term -> Term -> Term -> Doc Aspects -> Warning)
-> Arrows
     (Domains (Term -> Term -> Term -> Doc Aspects -> Warning))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
23 Term -> Term -> Term -> Doc Aspects -> Warning
RewriteNonConfluent Term
a Term
b Term
c Doc Aspects
d
    RewriteMaybeNonConfluent Term
a Term
b [Doc Aspects]
c        -> Word32
-> (Term -> Term -> [Doc Aspects] -> Warning)
-> Arrows
     (Domains (Term -> Term -> [Doc Aspects] -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
24 Term -> Term -> [Doc Aspects] -> Warning
RewriteMaybeNonConfluent Term
a Term
b [Doc Aspects]
c
    PragmaCompileErased Text
a QName
b               -> Word32
-> (Text -> QName -> Warning)
-> Arrows (Domains (Text -> QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
25 Text -> QName -> Warning
PragmaCompileErased Text
a QName
b
    FixityInRenamingModule NonEmpty Range
a              -> Word32
-> (NonEmpty Range -> Warning)
-> Arrows (Domains (NonEmpty Range -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
26 NonEmpty Range -> Warning
FixityInRenamingModule NonEmpty Range
a
    NotInScopeW QName
a                         -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
27 QName -> Warning
NotInScopeW QName
a
    ClashesViaRenaming NameOrModule
a NESet Name
b                -> Word32
-> (NameOrModule -> NESet Name -> Warning)
-> Arrows
     (Domains (NameOrModule -> NESet Name -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
28 NameOrModule -> NESet Name -> Warning
ClashesViaRenaming NameOrModule
a NESet Name
b
    RecordFieldWarning RecordFieldWarning
a                  -> Word32
-> (RecordFieldWarning -> Warning)
-> Arrows (Domains (RecordFieldWarning -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
29 RecordFieldWarning -> Warning
RecordFieldWarning RecordFieldWarning
a
    UselessPatternDeclarationForRecord [Char]
a  -> Word32
-> ([Char] -> Warning)
-> Arrows (Domains ([Char] -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
30 [Char] -> Warning
UselessPatternDeclarationForRecord [Char]
a
    Warning
EmptyWhere                            -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
32 ConstructorOrPatternSynonym -> Warning
AsPatternShadowsConstructorOrPatternSynonym ConstructorOrPatternSynonym
a
    DuplicateUsing NonEmpty ImportedName
a                      -> Word32
-> (NonEmpty ImportedName -> Warning)
-> Arrows (Domains (NonEmpty ImportedName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
33 NonEmpty ImportedName -> Warning
DuplicateUsing NonEmpty ImportedName
a
    UselessHiding NonEmpty ImportedName
a                       -> Word32
-> (NonEmpty ImportedName -> Warning)
-> Arrows (Domains (NonEmpty ImportedName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
34 NonEmpty ImportedName -> Warning
UselessHiding NonEmpty ImportedName
a
    UselessPragma Range
a Doc Aspects
b                     -> Word32
-> (Range -> Doc Aspects -> Warning)
-> Arrows (Domains (Range -> Doc Aspects -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
35 Range -> Doc Aspects -> Warning
UselessPragma Range
a Doc Aspects
b
    RewriteAmbiguousRules Term
a Term
b Term
c           -> Word32
-> (Term -> Term -> Term -> Warning)
-> Arrows (Domains (Term -> Term -> Term -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
38 ParseWarning -> Warning
ParseWarning ParseWarning
a
    Warning
UselessTactic                         -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
39 Warning
UselessTactic
    UnsupportedIndexedMatch Doc Aspects
f             -> Word32
-> (Doc Aspects -> Warning)
-> Arrows (Domains (Doc Aspects -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
40 Doc Aspects -> Warning
UnsupportedIndexedMatch Doc Aspects
f
    OptionWarning OptionWarning
a                       -> Word32
-> (OptionWarning -> Warning)
-> Arrows (Domains (OptionWarning -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
47 ArgInfo -> Warning
FaceConstraintCannotBeHidden ArgInfo
a
    FaceConstraintCannotBeNamed WithOrigin (Ranged [Char])
a         -> Word32
-> (WithOrigin (Ranged [Char]) -> Warning)
-> Arrows
     (Domains (WithOrigin (Ranged [Char]) -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
48 WithOrigin (Ranged [Char]) -> Warning
FaceConstraintCannotBeNamed WithOrigin (Ranged [Char])
a
    PatternShadowsConstructor Name
a QName
b         -> Word32
-> (Name -> QName -> Warning)
-> Arrows (Domains (Name -> QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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__
    UnknownJSPrimitive [Char]
_                        -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__
    IllegalRewriteRule RewriteSource' QName
a IllegalRewriteRuleReason
b                      -> Word32
-> (RewriteSource' QName -> IllegalRewriteRuleReason -> Warning)
-> Arrows
     (Domains
        (RewriteSource' QName -> IllegalRewriteRuleReason -> Warning))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
53 RewriteSource' QName -> IllegalRewriteRuleReason -> Warning
IllegalRewriteRule RewriteSource' QName
a IllegalRewriteRuleReason
b
    MissingTypeSignatureForOpaque QName
a IsOpaque
b           -> Word32
-> (QName -> IsOpaque -> Warning)
-> Arrows (Domains (QName -> IsOpaque -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
54 QName -> IsOpaque -> Warning
MissingTypeSignatureForOpaque QName
a IsOpaque
b
    ConflictingPragmaOptions [Char]
a [Char]
b                -> Word32
-> ([Char] -> [Char] -> Warning)
-> Arrows (Domains ([Char] -> [Char] -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
55 [Char] -> [Char] -> Warning
ConflictingPragmaOptions [Char]
a [Char]
b
    CustomBackendWarning [Char]
a Doc Aspects
b                    -> Word32
-> ([Char] -> Doc Aspects -> Warning)
-> Arrows (Domains ([Char] -> Doc Aspects -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
56 [Char] -> Doc Aspects -> Warning
CustomBackendWarning [Char]
a Doc Aspects
b
    CoinductiveEtaRecord QName
a                      -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
57 QName -> Warning
CoinductiveEtaRecord QName
a
    WithClauseProjectionFixityMismatch Arg (Named_ Pattern)
a ProjOrigin
b Arg (Named_ DeBruijnPattern)
c ProjOrigin
d  -> Word32
-> (Arg (Named_ Pattern)
    -> ProjOrigin
    -> Arg (Named_ DeBruijnPattern)
    -> ProjOrigin
    -> Warning)
-> Arrows
     (Domains
        (Arg (Named_ Pattern)
         -> ProjOrigin
         -> Arg (Named_ DeBruijnPattern)
         -> ProjOrigin
         -> Warning))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
58 Arg (Named_ Pattern)
-> ProjOrigin
-> Arg (Named_ DeBruijnPattern)
-> ProjOrigin
-> Warning
WithClauseProjectionFixityMismatch Arg (Named_ Pattern)
a ProjOrigin
b Arg (Named_ DeBruijnPattern)
c ProjOrigin
d
    InvalidDisplayForm QName
a [Char]
b                      -> Word32
-> (QName -> [Char] -> Warning)
-> Arrows (Domains (QName -> [Char] -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
59 QName -> [Char] -> Warning
InvalidDisplayForm QName
a [Char]
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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
61 QName -> IsAmbiguous -> Warning
PragmaCompileWrongName QName
a IsAmbiguous
b
    PragmaCompileUnparsable [Char]
a                   -> Word32
-> ([Char] -> Warning)
-> Arrows (Domains ([Char] -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
62 [Char] -> Warning
PragmaCompileUnparsable [Char]
a
    PragmaCompileWrong QName
a [Char]
b                      -> Word32
-> (QName -> [Char] -> Warning)
-> Arrows (Domains (QName -> [Char] -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
63 QName -> [Char] -> Warning
PragmaCompileWrong QName
a [Char]
b
    PragmaExpectsUnambiguousConstructorOrFunction [Char]
a QName
b IsAmbiguous
c ->
      Word32
-> ([Char] -> QName -> IsAmbiguous -> Warning)
-> Arrows
     (Domains ([Char] -> QName -> IsAmbiguous -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
64 [Char] -> QName -> IsAmbiguous -> Warning
PragmaExpectsUnambiguousConstructorOrFunction [Char]
a QName
b IsAmbiguous
c
    PragmaExpectsUnambiguousProjectionOrFunction [Char]
a QName
b IsAmbiguous
c ->
      Word32
-> ([Char] -> QName -> IsAmbiguous -> Warning)
-> Arrows
     (Domains ([Char] -> QName -> IsAmbiguous -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
65 [Char] -> QName -> IsAmbiguous -> Warning
PragmaExpectsUnambiguousProjectionOrFunction [Char]
a QName
b IsAmbiguous
c
    PragmaExpectsDefinedSymbol [Char]
a QName
b              -> Word32
-> ([Char] -> QName -> Warning)
-> Arrows (Domains ([Char] -> QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
66 [Char] -> QName -> Warning
PragmaExpectsDefinedSymbol [Char]
a QName
b
    UnfoldingWrongName QName
a                        -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 [Char]
a Relevance
b Relevance
c                       -> Word32
-> ([Char] -> Relevance -> Relevance -> Warning)
-> Arrows
     (Domains ([Char] -> Relevance -> Relevance -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
69 [Char] -> Relevance -> Relevance -> Warning
FixingRelevance [Char]
a Relevance
b Relevance
c
    UnusedVariablesInDisplayForm NonEmpty Name
a              -> Word32
-> (NonEmpty Name -> Warning)
-> Arrows (Domains (NonEmpty Name -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
70 NonEmpty Name -> Warning
UnusedVariablesInDisplayForm NonEmpty 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__
    TooManyPolarities QName
a NonEmpty (Ranged Occurrence)
b                       -> Word32
-> (QName -> NonEmpty (Ranged Occurrence) -> Warning)
-> Arrows
     (Domains (QName -> NonEmpty (Ranged Occurrence) -> Warning))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
71 QName -> NonEmpty (Ranged Occurrence) -> Warning
TooManyPolarities QName
a NonEmpty (Ranged Occurrence)
b
    FixingCohesion [Char]
a Cohesion
b Cohesion
c                        -> Word32
-> ([Char] -> Cohesion -> Cohesion -> Warning)
-> Arrows
     (Domains ([Char] -> Cohesion -> Cohesion -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
72 [Char] -> Cohesion -> Cohesion -> Warning
FixingCohesion [Char]
a Cohesion
b Cohesion
c
    FixingPolarity [Char]
a PolarityModality
b PolarityModality
c                        -> Word32
-> ([Char] -> PolarityModality -> PolarityModality -> Warning)
-> Arrows
     (Domains
        ([Char] -> PolarityModality -> PolarityModality -> Warning))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
73 [Char] -> PolarityModality -> PolarityModality -> Warning
FixingPolarity [Char]
a PolarityModality
b PolarityModality
c
    Warning
RewritesNothing                             -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
74 Warning
RewritesNothing
    IllegalDeclarationInDataDefinition List1 Declaration
ds       -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__  -- We don't serialize concrete definitions (yet)
    UnusedImports ModuleName
a Maybe (List1 AbstractName)
b                           -> Word32
-> (ModuleName -> Maybe (List1 AbstractName) -> Warning)
-> Arrows
     (Domains (ModuleName -> Maybe (List1 AbstractName) -> Warning))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
75 ModuleName -> Maybe (List1 AbstractName) -> Warning
UnusedImports ModuleName
a Maybe (List1 AbstractName)
b
    DefinitionBeforeDeclaration AbstractName
x               -> Word32
-> (AbstractName -> Warning)
-> Arrows (Domains (AbstractName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
76 AbstractName -> Warning
DefinitionBeforeDeclaration AbstractName
x
    RecursiveRecordNeedsInductivity{}           -> S Word32
forall a. HasCallStack => a
__IMPOSSIBLE__  -- Error warning
    IgnoringRew [Char]
a RewriteAnn
b                             -> Word32
-> ([Char] -> RewriteAnn -> Warning)
-> Arrows (Domains ([Char] -> RewriteAnn -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
77 [Char] -> RewriteAnn -> Warning
IgnoringRew [Char]
a RewriteAnn
b
    InferredLocalRewrite MetaId
a Term
b                    -> Word32
-> (MetaId -> Term -> Warning)
-> Arrows (Domains (MetaId -> Term -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
78 MetaId -> Term -> Warning
InferredLocalRewrite MetaId
a Term
b
    Warning
ShouldBeEtaRecordPattern                    -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
79 Warning
ShouldBeEtaRecordPattern
    UnguardedEtaRecordW QName
a                       -> Word32
-> (QName -> Warning)
-> Arrows (Domains (QName -> Warning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
80 QName -> Warning
UnguardedEtaRecordW QName
a

  value :: Word32 -> R Warning
value = (Node -> R Warning) -> Word32 -> R Warning
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R Warning) -> Word32 -> R Warning)
-> (Node -> R Warning) -> Word32 -> R Warning
forall a b. (a -> b) -> a -> b
$ \ case
    N3 Word32
0 Word32
a Word32
b      -> (QName -> NonEmpty Range -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> NonEmpty Range -> Warning)))
     (R (CoDomain (QName -> NonEmpty Range -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> NonEmpty Range -> Warning
UnreachableClauses Word32
a Word32
b
    N3 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 (Arity 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
    N1 Word32
2          -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity 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
    N2 Word32
3 Word32
a        -> (UselessPublicReason -> Warning)
-> Arrows
     (Constant Word32 (Domains (UselessPublicReason -> Warning)))
     (R (CoDomain (UselessPublicReason -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN UselessPublicReason -> Warning
UselessPublic Word32
a
    N2 Word32
4 Word32
a        -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (Arity 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
    N2 Word32
5 Word32
a        -> (RecordDirective -> Warning)
-> Arrows
     (Constant Word32 (Domains (RecordDirective -> Warning)))
     (R (CoDomain (RecordDirective -> Warning)))
forall t.
(VALU t (Arity 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
    N4 Word32
6 Word32
a Word32
b Word32
c    -> ([Char] -> Maybe [Char] -> [Char] -> Warning)
-> Arrows
     (Constant
        Word32 (Domains ([Char] -> Maybe [Char] -> [Char] -> Warning)))
     (R (CoDomain ([Char] -> Maybe [Char] -> [Char] -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> Maybe [Char] -> [Char] -> Warning
DeprecationWarning Word32
a Word32
b Word32
c
    N2 Word32
7 Word32
a        -> (DeclarationWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (DeclarationWarning -> Warning)))
     (R (CoDomain (DeclarationWarning -> Warning)))
forall t.
(VALU t (Arity 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
    N2 Word32
8 Word32
a        -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (Arity 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
    N2 Word32
9 Word32
a        -> (Text -> Warning)
-> Arrows
     (Constant Word32 (Domains (Text -> Warning)))
     (R (CoDomain (Text -> Warning)))
forall t.
(VALU t (Arity 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
    N1 Word32
10         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity 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
    N5 Word32
11 Word32
a Word32
b Word32
c Word32
d -> (QName -> [Name] -> [Name] -> NonEmpty ImportedName -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains
           (QName -> [Name] -> [Name] -> NonEmpty ImportedName -> Warning)))
     (R (CoDomain
           (QName -> [Name] -> [Name] -> NonEmpty ImportedName -> Warning)))
forall t.
(VALU t (Arity 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] -> NonEmpty ImportedName -> Warning
ModuleDoesntExport Word32
a Word32
b Word32
c Word32
d
    N2 Word32
12 Word32
a       -> (LibWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (LibWarning -> Warning)))
     (R (CoDomain (LibWarning -> Warning)))
forall t.
(VALU t (Arity 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
    N3 Word32
13 Word32
a Word32
b     -> (QName -> NonEmpty Clause -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> NonEmpty Clause -> Warning)))
     (R (CoDomain (QName -> NonEmpty Clause -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> NonEmpty Clause -> Warning
CoverageNoExactSplit Word32
a Word32
b
    N2 Word32
14 Word32
a       -> (NESet MetaId -> Warning)
-> Arrows
     (Constant Word32 (Domains (NESet MetaId -> Warning)))
     (R (CoDomain (NESet MetaId -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NESet MetaId -> Warning
CantGeneralizeOverSorts Word32
a
    N2 Word32
15 Word32
a       -> ([Char] -> Warning)
-> Arrows
     (Constant Word32 (Domains ([Char] -> Warning)))
     (R (CoDomain ([Char] -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> Warning
IllformedAsClause Word32
a
    N1 Word32
16         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity 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
    N3 Word32
17 Word32
a Word32
b     -> (KwRange -> QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (KwRange -> QName -> Warning)))
     (R (CoDomain (KwRange -> QName -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> QName -> Warning
InstanceWithExplicitArg Word32
a Word32
b
    N2 Word32
18 Word32
a       -> (Doc Aspects -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc Aspects -> Warning)))
     (R (CoDomain (Doc Aspects -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc Aspects -> Warning
InfectiveImport Word32
a
    N2 Word32
19 Word32
a       -> (Doc Aspects -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc Aspects -> Warning)))
     (R (CoDomain (Doc Aspects -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc Aspects -> Warning
CoInfectiveImport Word32
a
    N2 Word32
20 Word32
a       -> (Doc Aspects -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc Aspects -> Warning)))
     (R (CoDomain (Doc Aspects -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc Aspects -> Warning
InstanceNoOutputTypeName Word32
a
    N2 Word32
21 Word32
a       -> (Doc Aspects -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc Aspects -> Warning)))
     (R (CoDomain (Doc Aspects -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc Aspects -> Warning
InstanceArgWithExplicitArg Word32
a
    N2 Word32
22 Word32
a       -> (KwRange -> Warning)
-> Arrows
     (Constant Word32 (Domains (KwRange -> Warning)))
     (R (CoDomain (KwRange -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN KwRange -> Warning
WrongInstanceDeclaration Word32
a
    N5 Word32
23 Word32
a Word32
b Word32
c Word32
d -> (Term -> Term -> Term -> Doc Aspects -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (Term -> Term -> Term -> Doc Aspects -> Warning)))
     (R (CoDomain (Term -> Term -> Term -> Doc Aspects -> Warning)))
forall t.
(VALU t (Arity 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 Aspects -> Warning
RewriteNonConfluent Word32
a Word32
b Word32
c Word32
d
    N4 Word32
24 Word32
a Word32
b Word32
c   -> (Term -> Term -> [Doc Aspects] -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (Term -> Term -> [Doc Aspects] -> Warning)))
     (R (CoDomain (Term -> Term -> [Doc Aspects] -> Warning)))
forall t.
(VALU t (Arity 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 Aspects] -> Warning
RewriteMaybeNonConfluent Word32
a Word32
b Word32
c
    N3 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 (Arity 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
    N2 Word32
26 Word32
a       -> (NonEmpty Range -> Warning)
-> Arrows
     (Constant Word32 (Domains (NonEmpty Range -> Warning)))
     (R (CoDomain (NonEmpty Range -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NonEmpty Range -> Warning
FixityInRenamingModule Word32
a
    N2 Word32
27 Word32
a       -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (Arity 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
    N3 Word32
28 Word32
a Word32
b     -> (NameOrModule -> NESet Name -> Warning)
-> Arrows
     (Constant Word32 (Domains (NameOrModule -> NESet Name -> Warning)))
     (R (CoDomain (NameOrModule -> NESet Name -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NameOrModule -> NESet Name -> Warning
ClashesViaRenaming Word32
a Word32
b
    N2 Word32
29 Word32
a       -> (RecordFieldWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (RecordFieldWarning -> Warning)))
     (R (CoDomain (RecordFieldWarning -> Warning)))
forall t.
(VALU t (Arity 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
    N2 Word32
30 Word32
a       -> ([Char] -> Warning)
-> Arrows
     (Constant Word32 (Domains ([Char] -> Warning)))
     (R (CoDomain ([Char] -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> Warning
UselessPatternDeclarationForRecord Word32
a
    N1 Word32
31         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity 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
    N2 Word32
32 Word32
a       -> (ConstructorOrPatternSynonym -> Warning)
-> Arrows
     (Constant
        Word32 (Domains (ConstructorOrPatternSynonym -> Warning)))
     (R (CoDomain (ConstructorOrPatternSynonym -> Warning)))
forall t.
(VALU t (Arity 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
    N2 Word32
33 Word32
a       -> (NonEmpty ImportedName -> Warning)
-> Arrows
     (Constant Word32 (Domains (NonEmpty ImportedName -> Warning)))
     (R (CoDomain (NonEmpty ImportedName -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NonEmpty ImportedName -> Warning
DuplicateUsing Word32
a
    N2 Word32
34 Word32
a       -> (NonEmpty ImportedName -> Warning)
-> Arrows
     (Constant Word32 (Domains (NonEmpty ImportedName -> Warning)))
     (R (CoDomain (NonEmpty ImportedName -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NonEmpty ImportedName -> Warning
UselessHiding Word32
a
    N3 Word32
35 Word32
a Word32
b     -> (Range -> Doc Aspects -> Warning)
-> Arrows
     (Constant Word32 (Domains (Range -> Doc Aspects -> Warning)))
     (R (CoDomain (Range -> Doc Aspects -> Warning)))
forall t.
(VALU t (Arity 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 Aspects -> Warning
UselessPragma Word32
a Word32
b
    N4 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 (Arity 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
    N4 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 (Arity 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
    N2 Word32
38 Word32
a       -> (ParseWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (ParseWarning -> Warning)))
     (R (CoDomain (ParseWarning -> Warning)))
forall t.
(VALU t (Arity 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
    N1 Word32
39         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
UselessTactic
    N2 Word32
40 Word32
a       -> (Doc Aspects -> Warning)
-> Arrows
     (Constant Word32 (Domains (Doc Aspects -> Warning)))
     (R (CoDomain (Doc Aspects -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Doc Aspects -> Warning
UnsupportedIndexedMatch Word32
a
    N2 Word32
41 Word32
a       -> (OptionWarning -> Warning)
-> Arrows
     (Constant Word32 (Domains (OptionWarning -> Warning)))
     (R (CoDomain (OptionWarning -> Warning)))
forall t.
(VALU t (Arity 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
    N2 Word32
42 Word32
a       -> (QωOrigin -> Warning)
-> Arrows
     (Constant Word32 (Domains (QωOrigin -> Warning)))
     (R (CoDomain (QωOrigin -> Warning)))
forall t.
(VALU t (Arity 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
    N1 Word32
43         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity 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
    N2 Word32
44 Word32
a       -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (Arity 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
    N1 Word32
45         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity 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
    N3 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 (Arity 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
    N2 Word32
47 Word32
a       -> (ArgInfo -> Warning)
-> Arrows
     (Constant Word32 (Domains (ArgInfo -> Warning)))
     (R (CoDomain (ArgInfo -> Warning)))
forall t.
(VALU t (Arity 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
    N2 Word32
48 Word32
a       -> (WithOrigin (Ranged [Char]) -> Warning)
-> Arrows
     (Constant Word32 (Domains (WithOrigin (Ranged [Char]) -> Warning)))
     (R (CoDomain (WithOrigin (Ranged [Char]) -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN WithOrigin (Ranged [Char]) -> Warning
FaceConstraintCannotBeNamed Word32
a
    N3 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 (Arity 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
    N2 Word32
50 Word32
a       -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (Arity 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
    N2 Word32
51 Word32
a       -> (BuiltinId -> Warning)
-> Arrows
     (Constant Word32 (Domains (BuiltinId -> Warning)))
     (R (CoDomain (BuiltinId -> Warning)))
forall t.
(VALU t (Arity 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
    N1 Word32
52         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity 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
    N3 Word32
53 Word32
a Word32
b     -> (RewriteSource' QName -> IllegalRewriteRuleReason -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains
           (RewriteSource' QName -> IllegalRewriteRuleReason -> Warning)))
     (R (CoDomain
           (RewriteSource' QName -> IllegalRewriteRuleReason -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN RewriteSource' QName -> IllegalRewriteRuleReason -> Warning
IllegalRewriteRule Word32
a Word32
b
    N3 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 (Arity 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
    N3 Word32
55 Word32
a Word32
b     -> ([Char] -> [Char] -> Warning)
-> Arrows
     (Constant Word32 (Domains ([Char] -> [Char] -> Warning)))
     (R (CoDomain ([Char] -> [Char] -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> [Char] -> Warning
ConflictingPragmaOptions Word32
a Word32
b
    N3 Word32
56 Word32
a Word32
b     -> ([Char] -> Doc Aspects -> Warning)
-> Arrows
     (Constant Word32 (Domains ([Char] -> Doc Aspects -> Warning)))
     (R (CoDomain ([Char] -> Doc Aspects -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> Doc Aspects -> Warning
CustomBackendWarning Word32
a Word32
b
    N2 Word32
57 Word32
a       -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (Arity 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
    N5 Word32
58 Word32
a Word32
b Word32
c Word32
d -> (Arg (Named_ Pattern)
 -> ProjOrigin
 -> Arg (Named_ DeBruijnPattern)
 -> ProjOrigin
 -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains
           (Arg (Named_ Pattern)
            -> ProjOrigin
            -> Arg (Named_ DeBruijnPattern)
            -> ProjOrigin
            -> Warning)))
     (R (CoDomain
           (Arg (Named_ Pattern)
            -> ProjOrigin
            -> Arg (Named_ DeBruijnPattern)
            -> ProjOrigin
            -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Arg (Named_ Pattern)
-> ProjOrigin
-> Arg (Named_ DeBruijnPattern)
-> ProjOrigin
-> Warning
WithClauseProjectionFixityMismatch Word32
a Word32
b Word32
c Word32
d
    N3 Word32
59 Word32
a Word32
b     -> (QName -> [Char] -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> [Char] -> Warning)))
     (R (CoDomain (QName -> [Char] -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> [Char] -> Warning
InvalidDisplayForm Word32
a Word32
b
    N3 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 (Arity 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
    N3 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 (Arity 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
    N2 Word32
62 Word32
a       -> ([Char] -> Warning)
-> Arrows
     (Constant Word32 (Domains ([Char] -> Warning)))
     (R (CoDomain ([Char] -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> Warning
PragmaCompileUnparsable Word32
a
    N3 Word32
63 Word32
a Word32
b     -> (QName -> [Char] -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> [Char] -> Warning)))
     (R (CoDomain (QName -> [Char] -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> [Char] -> Warning
PragmaCompileWrong Word32
a Word32
b
    N4 Word32
64 Word32
a Word32
b Word32
c   -> ([Char] -> QName -> IsAmbiguous -> Warning)
-> Arrows
     (Constant
        Word32 (Domains ([Char] -> QName -> IsAmbiguous -> Warning)))
     (R (CoDomain ([Char] -> QName -> IsAmbiguous -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> QName -> IsAmbiguous -> Warning
PragmaExpectsUnambiguousConstructorOrFunction Word32
a Word32
b Word32
c
    N4 Word32
65 Word32
a Word32
b Word32
c   -> ([Char] -> QName -> IsAmbiguous -> Warning)
-> Arrows
     (Constant
        Word32 (Domains ([Char] -> QName -> IsAmbiguous -> Warning)))
     (R (CoDomain ([Char] -> QName -> IsAmbiguous -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> QName -> IsAmbiguous -> Warning
PragmaExpectsUnambiguousProjectionOrFunction Word32
a Word32
b Word32
c
    N3 Word32
66 Word32
a Word32
b     -> ([Char] -> QName -> Warning)
-> Arrows
     (Constant Word32 (Domains ([Char] -> QName -> Warning)))
     (R (CoDomain ([Char] -> QName -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> QName -> Warning
PragmaExpectsDefinedSymbol Word32
a Word32
b
    N2 Word32
67 Word32
a       -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (Arity 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
    N4 Word32
69 Word32
a Word32
b Word32
c   -> ([Char] -> Relevance -> Relevance -> Warning)
-> Arrows
     (Constant
        Word32 (Domains ([Char] -> Relevance -> Relevance -> Warning)))
     (R (CoDomain ([Char] -> Relevance -> Relevance -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> Relevance -> Relevance -> Warning
FixingRelevance Word32
a Word32
b Word32
c
    N2 Word32
70 Word32
a       -> (NonEmpty Name -> Warning)
-> Arrows
     (Constant Word32 (Domains (NonEmpty Name -> Warning)))
     (R (CoDomain (NonEmpty Name -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NonEmpty Name -> Warning
UnusedVariablesInDisplayForm Word32
a
    N3 Word32
71 Word32
a Word32
b     -> (QName -> NonEmpty (Ranged Occurrence) -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains (QName -> NonEmpty (Ranged Occurrence) -> Warning)))
     (R (CoDomain (QName -> NonEmpty (Ranged Occurrence) -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> NonEmpty (Ranged Occurrence) -> Warning
TooManyPolarities Word32
a Word32
b
    N4 Word32
72 Word32
a Word32
b Word32
c   -> ([Char] -> Cohesion -> Cohesion -> Warning)
-> Arrows
     (Constant
        Word32 (Domains ([Char] -> Cohesion -> Cohesion -> Warning)))
     (R (CoDomain ([Char] -> Cohesion -> Cohesion -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> Cohesion -> Cohesion -> Warning
FixingCohesion Word32
a Word32
b Word32
c
    N4 Word32
73 Word32
a Word32
b Word32
c   -> ([Char] -> PolarityModality -> PolarityModality -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains
           ([Char] -> PolarityModality -> PolarityModality -> Warning)))
     (R (CoDomain
           ([Char] -> PolarityModality -> PolarityModality -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> PolarityModality -> PolarityModality -> Warning
FixingPolarity Word32
a Word32
b Word32
c
    N1 Word32
74         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
RewritesNothing
    N3 Word32
75 Word32
a Word32
b     -> (ModuleName -> Maybe (List1 AbstractName) -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains (ModuleName -> Maybe (List1 AbstractName) -> Warning)))
     (R (CoDomain
           (ModuleName -> Maybe (List1 AbstractName) -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ModuleName -> Maybe (List1 AbstractName) -> Warning
UnusedImports Word32
a Word32
b
    N2 Word32
76 Word32
a       -> (AbstractName -> Warning)
-> Arrows
     (Constant Word32 (Domains (AbstractName -> Warning)))
     (R (CoDomain (AbstractName -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN AbstractName -> Warning
DefinitionBeforeDeclaration Word32
a
    N3 Word32
77 Word32
a Word32
b     -> ([Char] -> RewriteAnn -> Warning)
-> Arrows
     (Constant Word32 (Domains ([Char] -> RewriteAnn -> Warning)))
     (R (CoDomain ([Char] -> RewriteAnn -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> RewriteAnn -> Warning
IgnoringRew Word32
a Word32
b
    N3 Word32
78 Word32
a Word32
b     -> (MetaId -> Term -> Warning)
-> Arrows
     (Constant Word32 (Domains (MetaId -> Term -> Warning)))
     (R (CoDomain (MetaId -> Term -> Warning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN MetaId -> Term -> Warning
InferredLocalRewrite Word32
a Word32
b
    N1 Word32
79         -> Warning
-> Arrows
     (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Warning
ShouldBeEtaRecordPattern
    N2 Word32
80 Word32
a       -> (QName -> Warning)
-> Arrows
     (Constant Word32 (Domains (QName -> Warning)))
     (R (CoDomain (QName -> Warning)))
forall t.
(VALU t (Arity 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
UnguardedEtaRecordW Word32
a
    Node
_ -> R Warning
forall a. R a
malformed

instance EmbPrj UselessPublicReason

instance EmbPrj ContextEntry where
  icod_ :: ContextEntry -> S Word32
icod_ (CtxVar Name
a Dom' Term Type
b) = Word32
-> (Name -> Dom' Term Type -> ContextEntry)
-> Arrows
     (Domains (Name -> Dom' Term Type -> ContextEntry)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Name -> Dom' Term Type -> ContextEntry
CtxVar Name
a Dom' Term Type
b

  value :: Word32 -> R ContextEntry
value = (Node -> R ContextEntry) -> Word32 -> R ContextEntry
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R ContextEntry) -> Word32 -> R ContextEntry)
-> (Node -> R ContextEntry) -> Word32 -> R ContextEntry
forall a b. (a -> b) -> a -> b
$ \case
    N3 Word32
0 Word32
a Word32
b -> (Name -> Dom' Term Type -> ContextEntry)
-> Arrows
     (Constant
        Word32 (Domains (Name -> Dom' Term Type -> ContextEntry)))
     (R (CoDomain (Name -> Dom' Term Type -> ContextEntry)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Name -> Dom' Term Type -> ContextEntry
CtxVar Word32
a Word32
b
    Node
_        -> R ContextEntry
forall a. R a
malformed

instance EmbPrj Context where
  icod_ :: Context -> S Word32
icod_ (Context [ContextEntry]
a) = Word32
-> ([ContextEntry] -> Context)
-> Arrows (Domains ([ContextEntry] -> Context)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 [ContextEntry] -> Context
forall a. [a] -> Context' a
Context [ContextEntry]
a

  value :: Word32 -> R Context
value = (Node -> R Context) -> Word32 -> R Context
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R Context) -> Word32 -> R Context)
-> (Node -> R Context) -> Word32 -> R Context
forall a b. (a -> b) -> a -> b
$ \case
    N2 Word32
0 Word32
a -> ([ContextEntry] -> Context)
-> Arrows
     (Constant Word32 (Domains ([ContextEntry] -> Context)))
     (R (CoDomain ([ContextEntry] -> Context)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [ContextEntry] -> Context
forall a. [a] -> Context' a
Context Word32
a
    Node
_      -> R Context
forall a. R a
malformed

instance EmbPrj SerialisableRewriteSource where
  icod_ :: RewriteSource' QName -> S Word32
icod_ = \case
    LocalRewrite Context
a Maybe Name
b Type
c -> Word32
-> (Context -> Maybe Name -> Type -> RewriteSource' (ZonkAny 0))
-> Arrows
     (Domains
        (Context -> Maybe Name -> Type -> RewriteSource' (ZonkAny 0)))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Context -> Maybe Name -> Type -> RewriteSource' (ZonkAny 0)
forall a. Context -> Maybe Name -> Type -> RewriteSource' a
LocalRewrite Context
a Maybe Name
b Type
c
    GlobalRewrite QName
a    -> Word32
-> (QName -> RewriteSource' QName)
-> Arrows (Domains (QName -> RewriteSource' QName)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 QName -> RewriteSource' QName
forall a. a -> RewriteSource' a
GlobalRewrite QName
a

  value :: Word32 -> R (RewriteSource' QName)
value = (Node -> R (RewriteSource' QName))
-> Word32 -> R (RewriteSource' QName)
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R (RewriteSource' QName))
 -> Word32 -> R (RewriteSource' QName))
-> (Node -> R (RewriteSource' QName))
-> Word32
-> R (RewriteSource' QName)
forall a b. (a -> b) -> a -> b
$ \case
    N4 Word32
0 Word32
a Word32
b Word32
c -> (Context -> Maybe Name -> Type -> RewriteSource' QName)
-> Arrows
     (Constant
        Word32
        (Domains (Context -> Maybe Name -> Type -> RewriteSource' QName)))
     (R (CoDomain
           (Context -> Maybe Name -> Type -> RewriteSource' QName)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Context -> Maybe Name -> Type -> RewriteSource' QName
forall a. Context -> Maybe Name -> Type -> RewriteSource' a
LocalRewrite Word32
a Word32
b Word32
c
    N2 Word32
1 Word32
a     -> (QName -> RewriteSource' QName)
-> Arrows
     (Constant Word32 (Domains (QName -> RewriteSource' QName)))
     (R (CoDomain (QName -> RewriteSource' QName)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN QName -> RewriteSource' QName
forall a. a -> RewriteSource' a
GlobalRewrite Word32
a
    Node
_          -> R (RewriteSource' QName)
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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 IllegalRewriteRuleReason
LHSNotDefinitionOrConstructor
    VariablesNotBoundByLHS VarSet
a                    -> Word32
-> (VarSet -> IllegalRewriteRuleReason)
-> Arrows (Domains (VarSet -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 VarSet -> IllegalRewriteRuleReason
VariablesNotBoundByLHS VarSet
a
    VariablesBoundMoreThanOnce VarSet
a                -> Word32
-> (VarSet -> IllegalRewriteRuleReason)
-> Arrows (Domains (VarSet -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 VarSet -> IllegalRewriteRuleReason
VariablesBoundMoreThanOnce VarSet
a
    LHSReduces Term
a Term
b                              -> Word32
-> (Term -> Term -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (Term -> Term -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
3 Term -> Term -> IllegalRewriteRuleReason
LHSReduces Term
a Term
b
    VariablesBoundInSingleton VarSet
a                 -> Word32
-> (VarSet -> IllegalRewriteRuleReason)
-> Arrows (Domains (VarSet -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
4 VarSet -> IllegalRewriteRuleReason
VariablesBoundInSingleton VarSet
a
    HeadSymbolIsProjectionLikeFunction QName
a        -> Word32
-> (QName -> IllegalRewriteRuleReason)
-> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
7 QName -> IllegalRewriteRuleReason
HeadSymbolContainsMetas QName
a
    ConstructorParametersNotGeneral ConHead
a NonEmpty (Arg Term)
b         -> Word32
-> (ConHead -> NonEmpty (Arg Term) -> IllegalRewriteRuleReason)
-> Arrows
     (Domains
        (ConHead -> NonEmpty (Arg Term) -> IllegalRewriteRuleReason))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
8 ConHead -> NonEmpty (Arg Term) -> IllegalRewriteRuleReason
ConstructorParametersNotGeneral ConHead
a NonEmpty (Arg Term)
b
    ContainsUnsolvedMetaVariables NESet MetaId
a             -> Word32
-> (NESet MetaId -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (NESet MetaId -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
9 NESet MetaId -> IllegalRewriteRuleReason
ContainsUnsolvedMetaVariables NESet MetaId
a
    BlockedOnProblems NESet ProblemId
a                         -> Word32
-> (NESet ProblemId -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (NESet ProblemId -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
10 NESet ProblemId -> IllegalRewriteRuleReason
BlockedOnProblems NESet ProblemId
a
    RequiresDefinitions NESet QName
a                       -> Word32
-> (NESet QName -> IllegalRewriteRuleReason)
-> Arrows
     (Domains (NESet QName -> IllegalRewriteRuleReason)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
11 NESet QName -> IllegalRewriteRuleReason
RequiresDefinitions NESet QName
a
    IllegalRewriteRuleReason
DoesNotTargetRewriteRelation                -> Word32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
15 IllegalRewriteRuleReason
DuplicateRewriteRule
    IllegalRewriteRuleReason
LocalRewriteOutsideTelescope                -> Word32
-> IllegalRewriteRuleReason
-> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
16 IllegalRewriteRuleReason
LocalRewriteOutsideTelescope

  value :: Word32 -> R IllegalRewriteRuleReason
value = (Node -> R IllegalRewriteRuleReason)
-> Word32 -> R IllegalRewriteRuleReason
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R IllegalRewriteRuleReason)
 -> Word32 -> R IllegalRewriteRuleReason)
-> (Node -> R IllegalRewriteRuleReason)
-> Word32
-> R IllegalRewriteRuleReason
forall a b. (a -> b) -> a -> b
$ \case
    N1 Word32
0     -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (Arity 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
    N2 Word32
1 Word32
a   -> (VarSet -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (VarSet -> IllegalRewriteRuleReason)))
     (R (CoDomain (VarSet -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN VarSet -> IllegalRewriteRuleReason
VariablesNotBoundByLHS Word32
a
    N2 Word32
2 Word32
a   -> (VarSet -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (VarSet -> IllegalRewriteRuleReason)))
     (R (CoDomain (VarSet -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN VarSet -> IllegalRewriteRuleReason
VariablesBoundMoreThanOnce Word32
a
    N3 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 (Arity 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
    N2 Word32
4 Word32
a   -> (VarSet -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (VarSet -> IllegalRewriteRuleReason)))
     (R (CoDomain (VarSet -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN VarSet -> IllegalRewriteRuleReason
VariablesBoundInSingleton Word32
a
    N2 Word32
5 Word32
a   -> (QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity 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
    N2 Word32
6 Word32
a   -> (QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity 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
    N2 Word32
7 Word32
a   -> (QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity 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
    N3 Word32
8 Word32
a Word32
b -> (ConHead -> NonEmpty (Arg Term) -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32
        (Domains
           (ConHead -> NonEmpty (Arg Term) -> IllegalRewriteRuleReason)))
     (R (CoDomain
           (ConHead -> NonEmpty (Arg Term) -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ConHead -> NonEmpty (Arg Term) -> IllegalRewriteRuleReason
ConstructorParametersNotGeneral Word32
a Word32
b
    N2 Word32
9 Word32
a   -> (NESet MetaId -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32 (Domains (NESet MetaId -> IllegalRewriteRuleReason)))
     (R (CoDomain (NESet MetaId -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NESet MetaId -> IllegalRewriteRuleReason
ContainsUnsolvedMetaVariables Word32
a
    N2 Word32
10 Word32
a  -> (NESet ProblemId -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32 (Domains (NESet ProblemId -> IllegalRewriteRuleReason)))
     (R (CoDomain (NESet ProblemId -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NESet ProblemId -> IllegalRewriteRuleReason
BlockedOnProblems Word32
a
    N2 Word32
11 Word32
a  -> (NESet QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant
        Word32 (Domains (NESet QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (NESet QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NESet QName -> IllegalRewriteRuleReason
RequiresDefinitions Word32
a
    N1 Word32
12    -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (Arity 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
    N1 Word32
13    -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (Arity 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
    N2 Word32
14 Word32
a  -> (QName -> IllegalRewriteRuleReason)
-> Arrows
     (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
     (R (CoDomain (QName -> IllegalRewriteRuleReason)))
forall t.
(VALU t (Arity 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
    N1 Word32
15    -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (Arity 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
    N1 Word32
16    -> IllegalRewriteRuleReason
-> Arrows
     (Constant Word32 (Domains IllegalRewriteRuleReason))
     (R (CoDomain IllegalRewriteRuleReason))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN IllegalRewriteRuleReason
LocalRewriteOutsideTelescope
    Node
_        -> R IllegalRewriteRuleReason
forall a. R a
malformed

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

  value :: Word32 -> R OptionWarning
value = (Node -> R OptionWarning) -> Word32 -> R OptionWarning
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R OptionWarning) -> Word32 -> R OptionWarning)
-> (Node -> R OptionWarning) -> Word32 -> R OptionWarning
forall a b. (a -> b) -> a -> b
$ \case
    N3 Word32
0 Word32
a Word32
b -> ([Char] -> [Char] -> OptionWarning)
-> Arrows
     (Constant Word32 (Domains ([Char] -> [Char] -> OptionWarning)))
     (R (CoDomain ([Char] -> [Char] -> OptionWarning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN [Char] -> [Char] -> OptionWarning
OptionRenamed Word32
a Word32
b
    N2 Word32
1 Word32
a   -> (WarningModeError -> OptionWarning)
-> Arrows
     (Constant Word32 (Domains (WarningModeError -> OptionWarning)))
     (R (CoDomain (WarningModeError -> OptionWarning)))
forall t.
(VALU t (Arity 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
    N1 Word32
2     -> OptionWarning
-> Arrows
     (Constant Word32 (Domains OptionWarning))
     (R (CoDomain OptionWarning))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN OptionWarning
LocalRewritingConfluenceCheck
    Node
_        -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 Text -> WarningModeError
NoNoError Text
a
    WarningModeError
NoUnusedImportsAll -> Word32
-> WarningModeError -> Arrows (Domains WarningModeError) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 WarningModeError
NoUnusedImportsAll

  value :: Word32 -> R WarningModeError
value = (Node -> R WarningModeError) -> Word32 -> R WarningModeError
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R WarningModeError) -> Word32 -> R WarningModeError)
-> (Node -> R WarningModeError) -> Word32 -> R WarningModeError
forall a b. (a -> b) -> a -> b
$ \case
    N2 Word32
0 Word32
a -> (Text -> WarningModeError)
-> Arrows
     (Constant Word32 (Domains (Text -> WarningModeError)))
     (R (CoDomain (Text -> WarningModeError)))
forall t.
(VALU t (Arity 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
    N2 Word32
1 Word32
a -> (Text -> WarningModeError)
-> Arrows
     (Constant Word32 (Domains (Text -> WarningModeError)))
     (R (CoDomain (Text -> WarningModeError)))
forall t.
(VALU t (Arity 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
    N1 Word32
2   -> WarningModeError
-> Arrows
     (Constant Word32 (Domains WarningModeError))
     (R (CoDomain WarningModeError))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN WarningModeError
NoUnusedImportsAll
    Node
_      -> R WarningModeError
forall a. R a
malformed

instance EmbPrj OpenBracket where
  icod_ :: OpenBracket -> S Word32
icod_ = \case
    OpenIdiomBracket Bool
a Interval' SrcFile
b -> Word32
-> (Bool -> Interval' SrcFile -> OpenBracket)
-> Arrows
     (Domains (Bool -> Interval' SrcFile -> OpenBracket)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Bool -> Interval' SrcFile -> OpenBracket
OpenIdiomBracket Bool
a Interval' SrcFile
b
    OpenDoubleBrace  Bool
a Interval' SrcFile
b -> Word32
-> (Bool -> Interval' SrcFile -> OpenBracket)
-> Arrows
     (Domains (Bool -> Interval' SrcFile -> OpenBracket)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 Bool -> Interval' SrcFile -> OpenBracket
OpenDoubleBrace Bool
a Interval' SrcFile
b

  value :: Word32 -> R OpenBracket
value = (Node -> R OpenBracket) -> Word32 -> R OpenBracket
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase \case
    N3 Word32
0 Word32
a Word32
b -> (Bool -> Interval' SrcFile -> OpenBracket)
-> Arrows
     (Constant
        Word32 (Domains (Bool -> Interval' SrcFile -> OpenBracket)))
     (R (CoDomain (Bool -> Interval' SrcFile -> OpenBracket)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Bool -> Interval' SrcFile -> OpenBracket
OpenIdiomBracket Word32
a Word32
b
    N3 Word32
1 Word32
a Word32
b -> (Bool -> Interval' SrcFile -> OpenBracket)
-> Arrows
     (Constant
        Word32 (Domains (Bool -> Interval' SrcFile -> OpenBracket)))
     (R (CoDomain (Bool -> Interval' SrcFile -> OpenBracket)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Bool -> Interval' SrcFile -> OpenBracket
OpenDoubleBrace Word32
a Word32
b
    Node
_        -> R OpenBracket
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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Range -> ParseWarning
OverlappingTokensWarning Range
a
    UnsupportedAttribute Range
a Maybe [Char]
b   -> Word32
-> (Range -> Maybe [Char] -> ParseWarning)
-> Arrows
     (Domains (Range -> Maybe [Char] -> ParseWarning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 Range -> Maybe [Char] -> ParseWarning
UnsupportedAttribute Range
a Maybe [Char]
b
    MultipleAttributes Range
a Maybe [Char]
b     -> Word32
-> (Range -> Maybe [Char] -> ParseWarning)
-> Arrows
     (Domains (Range -> Maybe [Char] -> ParseWarning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 Range -> Maybe [Char] -> ParseWarning
MultipleAttributes Range
a Maybe [Char]
b
    UnknownAttribute Range
a [Char]
b       -> Word32
-> (Range -> [Char] -> ParseWarning)
-> Arrows (Domains (Range -> [Char] -> ParseWarning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
3 Range -> [Char] -> ParseWarning
UnknownAttribute Range
a [Char]
b
    UnknownPolarity Range
a [Char]
b        -> Word32
-> (Range -> [Char] -> ParseWarning)
-> Arrows (Domains (Range -> [Char] -> ParseWarning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
4 Range -> [Char] -> ParseWarning
UnknownPolarity Range
a [Char]
b
    MisplacedAttributes Range
a [Char]
b    -> Word32
-> (Range -> [Char] -> ParseWarning)
-> Arrows (Domains (Range -> [Char] -> ParseWarning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
5 Range -> [Char] -> ParseWarning
MisplacedAttributes Range
a [Char]
b
    MismatchedBrackets Range
a OpenBracket
b     -> Word32
-> (Range -> OpenBracket -> ParseWarning)
-> Arrows
     (Domains (Range -> OpenBracket -> ParseWarning)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
6 Range -> OpenBracket -> ParseWarning
MismatchedBrackets Range
a OpenBracket
b

  value :: Word32 -> R ParseWarning
value = (Node -> R ParseWarning) -> Word32 -> R ParseWarning
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R ParseWarning) -> Word32 -> R ParseWarning)
-> (Node -> R ParseWarning) -> Word32 -> R ParseWarning
forall a b. (a -> b) -> a -> b
$ \case
    N2 Word32
0 Word32
a   -> (Range -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> ParseWarning)))
     (R (CoDomain (Range -> ParseWarning)))
forall t.
(VALU t (Arity 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
    N3 Word32
1 Word32
a Word32
b -> (Range -> Maybe [Char] -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> Maybe [Char] -> ParseWarning)))
     (R (CoDomain (Range -> Maybe [Char] -> ParseWarning)))
forall t.
(VALU t (Arity 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 [Char] -> ParseWarning
UnsupportedAttribute Word32
a Word32
b
    N3 Word32
2 Word32
a Word32
b -> (Range -> Maybe [Char] -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> Maybe [Char] -> ParseWarning)))
     (R (CoDomain (Range -> Maybe [Char] -> ParseWarning)))
forall t.
(VALU t (Arity 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 [Char] -> ParseWarning
MultipleAttributes Word32
a Word32
b
    N3 Word32
3 Word32
a Word32
b -> (Range -> [Char] -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> [Char] -> ParseWarning)))
     (R (CoDomain (Range -> [Char] -> ParseWarning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> [Char] -> ParseWarning
UnknownAttribute Word32
a Word32
b
    N3 Word32
4 Word32
a Word32
b -> (Range -> [Char] -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> [Char] -> ParseWarning)))
     (R (CoDomain (Range -> [Char] -> ParseWarning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> [Char] -> ParseWarning
UnknownPolarity Word32
a Word32
b
    N3 Word32
5 Word32
a Word32
b -> (Range -> [Char] -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> [Char] -> ParseWarning)))
     (R (CoDomain (Range -> [Char] -> ParseWarning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> [Char] -> ParseWarning
MisplacedAttributes Word32
a Word32
b
    N3 Word32
6 Word32
a Word32
b -> (Range -> OpenBracket -> ParseWarning)
-> Arrows
     (Constant Word32 (Domains (Range -> OpenBracket -> ParseWarning)))
     (R (CoDomain (Range -> OpenBracket -> ParseWarning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> OpenBracket -> ParseWarning
MismatchedBrackets Word32
a Word32
b
    Node
_        -> R ParseWarning
forall a. R a
malformed

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

  value :: Word32 -> R RecordFieldWarning
value = (Node -> R RecordFieldWarning) -> Word32 -> R RecordFieldWarning
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R RecordFieldWarning) -> Word32 -> R RecordFieldWarning)
-> (Node -> R RecordFieldWarning) -> Word32 -> R RecordFieldWarning
forall a b. (a -> b) -> a -> b
$ \case
    N2 Word32
0 Word32
a     -> (NonEmpty (Name, NonEmpty Range) -> RecordFieldWarning)
-> Arrows
     (Constant
        Word32
        (Domains (NonEmpty (Name, NonEmpty Range) -> RecordFieldWarning)))
     (R (CoDomain
           (NonEmpty (Name, NonEmpty Range) -> RecordFieldWarning)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NonEmpty (Name, NonEmpty Range) -> RecordFieldWarning
W.DuplicateFields Word32
a
    N4 Word32
1 Word32
a Word32
b Word32
c -> (QName -> [Name] -> NonEmpty (Name, Range) -> RecordFieldWarning)
-> Arrows
     (Constant
        Word32
        (Domains
           (QName -> [Name] -> NonEmpty (Name, Range) -> RecordFieldWarning)))
     (R (CoDomain
           (QName -> [Name] -> NonEmpty (Name, Range) -> RecordFieldWarning)))
forall t.
(VALU t (Arity 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] -> NonEmpty (Name, Range) -> RecordFieldWarning
W.TooManyFields Word32
a Word32
b Word32
c
    Node
_          -> 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 (Arity 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 = (Node -> R DeclarationWarning) -> Word32 -> R DeclarationWarning
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R DeclarationWarning) -> Word32 -> R DeclarationWarning)
-> (Node -> R DeclarationWarning) -> Word32 -> R DeclarationWarning
forall a b. (a -> b) -> a -> b
$ \case
    N2 Word32
a Word32
b -> (CallStack -> DeclarationWarning' -> DeclarationWarning)
-> Arrows
     (Constant
        Word32
        (Domains (CallStack -> DeclarationWarning' -> DeclarationWarning)))
     (R (CoDomain
           (CallStack -> DeclarationWarning' -> DeclarationWarning)))
forall t.
(VALU t (Arity 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
    Node
_      -> R DeclarationWarning
forall a. R a
malformed

instance EmbPrj DeclarationWarning' where
  icod_ :: DeclarationWarning' -> S Word32
icod_ = \case
    -- Andreas, 2026-02-14:
    -- UnknownNamesInFixityDecl and UnknownNamesInPolarityPragmas are now error warnings,
    -- so the following two cases are impossible.
    -- We leave them in as long as they are not a nuisance for maintenance,
    -- should we decide in the future to revert them to non-error-warnings.
    UnknownNamesInFixityDecl NESet Name
a        -> Word32
-> (NESet Name -> DeclarationWarning')
-> Arrows (Domains (NESet Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 NESet Name -> DeclarationWarning'
UnknownNamesInFixityDecl NESet Name
a
    UnknownNamesInPolarityPragmas NESet Name
a   -> Word32
-> (NESet Name -> DeclarationWarning')
-> Arrows (Domains (NESet Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
1 NESet Name -> DeclarationWarning'
UnknownNamesInPolarityPragmas NESet Name
a
    PolarityPragmasButNotPostulates NESet Name
a -> Word32
-> (NESet Name -> DeclarationWarning')
-> Arrows (Domains (NESet Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
2 NESet Name -> DeclarationWarning'
PolarityPragmasButNotPostulates NESet Name
a
    UselessPrivate KwRange
a                  -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
15 Range -> DeclarationWarning'
InvalidNoUniverseCheckPragma Range
a
    UnknownFixityInMixfixDecl NESet Name
a       -> Word32
-> (NESet Name -> DeclarationWarning')
-> Arrows (Domains (NESet Name -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
16 NESet Name -> DeclarationWarning'
UnknownFixityInMixfixDecl NESet Name
a
    MissingDefinitions NonEmpty (Name, Range)
a              -> Word32
-> (NonEmpty (Name, Range) -> DeclarationWarning')
-> Arrows
     (Domains (NonEmpty (Name, Range) -> DeclarationWarning'))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
17 NonEmpty (Name, Range) -> DeclarationWarning'
MissingDefinitions NonEmpty (Name, Range)
a
    NotAllowedInMutual Range
r [Char]
a            -> Word32
-> (Range -> [Char] -> DeclarationWarning')
-> Arrows
     (Domains (Range -> [Char] -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
18 Range -> [Char] -> DeclarationWarning'
NotAllowedInMutual Range
r [Char]
a
    PragmaNoTerminationCheck Range
r        -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
23 KwRange -> DeclarationWarning'
EmptyField KwRange
r
    ShadowingInTelescope NonEmpty (Name, List2 Range)
nrs          -> Word32
-> (NonEmpty (Name, List2 Range) -> DeclarationWarning')
-> Arrows
     (Domains (NonEmpty (Name, List2 Range) -> DeclarationWarning'))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
24 NonEmpty (Name, List2 Range) -> DeclarationWarning'
ShadowingInTelescope NonEmpty (Name, List2 Range)
nrs
    InvalidCoverageCheckPragma Range
r      -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
25 Range -> DeclarationWarning'
InvalidCoverageCheckPragma Range
r
    OpenImportAbstract Range
r KwRange
kwr OpenOrImport
a        -> Word32
-> (Range -> KwRange -> OpenOrImport -> DeclarationWarning')
-> Arrows
     (Domains (Range -> KwRange -> OpenOrImport -> DeclarationWarning'))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
26 Range -> KwRange -> OpenOrImport -> DeclarationWarning'
OpenImportAbstract Range
r KwRange
kwr OpenOrImport
a
    OpenImportPrivate Range
r KwRange
kwr KwRange
kwr' OpenOrImport
a    -> Word32
-> (Range
    -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning')
-> Arrows
     (Domains
        (Range
         -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning'))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
27 Range -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning'
OpenImportPrivate Range
r KwRange
kwr KwRange
kwr' OpenOrImport
a
    EmptyConstructor KwRange
a                -> Word32
-> (KwRange -> DeclarationWarning')
-> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
28 KwRange -> DeclarationWarning'
EmptyConstructor KwRange
a
    DivergentModalityInClause ArgInfo
ai1 ArgInfo
ai2 -> Word32
-> (ArgInfo -> ArgInfo -> DeclarationWarning')
-> Arrows
     (Domains (ArgInfo -> ArgInfo -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
29 ArgInfo -> ArgInfo -> DeclarationWarning'
DivergentModalityInClause ArgInfo
ai1 ArgInfo
ai2
    InvalidTacticAttribute Range
r          -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
30 Range -> DeclarationWarning'
InvalidTacticAttribute Range
r
    InvalidConstructorBlock Range
a         -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
34 KwRange -> DeclarationWarning'
UselessMacro KwRange
r
    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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
35 Range -> DeclarationWarning'
EmptyPolarityPragma Range
r
    UselessImport Range
r                   -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
36 Range -> DeclarationWarning'
UselessImport Range
r
    InvalidDataOrRecDefParameter Range
r DataOrRecord' ()
a Text
b Text
c -> Word32
-> (Range
    -> DataOrRecord' () -> Text -> Text -> DeclarationWarning')
-> Arrows
     (Domains
        (Range -> DataOrRecord' () -> Text -> Text -> DeclarationWarning'))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
37 Range -> DataOrRecord' () -> Text -> Text -> DeclarationWarning'
InvalidDataOrRecDefParameter Range
r DataOrRecord' ()
a Text
b Text
c
    InvalidRewriteAttribute Range
r         -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
38 Range -> DeclarationWarning'
InvalidTacticAttribute Range
r
    InvalidEtaEqualityPragma Range
r        -> Word32
-> (Range -> DeclarationWarning')
-> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
39 Range -> DeclarationWarning'
InvalidEtaEqualityPragma Range
r

  value :: Word32 -> R DeclarationWarning'
value = (Node -> R DeclarationWarning') -> Word32 -> R DeclarationWarning'
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R DeclarationWarning')
 -> Word32 -> R DeclarationWarning')
-> (Node -> R DeclarationWarning')
-> Word32
-> R DeclarationWarning'
forall a b. (a -> b) -> a -> b
$ \case
    N2 Word32
0  Word32
a            -> (NESet Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (NESet Name -> DeclarationWarning')))
     (R (CoDomain (NESet Name -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NESet Name -> DeclarationWarning'
UnknownNamesInFixityDecl Word32
a
    N2 Word32
1  Word32
a            -> (NESet Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (NESet Name -> DeclarationWarning')))
     (R (CoDomain (NESet Name -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NESet Name -> DeclarationWarning'
UnknownNamesInPolarityPragmas Word32
a
    N2 Word32
2  Word32
a            -> (NESet Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (NESet Name -> DeclarationWarning')))
     (R (CoDomain (NESet Name -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NESet Name -> DeclarationWarning'
PolarityPragmasButNotPostulates Word32
a
    N2 Word32
3  Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
4  Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
5  Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
6  Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
7  Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
8  Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
9  Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
10 Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
11 Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
12 Word32
a            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
13 Word32
a            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
14 Word32
a            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
15 Word32
a            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
16 Word32
a            -> (NESet Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (NESet Name -> DeclarationWarning')))
     (R (CoDomain (NESet Name -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NESet Name -> DeclarationWarning'
UnknownFixityInMixfixDecl Word32
a
    N2 Word32
17 Word32
a            -> (NonEmpty (Name, Range) -> DeclarationWarning')
-> Arrows
     (Constant
        Word32 (Domains (NonEmpty (Name, Range) -> DeclarationWarning')))
     (R (CoDomain (NonEmpty (Name, Range) -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NonEmpty (Name, Range) -> DeclarationWarning'
MissingDefinitions Word32
a
    N3 Word32
18 Word32
r Word32
a          -> (Range -> [Char] -> DeclarationWarning')
-> Arrows
     (Constant
        Word32 (Domains (Range -> [Char] -> DeclarationWarning')))
     (R (CoDomain (Range -> [Char] -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> [Char] -> DeclarationWarning'
NotAllowedInMutual Word32
r Word32
a
    N2 Word32
19 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
20 Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
21 Word32
a            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
22 Word32
a            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
23 Word32
r            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
24 Word32
nrs          -> (NonEmpty (Name, List2 Range) -> DeclarationWarning')
-> Arrows
     (Constant
        Word32
        (Domains (NonEmpty (Name, List2 Range) -> DeclarationWarning')))
     (R (CoDomain
           (NonEmpty (Name, List2 Range) -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN NonEmpty (Name, List2 Range) -> DeclarationWarning'
ShadowingInTelescope Word32
nrs
    N2 Word32
25 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N4 Word32
26 Word32
r Word32
kwr Word32
a      -> (Range -> KwRange -> OpenOrImport -> DeclarationWarning')
-> Arrows
     (Constant
        Word32
        (Domains
           (Range -> KwRange -> OpenOrImport -> DeclarationWarning')))
     (R (CoDomain
           (Range -> KwRange -> OpenOrImport -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> KwRange -> OpenOrImport -> DeclarationWarning'
OpenImportAbstract Word32
r Word32
kwr Word32
a
    N5 Word32
27 Word32
r Word32
kwr Word32
kwr' Word32
a -> (Range
 -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning')
-> Arrows
     (Constant
        Word32
        (Domains
           (Range
            -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning')))
     (R (CoDomain
           (Range
            -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning'
OpenImportPrivate Word32
r Word32
kwr Word32
kwr' Word32
a
    N2 Word32
28 Word32
r            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N3 Word32
29 Word32
a Word32
b          -> (ArgInfo -> ArgInfo -> DeclarationWarning')
-> Arrows
     (Constant
        Word32 (Domains (ArgInfo -> ArgInfo -> DeclarationWarning')))
     (R (CoDomain (ArgInfo -> ArgInfo -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN ArgInfo -> ArgInfo -> DeclarationWarning'
DivergentModalityInClause Word32
a Word32
b
    N2 Word32
30 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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'
InvalidTacticAttribute Word32
r
    N2 Word32
31 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
32 Word32
r            -> (Name -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Name -> DeclarationWarning')))
     (R (CoDomain (Name -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
33 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
34 Word32
r            -> (KwRange -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
     (R (CoDomain (KwRange -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
35 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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
    N2 Word32
36 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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'
UselessImport Word32
r
    N5 Word32
37 Word32
r Word32
a Word32
b Word32
c      -> (Range -> DataOrRecord' () -> Text -> Text -> DeclarationWarning')
-> Arrows
     (Constant
        Word32
        (Domains
           (Range
            -> DataOrRecord' () -> Text -> Text -> DeclarationWarning')))
     (R (CoDomain
           (Range
            -> DataOrRecord' () -> Text -> Text -> DeclarationWarning')))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Range -> DataOrRecord' () -> Text -> Text -> DeclarationWarning'
InvalidDataOrRecDefParameter Word32
r Word32
a Word32
b Word32
c
    N2 Word32
38 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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'
InvalidRewriteAttribute Word32
r
    N2 Word32
39 Word32
r            -> (Range -> DeclarationWarning')
-> Arrows
     (Constant Word32 (Domains (Range -> DeclarationWarning')))
     (R (CoDomain (Range -> DeclarationWarning')))
forall t.
(VALU t (Arity 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'
InvalidEtaEqualityPragma Word32
r
    Node
_ -> R DeclarationWarning'
forall a. R a
malformed

instance EmbPrj OpenOrImport

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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> 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 = (Node -> R LibWarning) -> Word32 -> R LibWarning
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R LibWarning) -> Word32 -> R LibWarning)
-> (Node -> R LibWarning) -> Word32 -> R LibWarning
forall a b. (a -> b) -> a -> b
$ \case
    N3 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 (Arity 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
    Node
_ -> R LibWarning
forall a. R a
malformed

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

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

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

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

instance EmbPrj LibPositionInfo where
  icod_ :: LibPositionInfo -> S Word32
icod_ = \case
    LibPositionInfo Maybe [Char]
a Int
b [Char]
c -> Word32
-> (Maybe [Char] -> Int -> [Char] -> LibPositionInfo)
-> Arrows
     (Domains (Maybe [Char] -> Int -> [Char] -> LibPositionInfo))
     (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Maybe [Char] -> Int -> [Char] -> LibPositionInfo
LibPositionInfo Maybe [Char]
a Int
b [Char]
c

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

-- Andreas, 2025-08-01, PR #8040:
-- We serialize Doc as DocTree, fixing the layout,
-- but preserving the annotations.
instance EmbPrj Doc where
  icod_ :: Doc Aspects -> S Word32
icod_ Doc Aspects
d = (DocTree Aspects -> Doc Aspects)
-> Arrows (Domains (DocTree Aspects -> Doc Aspects)) (S Word32)
forall t.
(ICODE t (Arity t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' (DocTree Aspects -> Doc Aspects
forall a. HasCallStack => a
undefined :: DocTree -> Doc) (Doc Aspects -> DocTree Aspects
forall ann. Null ann => Doc ann -> DocTree ann
DocTree.renderToTree Doc Aspects
d)
  value :: Word32 -> R (Doc Aspects)
value = (DocTree Aspects -> Doc Aspects)
-> Word32 -> R (CoDomain (DocTree Aspects -> Doc Aspects))
forall t.
(VALU t (Arity t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Word32 -> R (CoDomain t)
valueN DocTree Aspects -> Doc Aspects
forall ann. DocTree ann -> Doc ann
DocTree.prettyDocTree

instance EmbPrj InfectiveCoinfective where
  icod_ :: InfectiveCoinfective -> S Word32
icod_ InfectiveCoinfective
Infective   = InfectiveCoinfective
-> Arrows (Domains InfectiveCoinfective) (S Word32)
forall t.
(ICODE t (Arity 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 InfectiveCoinfective
Coinfective

  value :: Word32 -> R InfectiveCoinfective
value = (Node -> R InfectiveCoinfective)
-> Word32 -> R InfectiveCoinfective
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase Node -> R InfectiveCoinfective
valu where
    valu :: Node
-> Arrows
     (Constant Word32 (Domains InfectiveCoinfective))
     (R (CoDomain InfectiveCoinfective))
valu Node
N0     = InfectiveCoinfective
-> Arrows
     (Constant Word32 (Domains InfectiveCoinfective))
     (R (CoDomain InfectiveCoinfective))
forall t.
(VALU t (Arity 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 (N1 Word32
0) = InfectiveCoinfective
-> Arrows
     (Constant Word32 (Domains InfectiveCoinfective))
     (R (CoDomain InfectiveCoinfective))
forall t.
(VALU t (Arity 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 Node
_      = 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
o = (WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' UnicodeOrAscii 'True
 -> Maybe (Trie VerboseKeyItem Int)
 -> ProfileOptions
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> CutOff
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> Maybe Cubical
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> Int
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> Int
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> Maybe Int
 -> WarningMode
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> Maybe ConfluenceCheck
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> PragmaOptions)
-> Arrows
     (Domains
        (WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' UnicodeOrAscii 'True
         -> Maybe (Trie VerboseKeyItem Int)
         -> ProfileOptions
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> CutOff
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> Maybe Cubical
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> Int
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> Int
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> Maybe Int
         -> WarningMode
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> Maybe ConfluenceCheck
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> PragmaOptions))
     (S Word32)
forall t.
(ICODE t (Arity t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' UnicodeOrAscii 'True
-> Maybe (Trie VerboseKeyItem Int)
-> ProfileOptions
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> CutOff
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> Maybe Cubical
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> Int
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> Int
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> Maybe Int
-> WarningMode
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> Maybe ConfluenceCheck
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> PragmaOptions
PragmaOptions
    (PragmaOptions -> WithDefault' Bool 'False
_optShowImplicit PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optShowGeneralized PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optShowIrrelevant PragmaOptions
o)
    (PragmaOptions -> WithDefault' UnicodeOrAscii 'True
_optUseUnicode PragmaOptions
o)
    (PragmaOptions -> Maybe (Trie VerboseKeyItem Int)
_optVerbose PragmaOptions
o)
    (PragmaOptions -> ProfileOptions
_optProfiling PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optIrrelevance PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optProp PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optLevelUniverse PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optTwoLevel PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optAllowUnsolved PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optAllowIncompleteMatch PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optPositivityCheck PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optTerminationCheck PragmaOptions
o)
    (PragmaOptions -> CutOff
_optTerminationDepth PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optUniverseCheck PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optOmegaInOmega PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optCumulativity PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optSizedTypes PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optGuardedness PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optInjectiveTypeConstructors PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optUniversePolymorphism PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optIrrelevantProjections PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optExperimentalIrrelevance PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optWithoutK PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optCubicalCompatible PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optCopatterns PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optPatternMatching PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optExactSplit PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optHiddenArgumentPuns PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optEta PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optForcing PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optProjectionLike PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optErasure PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optErasedMatches PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optEraseRecordParameters PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optRewriting PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optLocalRewriting PragmaOptions
o)
    (PragmaOptions -> Maybe Cubical
_optCubical PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optGuarded PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optFirstOrder PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optRequireUniqueMetaSolutions PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optPostfixProjections PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optKeepPatternVariables PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optInferAbsurdClauses PragmaOptions
o)
    (PragmaOptions -> Int
_optInstanceSearchDepth PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optBacktrackingInstances PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optQualifiedInstances PragmaOptions
o)
    (PragmaOptions -> Int
_optInversionMaxDepth PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optSafe PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optDoubleCheck PragmaOptions
o)
    (PragmaOptions -> Maybe Int
_optSyntacticEquality PragmaOptions
o)
    (PragmaOptions -> WarningMode
_optWarningMode PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optCompileMain PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optCaching PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optCountClusters PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optAutoInline PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optPrintPatternSynonyms PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optFastReduce PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optCallByName PragmaOptions
o)
    (PragmaOptions -> Maybe ConfluenceCheck
_optConfluenceCheck PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optCohesion PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optFlatSplit PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optPolarity PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optOccurrence PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optImportSorts PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optLoadPrimitives PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optAllowExec PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optSaveMetas PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optShowIdentitySubstitutions PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optKeepCoveringClauses PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optLargeIndices PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'True
_optForcedArgumentRecursion PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optExperimentalLazyInstances PragmaOptions
o)
    (PragmaOptions -> WithDefault' Bool 'False
_optQuoteMetas PragmaOptions
o)

  value :: Word32 -> R PragmaOptions
value = (WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' UnicodeOrAscii 'True
 -> Maybe (Trie VerboseKeyItem Int)
 -> ProfileOptions
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> CutOff
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> Maybe Cubical
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> Int
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> Int
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> Maybe Int
 -> WarningMode
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> Maybe ConfluenceCheck
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' Bool 'False
 -> PragmaOptions)
-> Word32
-> R (CoDomain
        (WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' UnicodeOrAscii 'True
         -> Maybe (Trie VerboseKeyItem Int)
         -> ProfileOptions
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> CutOff
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> Maybe Cubical
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> Int
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> Int
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> Maybe Int
         -> WarningMode
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> Maybe ConfluenceCheck
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'True
         -> WithDefault' Bool 'False
         -> WithDefault' Bool 'False
         -> PragmaOptions))
forall t.
(VALU t (Arity t), All EmbPrj (CoDomain t : Domains t)) =>
t -> Word32 -> R (CoDomain t)
valueN WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' UnicodeOrAscii 'True
-> Maybe (Trie VerboseKeyItem Int)
-> ProfileOptions
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> CutOff
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> Maybe Cubical
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> Int
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> Int
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> Maybe Int
-> WarningMode
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> Maybe ConfluenceCheck
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> WithDefault' Bool 'True
-> WithDefault' Bool 'False
-> WithDefault' Bool 'False
-> 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)
-> ReaderT Decode IO [ProfileOption] -> R ProfileOptions
forall a b. (a -> b) -> ReaderT Decode IO a -> ReaderT Decode IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [ProfileOption] -> ProfileOptions
profileOptionsFromList (ReaderT Decode IO [ProfileOption] -> R ProfileOptions)
-> (Word32 -> ReaderT Decode IO [ProfileOption])
-> Word32
-> R ProfileOptions
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Word32 -> ReaderT Decode 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 (Arity 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 (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 ConfluenceCheck
GlobalConfluenceCheck

  value :: Word32 -> R ConfluenceCheck
value = (Node -> R ConfluenceCheck) -> Word32 -> R ConfluenceCheck
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase Node -> R ConfluenceCheck
valu where
    valu :: Node
-> Arrows
     (Constant Word32 (Domains ConfluenceCheck))
     (R (CoDomain ConfluenceCheck))
valu Node
N0     = ConfluenceCheck
-> Arrows
     (Constant Word32 (Domains ConfluenceCheck))
     (R (CoDomain ConfluenceCheck))
forall t.
(VALU t (Arity 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 (N1 Word32
0) = ConfluenceCheck
-> Arrows
     (Constant Word32 (Domains ConfluenceCheck))
     (R (CoDomain ConfluenceCheck))
forall t.
(VALU t (Arity 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 Node
_      = 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 (Arity 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 (Arity 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 (Arity t), StrictCurrying (Domains t) (S Word32),
 All EmbPrj (Domains t)) =>
t -> Arrows (Domains t) (S Word32)
icodeN' CutOff
DontCutOff
    CutOff Int
a   -> Word32
-> (Int -> CutOff) -> Arrows (Domains (Int -> CutOff)) (S Word32)
forall t.
(ICODE (Word32 -> t) (Arity (Word32 -> t)),
 StrictCurrying (Domains (Word32 -> t)) (S Word32),
 All EmbPrj (Domains (Word32 -> t))) =>
Word32 -> t -> Arrows (Domains t) (S Word32)
icodeN Word32
0 Int -> CutOff
CutOff Int
a

  value :: Word32 -> R CutOff
value = (Node -> R CutOff) -> Word32 -> R CutOff
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase Node -> R CutOff
valu where
    valu :: Node
-> Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
valu Node
N0       = CutOff
-> Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
forall t.
(VALU t (Arity 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 (N2 Word32
0 Word32
a) = (Int -> CutOff)
-> Arrows
     (Constant Word32 (Domains (Int -> CutOff)))
     (R (CoDomain (Int -> CutOff)))
forall t.
(VALU t (Arity t),
 StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
 All EmbPrj (Domains t)) =>
t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
valuN Int -> CutOff
CutOff Word32
a
    valu Node
_        = R CutOff
Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
forall a. R a
malformed