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

Safe HaskellSafe-Inferred

Language.Clafer.Front.Mapper

Documentation

mapModule :: Module -> ModuleSource

class Mappable n whereSource

Methods

mapNode :: n -> nSource

range :: n -> SpanSource

Instances