Distribution.Client.IndexUtils.ActiveRepos

Documentation

newtype ActiveRepos

Ordered list of active repositories.

Constructors

ActiveRepos [ActiveRepoEntry]

Instances

Parsec ActiveRepos

Note: empty string is not valid ActiveRepos.

>>> simpleParsec "" :: Maybe ActiveRepos
Nothing

>>> simpleParsec ":none" :: Maybe ActiveRepos
Just (ActiveRepos [])

>>> simpleParsec ":rest" :: Maybe ActiveRepos
Just (ActiveRepos [ActiveRepoRest CombineStrategyMerge])

>>> simpleParsec "hackage.haskell.org, :rest, head.hackage:override" :: Maybe ActiveRepos
Just (ActiveRepos [ActiveRepo (RepoName {unRepoName = "hackage.haskell.org"}) CombineStrategyMerge,ActiveRepoRest CombineStrategyMerge,ActiveRepo (RepoName {unRepoName = "head.hackage"}) CombineStrategyOverride])

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

parsec :: CabalParsing m => m ActiveRepos

Pretty ActiveRepos

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

pretty :: ActiveRepos -> Doc

prettyVersioned :: CabalSpecVersion -> ActiveRepos -> Doc

Structured ActiveRepos

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

structure :: Proxy ActiveRepos -> Structure

structureHash' :: Tagged ActiveRepos MD5

Generic ActiveRepos

Defined in Distribution.Client.IndexUtils.ActiveRepos

Associated Types

type Rep ActiveRepos :: Type -> Type

Methods

from :: ActiveRepos -> Rep ActiveRepos x

to :: Rep ActiveRepos x -> ActiveRepos

Show ActiveRepos

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

showsPrec :: Int -> ActiveRepos -> ShowS

show :: ActiveRepos -> String

showList :: [ActiveRepos] -> ShowS

Binary ActiveRepos

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

put :: ActiveRepos -> Put

get :: Get ActiveRepos

putList :: [ActiveRepos] -> Put

NFData ActiveRepos

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

rnf :: ActiveRepos -> ()

Eq ActiveRepos

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

(==) :: ActiveRepos -> ActiveRepos -> Bool

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

type Rep ActiveRepos

Defined in Distribution.Client.IndexUtils.ActiveRepos

