clafer-0.4.5: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
Language.Clafer.Intermediate.Transformer
transModule :: IModule -> IModule Source #
transElement :: IElement -> IElement Source #
transClafer :: IClafer -> IClafer Source #
transPExp :: Bool -> PExp -> PExp Source #
transIExp :: IType -> IExp -> IExp Source #