clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Safe HaskellNone
LanguageHaskell2010

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 
AstAssertion Assertion 
AstGoal Goal 
AstAbstract Abstract 
AstElements Elements 
AstElement Element 
AstSuper Super 
AstReference Reference 
AstInit Init 
AstInitHow InitHow 
AstGCard GCard 
AstCard Card 
AstNCard NCard 
AstExInteger ExInteger 
AstName Name 
AstExp Exp 
AstDecl Decl 
AstQuant Quant 
AstEnumId EnumId 
AstModId ModId 
AstLocId LocId 

Instances

printAstNode :: Ast -> String Source