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

Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Errors

Contents

Orphan instances

EmbPrj CutOff Source # 
Instance details

Methods

icode :: CutOff -> S Int32 Source #

icod_ :: CutOff -> S Int32 Source #

value :: Int32 -> R CutOff Source #

EmbPrj WarningName Source # 
Instance details

Methods

icode :: WarningName -> S Int32 Source #

icod_ :: WarningName -> S Int32 Source #

value :: Int32 -> R WarningName Source #

EmbPrj WarningMode Source # 
Instance details

Methods

icode :: WarningMode -> S Int32 Source #

icod_ :: WarningMode -> S Int32 Source #

value :: Int32 -> R WarningMode Source #

EmbPrj Doc Source # 
Instance details

Methods

icode :: Doc -> S Int32 Source #

icod_ :: Doc -> S Int32 Source #

value :: Int32 -> R Doc Source #

EmbPrj LibWarning' Source # 
Instance details

Methods

icode :: LibWarning' -> S Int32 Source #

icod_ :: LibWarning' -> S Int32 Source #

value :: Int32 -> R LibWarning' Source #

EmbPrj DeclarationWarning Source # 
Instance details

EmbPrj LibWarning Source # 
Instance details

Methods

icode :: LibWarning -> S Int32 Source #

icod_ :: LibWarning -> S Int32 Source #

value :: Int32 -> R LibWarning Source #

EmbPrj LibPositionInfo Source # 
Instance details

EmbPrj PragmaOptions Source # 
Instance details

Methods

icode :: PragmaOptions -> S Int32 Source #

icod_ :: PragmaOptions -> S Int32 Source #

value :: Int32 -> R PragmaOptions 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 #