An attribute is a modifier for ArgInfo.
ModuleAgda-2.8.0.2Haskell2010
Agda.Syntax.Concrete.Attribute
Synopsis
- data Attribute
- data Attr
- type LensAttribute
- value relevanceAttributeTable
- value quantityAttributeTable
- value cohesionAttributeTable
- type Attributes
- value polarityAttributeTable
- value lockAttributeTable
- value attributesMap
- value stringToAttribute
- value exprToAttribute
- value setAttribute
- value setAttributes
- value setPristineRelevance
- value setPristineQuantity
- value setPristineCohesion
- value setPristinePolarity
- value setPristineLock
- value setPristineAttribute
- value setPristineAttributes
- value isRelevanceAttribute
- value isQuantityAttribute
- value isTacticAttribute
- value relevanceAttributes
- value quantityAttributes
- value tacticAttributes
- PackageAgda-2.8.0.2
- Exports27
- LanguageHaskell2010
- LicenceMIT
- SourceAttribute.hs
Parsed attribute.
Instances4Show, HasRange, KillRange, SetRange
type
type LensAttribute a = (LensRelevance a, LensQuantity a, LensCohesion a, LensModalPolarity a, LensLock a)(Conjunctive constraint.)
Modifiers for Relevance.
Modifiers for Quantity.
Information about attributes (attribute, range, printed representation).
This information is returned by the parser. Code that calls the parser should, if appropriate, complain if support for the given attributes has not been enabled. This can be taken care of by checkAttributes, which should not be called until after pragma options have been set.
Modifiers for Polarity.
Modifiers for Quantity.
Concrete syntax for all attributes.
Parsing a string into an attribute.
Parsing an expression into an attribute.
Setting an attribute (in e.g. an Arg). Overwrites previous value.
Setting some attributes in left-to-right order. Blindly overwrites previous settings.
Applying attributes only if they have not been set already.
Setting Relevance if unset.
Setting Quantity if unset.
Setting Cohesion if unset.
Setting ModalPolarity if unset.
Setting Lock if unset.
Setting an unset attribute (to e.g. an Arg).
Setting a list of unset attributes.