Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances.Errors

Contents

Orphan instances

Documentation

Orphan instances

EmbPrj Doc Source #
Methods icode :: Doc -> S Int32 Source # icod_ :: Doc -> S Int32 Source # value :: Int32 -> R Doc Source #
EmbPrj CutOff Source #
Methods icode :: CutOff -> S Int32 Source # icod_ :: CutOff -> S Int32 Source # value :: Int32 -> R CutOff Source #
EmbPrj InteractionId Source #
Methods icode :: InteractionId -> S Int32 Source # icod_ :: InteractionId -> S Int32 Source # value :: Int32 -> R InteractionId Source #
EmbPrj TCState Source #
Methods icode :: TCState -> S Int32 Source # icod_ :: TCState -> S Int32 Source # value :: Int32 -> R TCState Source #
EmbPrj TCEnv Source #
Methods icode :: TCEnv -> S Int32 Source # icod_ :: TCEnv -> S Int32 Source # value :: Int32 -> R TCEnv Source #
EmbPrj DeclarationWarning Source #
Methods icode :: DeclarationWarning -> S Int32 Source # icod_ :: DeclarationWarning -> S Int32 Source # value :: Int32 -> R DeclarationWarning Source #
EmbPrj PragmaOptions Source #
Methods icode :: PragmaOptions -> S Int32 Source # icod_ :: PragmaOptions -> S Int32 Source # value :: Int32 -> R PragmaOptions Source #
EmbPrj WarningMode Source #
Methods icode :: WarningMode -> S Int32 Source # icod_ :: WarningMode -> S Int32 Source # value :: Int32 -> R WarningMode Source #
EmbPrj TCWarning Source #
Methods icode :: TCWarning -> S Int32 Source # icod_ :: TCWarning -> S Int32 Source # value :: Int32 -> R TCWarning Source #
EmbPrj Warning Source #
Methods icode :: Warning -> S Int32 Source # icod_ :: Warning -> S Int32 Source # value :: Int32 -> R Warning Source #
EmbPrj ModuleParameters Source #
Methods icode :: ModuleParameters -> S Int32 Source # icod_ :: ModuleParameters -> S Int32 Source # value :: Int32 -> R ModuleParameters Source #
EmbPrj PrimFun Source #
Methods icode :: PrimFun -> S Int32 Source # icod_ :: PrimFun -> S Int32 Source # value :: Int32 -> R PrimFun Source #
EmbPrj InteractionPoint Source #
Methods icode :: InteractionPoint -> S Int32 Source # icod_ :: InteractionPoint -> S Int32 Source # value :: Int32 -> R InteractionPoint Source #
EmbPrj MetaInfo Source #
Methods icode :: MetaInfo -> S Int32 Source # icod_ :: MetaInfo -> S Int32 Source # value :: Int32 -> R MetaInfo Source #
EmbPrj RunMetaOccursCheck Source #
Methods icode :: RunMetaOccursCheck -> S Int32 Source # icod_ :: RunMetaOccursCheck -> S Int32 Source # value :: Int32 -> R RunMetaOccursCheck Source #
EmbPrj MetaPriority Source #
Methods icode :: MetaPriority -> S Int32 Source # icod_ :: MetaPriority -> S Int32 Source # value :: Int32 -> R MetaPriority Source #
EmbPrj MetaVariable Source #
Methods icode :: MetaVariable -> S Int32 Source # icod_ :: MetaVariable -> S Int32 Source # value :: Int32 -> R MetaVariable Source #
EmbPrj a => EmbPrj (Judgement a) Source #
Methods icode :: Judgement a -> S Int32 Source # icod_ :: Judgement a -> S Int32 Source # value :: Int32 -> R (Judgement a) Source #
EmbPrj a => EmbPrj (Closure a) Source #
Methods icode :: Closure a -> S Int32 Source # icod_ :: Closure a -> S Int32 Source # value :: Int32 -> R (Closure a) Source #