| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.ATS.Package
Contents
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
Arguments
| :: 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 | |
Defined in Data.Dependency.Type | |
| 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 Methods autoWith :: InterpretOptions -> Type Version # | |
| Inject Version # | |
Defined in Language.ATS.Package.Type Methods | |
| type Rep Version | |
Defined in Data.Dependency.Type | |
Data type associated with atspkg.dhall file.
Constructors
| Pkg | |
Fields
| |
Constructors
| Bin | |
Fields
| |
Instances
Constructors
| Lib | |
Fields
| |
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 Methods 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
Constructors
| ATSDependency | |
Fields
| |
Instances
data TargetPair Source #
This is just a tuple, except I can figure out how to use it with Dhall.
Instances
| Generic TargetPair Source # | |
Defined in Language.ATS.Package.Type Associated Types type Rep TargetPair :: * -> * # | |
| Binary TargetPair Source # | |
Defined in Language.ATS.Package.Type | |
| Hashable TargetPair Source # | |
Defined in Language.ATS.Package.Type | |
| Interpret TargetPair Source # | |
Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type TargetPair # | |
| type Rep TargetPair Source # | |
Defined in Language.ATS.Package.Type type Rep TargetPair = D1 (MetaData "TargetPair" "Language.ATS.Package.Type" "ats-pkg-2.11.0.10-1NYQZ9dcPga4UaeFjkbcXs" False) (C1 (MetaCons "TargetPair" PrefixI True) (S1 (MetaSel (Just "hs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: (S1 (MetaSel (Just "ats") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "cpphs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) | |
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.
Constructors
| ForeignCabal | |
Fields
| |
Instances
newtype ATSPackageSet Source #
Constructors
| ATSPackageSet | |
Fields
| |
Instances
| Pretty ATSPackageSet Source # | |
Defined in Language.ATS.Package.PackageSet | |
| Interpret ATSPackageSet Source # | |
Defined in Language.ATS.Package.PackageSet Methods | |
type LibDep = (Text, ATSConstraint) Source #
type DepSelector = ATSDependency -> [LibDep] Source #
You likely want $sel:libDeps:ATSDependency or $sel:libBldDeps:ATSDependency
data PackageError Source #
Constructors
| Unrecognized String | |
| DepErr ResolveError |
Instances
| Pretty PackageError Source # | |
Defined in Language.ATS.Package.Error | |
Generic Packaging
The package monad provides information about the package to be installed, in particular, the directory for installation and the directories for dependencies.
Constructors
| Package | |
Fields
| |
data InstallDirs a Source #
Functions containing installation information about a particular type.
Constructors
| InstallDirs | |
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.
Minimal complete definition