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

EmbPrj Aspects Source # 
Instance details

EmbPrj DefinitionSite Source # 
Instance details

EmbPrj NameKind Source # 
Instance details

EmbPrj OtherAspect Source # 
Instance details

EmbPrj TokenBased Source # 
Instance details

EmbPrj Range Source # 
Instance details

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

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