Name: clafer Version: 0.4.4 Synopsis: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot. Description: Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo, and MODELS group at IT University of Copenhagen. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, JavaScript, JSON) to allow for reasoning with existing tools. Homepage: http://clafer.org License: MIT License-file: LICENSE Author: Kacper Bak, Jimmy Liang, Michal Antkiewicz, Ed Zulkoski, Luke Michael Brown, Paulius Juodisius, Rafael Olaechea Maintainer: Michal Antkiewicz Stability: Experimental Category: Model Build-type: Simple tested-with: GHC == 7.10.3 , GHC == 8.0.1 Cabal-version: >= 1.22 data-files: README.md , CHANGES.md , logo.pdf , Makefile , ecore2clafer.jar , stack.yaml extra-source-files: src/Language/Clafer/clafer.css source-repository head type: git location: git://github.com/gsdlab/clafer.git Executable clafer build-tools: ghc >= 7.10.3 default-language: Haskell2010 main-is: clafer.hs hs-source-dirs: src-cmd if impl(ghc >= 8.0) ghc-options: -Wcompat -- -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances else build-depends: fail == 4.9.*, semigroups == 0.18.* build-depends: base >= 4.7.0.1 && < 5 , containers >= 0.5.5.1 , filepath >= 1.3.0.2 , process >= 1.2.0.0 , mtl >= 2.1.3.1 , cmdargs >= 0.10.12 , split >= 0.2.2 , clafer == 0.4.4 other-modules: Paths_clafer library build-tools: ghc >= 7.10.3 , alex >= 3.1.7 , happy >= 1.19.5 default-language: Haskell2010 if impl(ghc >= 8.0) ghc-options: -Wcompat -- -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances else build-depends: fail == 4.9.*, semigroups == 0.18.* build-depends: array >= 0.5.0.0 , base >= 4.7.0.1 && < 5 , bytestring >= 0.10.4.0 , containers >= 0.5.5.1 , directory >= 1.2.1.0 , filepath >= 1.3.0.2 , process >= 1.2.0.0 , transformers >= 0.3.0.0 , HTTP >= 4000.2.10 , mtl >= 2.1.3.1 , network >= 2.4.2.3 , parsec >= 3.1.5 , text >= 1.1.0.0 , aeson >= 0.11.1.2 , cmdargs >= 0.10.12 , data-stringmap >= 1.0.1.1 , executable-path >= 0.0.3 , file-embed >= 0.0.9 , json-builder >= 0.3 , lens >= 4.6.0.1 , lens-aeson >= 1.0.0.5 , network-uri >= 2.5.0.0 , string-conversions >= 0.3.0.3 , split >= 0.2.2 , transformers-compat >= 0.3 , mtl-compat >= 0.2.1 hs-source-dirs: src ghc-options: -Wall -fno-warn-orphans exposed-modules: Language.Clafer , Language.ClaferT , Language.Clafer.ClaferArgs , Language.Clafer.Comments , Language.Clafer.Common , Language.Clafer.Css , Language.Clafer.JSONMetaData , Language.Clafer.QNameUID , Language.Clafer.Front.AbsClafer , Language.Clafer.Front.ErrM , Language.Clafer.Front.LayoutResolver , Language.Clafer.Front.LexClafer , Language.Clafer.Front.ParClafer , Language.Clafer.Front.PrintClafer , Language.Clafer.Generator.Alloy , Language.Clafer.Generator.Choco , Language.Clafer.Generator.Concat , Language.Clafer.Generator.Graph , Language.Clafer.Generator.Html , Language.Clafer.Generator.Stats , Language.Clafer.Intermediate.Desugarer , Language.Clafer.Intermediate.Intclafer , Language.Clafer.Intermediate.Resolver , Language.Clafer.Intermediate.ResolverInheritance , Language.Clafer.Intermediate.ResolverName , Language.Clafer.Intermediate.ResolverType , Language.Clafer.Intermediate.ScopeAnalysis , Language.Clafer.Intermediate.SimpleScopeAnalyzer , Language.Clafer.Intermediate.StringAnalyzer , Language.Clafer.Intermediate.Tracing , Language.Clafer.Intermediate.Transformer , Language.Clafer.Intermediate.TypeSystem , Language.Clafer.Optimizer.Optimizer , Language.Clafer.SplitJoin , Paths_clafer other-modules: GetURL Test-Suite test-suite build-tools: ghc >= 7.10.3 default-language: Haskell2010 type: exitcode-stdio-1.0 main-is: test-suite.hs hs-source-dirs: test if impl(ghc >= 8.0) ghc-options: -Wcompat -- -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances else build-depends: fail == 4.9.*, semigroups == 0.18.* build-depends: base >= 4.7.0.1 && < 5 , containers >= 0.5.5.1 , directory >= 1.2.1.0 , filepath >= 1.3.0.2 , HUnit >= 1.2.5.2 , mtl >= 2.1.3.1 , QuickCheck >= 2.6 , data-stringmap >= 1.0.1.1 , lens >= 4.6.0.1 , lens-aeson >= 1.0.0.5 , tasty >= 0.10.1.2 , tasty-hunit >= 0.9.2 , tasty-th >= 0.1.3 , transformers-compat >= 0.3 , mtl-compat >= 0.2.1 , clafer == 0.4.4 ghc-options: -Wall other-modules: Functions , Suite.Positive , Suite.Negative , Suite.SimpleScopeAnalyser , Suite.Redefinition , Suite.TypeSystem Test-suite doctests build-tools: ghc >= 7.10.3 default-language: Haskell2010 type: exitcode-stdio-1.0 ghc-options: -threaded -Wall main-is: doctests.hs hs-source-dirs: test build-depends: base , doctest >= 0.10.1