call-alloy: A simple library to call Alloy given a specification

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Please see the README on GitHub at

[Skip to Readme]


Versions,,,,,,,,,,,, 0.3,,,, 0.4,,,, 0.4.1,, 0.5,
Change log
Dependencies base (>=4.7 && <5), bytestring (>=0.10 && <0.12), containers (>=0.6 && <0.7), directory (>=1.3 && <1.4), file-embed (>=0.0.11 && <0.1), filepath (>=1.4 && <1.5), hashable (>=1.2 && <1.4), lens (>=4.17 && <4.20), mtl (>=2.2 && <2.3), process (>=1.6 && <1.7), split (>=0.2 && <0.3), trifecta (>=2 && <2.2), unix (>=2.7 && <2.8), Win32 (>=2.5 && <2.11) [details]
License MIT
Copyright 2019-2020 Marcellus Siegburg
Author Marcellus Siegburg
Category Language
Home page
Bug tracker
Source repo head: git clone
Uploaded by marcellus at 2020-12-10T16:21:16Z


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Readme for call-alloy-

[back to package description]

call-alloy Build Status

This is a simple library to call Alloy given a specification. This package includes a simple Java Library to make an API call to the Alloy Library. Alloy is included (as JAR file) within this library as well.


Please note

The Java interface to get Alloy instances as well as the Alloy Jar file are backed into this library.

On every call the application checks the XdgDirectory if the libraries exist in a current version. If not they are placed there together with a version identifier.