B9.Repository

B9 has a concept of SharedImaged. Shared images can be pulled and pushed to/from remote locations via rsync+ssh. B9 also maintains a local cache; the whole thing is supposed to be build-server-safe, that means no two builds shall interfere with each other. This is accomplished by refraining from automatic cache updates from/to remote repositories.

Documentation

type RepoCacheReader = Reader RepoCache

Alias for a Reader Effect that reads a list of RemoteRepos.

Since: 0.5.65

getRepoCache :: Member RepoCacheReader e => Eff e RepoCache

Ask for the RepoCache initialized by withRemoteRepos.

Since: 0.5.65

withSelectedRemoteRepo :: (Member B9ConfigReader e, Member ExcB9 e) => Eff (SelectedRemoteRepoReader ': e) a -> Eff e a

Run a SelectedRemoteRepoReader with the SelectedRemoteRepo selected in the B9Config.

If the selected repo does not exist, and exception is thrown.

Since: 0.5.65

getSelectedRemoteRepo :: Member SelectedRemoteRepoReader e => Eff e SelectedRemoteRepo

Ask for the RemoteRepo selected by the B9Config value _repository. See withSelectedRemoteRepo.

Since: 0.5.65

type SelectedRemoteRepoReader = Reader SelectedRemoteRepo

Alias for a Reader Effect that reads the RemoteRepo selected by the B9Config value _repository. See withSelectedRemoteRepo.

Since: 0.5.65

data Repository

Constructors

Cache

Remote String

Instances

Eq Repository

Defined in B9.Repository

Methods

(==) :: Repository -> Repository -> Bool

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

Ord Repository

Defined in B9.Repository

Methods

compare :: Repository -> Repository -> Ordering

(<) :: Repository -> Repository -> Bool

(<=) :: Repository -> Repository -> Bool

(>) :: Repository -> Repository -> Bool

(>=) :: Repository -> Repository -> Bool

max :: Repository -> Repository -> Repository

min :: Repository -> Repository -> Repository

Read Repository

Defined in B9.Repository

Methods

readsPrec :: Int -> ReadS Repository

readList :: ReadS [Repository]

readPrec :: ReadPrec Repository

readListPrec :: ReadPrec [Repository]

Show Repository

Defined in B9.Repository

Methods

showsPrec :: Int -> Repository -> ShowS

show :: Repository -> String

showList :: [Repository] -> ShowS

Generic Repository

Defined in B9.Repository

Associated Types

type Rep Repository :: Type -> Type

Methods

from :: Repository -> Rep Repository x

to :: Rep Repository x -> Repository

Function Repository

Defined in B9.Repository

Methods

function :: (Repository -> b) -> Repository :-> b

Arbitrary Repository

Defined in B9.Repository

Methods

arbitrary :: Gen Repository

shrink :: Repository -> [Repository]

CoArbitrary Repository

Defined in B9.Repository

Methods

coarbitrary :: Repository -> Gen b -> Gen b

type Rep Repository

Defined in B9.Repository

type Rep Repository = D1 (MetaData "Repository" "B9.Repository" "b9-1.1.0-GuXRIPkdT5S8qGOYxNGXNO" False) (C1 (MetaCons "Cache" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Remote" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

type RepoImagesMap = Map Repository (Set SharedImage)

A Map that maps Repositorys to the SharedImages they hold.

Since: 1.1.0

toRemoteRepository :: RemoteRepo -> Repository

Convert a RemoteRepo down to a mere Repository

newtype SelectedRemoteRepo

Contains the Just the RemoteRepo selected by the B9Config value _repository, or Nothing of no RemoteRepo was selected in the B9Config.

Since: 0.5.65

Constructors

MkSelectedRemoteRepo

Fields

• fromSelectedRemoteRepo :: Maybe RemoteRepo

remoteRepoCacheDir

Arguments

:: RepoCache

The repository cache directory

-> String

Id of the repository

-> FilePath

The existing, absolute path to the cache directory

Return the cache directory for a remote repository relative to the root cache dir.

localRepoDir

Arguments

:: RepoCache

The repository cache directory

-> FilePath

The existing, absolute path to the directory

Return the local repository directory.

lookupRemoteRepo :: [RemoteRepo] -> String -> Maybe RemoteRepo

Select the first RemoteRepo with a given repoId.

filterRepoImagesMap :: (Repository -> Bool) -> (SharedImage -> Bool) -> RepoImagesMap -> RepoImagesMap

Filter the SharedImages returned by getSharedImages using a Repository-, and a SharedImage predicate.

Since: 1.1.0

lookupCachedImages :: SharedImageName -> RepoImagesMap -> Set SharedImage

Return the versions of a shared image named name from the local cache.

Since: 1.1.0

allCachedSharedImages :: RepoImagesMap -> Set SharedImage

Keep SharedImages that are in the Cache Repository.

Since: 1.1.0

allSharedImagesWithRepo :: RepoImagesMap -> Set (SharedImage, Repository)

Fetch all SharedImages like allSharedImages but attach the Repository that the image belongs to.

Usage example: In combination with filterRepoImagesMap to find the latest version of a certain image in all known repositories.

Since: 1.1.0

maxSharedImageOfAllRepos :: RepoImagesMap -> Maybe (SharedImage, Repository)

Return the maximum with regard to the Ord instance of SharedImage from an RepoImagesMap

Since: 1.1.0

allSharedImagesInRepo :: Repository -> RepoImagesMap -> Set SharedImage

Return the SharedImages, that are contained in a Repository.

Since: 1.1.0

allSharedImages :: RepoImagesMap -> Set SharedImage

Get a Set of all SharedImages in all Repositorys.

Since: 1.1.0

allRepositories :: RepoImagesMap -> Set Repository

Return a Set of Repository names from a RepoImagesMap

Since: 1.1.0

groupBySharedImageName :: Set SharedImage -> Map SharedImageName (Set SharedImage)

Group by SharedImageName.

Since: 1.1.0

keepNLatestSharedImages :: Int -> Set SharedImage -> Set SharedImage

Take a subset that contains the n latest versions of SharedImages with the same name.

For example, if the input contains:

@@ fromList [ SharedImage "foo" "2020-07-07 13:34:31" , SharedImage "foo" "2020-07-07 13:34:32" , SharedImage "foo" "2020-07-07 13:34:33" , SharedImage "bar" "2020-07-07 13:34:34" , SharedImage "bar" "2020-07-07 13:34:35" , SharedImage "bar" "2020-07-07 13:34:36" ] @@

The output of keepNLatestSharedImages 2 will be:

@@ fromList [ SharedImage "foo" "2020-07-07 13:34:32" , SharedImage "foo" "2020-07-07 13:34:33" , SharedImage "bar" "2020-07-07 13:34:35" , SharedImage "bar" "2020-07-07 13:34:36" ] @@

Since: 1.1.0

dropAllButNLatestSharedImages :: Int -> Set SharedImage -> Set SharedImage

Take a subset that contains obsolete images.

Do the opposite of keepNLatestSharedImages, and return all **but** the n latest versions of SharedImages with the same name.

For example, if the input contains:

@@ fromList [ SharedImage "foo" "2020-07-07 13:34:31" , SharedImage "foo" "2020-07-07 13:34:32" , SharedImage "foo" "2020-07-07 13:34:33" , SharedImage "bar" "2020-07-07 13:34:34" , SharedImage "bar" "2020-07-07 13:34:35" , SharedImage "bar" "2020-07-07 13:34:36" ] @@

The output of keepNLatestSharedImages 2 will be:

@@ fromList [ SharedImage "foo" "2020-07-07 13:34:31" , SharedImage "bar" "2020-07-07 13:34:34" ] @@

Since: 1.1.0

module B9.B9Config.Repository