Agda-2.7.0: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
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

HasRange KwRange Source # 
Instance details

Defined in Agda.Syntax.Common.KeywordRange

KillRange KwRange Source # 
Instance details

Defined in Agda.Syntax.Common.KeywordRange

EmbPrj KwRange Source # 
Instance details

Defined in Agda.TypeChecking.Serialise.Instances.Common

Null KwRange Source # 
Instance details

Defined in Agda.Syntax.Common.KeywordRange

Show KwRange Source # 
Instance details

Defined in Agda.Syntax.Common.KeywordRange

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

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

Create a keyword range.