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

Safe Haskell | Safe-Inferred
Language | Haskell2010

Agda.TypeChecking.Serialise.Instances.Errors

Contents

- Orphan instances

# Orphan instances

EmbPrj ExecutablesFile Source # |
Instance details Methods icode :: ExecutablesFile -> S Int32 Source # icod_ :: ExecutablesFile -> S Int32 Source # value :: Int32 -> R ExecutablesFile Source #
EmbPrj LibPositionInfo Source # |
Instance details Methods icode :: LibPositionInfo -> S Int32 Source # icod_ :: LibPositionInfo -> S Int32 Source # value :: Int32 -> R LibPositionInfo Source #
EmbPrj LibWarning Source # |
Instance details Methods icode :: LibWarning -> S Int32 Source # icod_ :: LibWarning -> S Int32 Source # value :: Int32 -> R LibWarning Source #
EmbPrj LibWarning' Source # |
Instance details Methods icode :: LibWarning' -> S Int32 Source # icod_ :: LibWarning' -> S Int32 Source # value :: Int32 -> R LibWarning' Source #
EmbPrj ConfluenceCheck Source # |
Instance details Methods icode :: ConfluenceCheck -> S Int32 Source # icod_ :: ConfluenceCheck -> S Int32 Source # value :: Int32 -> R ConfluenceCheck Source #
EmbPrj PragmaOptions Source # |
Instance details Methods icode :: PragmaOptions -> S Int32 Source # icod_ :: PragmaOptions -> S Int32 Source # value :: Int32 -> R PragmaOptions Source #
EmbPrj WarningMode Source # |
Instance details Methods icode :: WarningMode -> S Int32 Source # icod_ :: WarningMode -> S Int32 Source # value :: Int32 -> R WarningMode Source #
EmbPrj WarningName Source # |
Instance details Methods icode :: WarningName -> S Int32 Source # icod_ :: WarningName -> S Int32 Source # value :: Int32 -> R WarningName Source #
EmbPrj DeclarationWarning Source # |
Instance details Methods icode :: DeclarationWarning -> S Int32 Source # icod_ :: DeclarationWarning -> S Int32 Source # value :: Int32 -> R DeclarationWarning Source #
EmbPrj DeclarationWarning' Source # |
Instance details Methods icode :: DeclarationWarning' -> S Int32 Source # icod_ :: DeclarationWarning' -> S Int32 Source # value :: Int32 -> R DeclarationWarning' Source #
EmbPrj UnicodeOrAscii Source # |
Instance details Methods icode :: UnicodeOrAscii -> S Int32 Source # icod_ :: UnicodeOrAscii -> S Int32 Source # value :: Int32 -> R UnicodeOrAscii Source #
EmbPrj ParseWarning Source # |
Instance details Methods icode :: ParseWarning -> S Int32 Source # icod_ :: ParseWarning -> S Int32 Source # value :: Int32 -> R ParseWarning Source #
EmbPrj CutOff Source # |
Instance details Methods icode :: CutOff -> S Int32 Source # icod_ :: CutOff -> S Int32 Source # value :: Int32 -> R CutOff Source #
EmbPrj RecordFieldWarning Source # |
Instance details Methods icode :: RecordFieldWarning -> S Int32 Source # icod_ :: RecordFieldWarning -> S Int32 Source # value :: Int32 -> R RecordFieldWarning Source #
EmbPrj TCWarning Source # |
Instance details Methods icode :: TCWarning -> S Int32 Source # icod_ :: TCWarning -> S Int32 Source # value :: Int32 -> R TCWarning Source #
EmbPrj Warning Source # |
Instance details Methods icode :: Warning -> S Int32 Source # icod_ :: Warning -> S Int32 Source # value :: Int32 -> R Warning Source #
EmbPrj Doc Source # |
Instance details Methods icode :: Doc -> S Int32 Source # icod_ :: Doc -> S Int32 Source # value :: Int32 -> R Doc Source #