-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Package manager for ATS
--   
--   A collection of scripts to make building ATS projects easy.
@package ats-pkg
@version 2.2.0.5

module Language.ATS.Package.Exec
exec :: IO ()

module Language.ATS.Package
packageCompiler :: FilePath -> IO ()
pkgToAction :: [IO ()] -> [String] -> Maybe String -> Pkg -> Rules ()
fetchCompiler :: Version -> IO ()
setupCompiler :: Version -> IO ()

-- | Build a set of targets
build :: [String] -> IO ()

-- | Build in current directory or indicated directory
buildAll :: Maybe FilePath -> IO ()
newtype Version :: *
Version :: [Integer] -> Version

-- | Data type associated with <tt>atspkg.dhall</tt> file.
data Pkg
Pkg :: [Bin] -> [Bin] -> Maybe Text -> Version -> Version -> [Dependency] -> [Dependency] -> Text -> [Text] -> [Text] -> Text -> Pkg

-- | List of binaries to be built
[bin] :: Pkg -> [Bin]

-- | List of test suites
[test] :: Pkg -> [Bin]

-- | Optional (markdown) manpages to be converted using <tt>pandoc</tt>.
[man] :: Pkg -> Maybe Text

-- | Library version
[version] :: Pkg -> Version

-- | Compiler version
[compiler] :: Pkg -> Version

-- | List of dependencies
[dependencies] :: Pkg -> [Dependency]

-- | List of C dependencies
[clib] :: Pkg -> [Dependency]

-- | The C compiler we should use
[ccompiler] :: Pkg -> Text

-- | List of flags to pass to the C compiler
[cflags] :: Pkg -> [Text]

-- | Directory containing ATS source to be compile to C.
[atsSource] :: Pkg -> [Text]

-- | Directory for generated C.
[cDir] :: Pkg -> Text
data Bin
Bin :: Text -> Text -> [Text] -> [ForeignCabal] -> [TargetPair] -> Bool -> [Text] -> Bin

-- | Source file (should end with <tt>.dats</tt>)
[src] :: Bin -> Text

-- | Binary to be built
[target] :: Bin -> Text

-- | Libraries to link against (e.g. <tt>[ "pthread" ]</tt>)
[libs] :: Bin -> [Text]

-- | Haskell <tt>.cabal</tt> files associated with the final library we
--   want to make
[hsDeps] :: Bin -> [ForeignCabal]

-- | List of sources and targets for <tt>hs2ats</tt>
[hs2ats] :: Bin -> [TargetPair]

-- | Whether to use the garbage collector
[gcBin] :: Bin -> Bool

-- | C source files the build depends on
[cSources] :: Bin -> [Text]
data Constraint
Constraint :: Text -> Maybe Version -> Maybe Version -> Constraint
[pkgName] :: Constraint -> Text
[lower] :: Constraint -> Maybe Version
[upper] :: Constraint -> Maybe Version

-- | Type for a dependency
data Dependency
Dependency :: Text -> Text -> Text -> Version -> Dependency

-- | Library name, e.g.
[libName] :: Dependency -> Text

-- | Directory we should unpack to
[dir] :: Dependency -> Text

-- | Url pointing to tarball
[url] :: Dependency -> Text
[libVersion] :: Dependency -> Version

-- | This is just a tuple, except I can figure out how to use it with
--   Dhall.
data TargetPair
TargetPair :: Text -> Text -> TargetPair
[hs] :: TargetPair -> Text
[ats] :: TargetPair -> Text
dirLens :: Lens' Dependency Text