clafer-0.4.4: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
Language.Clafer.Intermediate.Tracing
traceIrModule :: IModule -> Map Span [Ir] Source #
traceAstModule :: Module -> Map Span [Ast] Source #
data Ast Source #
Constructors
Instances
Methods
(==) :: Ast -> Ast -> Bool #
(/=) :: Ast -> Ast -> Bool #
showsPrec :: Int -> Ast -> ShowS #
show :: Ast -> String #
showList :: [Ast] -> ShowS #
printAstNode :: Ast -> String Source #