type Rep ActiveRepos = D1 ('MetaData "ActiveRepos" "Distribution.Client.IndexUtils.ActiveRepos" "cabal-install-3.12.1.0-9NqWFHLEtw1EbVuShkL8UM" 'True) (C1 ('MetaCons "ActiveRepos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ActiveRepoEntry])))

defaultActiveRepos :: ActiveRepos

filterSkippedActiveRepos :: ActiveRepos -> ActiveRepos

Note, this does nothing if ActiveRepoRest is present.

data ActiveRepoEntry

Constructors

ActiveRepoRest CombineStrategy

rest repositories, i.e. not explicitly listed as ActiveRepo

ActiveRepo RepoName CombineStrategy

explicit repository name

Instances

Parsec ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

parsec :: CabalParsing m => m ActiveRepoEntry

Pretty ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

pretty :: ActiveRepoEntry -> Doc

prettyVersioned :: CabalSpecVersion -> ActiveRepoEntry -> Doc

Structured ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

structure :: Proxy ActiveRepoEntry -> Structure

structureHash' :: Tagged ActiveRepoEntry MD5

Generic ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

Associated Types

type Rep ActiveRepoEntry :: Type -> Type

Methods

from :: ActiveRepoEntry -> Rep ActiveRepoEntry x

to :: Rep ActiveRepoEntry x -> ActiveRepoEntry

Show ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

showsPrec :: Int -> ActiveRepoEntry -> ShowS

show :: ActiveRepoEntry -> String

showList :: [ActiveRepoEntry] -> ShowS

Binary ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

put :: ActiveRepoEntry -> Put

get :: Get ActiveRepoEntry

putList :: [ActiveRepoEntry] -> Put

NFData ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

rnf :: ActiveRepoEntry -> ()

Eq ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

(==) :: ActiveRepoEntry -> ActiveRepoEntry -> Bool

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

type Rep ActiveRepoEntry

Defined in Distribution.Client.IndexUtils.ActiveRepos

type Rep ActiveRepoEntry = D1 ('MetaData "ActiveRepoEntry" "Distribution.Client.IndexUtils.ActiveRepos" "cabal-install-3.12.1.0-9NqWFHLEtw1EbVuShkL8UM" 'False) (C1 ('MetaCons "ActiveRepoRest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CombineStrategy)) :+: C1 ('MetaCons "ActiveRepo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RepoName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CombineStrategy)))

data CombineStrategy

Constructors

CombineStrategySkip

skip this repository

CombineStrategyMerge

merge existing versions

CombineStrategyOverride

if later repository specifies a package, all package versions are replaced

Instances

Parsec CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

parsec :: CabalParsing m => m CombineStrategy

Pretty CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

pretty :: CombineStrategy -> Doc

prettyVersioned :: CabalSpecVersion -> CombineStrategy -> Doc

Structured CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

structure :: Proxy CombineStrategy -> Structure

structureHash' :: Tagged CombineStrategy MD5

Bounded CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

minBound :: CombineStrategy

maxBound :: CombineStrategy

Enum CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

succ :: CombineStrategy -> CombineStrategy

pred :: CombineStrategy -> CombineStrategy

toEnum :: Int -> CombineStrategy

fromEnum :: CombineStrategy -> Int

enumFrom :: CombineStrategy -> [CombineStrategy]

enumFromThen :: CombineStrategy -> CombineStrategy -> [CombineStrategy]

enumFromTo :: CombineStrategy -> CombineStrategy -> [CombineStrategy]

enumFromThenTo :: CombineStrategy -> CombineStrategy -> CombineStrategy -> [CombineStrategy]

Generic CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Associated Types

type Rep CombineStrategy :: Type -> Type

Methods

from :: CombineStrategy -> Rep CombineStrategy x

to :: Rep CombineStrategy x -> CombineStrategy

Show CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

showsPrec :: Int -> CombineStrategy -> ShowS

show :: CombineStrategy -> String

showList :: [CombineStrategy] -> ShowS

Binary CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

put :: CombineStrategy -> Put

get :: Get CombineStrategy

putList :: [CombineStrategy] -> Put

NFData CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

rnf :: CombineStrategy -> ()

Eq CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

Methods

(==) :: CombineStrategy -> CombineStrategy -> Bool

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

type Rep CombineStrategy

Defined in Distribution.Client.IndexUtils.ActiveRepos

type Rep CombineStrategy = D1 ('MetaData "CombineStrategy" "Distribution.Client.IndexUtils.ActiveRepos" "cabal-install-3.12.1.0-9NqWFHLEtw1EbVuShkL8UM" 'False) (C1 ('MetaCons "CombineStrategySkip" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CombineStrategyMerge" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CombineStrategyOverride" 'PrefixI 'False) (U1 :: Type -> Type)))

organizeByRepos :: forall a. ActiveRepos -> (a -> RepoName) -> [a] -> Either String [(a, CombineStrategy)]

Sort values RepoName according to ActiveRepos list.

>>> let repos = [RepoName "a", RepoName "b", RepoName "c"]
>>> organizeByRepos (ActiveRepos [ActiveRepoRest CombineStrategyMerge]) id repos
Right [(RepoName {unRepoName = "a"},CombineStrategyMerge),(RepoName {unRepoName = "b"},CombineStrategyMerge),(RepoName {unRepoName = "c"},CombineStrategyMerge)]

>>> organizeByRepos (ActiveRepos [ActiveRepo (RepoName "b") CombineStrategyOverride, ActiveRepoRest CombineStrategyMerge]) id repos
Right [(RepoName {unRepoName = "b"},CombineStrategyOverride),(RepoName {unRepoName = "a"},CombineStrategyMerge),(RepoName {unRepoName = "c"},CombineStrategyMerge)]

>>> organizeByRepos (ActiveRepos [ActiveRepoRest CombineStrategyMerge, ActiveRepo (RepoName "b") CombineStrategyOverride]) id repos
Right [(RepoName {unRepoName = "a"},CombineStrategyMerge),(RepoName {unRepoName = "c"},CombineStrategyMerge),(RepoName {unRepoName = "b"},CombineStrategyOverride)]

>>> organizeByRepos (ActiveRepos [ActiveRepoRest CombineStrategyMerge, ActiveRepo (RepoName "d") CombineStrategyOverride]) id repos
Left "no repository provided d"

Note: currently if ActiveRepoRest is provided more than once, rest-repositories will be multiple times in the output.