Safe Haskell | Safe-Inferred |
---|
Abstract syntax of the Clafer language.
Documentation
newtype PosInteger Source
PosInteger ((Int, Int), String) |
Eq PosInteger | |
Ord PosInteger | |
Show PosInteger | |
Mappable PosInteger | |
Print PosInteger |
PosDouble ((Int, Int), String) |
PosString ((Int, Int), String) |
PosIdent ((Int, Int), String) |
data Declaration Source
EnumDecl PosIdent [EnumId] | |
PosEnumDecl Span PosIdent [EnumId] | |
ElementDecl Element | |
PosElementDecl Span Element |
Eq Declaration | |
Ord Declaration | |
Show Declaration | |
Mappable Declaration | |
Print Declaration |
data Constraint Source
Eq Constraint | |
Ord Constraint | |
Show Constraint | |
Mappable Constraint | |
Print Constraint |
data SoftConstraint Source