Create ATS types from Haskell types.

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

hs2ats

This is a tool to convert Haskell types to ATS types.

Example use:

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

Note that hs2ats does not preserve strictness semantics.

Installation

Install cabal. Then:

cabal new-install hs2ats