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

Safe HaskellNone
LanguageHaskell2010

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 #