Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances.Highlighting

Contents

Documentation

Orphan instances

EmbPrj Range Source #
Methods icode :: Range -> S Int32 Source # icod_ :: Range -> S Int32 Source # value :: Int32 -> R Range Source #
EmbPrj CompressedFile Source #
Methods icode :: CompressedFile -> S Int32 Source # icod_ :: CompressedFile -> S Int32 Source # value :: Int32 -> R CompressedFile Source #
EmbPrj TokenBased Source #
Methods icode :: TokenBased -> S Int32 Source # icod_ :: TokenBased -> S Int32 Source # value :: Int32 -> R TokenBased Source #
EmbPrj DefinitionSite Source #
Methods icode :: DefinitionSite -> S Int32 Source # icod_ :: DefinitionSite -> S Int32 Source # value :: Int32 -> R DefinitionSite Source #
EmbPrj Aspects Source #
Methods icode :: Aspects -> S Int32 Source # icod_ :: Aspects -> S Int32 Source # value :: Int32 -> R Aspects Source #
EmbPrj OtherAspect Source #
Methods icode :: OtherAspect -> S Int32 Source # icod_ :: OtherAspect -> S Int32 Source # value :: Int32 -> R OtherAspect Source #
EmbPrj NameKind Source #
Methods icode :: NameKind -> S Int32 Source # icod_ :: NameKind -> S Int32 Source # value :: Int32 -> R NameKind Source #
EmbPrj Aspect Source #
Methods icode :: Aspect -> S Int32 Source # icod_ :: Aspect -> S Int32 Source # value :: Int32 -> R Aspect Source #