Distribution.ATS

Documentation

cleanATSCabal :: IO ()

atsUserHooks :: [ATSDependency] -> UserHooks

This generates user hooks for a Cabal distribution that has some ATS library dependencies. For an example of its use, see the Setup.hs of fast-arithmetic

atsLibUserHooks :: [ATSDependency] -> UserHooks

Same as atsUserHooks, but installs atslib as well.

fetchDependencies :: [ATSDependency] -> IO ()

Types

type ATSVersion = [Integer]

ATS library version to use, e.g. [0,3,8] for 0.3.8.

data ATSDependency

Constructors

ATSDependency

Fields

• _libName :: String

  Library name

• _filepath :: FilePath

  Directory to unpack library into

• _url :: String

  URL of tarball containing ATS library.

Libraries

libgmp :: ATSDependency

GMP bindings for ATS

intinf :: ATSDependency

Arbitrary-precision arithmetic library for ATS

atsPrelude :: ATSVersion -> ATSDependency

ATS prelude

atsContrib :: ATSVersion -> ATSDependency

Functions involving the compiler

fetchCompiler :: Maybe FilePath -> Version -> IO ()

setupCompiler :: Maybe FilePath -> Version -> IO ()

packageCompiler :: FilePath -> IO ()