Safe Haskell	None
Language	Haskell2010

Mikan.Syntax.Concrete.Attribute

Description

Synopsis

data Attribute = TacticAttribute (Ranged Expr)
data Attr = Attr {
- attrRange :: Range
- attrName :: String
- theAttr :: Attribute
}
type Attributes = [Attr]
attributesMap :: Map String Attribute
stringToAttribute :: String -> Maybe Attribute
exprToAttribute :: Range -> Expr -> Maybe Attribute

Documentation

data Attribute Source #

An attribute is a modifier for a function argument.

Currently only tactic attributes are supported, so the functions below look a bit silly.

Constructors

TacticAttribute (Ranged Expr)

Instances

Instances details

HasRange Attribute Source #
Instance details Defined in Mikan.Syntax.Concrete.Attribute Methods getRange :: Attribute -> Range Source #
KillRange Attribute Source #
Instance details Defined in Mikan.Syntax.Concrete.Attribute Methods killRange :: KillRangeT Attribute Source #
SetRange Attribute Source #
Instance details Defined in Mikan.Syntax.Concrete.Attribute Methods setRange :: Range -> Attribute -> Attribute Source #
Show Attribute Source #
Instance details Defined in Mikan.Syntax.Concrete.Attribute Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #

data Attr Source #

Parsed attribute.

Constructors

Attr
Fields attrRange :: Range Range includes the @. attrName :: String Concrete, user written attribute for error reporting, not including the "@". theAttr :: Attribute Parsed attribute.

Instances

Instances details

HasRange Attr Source #
Instance details Defined in Mikan.Syntax.Concrete.Attribute Methods getRange :: Attr -> Range Source #
KillRange Attr Source #
Instance details Defined in Mikan.Syntax.Concrete.Attribute Methods killRange :: KillRangeT Attr Source #
SetRange Attr Source #
Instance details Defined in Mikan.Syntax.Concrete.Attribute Methods setRange :: Range -> Attr -> Attr Source #
Show Attr Source #
Instance details Defined in Mikan.Syntax.Concrete.Attribute Methods showsPrec :: Int -> Attr -> ShowS # show :: Attr -> String # showList :: [Attr] -> ShowS #

type Attributes = [Attr] Source #

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.

attributesMap :: Map String Attribute Source #

Concrete syntax for all attributes.

stringToAttribute :: String -> Maybe Attribute Source #

Parsing a string into an attribute.

exprToAttribute :: Range -> Expr -> Maybe Attribute Source #

Parsing an expression into an attribute.