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

Safe Haskell | None
Language | Haskell2010

Agda.TypeChecking.Serialise.Instances.Highlighting

Contents

- Orphan instances

# Documentation

# Orphan instances

EmbPrj Range # |
Methods icode :: Range -> S Int32 # icod_ :: Range -> S Int32 # value :: Int32 -> R Range #
EmbPrj CompressedFile # |
Methods icode :: CompressedFile -> S Int32 # icod_ :: CompressedFile -> S Int32 # value :: Int32 -> R CompressedFile #
EmbPrj Aspects # |
Methods icode :: Aspects -> S Int32 # icod_ :: Aspects -> S Int32 # value :: Int32 -> R Aspects #
EmbPrj OtherAspect # |
Methods icode :: OtherAspect -> S Int32 # icod_ :: OtherAspect -> S Int32 # value :: Int32 -> R OtherAspect #
EmbPrj NameKind # |
Methods icode :: NameKind -> S Int32 # icod_ :: NameKind -> S Int32 # value :: Int32 -> R NameKind #
EmbPrj Aspect # |
Methods icode :: Aspect -> S Int32 # icod_ :: Aspect -> S Int32 # value :: Int32 -> R Aspect #