Agda-2.6.2.1: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Highlighting

Orphan instances

EmbPrj Aspect Source # 
Instance details

Methods

icode :: Aspect -> S Int32 Source #

icod_ :: Aspect -> S Int32 Source #

value :: Int32 -> R Aspect Source #

EmbPrj Aspects Source # 
Instance details

Methods

icode :: Aspects -> S Int32 Source #

icod_ :: Aspects -> S Int32 Source #

value :: Int32 -> R Aspects Source #

EmbPrj DefinitionSite Source # 
Instance details

Methods

icode :: DefinitionSite -> S Int32 Source #

icod_ :: DefinitionSite -> S Int32 Source #

value :: Int32 -> R DefinitionSite Source #

EmbPrj NameKind Source # 
Instance details

Methods

icode :: NameKind -> S Int32 Source #

icod_ :: NameKind -> S Int32 Source #

value :: Int32 -> R NameKind Source #

EmbPrj OtherAspect Source # 
Instance details

Methods

icode :: OtherAspect -> S Int32 Source #

icod_ :: OtherAspect -> S Int32 Source #

value :: Int32 -> R OtherAspect Source #

EmbPrj TokenBased Source # 
Instance details

Methods

icode :: TokenBased -> S Int32 Source #

icod_ :: TokenBased -> S Int32 Source #

value :: Int32 -> R TokenBased Source #

EmbPrj Range Source # 
Instance details

Methods

icode :: Range -> S Int32 Source #

icod_ :: Range -> S Int32 Source #

value :: Int32 -> R Range Source #

EmbPrj a => EmbPrj (PairInt a) Source # 
Instance details

Methods

icode :: PairInt a -> S Int32 Source #

icod_ :: PairInt a -> S Int32 Source #

value :: Int32 -> R (PairInt a) Source #

EmbPrj a => EmbPrj (RangeMap a) Source # 
Instance details

Methods

icode :: RangeMap a -> S Int32 Source #

icod_ :: RangeMap a -> S Int32 Source #

value :: Int32 -> R (RangeMap a) Source #