Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- buildAll :: Int -> Maybe String -> Maybe FilePath -> IO ()
- check :: Maybe FilePath -> IO Bool
- mkPkg :: Bool -> Bool -> Bool -> [IO ()] -> [String] -> Maybe String -> Int -> IO ()
- cleanAll :: IO ()
- buildHelper :: Bool -> ATSDependency -> IO ()
- checkPkgSet :: FilePath -> Bool -> IO ATSPackageSet
- checkPkg :: FilePath -> Bool -> IO (Version -> ATSDependency)
- displayList :: String -> IO ()
- upgradeBin :: String -> String -> IO ()
- atspkgVersion :: Version
- packageCompiler :: FilePath -> IO ()
- atsInstallDirs :: Hashable a => IO (InstallDirs a)
- newtype Version = Version [Natural]
- data Pkg = Pkg {
- bin :: [Bin]
- test :: [Bin]
- libraries :: [Lib]
- man :: Maybe Text
- completions :: Maybe Text
- version :: Version
- compiler :: Version
- dependencies :: [LibDep]
- clib :: [LibDep]
- buildDeps :: [LibDep]
- ccompiler :: Text
- cflags :: [Text]
- atsFlags :: [Text]
- atsSource :: [Src]
- dynLink :: Bool
- extSolve :: Solver
- debPkg :: Maybe Debian
- atsLib :: Bool
- data Bin = Bin {}
- data Lib = Lib {}
- data Src = Src {}
- data ATSConstraint = ATSConstraint {}
- data ATSDependency = ATSDependency {}
- data TargetPair = TargetPair {}
- data ForeignCabal = ForeignCabal {
- projectFile :: Maybe Text
- cabalFile :: Text
- objectFile :: Text
- newtype ATSPackageSet = ATSPackageSet {
- _atsPkgSet :: [ATSDependency]
- type LibDep = (Text, ATSConstraint)
- type DepSelector = ATSDependency -> [LibDep]
- data PackageError
- newtype Package a b = Package {
- unPack :: ReaderT (InstallDirs a) IO b
- data InstallDirs a = InstallDirs {}
- type CacheValid a = a -> a -> Bool
- class Hashable a => GenericPackage a where
- dirLens :: Lens' ATSDependency Text
Documentation
buildAll :: Int -> Maybe String -> Maybe FilePath -> IO () Source #
Build in current directory or indicated directory
buildHelper :: Bool -> ATSDependency -> IO () Source #
Dhall verification helpers
:: FilePath | Path to |
-> Bool | Whether to print detailed error messages. |
-> IO ATSPackageSet |
Ecosystem functionality
displayList :: String -> IO () Source #
Functions involving the compiler
packageCompiler :: FilePath -> IO () Source #
Make a tarball from a directory containing the compiler.
Functions for generic packaging
atsInstallDirs :: Hashable a => IO (InstallDirs a) Source #
The default set of install directories for an ATS package.
Types
Instances
Eq Version | |
Ord Version | |
Show Version | |
Generic Version | |
Binary Version | |
NFData Version | |
Defined in Data.Dependency.Type | |
Hashable Version # | |
Defined in Language.ATS.Package.Debian | |
Pretty Version # | |
Defined in Language.ATS.Package.PackageSet | |
Interpret Version # | |
Defined in Language.ATS.Package.Debian autoWith :: InterpretOptions -> Type Version # | |
Inject Version # | |
Defined in Language.ATS.Package.Type | |
type Rep Version | |
Defined in Data.Dependency.Type |
Data type associated with atspkg.dhall
file.
Pkg | |
|
Bin | |
|
Instances
Lib | |
|
Instances
Instances
Generic Src Source # | |
Binary Src Source # | |
Hashable Src Source # | |
Defined in Language.ATS.Package.Type | |
Interpret Src Source # | |
Defined in Language.ATS.Package.Type autoWith :: InterpretOptions -> Type Src # | |
type Rep Src Source # | |
Defined in Language.ATS.Package.Type type Rep Src = D1 (MetaData "Src" "Language.ATS.Package.Type" "ats-pkg-2.11.0.10-1NYQZ9dcPga4UaeFjkbcXs" False) (C1 (MetaCons "Src" PrefixI True) ((S1 (MetaSel (Just "atsSrc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "cTarget") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :*: (S1 (MetaSel (Just "atsGen") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TargetPair]) :*: S1 (MetaSel (Just "extras") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])))) |
data ATSConstraint Source #
Instances
data ATSDependency Source #
Type for a dependency
ATSDependency | |
|
Instances
data TargetPair Source #
This is just a tuple, except I can figure out how to use it with Dhall.
Instances
data ForeignCabal #
Data type containing information about Haskell components of a build. Any functions exposed in the object file will be callable in C or ATS code.
ForeignCabal | |
|
Instances
newtype ATSPackageSet Source #
Instances
Pretty ATSPackageSet Source # | |
Defined in Language.ATS.Package.PackageSet pretty :: ATSPackageSet -> Doc # prettyList :: [ATSPackageSet] -> Doc # | |
Interpret ATSPackageSet Source # | |
Defined in Language.ATS.Package.PackageSet |
type LibDep = (Text, ATSConstraint) Source #
type DepSelector = ATSDependency -> [LibDep] Source #
You likely want $sel:libDeps:ATSDependency
or $sel:libBldDeps:ATSDependency
data PackageError Source #
Instances
Pretty PackageError Source # | |
Defined in Language.ATS.Package.Error pretty :: PackageError -> Doc # prettyList :: [PackageError] -> Doc # |
Generic Packaging
The package monad provides information about the package to be installed, in particular, the directory for installation and the directories for dependencies.
Package | |
|
data InstallDirs a Source #
Functions containing installation information about a particular type.
type CacheValid a = a -> a -> Bool Source #
Compares cached value to new value, returning True
if valid.
Typeclasses
class Hashable a => GenericPackage a where Source #
Any type implementing GenericPackage
can be depended on by other
packages.