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 :: ConfigFlags -> [ATSDependency] -> IO ()

Types

data Version :: *

A Version represents the version of a software entity.

Instances of Eq and Ord are provided, which gives exact equality and lexicographic ordering of the version number components (i.e. 2.1 > 2.0, 1.2.3 > 1.2.2, etc.).

This type is opaque and distinct from the Version type in Data.Version since Cabal-2.0. The difference extends to the Binary instance using a different (and more compact) encoding.

Since: 2.0.0.2

Instances

Eq Version

Methods

(==) :: Version -> Version -> Bool

(/=) :: Version -> Version -> Bool

Data Version

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Version -> c Version

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Version

toConstr :: Version -> Constr

dataTypeOf :: Version -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Version)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Version)

gmapT :: (forall b. Data b => b -> b) -> Version -> Version

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Version -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Version -> r

gmapQ :: (forall d. Data d => d -> u) -> Version -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Version -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Version -> m Version

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Version -> m Version

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Version -> m Version

Ord Version

Methods

compare :: Version -> Version -> Ordering

(<) :: Version -> Version -> Bool

(<=) :: Version -> Version -> Bool

(>) :: Version -> Version -> Bool

(>=) :: Version -> Version -> Bool

max :: Version -> Version -> Version

min :: Version -> Version -> Version

Read Version

Methods

readsPrec :: Int -> ReadS Version

readList :: ReadS [Version]

readPrec :: ReadPrec Version

readListPrec :: ReadPrec [Version]

Show Version

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

Generic Version

Associated Types

type Rep Version :: * -> *

Methods

from :: Version -> Rep Version x

to :: Rep Version x -> Version

Text Version

Methods

disp :: Version -> Doc

parse :: ReadP r Version

Binary Version

Methods

put :: Version -> Put

get :: Get Version

putList :: [Version] -> Put

NFData Version

Methods

rnf :: Version -> ()

type Rep Version

type Rep Version = D1 * (MetaData "Version" "Distribution.Version" "Cabal-2.0.1.0" False) ((:+:) * (C1 * (MetaCons "PV0" PrefixI False) (S1 * (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 * Word64))) (C1 * (MetaCons "PV1" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 * Int)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Int])))))

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 :: Version -> ATSDependency

ATS prelude

atsContrib :: Version -> ATSDependency

Cabal helper functions

cabalHooks :: UserHooks

atsPolyglotBuild :: IO ()

Functions involving the compiler

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

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

packageCompiler :: FilePath -> IO ()