Agda-2.5.2: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Serialise.Instances.Highlighting
Contents
Methods
icode :: Range -> S Int32 #
icod_ :: Range -> S Int32 #
value :: Int32 -> R Range #
icode :: CompressedFile -> S Int32 #
icod_ :: CompressedFile -> S Int32 #
value :: Int32 -> R CompressedFile #
icode :: Aspects -> S Int32 #
icod_ :: Aspects -> S Int32 #
value :: Int32 -> R Aspects #
icode :: OtherAspect -> S Int32 #
icod_ :: OtherAspect -> S Int32 #
value :: Int32 -> R OtherAspect #
icode :: NameKind -> S Int32 #
icod_ :: NameKind -> S Int32 #
value :: Int32 -> R NameKind #
icode :: Aspect -> S Int32 #
icod_ :: Aspect -> S Int32 #
value :: Int32 -> R Aspect #