@hackage / clafer

Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Latest0.4.5

Dependencies

library:clafer (28 dependencies)

@hackage / json-builder Data structure agnostic JSON serialization
- Version: >=0.3
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=4.6.0.1
- License: BSD-2-Clause
@hackage / network-uri URI manipulation
- Version: >=2.5.0.0
- License: BSD-3-Clause
@hackage / fail Forward-compatible MonadFail class
- Version: >=4.9 && <4.10
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7.0.1 && <5
- License: BSD-3-Clause
@hackage / mtl-compat Backported Control.Monad.Except module from mtl
- Version: >=0.2.1
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.3.0.2
- License: BSD-3-Clause
@hackage / file-embed Use Template Haskell to embed file contents directly.
- Version: >=0.0.9
- License: BSD-2-Clause
@hackage / cmdargs Command line argument processing
- Version: >=0.10.12
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5.0.0
- License: BSD-3-Clause
@hackage / transformers-compat A small compatibility shim for the transformers library
- Version: >=0.3
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1.3.1
- License: BSD-3-Clause
@hackage / data-stringmap An efficient implementation of maps from strings to arbitrary values
- Version: >=1.0.1.1
- License: MIT
@hackage / split Combinator library for splitting lists.
- Version: >=0.2.2
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.1.0.0
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.3.0.0
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=0.11.1.2
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.5.1
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.2.0.0
- License: BSD-3-Clause
@hackage / network Low-level networking interface
- Version: >=2.4.2.3
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.4.0
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1.5
- License: BSD-2-Clause
@hackage / HTTP A library for client-side HTTP
- Version: >=4000.2.10
- License: BSD-3-Clause
@hackage / lens-aeson Law-abiding lenses for aeson
- Version: >=1.0.0.5
- License: MIT
@hackage / semigroups Anything that associates
- Version: >=0.18 && <0.19
- License: BSD-3-Clause
@hackage / executable-path Finding out the full path of the executable.
- Version: >=0.0.3
- License: LicenseRef-PublicDomain
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.1.0
- License: BSD-3-Clause
@hackage / string-conversions Simplifies dealing with different types for strings
- Version: >=0.3.0.3
- License: BSD-3-Clause

executable:clafer (10 dependencies)

test:doctests (2 dependencies)

test:test-suite (18 dependencies)