Safe Haskell	None
Language	Haskell2010

Language.ATS.Package

Contents

Ecosystem functionality
Functions involving the compiler
Types
Lenses

Synopsis

buildAll :: Int -> Maybe String -> Maybe String -> Maybe FilePath -> IO ()
check :: Maybe String -> Maybe FilePath -> IO Bool
mkPkg :: Maybe String -> Bool -> Bool -> Bool -> [IO ()] -> [String] -> Maybe String -> Int -> IO ()
cleanAll :: IO ()
buildHelper :: Bool -> ATSDependency -> IO ()
displayList :: String -> IO ()
atspkgVersion :: Version
packageCompiler :: FilePath -> IO ()
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 {
- src :: Text
- target :: Text
- libs :: [Text]
- hsDeps :: [ForeignCabal]
- hs2ats :: [TargetPair]
- gcBin :: Bool
- extras :: [Text]
}
data Lib = Lib {
- name :: Text
- src :: [Text]
- libTarget :: Text
- libs :: [Text]
- includes :: [Text]
- hsDeps :: [ForeignCabal]
- links :: [(Text, Text)]
- hs2ats :: [TargetPair]
- extras :: [Text]
- static :: Bool
}
data Src = Src {
- atsSrc :: Text
- cTarget :: Text
- atsGen :: [TargetPair]
- extras :: [Text]
}
data ATSConstraint = ATSConstraint {
- lower :: Maybe Version
- upper :: Maybe Version
}
data ATSDependency = ATSDependency {
- libName :: Text
- dir :: Text
- url :: Text
- description :: Maybe Text
- libVersion :: Version
- libDeps :: [LibDep]
- libBldDeps :: [LibDep]
- libCDeps :: [LibDep]
- script :: [Text]
}
data TargetPair = TargetPair {
- hs :: Text
- ats :: Text
- cpphs :: Bool
}
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
- = Unrecognized String
- | DepErr ResolveError
data Debian = Debian {
- package :: Text
- version :: Version
- maintainer :: Text
- description :: Text
- target :: Text
- manpage :: Maybe Text
- binaries :: [Text]
- libraries :: [Text]
- headers :: [Text]
}
dirLens :: Lens' ATSDependency Text

Documentation

buildAll :: Int -> Maybe String -> Maybe String -> Maybe FilePath -> IO () Source #

Build in current directory or indicated directory

check :: Maybe String -> Maybe FilePath -> IO Bool Source #

mkPkg Source #

Arguments

:: Maybe String	Optional argument to `atspkg.dhall`
-> Bool	Force rebuild
-> Bool	Run linter
-> Bool	Print build profiling information
-> [IO ()]	Setup
-> [String]	Targets
-> Maybe String	Target triple
-> Int	Verbosity
-> IO ()

cleanAll :: IO () Source #

buildHelper :: Bool -> ATSDependency -> IO () Source #

Ecosystem functionality

displayList :: String -> IO () Source #

atspkgVersion :: Version Source #

Functions involving the compiler

packageCompiler :: FilePath -> IO () Source #

Make a tarball from a directory containing the compiler.

Types

newtype Version #

Constructors

Version [Natural]

Instances

