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

Safe Haskell	None

Language.Clafer.Intermediate.Transformer

Documentation

transModule :: IModule -> IModule Source

transElement :: IElement -> IElement Source

transClafer :: IClafer -> IClafer Source

transPExp :: Bool -> PExp -> PExp Source

transIExp :: IType -> IExp -> IExp Source