Safe Haskell	None
Language	Haskell2010

Language.ATS.Package

Contents

Types
Lenses

Synopsis

Documentation

packageCompiler :: FilePath -> IO () Source #

pkgToAction :: [String] -> Pkg -> Rules () Source #

fetchCompiler :: Version -> IO () Source #

setupCompiler :: Version -> IO () Source #

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 #

data Pkg Source #

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 Source #
Methods (==) :: Pkg -> Pkg -> Bool # (/=) :: Pkg -> Pkg -> Bool #
Show Pkg Source #
Methods showsPrec :: Int -> Pkg -> ShowS # show :: Pkg -> String # showList :: [Pkg] -> ShowS #
Generic Pkg Source #
Associated Types type Rep Pkg :: * -> * # Methods from :: Pkg -> Rep Pkg x # to :: Rep Pkg x -> Pkg #
Interpret Pkg Source #
Methods autoWith :: InterpretOptions -> Type Pkg #
type Rep Pkg Source #
type Rep Pkg = D1 * (MetaData "Pkg" "Language.ATS.Package.Type" "ats-pkg-1.4.0.6-LfhCGYEdMGZEk3YV3mE9bA" 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 Source #

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" ]`) gc :: Bool Whether to use the garbage collector

Instances

Eq Bin Source #
Methods (==) :: Bin -> Bin -> Bool # (/=) :: Bin -> Bin -> Bool #
Show Bin Source #
Methods showsPrec :: Int -> Bin -> ShowS # show :: Bin -> String # showList :: [Bin] -> ShowS #
Generic Bin Source #
Associated Types type Rep Bin :: * -> * # Methods from :: Bin -> Rep Bin x # to :: Rep Bin x -> Bin #
Interpret Bin Source #
Methods autoWith :: InterpretOptions -> Type Bin #
type Rep Bin Source #
type Rep Bin = D1 * (MetaData "Bin" "Language.ATS.Package.Type" "ats-pkg-1.4.0.6-LfhCGYEdMGZEk3YV3mE9bA" False) (C1 * (MetaCons "Bin" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "src") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "target") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) ((::) (S1 * (MetaSel (Just Symbol "libs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) (S1 * (MetaSel (Just Symbol "gc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))))

data Constraint Source #

Constructors

Constraint
Fields pkgName :: Text lower :: Maybe Version upper :: Maybe Version

Instances

Eq Constraint Source #
Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Show Constraint Source #
Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Generic Constraint Source #
Associated Types type Rep Constraint :: * -> * # Methods from :: Constraint -> Rep Constraint x # to :: Rep Constraint x -> Constraint #
Interpret Constraint Source #
Methods autoWith :: InterpretOptions -> Type Constraint #
type Rep Constraint Source #
type Rep Constraint = D1 * (MetaData "Constraint" "Language.ATS.Package.Type" "ats-pkg-1.4.0.6-LfhCGYEdMGZEk3YV3mE9bA" 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 Source #

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 Source #
Methods (==) :: Dependency -> Dependency -> Bool # (/=) :: Dependency -> Dependency -> Bool #
Show Dependency Source #
Methods showsPrec :: Int -> Dependency -> ShowS # show :: Dependency -> String # showList :: [Dependency] -> ShowS #
Generic Dependency Source #
Associated Types type Rep Dependency :: * -> * # Methods from :: Dependency -> Rep Dependency x # to :: Rep Dependency x -> Dependency #
Interpret Dependency Source #
Methods autoWith :: InterpretOptions -> Type Dependency #
type Rep Dependency Source #
type Rep Dependency = D1 * (MetaData "Dependency" "Language.ATS.Package.Type" "ats-pkg-1.4.0.6-LfhCGYEdMGZEk3YV3mE9bA" 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 Source #