| Safe Haskell | None |
|---|
Agda.Syntax.Info
Description
An info object contains additional information about a piece of abstract syntax that isn't part of the actual syntax. For instance, it might contain the source code posisiton of an expression or the concrete syntax that an internal expression originates from.
- data Info = Nope
- data MetaInfo = MetaInfo {}
- emptyMetaInfo :: MetaInfo
- data ExprInfo
- = ExprRange Range
- | ExprSource Range (Precedence -> Expr)
- data ModuleInfo = ModuleInfo {}
- newtype LetInfo = LetRange Range
- data DefInfo = DefInfo {}
- mkDefInfo :: Name -> Fixity' -> Access -> IsAbstract -> Range -> DefInfo
- data DeclInfo = DeclInfo {}
- data MutualInfo = MutualInfo {}
- newtype LHSInfo = LHSRange Range
- data PatInfo
Documentation
Constructors
| MetaInfo | |
Fields
| |
For a general expression we can either remember just the source code position or the entire concrete expression it came from.
Constructors
| ExprRange Range | |
| ExprSource Range (Precedence -> Expr) | Even if we store the original expression we have to know whether to put parenthesis around it. |
data ModuleInfo Source
Constructors
| ModuleInfo | |
Fields | |
Constructors
| DefInfo | |
Fields
| |
data MutualInfo Source
Constructors
| MutualInfo | |
Fields
| |