Agda-2.6.2.2: A dependently typed functional programming language and proof assistant

Safe Haskell | Safe-Inferred
Language | Haskell2010

Agda.TypeChecking.Serialise.Instances.Highlighting

Contents

- Orphan instances

# 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 #