Language.ATS.Package.Dependency

Functions

fetchDeps :: [Dependency] -> IO ()

Types

data Dependency

Type for a dependency

Constructors

Dependency

Fields

• _libName :: String

  Library name, e.g.

• _dir :: FilePath

  Directory we should unpack to

• _url :: String

  Url pointing to tarball

Instances

Eq Dependency

Methods

(==) :: Dependency -> Dependency -> Bool

(/=) :: Dependency -> Dependency -> Bool

Show Dependency

Methods

showsPrec :: Int -> Dependency -> ShowS

show :: Dependency -> String

showList :: [Dependency] -> ShowS

Generic Dependency

Associated Types

type Rep Dependency :: * -> *

Methods

from :: Dependency -> Rep Dependency x

to :: Rep Dependency x -> Dependency

type Rep Dependency

type Rep Dependency = D1 * (MetaData "Dependency" "Language.ATS.Package.Dependency" "ats-pkg-0.3.0.2-979he2LHFO37R1AcF11HDz" False) (C1 * (MetaCons "Dependency" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_libName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)) ((:*:) * (S1 * (MetaSel (Just Symbol "_dir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FilePath)) (S1 * (MetaSel (Just Symbol "_url") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))))

Dependency constants

atsPrelude :: Dependency

atsIntinf :: Dependency

atsGMP :: Dependency