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

Agda.TypeChecking.Serialise.Instances.Errors

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

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

EmbPrj DeclarationWarning' Source # 
Instance details

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

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

EmbPrj UselessPublicReason Source # 
Instance details

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 #