Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances.Errors

Contents

Documentation

Orphan instances

EmbPrj Doc #
Methods icode :: Doc -> S Int32 # icod_ :: Doc -> S Int32 # value :: Int32 -> R Doc #
EmbPrj DeclarationWarning #
Methods icode :: DeclarationWarning -> S Int32 # icod_ :: DeclarationWarning -> S Int32 # value :: Int32 -> R DeclarationWarning #
EmbPrj TCWarning #
Methods icode :: TCWarning -> S Int32 # icod_ :: TCWarning -> S Int32 # value :: Int32 -> R TCWarning #
EmbPrj Warning #
Methods icode :: Warning -> S Int32 # icod_ :: Warning -> S Int32 # value :: Int32 -> R Warning #