Agda-2.5.4.1.20181026: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Serialise.Instances.Errors
Contents
Methods
icode :: Doc -> S Int32 Source #
icod_ :: Doc -> S Int32 Source #
value :: Int32 -> R Doc Source #
icode :: DeclarationWarning -> S Int32 Source #
icod_ :: DeclarationWarning -> S Int32 Source #
value :: Int32 -> R DeclarationWarning Source #
icode :: TCWarning -> S Int32 Source #
icod_ :: TCWarning -> S Int32 Source #
value :: Int32 -> R TCWarning Source #
icode :: Warning -> S Int32 Source #
icod_ :: Warning -> S Int32 Source #
value :: Int32 -> R Warning Source #