Eq Version
Instance details Defined in Data.Dependency.Type Methods (==) :: Version -> Version -> Bool # (/=) :: Version -> Version -> Bool #
Ord Version
Instance details Defined in Data.Dependency.Type Methods compare :: Version -> Version -> Ordering # (<) :: Version -> Version -> Bool # (<=) :: Version -> Version -> Bool # (>) :: Version -> Version -> Bool # (>=) :: Version -> Version -> Bool # max :: Version -> Version -> Version # min :: Version -> Version -> Version #
Show Version
Instance details Defined in Data.Dependency.Type Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #
Generic Version
Instance details Defined in Data.Dependency.Type Associated Types type Rep Version :: Type -> Type # Methods from :: Version -> Rep Version x # to :: Rep Version x -> Version #
NFData Version
Instance details Defined in Data.Dependency.Type Methods rnf :: Version -> () #
Binary Version
Instance details Defined in Data.Dependency.Type Methods put :: Version -> Put # get :: Get Version # putList :: [Version] -> Put #
Pretty Version
Instance details Defined in Language.ATS.Package.PackageSet Methods pretty :: Version -> Doc prettyList :: [Version] -> Doc
Inject Version
Instance details Defined in Language.ATS.Package.Type Methods injectWith :: InterpretOptions -> InputType Version
Interpret Version
Instance details Defined in Language.ATS.Package.Debian Methods autoWith :: InterpretOptions -> Type Version
type Rep Version
Instance details Defined in Data.Dependency.Type type Rep Version = D1 (MetaData "Version" "Data.Dependency.Type" "dependency-1.2.0.3-inplace" True) (C1 (MetaCons "Version" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Natural])))

data Pkg Source #

Data type associated with atspkg.dhall file.

Constructors

Pkg

Fields

bin :: [Bin]
List of binaries to be built
test :: [Bin]
List of test suites
libraries :: [Lib]
List of libraries to be built
man :: Maybe Text
Optional (markdown) manpages to be converted using pandoc.
completions :: Maybe Text
Optional compleat completions to be installed alongside package.
version :: Version
Library version
compiler :: Version
Compiler version
dependencies :: [LibDep]
List of library dependencies
clib :: [LibDep]
List of C library dependencies
buildDeps :: [LibDep]
List of ATS library dependencies
ccompiler :: Text
The C compiler we should use
cflags :: [Text]
List of flags to pass to the C compiler
atsFlags :: [Text]
List of flags to pass to patsopt.
atsSource :: [Src]
ATS source to be compile to C.
dynLink :: Bool
Don't link statically, instead, use libraries installed by atspkg.
extSolve :: Solver
Solver to use.
debPkg :: Maybe Debian
Optional specificiation as a debian package.
atsLib :: Bool
Whether to link/build atslib.

Instances

