Modulecabal-install-3.16.0.0Haskell2010

Distribution.Client.Types.Repo

3 types
7 values

Packagecabal-install-3.16.0.0
Exports10
LanguageHaskell2010
LicenceBSD-3-Clause
SourceRepo.hs

Remote repository

2 declarations

datadata RemoteRepo

Constructors

RemoteRepo
- remoteRepoName :: RepoName
- remoteRepoURI :: URI
- remoteRepoSecure :: Maybe Bool
  Enable secure access?
  Nothing here represents "whatever the default is"; this is important to allow for a smooth transition from opt-in to opt-out security (once we switch to opt-out, all access to the central Hackage repository should be secure by default)
- remoteRepoRootKeys :: [String]
  Root key IDs (for bootstrapping)
- remoteRepoKeyThreshold :: Int
  Threshold for verification during bootstrapping
- remoteRepoShouldTryHttps :: Bool
  Normally a repo just specifies an HTTP or HTTPS URI, but as a special case we may know a repo supports both and want to try HTTPS if we can, but still allow falling back to HTTP.
  This field is not currently stored in the config file, but is filled in automagically for known repos.

Instances9Eq, Ord, Show, Generic, Binary, Parsec, …

Eq RemoteRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Ord RemoteRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Show RemoteRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Generic RemoteRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Binary RemoteRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Parsec RemoteRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Note: serialised format represents RemoteRepo only partially.
Pretty RemoteRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Structured RemoteRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
type Rep RemoteRepo = D1 ('MetaData "RemoteRepo" "Distribution.Client.Types.Repo" "cabal-install-3.16.0.0-uJtb9D6RBHJ63rvXLCPUM" 'False) (C1 ('MetaCons "RemoteRepo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "remoteRepoName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RepoName) :*: (S1 ('MetaSel ('Just "remoteRepoURI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI) :*: S1 ('MetaSel ('Just "remoteRepoSecure") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))) :*: (S1 ('MetaSel ('Just "remoteRepoRootKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]) :*: (S1 ('MetaSel ('Just "remoteRepoKeyThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "remoteRepoShouldTryHttps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))Defined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo

valueemptyRemoteRepo :: RepoName -> RemoteRepo

Construct a partial RemoteRepo value to fold the field parser list over.

Local repository (no-index)

3 declarations

datadata LocalRepo

no-index style local repositories.

https://github.com/haskell/cabal/issues/6359

Constructors

LocalRepo
- localRepoName :: RepoName
- localRepoPath :: FilePath
- localRepoSharedCache :: Bool

Instances9Eq, Ord, Show, Generic, Binary, Parsec, …

Eq LocalRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Ord LocalRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Show LocalRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Generic LocalRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Binary LocalRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Parsec LocalRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Note: doesn't parse localRepoSharedCache field.
Pretty LocalRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Structured LocalRepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
type Rep LocalRepo = D1 ('MetaData "LocalRepo" "Distribution.Client.Types.Repo" "cabal-install-3.16.0.0-uJtb9D6RBHJ63rvXLCPUM" 'False) (C1 ('MetaCons "LocalRepo" 'PrefixI 'True) (S1 ('MetaSel ('Just "localRepoName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RepoName) :*: (S1 ('MetaSel ('Just "localRepoPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "localRepoSharedCache") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))Defined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo

valueemptyLocalRepo :: RepoName -> LocalRepo

Construct a partial LocalRepo value to fold the field parser list over.

valuelocalRepoCacheKey :: LocalRepo -> String

Calculate a cache key for local-repo.

For remote repositories we just use name, but local repositories may all be named "local", so we add a bit of localRepoPath into the mix.

Repository

4 declarations

datadata Repo

Different kinds of repositories

NOTE: It is important that this type remains serializable.

Constructors

RepoLocalNoIndex
Local repository, without index.
https://github.com/haskell/cabal/issues/6359
- repoLocal :: LocalRepo
- repoLocalDir :: FilePath
RepoRemote
Standard (unsecured) remote repositories
- repoRemote :: RemoteRepo
- repoLocalDir :: FilePath
RepoSecure
Secure repositories
Although this contains the same fields as RepoRemote, we use a separate constructor to avoid confusing the two.
Not all access to a secure repo goes through the hackage-security library currently; code paths that do not still make use of the repoRemote and repoLocalDir fields directly.
- repoRemote :: RemoteRepo
- repoLocalDir :: FilePath

Instances7Eq, Ord, Show, Generic, Binary, Structured, …

Eq RepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Ord RepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Show RepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Generic RepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Binary RepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
Structured RepoDefined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo
type Rep Repo = D1 ('MetaData "Repo" "Distribution.Client.Types.Repo" "cabal-install-3.16.0.0-uJtb9D6RBHJ63rvXLCPUM" 'False) (C1 ('MetaCons "RepoLocalNoIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "repoLocal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LocalRepo) :*: S1 ('MetaSel ('Just "repoLocalDir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :+: (C1 ('MetaCons "RepoRemote" 'PrefixI 'True) (S1 ('MetaSel ('Just "repoRemote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RemoteRepo) :*: S1 ('MetaSel ('Just "repoLocalDir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :+: C1 ('MetaCons "RepoSecure" 'PrefixI 'True) (S1 ('MetaSel ('Just "repoRemote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RemoteRepo) :*: S1 ('MetaSel ('Just "repoLocalDir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath))))Defined in cabal-install-3.16.0.0 · Distribution.Client.Types.Repo

valuerepoName :: Repo -> RepoName

valueisRepoRemote :: Repo -> Bool

Check if this is a remote repo

valuemaybeRepoRemote :: Repo -> Maybe RemoteRepo

Extract RemoteRepo from Repo if remote.

Windows

1 declaration

valuenormaliseFileNoIndexURI :: OS -> URI -> URI

When on Windows, we need to convert the paths in URIs to be POSIX-style.

Example2 expressions

>>> import Network.URI>>> normaliseFileNoIndexURI Windows (URI "file+noindex:" (Just nullURIAuth) "C:\\dev\\foo" "" "")file+noindex:C:/dev/foo

Other formats of file paths are not understood by network-uri:

Example5 expressions

>>> import Network.URI>>> uriPath <$> parseURI "file+noindex://C:/foo.txt"Just "/foo.txt">>> parseURI "file+noindex://C:\foo.txt"Nothing>>> uriPath <$> parseURI "file+noindex:///C:/foo.txt"Just "/C:/foo.txt">>> uriPath <$> parseURI "file+noindex:C:/foo.txt"Just "C:/foo.txt"

Out of the ones above, only the last one can be used from anywhere in the system.