Language.ATS.Package

Documentation

packageCompiler :: FilePath -> IO ()

pkgToAction :: [IO ()] -> [String] -> Pkg -> Rules ()

fetchCompiler :: Version -> IO ()

setupCompiler :: Version -> IO ()

build

Arguments

:: [String]

Targets

-> IO ()

Build a set of targets

buildAll :: Maybe FilePath -> IO ()

Build in current directory or indicated directory

Types

newtype Version :: *

Constructors

Version [Integer]

Instances

Eq Version

Methods

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

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

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

Binary Version

Methods

put :: Version -> Put

get :: Get Version

putList :: [Version] -> Put

type Rep Version

type Rep Version = D1 * (MetaData "Version" "Development.Shake.ATS" "shake-ats-0.3.0.6-7jxp5XTbbaWI2dkbY4b9x7" True) (C1 * (MetaCons "Version" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Integer])))

data Pkg

Constructors

Pkg

Fields

• bin :: [Bin]

  List of binaries to be built

• test :: [Bin]

  List of test suites

• man :: Maybe Text

  Optional (markdown) manpages to be converted using pandoc.

• version :: Version

  Library version

• compiler :: Version

  Compiler version

• dependencies :: [Dependency]

  List of dependencies

• clib :: [Dependency]

  List of C dependencies

• ccompiler :: Text

  The C compiler we should use

• cflags :: [Text]

  List of flags to pass to the C compiler

• atsSource :: [Text]

  Directory containing ATS source to be compile to C.

• cDir :: Text

  Directory for generated C.

Instances

Eq Pkg

Methods

(==) :: Pkg -> Pkg -> Bool

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

Show Pkg

Methods

showsPrec :: Int -> Pkg -> ShowS

show :: Pkg -> String

showList :: [Pkg] -> ShowS

Generic Pkg

Associated Types

type Rep Pkg :: * -> *

Methods

from :: Pkg -> Rep Pkg x

to :: Rep Pkg x -> Pkg

Binary Pkg

Methods

put :: Pkg -> Put

get :: Get Pkg

putList :: [Pkg] -> Put

Interpret Pkg

Methods

autoWith :: InterpretOptions -> Type Pkg

type Rep Pkg

type Rep Pkg = D1 * (MetaData "Pkg" "Language.ATS.Package.Type" "ats-pkg-2.0.0.7-DICZkizH1VOAfhpt8DVZHo" False) (C1 * (MetaCons "Pkg" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "bin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Bin])) (S1 * (MetaSel (Just Symbol "test") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Bin]))) ((:*:) * (S1 * (MetaSel (Just Symbol "man") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Version)) (S1 * (MetaSel (Just Symbol "compiler") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Version))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "dependencies") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Dependency])) ((:*:) * (S1 * (MetaSel (Just Symbol "clib") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Dependency])) (S1 * (MetaSel (Just Symbol "ccompiler") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))) ((:*:) * (S1 * (MetaSel (Just Symbol "cflags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) ((:*:) * (S1 * (MetaSel (Just Symbol "atsSource") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) (S1 * (MetaSel (Just Symbol "cDir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))))))

data Bin

Constructors

Bin

Fields

• src :: Text

  Source file (should end with .dats)

• target :: Text

  Binary to be built

• libs :: [Text]

  Libraries to link against (e.g. [ "pthread" ])

• hsDeps :: [Text]

  Haskell source files to link against final generated ATS

• hs2ats :: [TargetPair]

  List of sources and targets for hs2ats

• gc :: Bool

  Whether to use the garbage collector

Instances

Eq Bin

Methods

(==) :: Bin -> Bin -> Bool

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

Show Bin

Methods

showsPrec :: Int -> Bin -> ShowS

show :: Bin -> String

showList :: [Bin] -> ShowS

Generic Bin

Associated Types

type Rep Bin :: * -> *

Methods

from :: Bin -> Rep Bin x

to :: Rep Bin x -> Bin

Binary Bin

Methods

put :: Bin -> Put

get :: Get Bin

putList :: [Bin] -> Put

Interpret Bin

Methods

autoWith :: InterpretOptions -> Type Bin

type Rep Bin

type Rep Bin

data Constraint

Constructors

Constraint

Fields

• pkgName :: Text
• lower :: Maybe Version
• upper :: Maybe Version

Instances

Eq Constraint

Methods

(==) :: Constraint -> Constraint -> Bool

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

Show Constraint

Methods

showsPrec :: Int -> Constraint -> ShowS

show :: Constraint -> String

showList :: [Constraint] -> ShowS

Generic Constraint

Associated Types

type Rep Constraint :: * -> *

Methods

from :: Constraint -> Rep Constraint x

to :: Rep Constraint x -> Constraint

Interpret Constraint

Methods

autoWith :: InterpretOptions -> Type Constraint

type Rep Constraint

type Rep Constraint = D1 * (MetaData "Constraint" "Language.ATS.Package.Type" "ats-pkg-2.0.0.7-DICZkizH1VOAfhpt8DVZHo" False) (C1 * (MetaCons "Constraint" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "pkgName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) ((:*:) * (S1 * (MetaSel (Just Symbol "lower") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Version))) (S1 * (MetaSel (Just Symbol "upper") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Version))))))

data Dependency

Type for a dependency

Constructors

Dependency

Fields

• libName :: Text

  Library name, e.g.

• dir :: Text

  Directory we should unpack to

• url :: Text

  Url pointing to tarball

• libVersion :: Version

Instances

Eq Dependency

Methods

(==) :: Dependency -> Dependency -> Bool

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

Show Dependency

Methods

showsPrec :: Int -> Dependency -> ShowS

show :: Dependency -> String

showList :: [Dependency] -> ShowS

Generic Dependency

Associated Types

type Rep Dependency :: * -> *

Methods

from :: Dependency -> Rep Dependency x

to :: Rep Dependency x -> Dependency

Binary Dependency

Methods

put :: Dependency -> Put

get :: Get Dependency

putList :: [Dependency] -> Put

Interpret Dependency

Methods

autoWith :: InterpretOptions -> Type Dependency

type Rep Dependency

type Rep Dependency = D1 * (MetaData "Dependency" "Language.ATS.Package.Type" "ats-pkg-2.0.0.7-DICZkizH1VOAfhpt8DVZHo" False) (C1 * (MetaCons "Dependency" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "libName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "dir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "url") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "libVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Version)))))

Lenses

dirLens :: Lens' Dependency Text