{-# 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
a IllegalRewriteRuleReason
b                      -> Word32
-> (RewriteSource -> IllegalRewriteRuleReason -> Warning)
-> Arrows
     (Domains (RewriteSource -> 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 -> IllegalRewriteRuleReason -> Warning
IllegalRewriteRule RewriteSource
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 -> IllegalRewriteRuleReason -> Warning)
-> Arrows
     (Constant
        Word32
        (Domains (RewriteSource -> IllegalRewriteRuleReason -> Warning)))
     (R (CoDomain
           (RewriteSource -> 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 -> 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 RewriteSource where
  icod_ :: RewriteSource -> S Word32
icod_ = \case
    LocalRewrite Context
a Maybe Name
b Type
c -> Word32
-> (Context -> Maybe Name -> Type -> RewriteSource)
-> Arrows
     (Domains (Context -> Maybe Name -> Type -> RewriteSource))
     (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
LocalRewrite Context
a Maybe Name
b Type
c
    GlobalRewrite Definition
a    -> Word32
-> (Definition -> RewriteSource)
-> Arrows (Domains (Definition -> RewriteSource)) (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 Definition -> RewriteSource
GlobalRewrite Definition
a

  value :: Word32 -> R RewriteSource
value = (Node -> R RewriteSource) -> Word32 -> R RewriteSource
forall a. EmbPrj a => (Node -> R a) -> Word32 -> R a
vcase ((Node -> R RewriteSource) -> Word32 -> R RewriteSource)
-> (Node -> R RewriteSource) -> Word32 -> R RewriteSource
forall a b. (a -> b) -> a -> b
$ \case
    N4 Word32
0 Word32
a Word32
b Word32
c -> (Context -> Maybe Name -> Type -> RewriteSource)
-> Arrows
     (Constant
        Word32 (Domains (Context -> Maybe Name -> Type -> RewriteSource)))
     (R (CoDomain (Context -> Maybe Name -> Type -> RewriteSource)))
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
LocalRewrite Word32
a Word32
b Word32
c
    N2 Word32
1 Word32
a     -> (Definition -> RewriteSource)
-> Arrows
     (Constant Word32 (Domains (Definition -> RewriteSource)))
     (R (CoDomain (Definition -> RewriteSource)))
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 Definition -> RewriteSource
GlobalRewrite Word32
a
    Node
_          -> R RewriteSource
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 WithDefault' Bool 'False
a WithDefault' Bool 'True
b WithDefault' Bool 'False
c WithDefault' UnicodeOrAscii 'True
d Maybe (Trie VerboseKeyItem Int)
e ProfileOptions
f WithDefault' Bool 'False
g WithDefault' Bool 'False
h WithDefault' Bool 'False
i WithDefault' Bool 'False
j WithDefault' Bool 'False
k WithDefault' Bool 'True
l WithDefault' Bool 'True
m CutOff
n WithDefault' Bool 'True
o WithDefault' Bool 'False
p WithDefault' Bool 'False
q WithDefault' Bool 'False
r WithDefault' Bool 'False
s WithDefault' Bool 'False
t WithDefault' Bool 'True
u WithDefault' Bool 'False
v WithDefault' Bool 'False
w WithDefault' Bool 'False
x WithDefault' Bool 'False
y WithDefault' Bool 'True
z WithDefault' Bool 'True
aa WithDefault' Bool 'False
bb WithDefault' Bool 'False
cc WithDefault' Bool 'True
dd WithDefault' Bool 'True
ee WithDefault' Bool 'True
ff WithDefault' Bool 'False
gg WithDefault' Bool 'True
hh WithDefault' Bool 'False
ii WithDefault' Bool 'False
jj WithDefault' Bool 'False
kk Maybe Cubical
ll WithDefault' Bool 'False
mm WithDefault' Bool 'False
nn WithDefault' Bool 'True
oo WithDefault' Bool 'True
pp WithDefault' Bool 'True
qq WithDefault' Bool 'True
rr Int
ss WithDefault' Bool 'False
tt WithDefault' Bool 'True
uu Int
vv WithDefault' Bool 'False
ww WithDefault' Bool 'False
xx Maybe Int
yy WarningMode
zz WithDefault' Bool 'True
aaa WithDefault' Bool 'True
bbb WithDefault' Bool 'False
ccc WithDefault' Bool 'False
ddd WithDefault' Bool 'True
eee WithDefault' Bool 'True
fff WithDefault' Bool 'False
ggg Maybe ConfluenceCheck
hhh WithDefault' Bool 'False
iii WithDefault' Bool 'False
jjj WithDefault' Bool 'False
kkk WithDefault' Bool 'True
lll WithDefault' Bool 'True
mmm WithDefault' Bool 'True
nnn WithDefault' Bool 'False
ooo WithDefault' Bool 'False
ppp WithDefault' Bool 'False
qqq WithDefault' Bool 'False
rrr WithDefault' Bool 'False
sss WithDefault' Bool 'True
ttt WithDefault' Bool 'False
uuu WithDefault' Bool 'False
vvv) =
    (WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' UnicodeOrAscii 'True
 -> Maybe (Trie VerboseKeyItem Int)
 -> ProfileOptions
 -> 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 '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 '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 WithDefault' Bool 'False
a WithDefault' Bool 'True
b WithDefault' Bool 'False
c WithDefault' UnicodeOrAscii 'True
d Maybe (Trie VerboseKeyItem Int)
e ProfileOptions
f WithDefault' Bool 'False
g WithDefault' Bool 'False
h WithDefault' Bool 'False
i WithDefault' Bool 'False
j WithDefault' Bool 'False
k WithDefault' Bool 'True
l WithDefault' Bool 'True
m CutOff
n WithDefault' Bool 'True
o WithDefault' Bool 'False
p WithDefault' Bool 'False
q WithDefault' Bool 'False
r WithDefault' Bool 'False
s WithDefault' Bool 'False
t WithDefault' Bool 'True
u WithDefault' Bool 'False
v WithDefault' Bool 'False
w WithDefault' Bool 'False
x WithDefault' Bool 'False
y WithDefault' Bool 'True
z WithDefault' Bool 'True
aa WithDefault' Bool 'False
bb WithDefault' Bool 'False
cc WithDefault' Bool 'True
dd WithDefault' Bool 'True
ee WithDefault' Bool 'True
ff WithDefault' Bool 'False
gg WithDefault' Bool 'True
hh WithDefault' Bool 'False
ii WithDefault' Bool 'False
jj WithDefault' Bool 'False
kk Maybe Cubical
ll WithDefault' Bool 'False
mm WithDefault' Bool 'False
nn WithDefault' Bool 'True
oo WithDefault' Bool 'True
pp WithDefault' Bool 'True
qq WithDefault' Bool 'True
rr Int
ss WithDefault' Bool 'False
tt WithDefault' Bool 'True
uu Int
vv WithDefault' Bool 'False
ww WithDefault' Bool 'False
xx Maybe Int
yy WarningMode
zz WithDefault' Bool 'True
aaa WithDefault' Bool 'True
bbb WithDefault' Bool 'False
ccc WithDefault' Bool 'False
ddd WithDefault' Bool 'True
eee WithDefault' Bool 'True
fff WithDefault' Bool 'False
ggg Maybe ConfluenceCheck
hhh WithDefault' Bool 'False
iii WithDefault' Bool 'False
jjj WithDefault' Bool 'False
kkk WithDefault' Bool 'True
lll WithDefault' Bool 'True
mmm WithDefault' Bool 'True
nnn WithDefault' Bool 'False
ooo WithDefault' Bool 'False
ppp WithDefault' Bool 'False
qqq WithDefault' Bool 'False
rrr WithDefault' Bool 'False
sss WithDefault' Bool 'True
ttt WithDefault' Bool 'False
uuu WithDefault' Bool 'False
vvv

  value :: Word32 -> R PragmaOptions
value = (WithDefault' Bool 'False
 -> WithDefault' Bool 'True
 -> WithDefault' Bool 'False
 -> WithDefault' UnicodeOrAscii 'True
 -> Maybe (Trie VerboseKeyItem Int)
 -> ProfileOptions
 -> 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 '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 '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