Language.Clafer.Intermediate.Tracing

Documentation

traceIrModule :: IModule -> Map Span [Ir]

traceAstModule :: Module -> Map Span [Ast]

data Ast

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

Eq Ast

Methods

(==) :: Ast -> Ast -> Bool

(/=) :: Ast -> Ast -> Bool

Show Ast

Methods

showsPrec :: Int -> Ast -> ShowS

show :: Ast -> String

showList :: [Ast] -> ShowS

printAstNode :: Ast -> String