Generic Pkg Source #
Instance details Defined in Language.ATS.Package.Type Associated Types type Rep Pkg :: Type -> Type # Methods from :: Pkg -> Rep Pkg x # to :: Rep Pkg x -> Pkg #
Binary Pkg Source #
Instance details Defined in Language.ATS.Package.Type Methods put :: Pkg -> Put # get :: Get Pkg # putList :: [Pkg] -> Put #
Interpret Pkg Source #
Instance details Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type Pkg
type Rep Pkg Source #
Instance details Defined in Language.ATS.Package.Type type Rep Pkg = D1 (MetaData "Pkg" "Language.ATS.Package.Type" "ats-pkg-3.2.4.4-inplace" False) (C1 (MetaCons "Pkg" PrefixI True) ((((S1 (MetaSel (Just "bin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Bin]) :: S1 (MetaSel (Just "test") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Bin])) :: (S1 (MetaSel (Just "libraries") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Lib]) :: S1 (MetaSel (Just "man") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 (MetaSel (Just "completions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Version)) :: (S1 (MetaSel (Just "compiler") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Version) :: (S1 (MetaSel (Just "dependencies") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LibDep]) :: S1 (MetaSel (Just "clib") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LibDep]))))) :: (((S1 (MetaSel (Just "buildDeps") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LibDep]) :: S1 (MetaSel (Just "ccompiler") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "cflags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]) :: S1 (MetaSel (Just "atsFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]))) :: ((S1 (MetaSel (Just "atsSource") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Src]) :: S1 (MetaSel (Just "dynLink") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :: (S1 (MetaSel (Just "extSolve") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Solver) :: (S1 (MetaSel (Just "debPkg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Debian)) :*: S1 (MetaSel (Just "atsLib") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))))

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" ])
hsDeps :: [ForeignCabal]
Haskell .cabal files associated with the final library we want to make
hs2ats :: [TargetPair]
List of sources and targets for hs2ats
gcBin :: Bool
Whether to use the garbage collector
extras :: [Text]
Extra source files the build depends on

Instances

Generic Bin Source #
Instance details Defined in Language.ATS.Package.Type Associated Types type Rep Bin :: Type -> Type # Methods from :: Bin -> Rep Bin x # to :: Rep Bin x -> Bin #
Binary Bin Source #
Instance details Defined in Language.ATS.Package.Type Methods put :: Bin -> Put # get :: Get Bin # putList :: [Bin] -> Put #
Interpret Bin Source #
Instance details Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type Bin
type Rep Bin Source #
Instance details Defined in Language.ATS.Package.Type type Rep Bin = D1 (MetaData "Bin" "Language.ATS.Package.Type" "ats-pkg-3.2.4.4-inplace" False) (C1 (MetaCons "Bin" PrefixI True) ((S1 (MetaSel (Just "src") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "target") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "libs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]))) :: ((S1 (MetaSel (Just "hsDeps") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ForeignCabal]) :: S1 (MetaSel (Just "hs2ats") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TargetPair])) :: (S1 (MetaSel (Just "gcBin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "extras") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])))))

data Lib Source #

Constructors

Lib

Fields

name :: Text
Name of library being provided
src :: [Text]
Source files (should end with .dats) to be compiled to object files
libTarget :: Text
libs :: [Text]
Libraries to link against (e.g. [ "pthread" ])
includes :: [Text]
Include files to be installed with the library
hsDeps :: [ForeignCabal]
Haskell .cabal files associated with object files
links :: [(Text, Text)]
Generate link files.
hs2ats :: [TargetPair]
Sources and targets for hs2ats
extras :: [Text]
Other source files the build depends on
static :: Bool
Whether to make a static library

Instances

Generic Lib Source #
Instance details Defined in Language.ATS.Package.Type Associated Types type Rep Lib :: Type -> Type # Methods from :: Lib -> Rep Lib x # to :: Rep Lib x -> Lib #
Binary Lib Source #
Instance details Defined in Language.ATS.Package.Type Methods put :: Lib -> Put # get :: Get Lib # putList :: [Lib] -> Put #
Interpret Lib Source #
Instance details Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type Lib
type Rep Lib Source #
Instance details Defined in Language.ATS.Package.Type type Rep Lib = D1 (MetaData "Lib" "Language.ATS.Package.Type" "ats-pkg-3.2.4.4-inplace" False) (C1 (MetaCons "Lib" PrefixI True) (((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "src") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])) :: (S1 (MetaSel (Just "libTarget") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "libs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]) :: S1 (MetaSel (Just "includes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])))) :: ((S1 (MetaSel (Just "hsDeps") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ForeignCabal]) :: S1 (MetaSel (Just "links") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Text, Text)])) :: (S1 (MetaSel (Just "hs2ats") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TargetPair]) :: (S1 (MetaSel (Just "extras") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]) :*: S1 (MetaSel (Just "static") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))))

data Src Source #

Constructors

Src
Fields atsSrc :: Text cTarget :: Text atsGen :: [TargetPair] extras :: [Text]

Instances

