Agda-2.6.4.3: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Errors

Orphan instances

EmbPrj ExecutablesFile Source # 
Instance details

EmbPrj LibPositionInfo Source # 
Instance details

EmbPrj LibWarning Source # 
Instance details

EmbPrj LibWarning' Source # 
Instance details

EmbPrj ConfluenceCheck Source # 
Instance details

EmbPrj InfectiveCoinfective Source # 
Instance details

EmbPrj OptionWarning Source # 
Instance details

EmbPrj PragmaOptions Source # 
Instance details

EmbPrj WarningMode Source # 
Instance details

EmbPrj WarningName Source # 
Instance details

EmbPrj Doc Source # 
Instance details

EmbPrj DeclarationWarning Source # 
Instance details

EmbPrj DeclarationWarning' Source # 
Instance details

EmbPrj UnicodeOrAscii Source # 
Instance details

EmbPrj ParseWarning Source # 
Instance details

EmbPrj CutOff Source # 
Instance details

EmbPrj TCWarning Source # 
Instance details

EmbPrj Warning Source # 
Instance details

EmbPrj RecordFieldWarning Source # 
Instance details

EmbPrj ProfileOption Source # 
Instance details

EmbPrj ProfileOptions Source # 
Instance details