Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.Clafer.Front.Absclafer
Documentation
class Spannable n where Source
Instances
newtype PosInteger Source
Constructors
PosInteger ((Int, Int), String) |
Constructors
Module Span [Declaration] |
data Declaration Source
data Constraint Source
Constructors
Constraint Span [Exp] |
data SoftConstraint Source
Constructors
SoftConstraint Span [Exp] |
Constructors
AbstractEmpty Span | |
Abstract Span |
Constructors
ElementsEmpty Span | |
ElementsList Span [Element] |
Constructors
SuperColon Span | |
SuperArrow Span | |
SuperMArrow Span |
Constructors
NCard Span PosInteger ExInteger |
Constructors
ExIntegerAst Span | |
ExIntegerNum Span PosInteger |
Constructors
Constructors
EnumIdIdent Span PosIdent |
Constructors
ModIdIdent Span PosIdent |