Agda.TypeChecking.Serialise.Instances.Errors
Contents
Methods
icode :: ExecutablesFile -> S Int32 Source #
icod_ :: ExecutablesFile -> S Int32 Source #
value :: Int32 -> R ExecutablesFile Source #
icode :: LibPositionInfo -> S Int32 Source #
icod_ :: LibPositionInfo -> S Int32 Source #
value :: Int32 -> R LibPositionInfo Source #
icode :: LibWarning -> S Int32 Source #
icod_ :: LibWarning -> S Int32 Source #
value :: Int32 -> R LibWarning Source #
icode :: LibWarning' -> S Int32 Source #
icod_ :: LibWarning' -> S Int32 Source #
value :: Int32 -> R LibWarning' Source #
icode :: ConfluenceCheck -> S Int32 Source #
icod_ :: ConfluenceCheck -> S Int32 Source #
value :: Int32 -> R ConfluenceCheck Source #
icode :: InfectiveCoinfective -> S Int32 Source #
icod_ :: InfectiveCoinfective -> S Int32 Source #
value :: Int32 -> R InfectiveCoinfective Source #
icode :: OptionWarning -> S Int32 Source #
icod_ :: OptionWarning -> S Int32 Source #
value :: Int32 -> R OptionWarning Source #
icode :: PragmaOptions -> S Int32 Source #
icod_ :: PragmaOptions -> S Int32 Source #
value :: Int32 -> R PragmaOptions Source #
icode :: WarningMode -> S Int32 Source #
icod_ :: WarningMode -> S Int32 Source #
value :: Int32 -> R WarningMode Source #
icode :: WarningModeError -> S Int32 Source #
icod_ :: WarningModeError -> S Int32 Source #
value :: Int32 -> R WarningModeError Source #
icode :: WarningName -> S Int32 Source #
icod_ :: WarningName -> S Int32 Source #
value :: Int32 -> R WarningName Source #
icode :: Doc -> S Int32 Source #
icod_ :: Doc -> S Int32 Source #
value :: Int32 -> R Doc Source #
icode :: DeclarationWarning -> S Int32 Source #
icod_ :: DeclarationWarning -> S Int32 Source #
value :: Int32 -> R DeclarationWarning Source #
icode :: DeclarationWarning' -> S Int32 Source #
icod_ :: DeclarationWarning' -> S Int32 Source #
value :: Int32 -> R DeclarationWarning' Source #
icode :: UnicodeOrAscii -> S Int32 Source #
icod_ :: UnicodeOrAscii -> S Int32 Source #
value :: Int32 -> R UnicodeOrAscii Source #
icode :: ParseWarning -> S Int32 Source #
icod_ :: ParseWarning -> S Int32 Source #
value :: Int32 -> R ParseWarning Source #
icode :: CutOff -> S Int32 Source #
icod_ :: CutOff -> S Int32 Source #
value :: Int32 -> R CutOff Source #
icode :: IllegalRewriteRuleReason -> S Int32 Source #
icod_ :: IllegalRewriteRuleReason -> S Int32 Source #
value :: Int32 -> R IllegalRewriteRuleReason Source #
icode :: LHSOrPatSyn -> S Int32 Source #
icod_ :: LHSOrPatSyn -> S Int32 Source #
value :: Int32 -> R LHSOrPatSyn Source #
icode :: TCWarning -> S Int32 Source #
icod_ :: TCWarning -> S Int32 Source #
value :: Int32 -> R TCWarning Source #
icode :: Warning -> S Int32 Source #
icod_ :: Warning -> S Int32 Source #
value :: Int32 -> R Warning Source #
icode :: RecordFieldWarning -> S Int32 Source #
icod_ :: RecordFieldWarning -> S Int32 Source #
value :: Int32 -> R RecordFieldWarning Source #
icode :: ProfileOption -> S Int32 Source #
icod_ :: ProfileOption -> S Int32 Source #
value :: Int32 -> R ProfileOption Source #
icode :: ProfileOptions -> S Int32 Source #
icod_ :: ProfileOptions -> S Int32 Source #
value :: Int32 -> R ProfileOptions Source #