Safe Haskell | None |
---|---|
Language | Haskell98 |
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 position of an expression or the concrete syntax that an internal expression originates from.
- data MetaInfo = MetaInfo {}
- emptyMetaInfo :: MetaInfo
- newtype ExprInfo = ExprRange Range
- exprNoRange :: ExprInfo
- data ModuleInfo = ModuleInfo {}
- newtype LetInfo = LetRange Range
- data DefInfo = DefInfo {}
- mkDefInfo :: Name -> Fixity' -> Access -> IsAbstract -> Range -> DefInfo
- mkDefInfoInstance :: Name -> Fixity' -> Access -> IsAbstract -> IsInstance -> Range -> DefInfo
- data DeclInfo = DeclInfo {}
- data MutualInfo = MutualInfo {}
- newtype LHSInfo = LHSRange Range
- data PatInfo
- patNoRange :: PatInfo
- data ConPatInfo = ConPatInfo {
- patImplicit :: Bool
- patInfo :: PatInfo
Documentation
data MetaInfo
Constructors
MetaInfo | |
Fields
|
newtype ExprInfo
data ModuleInfo
Constructors
ModuleInfo | |
Fields
|
data DefInfo
Constructors
DefInfo | |
Fields
|
mkDefInfoInstance :: Name -> Fixity' -> Access -> IsAbstract -> IsInstance -> Range -> DefInfo
Same as mkDefInfo
but where we can also give the IsInstance
data DeclInfo
data PatInfo
For a general pattern we can either remember just the source code position or the entire concrete pattern it came from.
Empty range for patterns.
data ConPatInfo
Constructor pattern info.
Constructors
ConPatInfo | |
Fields
|