Generic Src Source #
Instance details Defined in Language.ATS.Package.Type Associated Types type Rep Src :: Type -> Type # Methods from :: Src -> Rep Src x # to :: Rep Src x -> Src #
Binary Src Source #
Instance details Defined in Language.ATS.Package.Type Methods put :: Src -> Put # get :: Get Src # putList :: [Src] -> Put #
Interpret Src Source #
Instance details Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type Src
type Rep Src Source #
Instance details Defined in Language.ATS.Package.Type type Rep Src = D1 (MetaData "Src" "Language.ATS.Package.Type" "ats-pkg-3.2.4.4-inplace" 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 #

Constructors

ATSConstraint
Fields lower :: Maybe Version upper :: Maybe Version

Instances

Eq ATSConstraint Source #
Instance details Defined in Language.ATS.Package.Type Methods (==) :: ATSConstraint -> ATSConstraint -> Bool # (/=) :: ATSConstraint -> ATSConstraint -> Bool #
Show ATSConstraint Source #
Instance details Defined in Language.ATS.Package.Type Methods showsPrec :: Int -> ATSConstraint -> ShowS # show :: ATSConstraint -> String # showList :: [ATSConstraint] -> ShowS #
Generic ATSConstraint Source #
Instance details Defined in Language.ATS.Package.Type Associated Types type Rep ATSConstraint :: Type -> Type # Methods from :: ATSConstraint -> Rep ATSConstraint x # to :: Rep ATSConstraint x -> ATSConstraint #
Binary ATSConstraint Source #
Instance details Defined in Language.ATS.Package.Type Methods put :: ATSConstraint -> Put # get :: Get ATSConstraint # putList :: [ATSConstraint] -> Put #
Interpret ATSConstraint Source #
Instance details Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type ATSConstraint
type Rep ATSConstraint Source #
Instance details Defined in Language.ATS.Package.Type type Rep ATSConstraint = D1 (MetaData "ATSConstraint" "Language.ATS.Package.Type" "ats-pkg-3.2.4.4-inplace" False) (C1 (MetaCons "ATSConstraint" PrefixI True) (S1 (MetaSel (Just "lower") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Version)) :*: S1 (MetaSel (Just "upper") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Version))))

data ATSDependency Source #

Type for a dependency

Constructors

ATSDependency
Fields libName :: Text Library name, e.g. dir :: Text Directory we should unpack to url :: Text Url pointing to tarball description :: Maybe Text Package description libVersion :: Version libDeps :: [LibDep] Dependencies to be unpacked libBldDeps :: [LibDep] Dependencies to be built libCDeps :: [LibDep] C dependencies to be built script :: [Text] Optional build script for C library

Instances

