Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances.Errors

Contents

Orphan instances

EmbPrj Doc Source #
Instance details Methods icode :: Doc -> S Int32 Source # icod_ :: Doc -> S Int32 Source # value :: Int32 -> R Doc Source #
EmbPrj DeclarationWarning Source #
Instance details Methods icode :: DeclarationWarning -> S Int32 Source # icod_ :: DeclarationWarning -> S Int32 Source # value :: Int32 -> R DeclarationWarning 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 #