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 #
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.