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 Int32 Source # icod_ :: KwRange -> S Int32 Source # value :: Int32 -> R KwRange Source #
Null KwRange Source #
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods empty :: KwRange Source # null :: KwRange -> Bool Source #
Show KwRange Source #
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods showsPrec :: Int -> KwRange -> ShowS # show :: KwRange -> String # showList :: [KwRange] -> ShowS #
NFData KwRange Source #
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods rnf :: KwRange -> () #
Eq KwRange Source #
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods (==) :: KwRange -> KwRange -> Bool # (/=) :: KwRange -> KwRange -> Bool #
Ord KwRange Source #
Instance details Defined in Agda.Syntax.Common.KeywordRange Methods compare :: KwRange -> KwRange -> Ordering # (<) :: KwRange -> KwRange -> Bool # (<=) :: KwRange -> KwRange -> Bool # (>) :: KwRange -> KwRange -> Bool # (>=) :: KwRange -> KwRange -> Bool # max :: KwRange -> KwRange -> KwRange # min :: KwRange -> KwRange -> KwRange #

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

Create a keyword range.