Agda-2.8.0: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.TypeChecking.Serialise.Instances.Errors

Contents

- Orphan instances

# Orphan instances

EmbPrj ExecutablesFile Source # |
Instance details Methods icode :: ExecutablesFile -> S Word32 Source # icod_ :: ExecutablesFile -> S Word32 Source # value :: Word32 -> R ExecutablesFile Source #
EmbPrj LibPositionInfo Source # |
Instance details Methods icode :: LibPositionInfo -> S Word32 Source # icod_ :: LibPositionInfo -> S Word32 Source # value :: Word32 -> R LibPositionInfo Source #
EmbPrj LibWarning Source # |
Instance details Methods icode :: LibWarning -> S Word32 Source # icod_ :: LibWarning -> S Word32 Source # value :: Word32 -> R LibWarning Source #
EmbPrj LibWarning' Source # |
Instance details Methods icode :: LibWarning' -> S Word32 Source # icod_ :: LibWarning' -> S Word32 Source # value :: Word32 -> R LibWarning' Source #
EmbPrj OptionWarning Source # |
Instance details Methods icode :: OptionWarning -> S Word32 Source # icod_ :: OptionWarning -> S Word32 Source # value :: Word32 -> R OptionWarning Source #
EmbPrj ConfluenceCheck Source # |
Instance details Methods icode :: ConfluenceCheck -> S Word32 Source # icod_ :: ConfluenceCheck -> S Word32 Source # value :: Word32 -> R ConfluenceCheck Source #
EmbPrj InfectiveCoinfective Source # |
Instance details Methods icode :: InfectiveCoinfective -> S Word32 Source # icod_ :: InfectiveCoinfective -> S Word32 Source # value :: Word32 -> R InfectiveCoinfective Source #
EmbPrj PragmaOptions Source # |
Instance details Methods icode :: PragmaOptions -> S Word32 Source # icod_ :: PragmaOptions -> S Word32 Source # value :: Word32 -> R PragmaOptions Source #
EmbPrj WarningMode Source # |
Instance details Methods icode :: WarningMode -> S Word32 Source # icod_ :: WarningMode -> S Word32 Source # value :: Word32 -> R WarningMode Source #
EmbPrj WarningModeError Source # |
Instance details Methods icode :: WarningModeError -> S Word32 Source # icod_ :: WarningModeError -> S Word32 Source # value :: Word32 -> R WarningModeError Source #
EmbPrj WarningName Source # |
Instance details Methods icode :: WarningName -> S Word32 Source # icod_ :: WarningName -> S Word32 Source # value :: Word32 -> R WarningName Source #
EmbPrj Doc Source # |
Instance details Methods icode :: Doc -> S Word32 Source # icod_ :: Doc -> S Word32 Source # value :: Word32 -> R Doc Source #
EmbPrj DeclarationWarning Source # |
Instance details Methods icode :: DeclarationWarning -> S Word32 Source # icod_ :: DeclarationWarning -> S Word32 Source # value :: Word32 -> R DeclarationWarning Source #
EmbPrj DeclarationWarning' Source # |
Instance details Methods icode :: DeclarationWarning' -> S Word32 Source # icod_ :: DeclarationWarning' -> S Word32 Source # value :: Word32 -> R DeclarationWarning' Source #
EmbPrj OpenOrImport Source # |
Instance details Methods icode :: OpenOrImport -> S Word32 Source # icod_ :: OpenOrImport -> S Word32 Source # value :: Word32 -> R OpenOrImport Source #
EmbPrj UnicodeOrAscii Source # |
Instance details Methods icode :: UnicodeOrAscii -> S Word32 Source # icod_ :: UnicodeOrAscii -> S Word32 Source # value :: Word32 -> R UnicodeOrAscii Source #
EmbPrj ParseWarning Source # |
Instance details Methods icode :: ParseWarning -> S Word32 Source # icod_ :: ParseWarning -> S Word32 Source # value :: Word32 -> R ParseWarning Source #
EmbPrj CutOff Source # |
Instance details Methods icode :: CutOff -> S Word32 Source # icod_ :: CutOff -> S Word32 Source # value :: Word32 -> R CutOff Source #
EmbPrj IllegalRewriteRuleReason Source # |
Instance details Methods icode :: IllegalRewriteRuleReason -> S Word32 Source # icod_ :: IllegalRewriteRuleReason -> S Word32 Source # value :: Word32 -> R IllegalRewriteRuleReason Source #
EmbPrj IsAmbiguous Source # |
Instance details Methods icode :: IsAmbiguous -> S Word32 Source # icod_ :: IsAmbiguous -> S Word32 Source # value :: Word32 -> R IsAmbiguous Source #
EmbPrj LHSOrPatSyn Source # |
Instance details Methods icode :: LHSOrPatSyn -> S Word32 Source # icod_ :: LHSOrPatSyn -> S Word32 Source # value :: Word32 -> R LHSOrPatSyn Source #
EmbPrj TCWarning Source # |
Instance details Methods icode :: TCWarning -> S Word32 Source # icod_ :: TCWarning -> S Word32 Source # value :: Word32 -> R TCWarning Source #
EmbPrj Warning Source # |
Instance details Methods icode :: Warning -> S Word32 Source # icod_ :: Warning -> S Word32 Source # value :: Word32 -> R Warning Source #
EmbPrj RecordFieldWarning Source # |
Instance details Methods icode :: RecordFieldWarning -> S Word32 Source # icod_ :: RecordFieldWarning -> S Word32 Source # value :: Word32 -> R RecordFieldWarning Source #
EmbPrj UselessPublicReason Source # |
Instance details Methods icode :: UselessPublicReason -> S Word32 Source # icod_ :: UselessPublicReason -> S Word32 Source # value :: Word32 -> R UselessPublicReason Source #
EmbPrj ProfileOption Source # |
Instance details Methods icode :: ProfileOption -> S Word32 Source # icod_ :: ProfileOption -> S Word32 Source # value :: Word32 -> R ProfileOption Source #
EmbPrj ProfileOptions Source # |
Instance details Methods icode :: ProfileOptions -> S Word32 Source # icod_ :: ProfileOptions -> S Word32 Source # value :: Word32 -> R ProfileOptions Source #