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

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Intermediate.Desugarer

Description

Transforms an Abstract Syntax Tree (AST) from Language.Clafer.Front.Absclafer into Intermediate representation (IR) from Language.Clafer.Intermediate.Intclafer of a Clafer model.

Synopsis

Documentation

desugarModule :: Module -> IModule Source

Transform the AST into the intermediate representation (IR)

desugarEnums :: Declaration -> [Declaration] Source

desugars enumeration to abstract and global singleton features

desugarOp :: (a -> PExp) -> String -> [a] -> IExp Source