Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances.Highlighting

Contents

Orphan instances

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