clafer-0.3.7: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone

Language.Clafer.Intermediate.Tracing

Documentation

traceIrModule :: IModule -> Map Span [Ir]Source

traceAstModule :: Module -> Map Span [Ast]Source

data Ast Source

Constructors

AstModule Module 
AstDeclaration Declaration 
AstClafer Clafer 
AstConstraint Constraint 
AstSoftConstraint SoftConstraint 
AstGoal Goal 
AstAbstract Abstract 
AstElements Elements 
AstElement Element 
AstSuper Super 
AstSuperHow SuperHow 
AstInit Init 
AstInitHow InitHow 
AstGCard GCard 
AstCard Card 
AstNCard NCard 
AstExInteger ExInteger 
AstName Name 
AstExp Exp 
AstSetExp SetExp 
AstDecl Decl 
AstQuant Quant 
AstEnumId EnumId 
AstModId ModId 
AstLocId LocId 

Instances

Eq Ast 
Show Ast