clafer-0.3.5: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
Language.Clafer.Front.Mapper
mapModule :: Module -> ModuleSource
class Mappable n whereSource
Methods
mapNode :: n -> nSource
range :: n -> SpanSource
Instances