hs2ats: Create ATS types from Haskell types

[ ats, bsd3, haskell, language, library, program ] [ Propose Tags ] [ Report a vulnerability ]

This package enables scanning Haskell source files for data types and then generating ATS types from them.


[Skip to Readme]

Flags

Manual Flags

NameDescriptionDefault
development

Enable `-Werror`

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.0.1, 0.2.0.0, 0.2.0.1, 0.2.0.3, 0.2.0.4, 0.2.1.0, 0.2.1.1, 0.2.1.2, 0.2.1.3, 0.2.1.4, 0.2.1.5, 0.2.1.6, 0.2.1.7, 0.2.1.8, 0.2.1.9, 0.2.1.10, 0.3.0.0, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.3.0.4, 0.4.0.0, 0.5.0.0, 0.5.0.1
Dependencies ansi-wl-pprint, base (>=4.7 && <5), cases, composition-prelude, cpphs, deepseq, haskell-src-exts, hs2ats, language-ats (>0.2.0.5 && <=0.3.0.0), lens, optparse-generic, text [details]
License BSD-3-Clause
Copyright Copyright: (c) 2018 Vanessa McHale
Author Vanessa McHale
Maintainer vamchale@gmail.com
Revised Revision 3 made by vmchale at 2018-07-28T05:21:37Z
Category Language, Haskell, ATS
Home page https://github.com/vmchale/hs2ats#readme
Source repo head: git clone https://github.com/vmchale/hs2ats
Uploaded by vmchale at 2018-02-12T02:23:23Z
Distributions
Reverse Dependencies 1 direct, 1 indirect [details]
Executables hs2ats
Downloads 12605 total (107 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-02-12 [all 1 reports]

Readme for hs2ats-0.2.1.5

[back to package description]

hs2ats

This is a tool to convert Haskell types to ATS types. So far it works quite well, but documentation is sparse.

Example use:

hs2ats --src DataTypes.hs --target generated_types.sats

Note also that hs2ats does not preserve strictness semantics.