Futhark.Pkg.Info

Obtaining information about packages over THE INTERNET!

Package info

data PkgInfo m

Information about a package. The name of the package is stored separately.

Constructors

PkgInfo

Fields

• pkgVersions :: Map SemVer (PkgRevInfo m)
• pkgLookupCommit :: Maybe Text -> m (PkgRevInfo m)

  Look up information about a specific commit, or HEAD in case of Nothing.

lookupPkgRev :: SemVer -> PkgInfo m -> Maybe (PkgRevInfo m)

pkgInfo :: (MonadIO m, MonadLogger m, MonadFail m) => PkgPath -> m (Either Text (PkgInfo m))

Retrieve information about a package based on its package path. This uses Semantic Import Versioning when interacting with repositories. For example, a package github.comuserrepo will match version 0.* or 1.* tags only, a package github.comuserrepo/v2 will match 2.* tags, and so forth..

data PkgRevInfo m

Information about a version of a single package. The version number is stored separately.

Constructors

PkgRevInfo

Fields

• pkgRevZipballUrl :: Text
• pkgRevZipballDir :: FilePath

  The directory inside the zipball containing the lib directory, in which the package files themselves are stored (Based on the package path).

• pkgRevCommit :: Text

  The commit ID can be used for verification ("freezing"), by storing what it was at the time this version was last selected.

• pkgRevGetManifest :: GetManifest m
• pkgRevTime :: UTCTime

  Timestamp for when the revision was made (rarely used).

Instances

Eq (PkgRevInfo m)

Defined in Futhark.Pkg.Info

Methods

(==) :: PkgRevInfo m -> PkgRevInfo m -> Bool

(/=) :: PkgRevInfo m -> PkgRevInfo m -> Bool

Show (PkgRevInfo m)

Defined in Futhark.Pkg.Info

Methods

showsPrec :: Int -> PkgRevInfo m -> ShowS

show :: PkgRevInfo m -> String

showList :: [PkgRevInfo m] -> ShowS

data GetManifest m

The manifest is stored as a monadic action, because we want to fetch them on-demand. It would be a waste to fetch it information for every version of every package if we only actually need a small subset of them.

Instances

Eq (GetManifest m)

Defined in Futhark.Pkg.Info

Methods

(==) :: GetManifest m -> GetManifest m -> Bool

(/=) :: GetManifest m -> GetManifest m -> Bool

Show (GetManifest m)

Defined in Futhark.Pkg.Info

Methods

showsPrec :: Int -> GetManifest m -> ShowS

show :: GetManifest m -> String

showList :: [GetManifest m] -> ShowS

downloadZipball :: (MonadLogger m, MonadIO m, MonadFail m) => Text -> m Archive

Package registry

data PkgRegistry m

A package registry is a mapping from package paths to information about the package. It is unlikely that any given registry is global; rather small registries are constructed on-demand based on the package paths referenced by the user, and may also be combined monoidically. In essence, the PkgRegistry is just a cache.

Instances

Semigroup (PkgRegistry m)

Defined in Futhark.Pkg.Info

Methods

(<>) :: PkgRegistry m -> PkgRegistry m -> PkgRegistry m

sconcat :: NonEmpty (PkgRegistry m) -> PkgRegistry m

stimes :: Integral b => b -> PkgRegistry m -> PkgRegistry m

Monoid (PkgRegistry m)

Defined in Futhark.Pkg.Info

Methods

mempty :: PkgRegistry m

mappend :: PkgRegistry m -> PkgRegistry m -> PkgRegistry m

mconcat :: [PkgRegistry m] -> PkgRegistry m

class (MonadIO m, MonadLogger m, MonadFail m) => MonadPkgRegistry m where

Monads that support a stateful package registry. These are also required to be instances of MonadIO because most package registry operations involve network operations.

Minimal complete definition

getPkgRegistry, putPkgRegistry

Methods

getPkgRegistry :: m (PkgRegistry m)

putPkgRegistry :: PkgRegistry m -> m ()

modifyPkgRegistry :: (PkgRegistry m -> PkgRegistry m) -> m ()

lookupPackage :: MonadPkgRegistry m => PkgPath -> m (PkgInfo m)

lookupPackageRev :: MonadPkgRegistry m => PkgPath -> SemVer -> m (PkgRevInfo m)

Look up information about a specific version of a package.

lookupNewestRev :: MonadPkgRegistry m => PkgPath -> m SemVer

Find the newest version of a package.