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

Safe HaskellSafe-Inferred

Language.Clafer.Intermediate.Transformer

Documentation

transModule :: IModule -> IModuleSource

transElement :: IElement -> IElementSource

transClafer :: IClafer -> IClaferSource

transPExp :: Bool -> PExp -> PExpSource

transIExp :: IType -> IExp -> IExpSource