| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Agda.Syntax.Concrete.Attribute
Description
Synopsis
- data Attribute
- type LensAttribute a = (LensRelevance a, LensQuantity a, LensCohesion a, LensLock a)
- relevanceAttributeTable :: [(String, Relevance)]
- quantityAttributeTable :: [(String, Quantity)]
- cohesionAttributeTable :: [(String, Cohesion)]
- type CohesionAttributes = [(String, Range)]
- lockAttributeTable :: [(String, Lock)]
- attributesMap :: Map String Attribute
- stringToAttribute :: String -> Maybe Attribute
- exprToAttribute :: Expr -> Maybe Attribute
- setAttribute :: LensAttribute a => Attribute -> a -> a
- setAttributes :: LensAttribute a => [Attribute] -> a -> a
- setPristineRelevance :: LensRelevance a => Relevance -> a -> Maybe a
- setPristineQuantity :: LensQuantity a => Quantity -> a -> Maybe a
- setPristineCohesion :: LensCohesion a => Cohesion -> a -> Maybe a
- setPristineLock :: LensLock a => Lock -> a -> Maybe a
- setPristineAttribute :: LensAttribute a => Attribute -> a -> Maybe a
- setPristineAttributes :: LensAttribute a => [Attribute] -> a -> Maybe a
- isRelevanceAttribute :: Attribute -> Maybe Relevance
- isQuantityAttribute :: Attribute -> Maybe Quantity
- isTacticAttribute :: Attribute -> Maybe Expr
- relevanceAttributes :: [Attribute] -> [Attribute]
- quantityAttributes :: [Attribute] -> [Attribute]
- tacticAttributes :: [Attribute] -> [Attribute]
Documentation
An attribute is a modifier for ArgInfo.
Constructors
| RelevanceAttribute Relevance | |
| QuantityAttribute Quantity | |
| TacticAttribute Expr | |
| CohesionAttribute Cohesion | |
| LockAttribute Lock |
type LensAttribute a = (LensRelevance a, LensQuantity a, LensCohesion a, LensLock a) Source #
(Conjunctive constraint.)
cohesionAttributeTable :: [(String, Cohesion)] Source #
type CohesionAttributes = [(String, Range)] Source #
Information about cohesion attributes (printed representations and positions).
This information is returned by the parser. Code that calls the
parser should, if appropriate, complain if support for cohesion
attributes has not been enabled and the returned list is non-empty.
This can be taken care of by
checkCohesionAttributes,
which should not be called until after pragma options have been set.
setAttribute :: LensAttribute a => Attribute -> a -> a Source #
Setting an attribute (in e.g. an Arg). Overwrites previous value.
setAttributes :: LensAttribute a => [Attribute] -> a -> a Source #
Setting some attributes in left-to-right order. Blindly overwrites previous settings.
Applying attributes only if they have not been set already.
setPristineRelevance :: LensRelevance a => Relevance -> a -> Maybe a Source #
Setting Relevance if unset.
setPristineQuantity :: LensQuantity a => Quantity -> a -> Maybe a Source #
Setting Quantity if unset.
setPristineCohesion :: LensCohesion a => Cohesion -> a -> Maybe a Source #
Setting Cohesion if unset.
setPristineAttribute :: LensAttribute a => Attribute -> a -> Maybe a Source #
Setting an unset attribute (to e.g. an Arg).
setPristineAttributes :: LensAttribute a => [Attribute] -> a -> Maybe a Source #
Setting a list of unset attributes.
Filtering attributes
relevanceAttributes :: [Attribute] -> [Attribute] Source #
quantityAttributes :: [Attribute] -> [Attribute] Source #
tacticAttributes :: [Attribute] -> [Attribute] Source #