clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Safe Haskell	None
Language	Haskell2010

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