| Safe Haskell | None |
|---|---|
| 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)]
- 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 #
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 #