Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Syntax.Common.KeywordRange

Description

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

Synopsis

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 -> () #

Show KwRange Source # 
Instance details

Defined in Agda.Syntax.Common.KeywordRange

Methods

showsPrec :: Int -> KwRange -> ShowS #

show :: KwRange -> String #

showList :: [KwRange] -> ShowS #

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.