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

Safe Haskell | None
Language | Haskell2010

Agda.Syntax.Common.KeywordRange

Description

A abstract `Range` type dedicated to keyword occurrences in the source.

Synopsis

- data KwRange
- kwRange :: HasRange a => a -> KwRange

# Documentation

data KwRange Source #

Range dedicated to a keyword or fixed token sequence.

Motivation: by lacking a `SetRange` instance we indicate that it cannot be updated.

#### Instances

Instances details

Pretty KwRange Source # |
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods pretty :: KwRange -> Doc Source # prettyPrec :: Int -> KwRange -> Doc Source # prettyList :: [KwRange] -> Doc Source #
HasRange KwRange Source # |
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods getRange :: KwRange -> Range Source #
KillRange KwRange Source # |
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods killRange :: KillRangeT KwRange Source #
EmbPrj KwRange Source # |
Instance details Defined in Agda.TypeChecking.Serialise.Instances.Common Methods icode :: KwRange -> S Word32 Source # icod_ :: KwRange -> S Word32 Source # value :: Word32 -> R KwRange Source #
Null KwRange Source # |
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods empty :: KwRange Source # null :: KwRange -> Bool Source #
NFData KwRange Source # |
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods rnf :: KwRange -> () Source #
Show KwRange Source # |
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods showsPrec :: Int -> KwRange -> ShowS Source # show :: KwRange -> String Source # showList :: [KwRange] -> ShowS Source #
Eq KwRange Source # |
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods (==) :: KwRange -> KwRange -> Bool Source # (/=) :: KwRange -> KwRange -> Bool Source #
Ord KwRange Source # |
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods compare :: KwRange -> KwRange -> Ordering Source # (<) :: KwRange -> KwRange -> Bool Source # (<=) :: KwRange -> KwRange -> Bool Source # (>) :: KwRange -> KwRange -> Bool Source # (>=) :: KwRange -> KwRange -> Bool Source # max :: KwRange -> KwRange -> KwRange Source # min :: KwRange -> KwRange -> KwRange Source #

kwRange :: HasRange a => a -> KwRange Source #

Create a keyword range.