Generic ATSDependency Source #
Instance details Defined in Language.ATS.Package.Type Associated Types type Rep ATSDependency :: Type -> Type # Methods from :: ATSDependency -> Rep ATSDependency x # to :: Rep ATSDependency x -> ATSDependency #
Binary ATSDependency Source #
Instance details Defined in Language.ATS.Package.Type Methods put :: ATSDependency -> Put # get :: Get ATSDependency # putList :: [ATSDependency] -> Put #
Pretty ATSDependency
Instance details Defined in Language.ATS.Package.PackageSet Methods pretty :: ATSDependency -> Doc prettyList :: [ATSDependency] -> Doc
Interpret ATSDependency Source #
Instance details Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type ATSDependency
type Rep ATSDependency Source #
Instance details Defined in Language.ATS.Package.Type type Rep ATSDependency = D1 (MetaData "ATSDependency" "Language.ATS.Package.Type" "ats-pkg-3.2.4.4-inplace" False) (C1 (MetaCons "ATSDependency" PrefixI True) (((S1 (MetaSel (Just "libName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "dir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "url") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "description") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 (MetaSel (Just "libVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Version) :: S1 (MetaSel (Just "libDeps") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LibDep])) :: (S1 (MetaSel (Just "libBldDeps") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LibDep]) :: (S1 (MetaSel (Just "libCDeps") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LibDep]) :: S1 (MetaSel (Just "script") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]))))))

data TargetPair Source #

This is just a tuple, except I can figure out how to use it with Dhall.

Constructors

TargetPair
Fields hs :: Text ats :: Text cpphs :: Bool

Instances

Generic TargetPair Source #
Instance details Defined in Language.ATS.Package.Type Associated Types type Rep TargetPair :: Type -> Type # Methods from :: TargetPair -> Rep TargetPair x # to :: Rep TargetPair x -> TargetPair #
Binary TargetPair Source #
Instance details Defined in Language.ATS.Package.Type Methods put :: TargetPair -> Put # get :: Get TargetPair # putList :: [TargetPair] -> Put #
Interpret TargetPair Source #
Instance details Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type TargetPair
type Rep TargetPair Source #
Instance details Defined in Language.ATS.Package.Type type Rep TargetPair = D1 (MetaData "TargetPair" "Language.ATS.Package.Type" "ats-pkg-3.2.4.4-inplace" 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 #

Constructors

ForeignCabal
Fields projectFile :: Maybe Text cabalFile :: Text objectFile :: Text

Instances

Eq ForeignCabal
Instance details Defined in Development.Shake.ATS.Type Methods (==) :: ForeignCabal -> ForeignCabal -> Bool # (/=) :: ForeignCabal -> ForeignCabal -> Bool #
Show ForeignCabal
Instance details Defined in Development.Shake.ATS.Type Methods showsPrec :: Int -> ForeignCabal -> ShowS # show :: ForeignCabal -> String # showList :: [ForeignCabal] -> ShowS #
Generic ForeignCabal
Instance details Defined in Development.Shake.ATS.Type Associated Types type Rep ForeignCabal :: Type -> Type # Methods from :: ForeignCabal -> Rep ForeignCabal x # to :: Rep ForeignCabal x -> ForeignCabal #
Binary ForeignCabal
Instance details Defined in Development.Shake.ATS.Type Methods put :: ForeignCabal -> Put # get :: Get ForeignCabal # putList :: [ForeignCabal] -> Put #
Interpret ForeignCabal
Instance details Defined in Language.ATS.Package.Type Methods autoWith :: InterpretOptions -> Type ForeignCabal
type Rep ForeignCabal
Instance details Defined in Development.Shake.ATS.Type type Rep ForeignCabal = D1 (MetaData "ForeignCabal" "Development.Shake.ATS.Type" "shake-ats-1.10.2.0-inplace" False) (C1 (MetaCons "ForeignCabal" PrefixI True) (S1 (MetaSel (Just "projectFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "cabalFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "objectFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

newtype ATSPackageSet Source #

Constructors

ATSPackageSet
Fields _atsPkgSet :: [ATSDependency]

Instances

Pretty ATSPackageSet Source #
Instance details Defined in Language.ATS.Package.PackageSet Methods pretty :: ATSPackageSet -> Doc prettyList :: [ATSPackageSet] -> Doc
Interpret ATSPackageSet Source #
Instance details Defined in Language.ATS.Package.PackageSet Methods autoWith :: InterpretOptions -> Type ATSPackageSet

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 #
Instance details Defined in Language.ATS.Package.Error Methods pretty :: PackageError -> Doc prettyList :: [PackageError] -> Doc

data Debian Source #

Constructors

Debian
Fields package :: Text version :: Version maintainer :: Text description :: Text target :: Text manpage :: Maybe Text binaries :: [Text] libraries :: [Text] headers :: [Text]

Instances

Generic Debian Source #
Instance details Defined in Language.ATS.Package.Debian Associated Types type Rep Debian :: Type -> Type # Methods from :: Debian -> Rep Debian x # to :: Rep Debian x -> Debian #
Binary Debian Source #
Instance details Defined in Language.ATS.Package.Debian Methods put :: Debian -> Put # get :: Get Debian # putList :: [Debian] -> Put #
Interpret Debian Source #
Instance details Defined in Language.ATS.Package.Debian Methods autoWith :: InterpretOptions -> Type Debian
type Rep Debian Source #
Instance details Defined in Language.ATS.Package.Debian type Rep Debian = D1 (MetaData "Debian" "Language.ATS.Package.Debian" "ats-pkg-3.2.4.4-inplace" False) (C1 (MetaCons "Debian" PrefixI True) (((S1 (MetaSel (Just "package") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Version)) :: (S1 (MetaSel (Just "maintainer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "description") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :: ((S1 (MetaSel (Just "target") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "manpage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "binaries") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]) :: (S1 (MetaSel (Just "libraries") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]) :: S1 (MetaSel (Just "headers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]))))))

Lenses

dirLens :: Lens' ATSDependency Text Source #