@hackage hs2ats0.2.1.5

Create ATS types from Haskell types

  • Installation

  • Dependencies (0)

  • Dependents (1)

    @hackage/shake-ats

    • Package Flags

      development
       (off by default)

      Enable `-Werror`

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.