clafer-0.4.5: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
Language.Clafer.Comments
getOptions :: InputModel -> String Source #
getFragments :: InputModel -> [Int] Source #
getStats :: InputModel -> [Int] Source #
getGraph :: InputModel -> [Int] Source #
getComments :: InputModel -> [(Span, String)] Source #