Language.ATS.Package

Documentation

packageCompiler :: FilePath -> IO ()

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

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

Interpret Pkg

Methods

autoWith :: InterpretOptions -> Type Pkg

type Rep Pkg

type Rep Pkg

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" ])

• 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

Interpret Bin

Methods

autoWith :: InterpretOptions -> Type Bin

type Rep Bin

type Rep Bin = D1 * (MetaData "Bin" "Language.ATS.Package.Type" "ats-pkg-1.4.0.0-HtJdc1XrBOgAOcs6We4wpY" 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

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-1.4.0.0-HtJdc1XrBOgAOcs6We4wpY" 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))))))