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

Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Errors

Contents

Orphan instances

EmbPrj Doc # 
Instance details

Methods

icode :: Doc -> S Int32 #

icod_ :: Doc -> S Int32 #

value :: Int32 -> R Doc #

EmbPrj DeclarationWarning # 
Instance details

Methods

icode :: DeclarationWarning -> S Int32 #

icod_ :: DeclarationWarning -> S Int32 #

value :: Int32 -> R DeclarationWarning #

EmbPrj TCWarning # 
Instance details

Methods

icode :: TCWarning -> S Int32 #

icod_ :: TCWarning -> S Int32 #

value :: Int32 -> R TCWarning #

EmbPrj Warning # 
Instance details

Methods

icode :: Warning -> S Int32 #

icod_ :: Warning -> S Int32 #

value :: Int32 -> R Warning #