Safe Haskell	None
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 InfectiveCoinfective Source #
Instance details Methods icode :: InfectiveCoinfective -> S Int32 Source # icod_ :: InfectiveCoinfective -> S Int32 Source # value :: Int32 -> R InfectiveCoinfective Source #
EmbPrj OptionWarning Source #
Instance details Methods icode :: OptionWarning -> S Int32 Source # icod_ :: OptionWarning -> S Int32 Source # value :: Int32 -> R OptionWarning 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 Doc Source #
Instance details Methods icode :: Doc -> S Int32 Source # icod_ :: Doc -> S Int32 Source # value :: Int32 -> R Doc 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 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 RecordFieldWarning Source #
Instance details Methods icode :: RecordFieldWarning -> S Int32 Source # icod_ :: RecordFieldWarning -> S Int32 Source # value :: Int32 -> R RecordFieldWarning Source #
EmbPrj ProfileOption Source #
Instance details Methods icode :: ProfileOption -> S Int32 Source # icod_ :: ProfileOption -> S Int32 Source # value :: Int32 -> R ProfileOption Source #
EmbPrj ProfileOptions Source #
Instance details Methods icode :: ProfileOptions -> S Int32 Source # icod_ :: ProfileOptions -> S Int32 Source # value :: Int32 -> R ProfileOptions Source #