Safe Haskell	None
Language	Haskell2010

Pantry

Contents

Running
- Convenience
Types
Loading values
Completion functions
Parsers
- Cabal values
Stackage snapshots
Cabal helpers
Package location
Cabal files
Hackage index
Snapshot cache

Description

Content addressable Haskell package management, providing for secure, reproducible acquisition of Haskell package contents and metadata.

Since: 0.1.0.0

Synopsis

data PantryConfig
data HackageSecurityConfig = HackageSecurityConfig {
- hscKeyIds :: ![Text]
- hscKeyThreshold :: !Int
- hscDownloadPrefix :: !Text
- hscIgnoreExpiry :: !Bool
}
defaultHackageSecurityConfig :: HackageSecurityConfig
class HasPantryConfig env where
- pantryConfigL :: Lens' env PantryConfig
withPantryConfig :: HasLogFunc env => Path Abs Dir -> HackageSecurityConfig -> HpackExecutable -> Int -> (PantryConfig -> RIO env a) -> RIO env a
data HpackExecutable
- = HpackBundled
- | HpackCommand !FilePath
data PantryApp
runPantryApp :: MonadIO m => RIO PantryApp a -> m a
runPantryAppClean :: MonadIO m => RIO PantryApp a -> m a
hpackExecutableL :: Lens' PantryConfig HpackExecutable
data PantryException
- = PackageIdentifierRevisionParseFail !Text
- | InvalidCabalFile !(Either RawPackageLocationImmutable (Path Abs File)) !(Maybe Version) ![PError] ![PWarning]
- | TreeWithoutCabalFile !RawPackageLocationImmutable
- | TreeWithMultipleCabalFiles !RawPackageLocationImmutable ![SafeFilePath]
- | MismatchedCabalName !(Path Abs File) !PackageName
- | NoCabalFileFound !(Path Abs Dir)
- | MultipleCabalFilesFound !(Path Abs Dir) ![Path Abs File]
- | InvalidWantedCompiler !Text
- | InvalidSnapshotLocation !(Path Abs Dir) !Text
- | InvalidOverrideCompiler !WantedCompiler !WantedCompiler
- | InvalidFilePathSnapshot !Text
- | InvalidSnapshot !RawSnapshotLocation !SomeException
- | MismatchedPackageMetadata !RawPackageLocationImmutable !RawPackageMetadata !(Maybe TreeKey) !BlobKey !PackageIdentifier
- | Non200ResponseStatus !Status
- | InvalidBlobKey !(Mismatch BlobKey)
- | Couldn'tParseSnapshot !RawSnapshotLocation !String
- | WrongCabalFileName !RawPackageLocationImmutable !SafeFilePath !PackageName
- | DownloadInvalidSHA256 !Text !(Mismatch SHA256)
- | DownloadInvalidSize !Text !(Mismatch FileSize)
- | DownloadTooLarge !Text !(Mismatch FileSize)
- | LocalInvalidSHA256 !(Path Abs File) !(Mismatch SHA256)
- | LocalInvalidSize !(Path Abs File) !(Mismatch FileSize)
- | UnknownArchiveType !ArchiveLocation
- | InvalidTarFileType !ArchiveLocation !FilePath !FileType
- | UnsupportedTarball !ArchiveLocation !Text
- | NoHackageCryptographicHash !PackageIdentifier
- | FailedToCloneRepo !Repo
- | TreeReferencesMissingBlob !RawPackageLocationImmutable !SafeFilePath !BlobKey
- | CompletePackageMetadataMismatch !RawPackageLocationImmutable !PackageMetadata
- | CRC32Mismatch !ArchiveLocation !FilePath !(Mismatch Word32)
- | UnknownHackagePackage !PackageIdentifierRevision !FuzzyResults
- | CannotCompleteRepoNonSHA1 !Repo
- | MutablePackageLocationFromUrl !Text
- | MismatchedCabalFileForHackage !PackageIdentifierRevision !(Mismatch PackageIdentifier)
- | PackageNameParseFail !Text
- | PackageVersionParseFail !Text
- | InvalidCabalFilePath !(Path Abs File)
- | DuplicatePackageNames !Utf8Builder ![(PackageName, [RawPackageLocationImmutable])]
- | MigrationFailure !Text !(Path Abs File) !SomeException
data PackageName
data Version
data FlagName
data PackageIdentifier = PackageIdentifier {
- pkgName :: PackageName
- pkgVersion :: Version
}
newtype FileSize = FileSize Word
newtype RelFilePath = RelFilePath Text
data ResolvedPath t = ResolvedPath {
- resolvedRelative :: !RelFilePath
- resolvedAbsolute :: !(Path Abs t)
}
data Unresolved a
data SHA256
newtype TreeKey = TreeKey BlobKey
data BlobKey = BlobKey !SHA256 !FileSize
data RawPackageMetadata = RawPackageMetadata {
- rpmName :: !(Maybe PackageName)
- rpmVersion :: !(Maybe Version)
- rpmTreeKey :: !(Maybe TreeKey)
- rpmCabal :: !(Maybe BlobKey)
}
data PackageMetadata = PackageMetadata {
- pmIdent :: !PackageIdentifier
- pmTreeKey :: !TreeKey
- pmCabal :: !BlobKey
}
data Package = Package {
- packageTreeKey :: !TreeKey
- packageTree :: !Tree
- packageCabalEntry :: !PackageCabal
- packageIdent :: !PackageIdentifier
}
data CabalFileInfo
- = CFILatest
- | CFIHash !SHA256 !(Maybe FileSize)
- | CFIRevision !Revision
newtype Revision = Revision Word
data PackageIdentifierRevision = PackageIdentifierRevision !PackageName !Version !CabalFileInfo
data UsePreferredVersions
- = UsePreferredVersions
- | IgnorePreferredVersions
data RawArchive = RawArchive {
- raLocation :: !ArchiveLocation
- raHash :: !(Maybe SHA256)
- raSize :: !(Maybe FileSize)
- raSubdir :: !Text
}
data Archive = Archive {
- archiveLocation :: !ArchiveLocation
- archiveHash :: !SHA256
- archiveSize :: !FileSize
- archiveSubdir :: !Text
}
data ArchiveLocation
- = ALUrl !Text
- | ALFilePath !(ResolvedPath File)
data Repo = Repo {
- repoUrl :: !Text
- repoCommit :: !Text
- repoType :: !RepoType
- repoSubdir :: !Text
}
data RepoType
- = RepoGit
- | RepoHg
withRepo :: forall env a. (HasLogFunc env, HasProcessContext env) => Repo -> RIO env a -> RIO env a
data RawPackageLocation
- = RPLImmutable !RawPackageLocationImmutable
- | RPLMutable !(ResolvedPath Dir)
data PackageLocation
- = PLImmutable !PackageLocationImmutable
- | PLMutable !(ResolvedPath Dir)
toRawPL :: PackageLocation -> RawPackageLocation
data RawPackageLocationImmutable
- = RPLIHackage !PackageIdentifierRevision !(Maybe TreeKey)
- | RPLIArchive !RawArchive !RawPackageMetadata
- | RPLIRepo !Repo !RawPackageMetadata
data PackageLocationImmutable
- = PLIHackage !PackageIdentifier !BlobKey !TreeKey
- | PLIArchive !Archive !PackageMetadata
- | PLIRepo !Repo !PackageMetadata
data RawSnapshotLocation
- = RSLCompiler !WantedCompiler
- | RSLUrl !Text !(Maybe BlobKey)
- | RSLFilePath !(ResolvedPath File)
data SnapshotLocation
- = SLCompiler !WantedCompiler
- | SLUrl !Text !BlobKey
- | SLFilePath !(ResolvedPath File)
toRawSL :: SnapshotLocation -> RawSnapshotLocation
data RawSnapshot = RawSnapshot {
- rsCompiler :: !WantedCompiler
- rsPackages :: !(Map PackageName RawSnapshotPackage)
- rsDrop :: !(Set PackageName)
}
data Snapshot = Snapshot {
- snapshotCompiler :: !WantedCompiler
- snapshotPackages :: !(Map PackageName SnapshotPackage)
- snapshotDrop :: !(Set PackageName)
}
data RawSnapshotPackage = RawSnapshotPackage {
- rspLocation :: !RawPackageLocationImmutable
- rspFlags :: !(Map FlagName Bool)
- rspHidden :: !Bool
- rspGhcOptions :: ![Text]
}
data SnapshotPackage = SnapshotPackage {
- spLocation :: !PackageLocationImmutable
- spFlags :: !(Map FlagName Bool)
- spHidden :: !Bool
- spGhcOptions :: ![Text]
}
data RawSnapshotLayer = RawSnapshotLayer {
- rslParent :: !RawSnapshotLocation
- rslCompiler :: !(Maybe WantedCompiler)
- rslLocations :: ![RawPackageLocationImmutable]
- rslDropPackages :: !(Set PackageName)
- rslFlags :: !(Map PackageName (Map FlagName Bool))
- rslHidden :: !(Map PackageName Bool)
- rslGhcOptions :: !(Map PackageName [Text])
- rslPublishTime :: !(Maybe UTCTime)
}
data SnapshotLayer = SnapshotLayer {
- slParent :: !SnapshotLocation
- slCompiler :: !(Maybe WantedCompiler)
- slLocations :: ![PackageLocationImmutable]
- slDropPackages :: !(Set PackageName)
- slFlags :: !(Map PackageName (Map FlagName Bool))
- slHidden :: !(Map PackageName Bool)
- slGhcOptions :: !(Map PackageName [Text])
- slPublishTime :: !(Maybe UTCTime)
}
toRawSnapshotLayer :: SnapshotLayer -> RawSnapshotLayer
data WantedCompiler
- = WCGhc !Version
- | WCGhcGit !Text !Text
- | WCGhcjs !Version !Version
resolvePaths :: MonadIO m => Maybe (Path Abs Dir) -> Unresolved a -> m a
loadPackageRaw :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env Package
loadPackage :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => PackageLocationImmutable -> RIO env Package
loadRawSnapshotLayer :: (HasPantryConfig env, HasLogFunc env) => RawSnapshotLocation -> RIO env (Either WantedCompiler (RawSnapshotLayer, CompletedSL))
loadSnapshotLayer :: (HasPantryConfig env, HasLogFunc env) => SnapshotLocation -> RIO env (Either WantedCompiler RawSnapshotLayer)
loadSnapshot :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => SnapshotLocation -> RIO env RawSnapshot
loadAndCompleteSnapshot :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => SnapshotLocation -> Map RawSnapshotLocation SnapshotLocation -> Map RawPackageLocationImmutable PackageLocationImmutable -> RIO env (Snapshot, [CompletedSL], [CompletedPLI])
loadAndCompleteSnapshotRaw :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawSnapshotLocation -> Map RawSnapshotLocation SnapshotLocation -> Map RawPackageLocationImmutable PackageLocationImmutable -> RIO env (Snapshot, [CompletedSL], [CompletedPLI])
data CompletedSL = CompletedSL !RawSnapshotLocation !SnapshotLocation
data CompletedPLI = CompletedPLI !RawPackageLocationImmutable !PackageLocationImmutable
addPackagesToSnapshot :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => Utf8Builder -> [RawPackageLocationImmutable] -> AddPackagesConfig -> Map PackageName RawSnapshotPackage -> RIO env (Map PackageName RawSnapshotPackage, AddPackagesConfig)
data AddPackagesConfig = AddPackagesConfig {
- apcDrop :: !(Set PackageName)
- apcFlags :: !(Map PackageName (Map FlagName Bool))
- apcHiddens :: !(Map PackageName Bool)
- apcGhcOptions :: !(Map PackageName [Text])
}
completePackageLocation :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env PackageLocationImmutable
completeSnapshotLayer :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawSnapshotLayer -> RIO env SnapshotLayer
completeSnapshotLocation :: (HasPantryConfig env, HasLogFunc env) => RawSnapshotLocation -> RIO env SnapshotLocation
parseWantedCompiler :: Text -> Either PantryException WantedCompiler
parseRawSnapshotLocation :: Text -> Unresolved RawSnapshotLocation
parsePackageIdentifierRevision :: Text -> Either PantryException PackageIdentifierRevision
parseHackageText :: Text -> Either PantryException (PackageIdentifier, BlobKey)
parsePackageIdentifier :: String -> Maybe PackageIdentifier
parsePackageName :: String -> Maybe PackageName
parsePackageNameThrowing :: MonadThrow m => String -> m PackageName
parseFlagName :: String -> Maybe FlagName
parseVersion :: String -> Maybe Version
parseVersionThrowing :: MonadThrow m => String -> m Version
ltsSnapshotLocation :: Int -> Int -> RawSnapshotLocation
nightlySnapshotLocation :: Day -> RawSnapshotLocation
packageIdentifierString :: PackageIdentifier -> String
packageNameString :: PackageName -> String
flagNameString :: FlagName -> String
versionString :: Version -> String
moduleNameString :: ModuleName -> String
newtype CabalString a = CabalString {
- unCabalString :: a
}
toCabalStringMap :: Map a v -> Map (CabalString a) v
unCabalStringMap :: Map (CabalString a) v -> Map a v
gpdPackageIdentifier :: GenericPackageDescription -> PackageIdentifier
gpdPackageName :: GenericPackageDescription -> PackageName
gpdVersion :: GenericPackageDescription -> Version
fetchPackages :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env, Foldable f) => f PackageLocationImmutable -> RIO env ()
unpackPackageLocationRaw :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => Path Abs Dir -> RawPackageLocationImmutable -> RIO env ()
unpackPackageLocation :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => Path Abs Dir -> PackageLocationImmutable -> RIO env ()
getPackageLocationName :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env PackageName
getRawPackageLocationIdent :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env PackageIdentifier
packageLocationIdent :: PackageLocationImmutable -> PackageIdentifier
packageLocationVersion :: PackageLocationImmutable -> Version
getRawPackageLocationTreeKey :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env TreeKey
getPackageLocationTreeKey :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => PackageLocationImmutable -> RIO env TreeKey
loadCabalFileRaw :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocation -> RIO env GenericPackageDescription
loadCabalFile :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => PackageLocation -> RIO env GenericPackageDescription
loadCabalFileRawImmutable :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env GenericPackageDescription
loadCabalFileImmutable :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => PackageLocationImmutable -> RIO env GenericPackageDescription
loadCabalFilePath :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => Path Abs Dir -> RIO env (PrintWarnings -> IO GenericPackageDescription, PackageName, Path Abs File)
findOrGenerateCabalFile :: forall env. (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => Path Abs Dir -> RIO env (PackageName, Path Abs File)
data PrintWarnings
- = YesPrintWarnings
- | NoPrintWarnings
updateHackageIndex :: (HasPantryConfig env, HasLogFunc env) => Maybe Utf8Builder -> RIO env DidUpdateOccur
data DidUpdateOccur
- = UpdateOccurred
- | NoUpdateOccurred
data RequireHackageIndex
- = YesRequireHackageIndex
- | NoRequireHackageIndex
hackageIndexTarballL :: HasPantryConfig env => SimpleGetter env (Path Abs File)
getHackagePackageVersions :: (HasPantryConfig env, HasLogFunc env) => RequireHackageIndex -> UsePreferredVersions -> PackageName -> RIO env (Map Version (Map Revision BlobKey))
getLatestHackageVersion :: (HasPantryConfig env, HasLogFunc env) => RequireHackageIndex -> PackageName -> UsePreferredVersions -> RIO env (Maybe PackageIdentifierRevision)
getLatestHackageLocation :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RequireHackageIndex -> PackageName -> UsePreferredVersions -> RIO env (Maybe PackageLocationImmutable)
getLatestHackageRevision :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RequireHackageIndex -> PackageName -> Version -> RIO env (Maybe (Revision, BlobKey, TreeKey))
getHackageTypoCorrections :: (HasPantryConfig env, HasLogFunc env) => PackageName -> RIO env [PackageName]
loadGlobalHints :: (HasTerm env, HasPantryConfig env) => WantedCompiler -> RIO env (Maybe (Map PackageName Version))
partitionReplacedDependencies :: Ord id => Map PackageName a -> (a -> PackageName) -> (a -> id) -> (a -> [id]) -> Set PackageName -> (Map PackageName [PackageName], Map PackageName a)
newtype SnapshotCacheHash = SnapshotCacheHash {
- unSnapshotCacheHash :: SHA256
}
withSnapshotCache :: (HasPantryConfig env, HasLogFunc env) => SnapshotCacheHash -> RIO env (Map PackageName (Set ModuleName)) -> ((ModuleName -> RIO env [PackageName]) -> RIO env a) -> RIO env a

Running

data PantryConfig Source #

Configuration value used by the entire pantry package. Create one using withPantryConfig. See also PantryApp for a convenience approach to using pantry.

Since: 0.1.0.0

data HackageSecurityConfig Source #

Configuration for Hackage Security to securely download package metadata and contents from Hackage. For most purposes, you'll want to use the default Hackage settings via defaultHackageSecurityConfig.

NOTE It's highly recommended to only use the official Hackage server or a mirror. See https://github.com/commercialhaskell/stack/issues/4137.

Since: 0.1.0.0

Constructors

HackageSecurityConfig
Fields hscKeyIds :: ![Text] hscKeyThreshold :: !Int hscDownloadPrefix :: !Text hscIgnoreExpiry :: !Bool

Instances

Show HackageSecurityConfig Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> HackageSecurityConfig -> ShowS # show :: HackageSecurityConfig -> String # showList :: [HackageSecurityConfig] -> ShowS #
FromJSON (WithJSONWarnings HackageSecurityConfig) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings HackageSecurityConfig) # parseJSONList :: Value -> Parser [WithJSONWarnings HackageSecurityConfig] #

defaultHackageSecurityConfig :: HackageSecurityConfig Source #

Default HackageSecurityConfig value using the official Hackage server.

Since: 0.1.0.0

class HasPantryConfig env where Source #

An environment which contains a PantryConfig.

Since: 0.1.0.0

Methods

pantryConfigL :: Lens' env PantryConfig Source #

Lens to get or set the PantryConfig

Since: 0.1.0.0

Instances

HasPantryConfig PantryApp Source #
Instance details Defined in Pantry Methods pantryConfigL :: Lens' PantryApp PantryConfig Source #

withPantryConfig Source #

Arguments

:: HasLogFunc env
=> Path Abs Dir	pantry root directory, where the SQLite database and Hackage downloads are kept.
-> HackageSecurityConfig	Hackage configuration. You probably want `defaultHackageSecurityConfig`.
-> HpackExecutable	When converting an hpack `package.yaml` file to a cabal file, what version of hpack should we use?
-> Int	Maximum connection count
-> (PantryConfig -> RIO env a)	What to do with the config
-> RIO env a

Create a new PantryConfig with the given settings.

For something easier to use in simple cases, see runPantryApp.

Since: 0.1.0.0

data HpackExecutable Source #

What to use for running hpack

Since: 0.1.0.0

Constructors

HpackBundled	Compiled in library
HpackCommand !FilePath	Executable at the provided path

Instances

Eq HpackExecutable Source #
Instance details Defined in Pantry.Types Methods (==) :: HpackExecutable -> HpackExecutable -> Bool # (/=) :: HpackExecutable -> HpackExecutable -> Bool #
Ord HpackExecutable Source #
Instance details Defined in Pantry.Types Methods compare :: HpackExecutable -> HpackExecutable -> Ordering # (<) :: HpackExecutable -> HpackExecutable -> Bool # (<=) :: HpackExecutable -> HpackExecutable -> Bool # (>) :: HpackExecutable -> HpackExecutable -> Bool # (>=) :: HpackExecutable -> HpackExecutable -> Bool # max :: HpackExecutable -> HpackExecutable -> HpackExecutable # min :: HpackExecutable -> HpackExecutable -> HpackExecutable #
Read HpackExecutable Source #
Instance details Defined in Pantry.Types Methods readsPrec :: Int -> ReadS HpackExecutable # readList :: ReadS [HpackExecutable] # readPrec :: ReadPrec HpackExecutable # readListPrec :: ReadPrec [HpackExecutable] #
Show HpackExecutable Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> HpackExecutable -> ShowS # show :: HpackExecutable -> String # showList :: [HpackExecutable] -> ShowS #

Convenience

data PantryApp Source #

Convenient data type that allows you to work with pantry more easily than using withPantryConfig directly. Uses basically sane settings, like sharing a pantry directory with Stack.

You can use runPantryApp to use this.

Since: 0.1.0.0

Instances

HasProcessContext PantryApp Source #
Instance details Defined in Pantry Methods processContextL :: Lens' PantryApp ProcessContext #
HasLogFunc PantryApp Source #
Instance details Defined in Pantry Methods logFuncL :: Lens' PantryApp LogFunc #
HasTerm PantryApp Source #
Instance details Defined in Pantry Methods useColorL :: Lens' PantryApp Bool # termWidthL :: Lens' PantryApp Int #
HasStylesUpdate PantryApp Source #
Instance details Defined in Pantry Methods stylesUpdateL :: Lens' PantryApp StylesUpdate #
HasPantryConfig PantryApp Source #
Instance details Defined in Pantry Methods pantryConfigL :: Lens' PantryApp PantryConfig Source #

runPantryApp :: MonadIO m => RIO PantryApp a -> m a Source #

Run some code against pantry using basic sane settings.

For testing, see runPantryAppClean.

Since: 0.1.0.0

runPantryAppClean :: MonadIO m => RIO PantryApp a -> m a Source #

Like runPantryApp, but uses an empty pantry directory instead of sharing with Stack. Useful for testing.

Since: 0.1.0.0

hpackExecutableL :: Lens' PantryConfig HpackExecutable Source #

Lens to view or modify the HpackExecutable of a PantryConfig

Since: 0.1.0.0

Types

Exceptions

data PantryException Source #

Things that can go wrong in pantry. Note two things:

Many other exception types may be thrown from underlying libraries. Pantry does not attempt to wrap these underlying exceptions.
We may add more constructors to this data type in minor version bumps of pantry. This technically breaks the PVP. You should not be writing pattern matches against this type that expect total matching.

Since: 0.1.0.0

Constructors

PackageIdentifierRevisionParseFail !Text
InvalidCabalFile !(Either RawPackageLocationImmutable (Path Abs File)) !(Maybe Version) ![PError] ![PWarning]
TreeWithoutCabalFile !RawPackageLocationImmutable
TreeWithMultipleCabalFiles !RawPackageLocationImmutable ![SafeFilePath]
MismatchedCabalName !(Path Abs File) !PackageName
NoCabalFileFound !(Path Abs Dir)
MultipleCabalFilesFound !(Path Abs Dir) ![Path Abs File]
InvalidWantedCompiler !Text
InvalidSnapshotLocation !(Path Abs Dir) !Text
InvalidOverrideCompiler !WantedCompiler !WantedCompiler
InvalidFilePathSnapshot !Text
InvalidSnapshot !RawSnapshotLocation !SomeException
MismatchedPackageMetadata !RawPackageLocationImmutable !RawPackageMetadata !(Maybe TreeKey) !BlobKey !PackageIdentifier
Non200ResponseStatus !Status
InvalidBlobKey !(Mismatch BlobKey)
Couldn'tParseSnapshot !RawSnapshotLocation !String
WrongCabalFileName !RawPackageLocationImmutable !SafeFilePath !PackageName
DownloadInvalidSHA256 !Text !(Mismatch SHA256)
DownloadInvalidSize !Text !(Mismatch FileSize)
DownloadTooLarge !Text !(Mismatch FileSize)	Different from `DownloadInvalidSize` since `mismatchActual` is a lower bound on the size from the server.
LocalInvalidSHA256 !(Path Abs File) !(Mismatch SHA256)
LocalInvalidSize !(Path Abs File) !(Mismatch FileSize)
UnknownArchiveType !ArchiveLocation
InvalidTarFileType !ArchiveLocation !FilePath !FileType
UnsupportedTarball !ArchiveLocation !Text
NoHackageCryptographicHash !PackageIdentifier
FailedToCloneRepo !Repo
TreeReferencesMissingBlob !RawPackageLocationImmutable !SafeFilePath !BlobKey
CompletePackageMetadataMismatch !RawPackageLocationImmutable !PackageMetadata
CRC32Mismatch !ArchiveLocation !FilePath !(Mismatch Word32)
UnknownHackagePackage !PackageIdentifierRevision !FuzzyResults
CannotCompleteRepoNonSHA1 !Repo
MutablePackageLocationFromUrl !Text
MismatchedCabalFileForHackage !PackageIdentifierRevision !(Mismatch PackageIdentifier)
PackageNameParseFail !Text
PackageVersionParseFail !Text
InvalidCabalFilePath !(Path Abs File)
DuplicatePackageNames !Utf8Builder ![(PackageName, [RawPackageLocationImmutable])]
MigrationFailure !Text !(Path Abs File) !SomeException

Instances

Show PantryException Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PantryException -> ShowS # show :: PantryException -> String # showList :: [PantryException] -> ShowS #
Exception PantryException Source #
Instance details Defined in Pantry.Types Methods toException :: PantryException -> SomeException # fromException :: SomeException -> Maybe PantryException # displayException :: PantryException -> String #
Display PantryException Source #
Instance details Defined in Pantry.Types Methods display :: PantryException -> Utf8Builder # textDisplay :: PantryException -> Text #

Cabal types

data PackageName #

A package name.

Use mkPackageName and unPackageName to convert from/to a String.

This type is opaque since Cabal-2.0

Since: Cabal-2.0.0.2

Instances

Eq PackageName
Instance details Defined in Distribution.Types.PackageName Methods (==) :: PackageName -> PackageName -> Bool # (/=) :: PackageName -> PackageName -> Bool #
Data PackageName
Instance details Defined in Distribution.Types.PackageName Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageName -> c PackageName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PackageName # toConstr :: PackageName -> Constr # dataTypeOf :: PackageName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PackageName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PackageName) # gmapT :: (forall b. Data b => b -> b) -> PackageName -> PackageName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageName -> r # gmapQ :: (forall d. Data d => d -> u) -> PackageName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageName -> m PackageName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageName -> m PackageName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageName -> m PackageName #
Ord PackageName
Instance details Defined in Distribution.Types.PackageName Methods compare :: PackageName -> PackageName -> Ordering # (<) :: PackageName -> PackageName -> Bool # (<=) :: PackageName -> PackageName -> Bool # (>) :: PackageName -> PackageName -> Bool # (>=) :: PackageName -> PackageName -> Bool # max :: PackageName -> PackageName -> PackageName # min :: PackageName -> PackageName -> PackageName #
Read PackageName
Instance details Defined in Distribution.Types.PackageName Methods readsPrec :: Int -> ReadS PackageName # readList :: ReadS [PackageName] # readPrec :: ReadPrec PackageName # readListPrec :: ReadPrec [PackageName] #
Show PackageName
Instance details Defined in Distribution.Types.PackageName Methods showsPrec :: Int -> PackageName -> ShowS # show :: PackageName -> String # showList :: [PackageName] -> ShowS #
IsString PackageName	`mkPackageName` Since: Cabal-2.0.0.2
Instance details Defined in Distribution.Types.PackageName Methods fromString :: String -> PackageName #
Generic PackageName
Instance details Defined in Distribution.Types.PackageName Associated Types type Rep PackageName :: Type -> Type # Methods from :: PackageName -> Rep PackageName x # to :: Rep PackageName x -> PackageName #
Text PackageName
Instance details Defined in Distribution.Types.PackageName Methods disp :: PackageName -> Doc # parse :: ReadP r PackageName #
Parsec PackageName
Instance details Defined in Distribution.Types.PackageName Methods parsec :: CabalParsing m => m PackageName #
Pretty PackageName
Instance details Defined in Distribution.Types.PackageName Methods pretty :: PackageName -> Doc #
NFData PackageName
Instance details Defined in Distribution.Types.PackageName Methods rnf :: PackageName -> () #
Binary PackageName
Instance details Defined in Distribution.Types.PackageName Methods put :: PackageName -> Put # get :: Get PackageName # putList :: [PackageName] -> Put #
type Rep PackageName
Instance details Defined in Distribution.Types.PackageName type Rep PackageName = D1 (MetaData "PackageName" "Distribution.Types.PackageName" "Cabal-2.4.0.1" True) (C1 (MetaCons "PackageName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortText)))

data Version #

A Version represents the version of a software entity.

Instances of Eq and Ord are provided, which gives exact equality and lexicographic ordering of the version number components (i.e. 2.1 > 2.0, 1.2.3 > 1.2.2, etc.).

This type is opaque and distinct from the Version type in Data.Version since Cabal-2.0. The difference extends to the Binary instance using a different (and more compact) encoding.

Since: Cabal-2.0.0.2

Instances

Eq Version
Instance details Defined in Distribution.Types.Version Methods (==) :: Version -> Version -> Bool # (/=) :: Version -> Version -> Bool #
Data Version
Instance details Defined in Distribution.Types.Version Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Version -> c Version # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Version # toConstr :: Version -> Constr # dataTypeOf :: Version -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Version) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Version) # gmapT :: (forall b. Data b => b -> b) -> Version -> Version # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Version -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Version -> r # gmapQ :: (forall d. Data d => d -> u) -> Version -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Version -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Version -> m Version # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Version -> m Version # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Version -> m Version #
Ord Version
Instance details Defined in Distribution.Types.Version Methods compare :: Version -> Version -> Ordering # (<) :: Version -> Version -> Bool # (<=) :: Version -> Version -> Bool # (>) :: Version -> Version -> Bool # (>=) :: Version -> Version -> Bool # max :: Version -> Version -> Version # min :: Version -> Version -> Version #
Read Version
Instance details Defined in Distribution.Types.Version Methods readsPrec :: Int -> ReadS Version # readList :: ReadS [Version] # readPrec :: ReadPrec Version # readListPrec :: ReadPrec [Version] #
Show Version
Instance details Defined in Distribution.Types.Version Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #
Generic Version
Instance details Defined in Distribution.Types.Version Associated Types type Rep Version :: Type -> Type # Methods from :: Version -> Rep Version x # to :: Rep Version x -> Version #
Text Version
Instance details Defined in Distribution.Types.Version Methods disp :: Version -> Doc # parse :: ReadP r Version #
Parsec Version
Instance details Defined in Distribution.Types.Version Methods parsec :: CabalParsing m => m Version #
Pretty Version
Instance details Defined in Distribution.Types.Version Methods pretty :: Version -> Doc #
NFData Version
Instance details Defined in Distribution.Types.Version Methods rnf :: Version -> () #
Binary Version
Instance details Defined in Distribution.Types.Version Methods put :: Version -> Put # get :: Get Version # putList :: [Version] -> Put #
type Rep Version
Instance details Defined in Distribution.Types.Version type Rep Version = D1 (MetaData "Version" "Distribution.Types.Version" "Cabal-2.4.0.1" False) (C1 (MetaCons "PV0" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedUnpack) (Rec0 Word64)) :+: C1 (MetaCons "PV1" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Int])))

data FlagName #

A FlagName is the name of a user-defined configuration flag

Use mkFlagName and unFlagName to convert from/to a String.

This type is opaque since Cabal-2.0

Since: Cabal-2.0.0.2

Instances

Eq FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods (==) :: FlagName -> FlagName -> Bool # (/=) :: FlagName -> FlagName -> Bool #
Data FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FlagName -> c FlagName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FlagName # toConstr :: FlagName -> Constr # dataTypeOf :: FlagName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FlagName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FlagName) # gmapT :: (forall b. Data b => b -> b) -> FlagName -> FlagName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FlagName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FlagName -> r # gmapQ :: (forall d. Data d => d -> u) -> FlagName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FlagName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FlagName -> m FlagName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FlagName -> m FlagName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FlagName -> m FlagName #
Ord FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods compare :: FlagName -> FlagName -> Ordering # (<) :: FlagName -> FlagName -> Bool # (<=) :: FlagName -> FlagName -> Bool # (>) :: FlagName -> FlagName -> Bool # (>=) :: FlagName -> FlagName -> Bool # max :: FlagName -> FlagName -> FlagName # min :: FlagName -> FlagName -> FlagName #
Read FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods readsPrec :: Int -> ReadS FlagName # readList :: ReadS [FlagName] # readPrec :: ReadPrec FlagName # readListPrec :: ReadPrec [FlagName] #
Show FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods showsPrec :: Int -> FlagName -> ShowS # show :: FlagName -> String # showList :: [FlagName] -> ShowS #
IsString FlagName	`mkFlagName` Since: Cabal-2.0.0.2
Instance details Defined in Distribution.Types.GenericPackageDescription Methods fromString :: String -> FlagName #
Generic FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Associated Types type Rep FlagName :: Type -> Type # Methods from :: FlagName -> Rep FlagName x # to :: Rep FlagName x -> FlagName #
Text FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods disp :: FlagName -> Doc # parse :: ReadP r FlagName #
Parsec FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods parsec :: CabalParsing m => m FlagName #
Pretty FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods pretty :: FlagName -> Doc #
NFData FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods rnf :: FlagName -> () #
Binary FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription Methods put :: FlagName -> Put # get :: Get FlagName # putList :: [FlagName] -> Put #
type Rep FlagName
Instance details Defined in Distribution.Types.GenericPackageDescription type Rep FlagName = D1 (MetaData "FlagName" "Distribution.Types.GenericPackageDescription" "Cabal-2.4.0.1" True) (C1 (MetaCons "FlagName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortText)))

data PackageIdentifier #

The name and version of a package.

Constructors

PackageIdentifier
Fields pkgName :: PackageName The name of this package, eg. foo pkgVersion :: Version the version of this package, eg 1.2

Instances

Eq PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods (==) :: PackageIdentifier -> PackageIdentifier -> Bool # (/=) :: PackageIdentifier -> PackageIdentifier -> Bool #
Data PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageIdentifier -> c PackageIdentifier # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PackageIdentifier # toConstr :: PackageIdentifier -> Constr # dataTypeOf :: PackageIdentifier -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PackageIdentifier) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PackageIdentifier) # gmapT :: (forall b. Data b => b -> b) -> PackageIdentifier -> PackageIdentifier # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageIdentifier -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageIdentifier -> r # gmapQ :: (forall d. Data d => d -> u) -> PackageIdentifier -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageIdentifier -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageIdentifier -> m PackageIdentifier # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageIdentifier -> m PackageIdentifier # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageIdentifier -> m PackageIdentifier #
Ord PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods compare :: PackageIdentifier -> PackageIdentifier -> Ordering # (<) :: PackageIdentifier -> PackageIdentifier -> Bool # (<=) :: PackageIdentifier -> PackageIdentifier -> Bool # (>) :: PackageIdentifier -> PackageIdentifier -> Bool # (>=) :: PackageIdentifier -> PackageIdentifier -> Bool # max :: PackageIdentifier -> PackageIdentifier -> PackageIdentifier # min :: PackageIdentifier -> PackageIdentifier -> PackageIdentifier #
Read PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods readsPrec :: Int -> ReadS PackageIdentifier # readList :: ReadS [PackageIdentifier] # readPrec :: ReadPrec PackageIdentifier # readListPrec :: ReadPrec [PackageIdentifier] #
Show PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods showsPrec :: Int -> PackageIdentifier -> ShowS # show :: PackageIdentifier -> String # showList :: [PackageIdentifier] -> ShowS #
Generic PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Associated Types type Rep PackageIdentifier :: Type -> Type # Methods from :: PackageIdentifier -> Rep PackageIdentifier x # to :: Rep PackageIdentifier x -> PackageIdentifier #
Text PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods disp :: PackageIdentifier -> Doc # parse :: ReadP r PackageIdentifier #
Parsec PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods parsec :: CabalParsing m => m PackageIdentifier #
Pretty PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods pretty :: PackageIdentifier -> Doc #
NFData PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods rnf :: PackageIdentifier -> () #
Binary PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Methods put :: PackageIdentifier -> Put # get :: Get PackageIdentifier # putList :: [PackageIdentifier] -> Put #
type Rep PackageIdentifier
Instance details Defined in Distribution.Types.PackageId type Rep PackageIdentifier = D1 (MetaData "PackageIdentifier" "Distribution.Types.PackageId" "Cabal-2.4.0.1" False) (C1 (MetaCons "PackageIdentifier" PrefixI True) (S1 (MetaSel (Just "pkgName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PackageName) :*: S1 (MetaSel (Just "pkgVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Version)))

Files

newtype FileSize Source #

File size in bytes

Since: 0.1.0.0

Constructors

FileSize Word

Instances

Eq FileSize Source #
Instance details Defined in Pantry.Types Methods (==) :: FileSize -> FileSize -> Bool # (/=) :: FileSize -> FileSize -> Bool #
Ord FileSize Source #
Instance details Defined in Pantry.Types Methods compare :: FileSize -> FileSize -> Ordering # (<) :: FileSize -> FileSize -> Bool # (<=) :: FileSize -> FileSize -> Bool # (>) :: FileSize -> FileSize -> Bool # (>=) :: FileSize -> FileSize -> Bool # max :: FileSize -> FileSize -> FileSize # min :: FileSize -> FileSize -> FileSize #
Show FileSize Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> FileSize -> ShowS # show :: FileSize -> String # showList :: [FileSize] -> ShowS #
Generic FileSize Source #
Instance details Defined in Pantry.Types Associated Types type Rep FileSize :: Type -> Type # Methods from :: FileSize -> Rep FileSize x # to :: Rep FileSize x -> FileSize #
NFData FileSize Source #
Instance details Defined in Pantry.Types Methods rnf :: FileSize -> () #
Hashable FileSize Source #
Instance details Defined in Pantry.Types Methods hashWithSalt :: Int -> FileSize -> Int # hash :: FileSize -> Int #
ToJSON FileSize Source #
Instance details Defined in Pantry.Types Methods toJSON :: FileSize -> Value # toEncoding :: FileSize -> Encoding # toJSONList :: [FileSize] -> Value # toEncodingList :: [FileSize] -> Encoding #
FromJSON FileSize Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser FileSize # parseJSONList :: Value -> Parser [FileSize] #
PersistFieldSql FileSize Source #
Instance details Defined in Pantry.Types Methods sqlType :: Proxy FileSize -> SqlType #
PersistField FileSize Source #
Instance details Defined in Pantry.Types Methods toPersistValue :: FileSize -> PersistValue # fromPersistValue :: PersistValue -> Either Text FileSize #
Display FileSize Source #
Instance details Defined in Pantry.Types Methods display :: FileSize -> Utf8Builder # textDisplay :: FileSize -> Text #
type Rep FileSize Source #
Instance details Defined in Pantry.Types type Rep FileSize = D1 (MetaData "FileSize" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" True) (C1 (MetaCons "FileSize" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))

newtype RelFilePath Source #

File path relative to the configuration file it was parsed from

Since: 0.1.0.0

Constructors

RelFilePath Text

Instances

Eq RelFilePath Source #
Instance details Defined in Pantry.Types Methods (==) :: RelFilePath -> RelFilePath -> Bool # (/=) :: RelFilePath -> RelFilePath -> Bool #
Ord RelFilePath Source #
Instance details Defined in Pantry.Types Methods compare :: RelFilePath -> RelFilePath -> Ordering # (<) :: RelFilePath -> RelFilePath -> Bool # (<=) :: RelFilePath -> RelFilePath -> Bool # (>) :: RelFilePath -> RelFilePath -> Bool # (>=) :: RelFilePath -> RelFilePath -> Bool # max :: RelFilePath -> RelFilePath -> RelFilePath # min :: RelFilePath -> RelFilePath -> RelFilePath #
Show RelFilePath Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> RelFilePath -> ShowS # show :: RelFilePath -> String # showList :: [RelFilePath] -> ShowS #
Generic RelFilePath Source #
Instance details Defined in Pantry.Types Associated Types type Rep RelFilePath :: Type -> Type # Methods from :: RelFilePath -> Rep RelFilePath x # to :: Rep RelFilePath x -> RelFilePath #
NFData RelFilePath Source #
Instance details Defined in Pantry.Types Methods rnf :: RelFilePath -> () #
ToJSON RelFilePath Source #
Instance details Defined in Pantry.Types Methods toJSON :: RelFilePath -> Value # toEncoding :: RelFilePath -> Encoding # toJSONList :: [RelFilePath] -> Value # toEncodingList :: [RelFilePath] -> Encoding #
FromJSON RelFilePath Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser RelFilePath # parseJSONList :: Value -> Parser [RelFilePath] #
Display RelFilePath Source #
Instance details Defined in Pantry.Types Methods display :: RelFilePath -> Utf8Builder # textDisplay :: RelFilePath -> Text #
type Rep RelFilePath Source #
Instance details Defined in Pantry.Types type Rep RelFilePath = D1 (MetaData "RelFilePath" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" True) (C1 (MetaCons "RelFilePath" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data ResolvedPath t Source #

A combination of the relative path provided in a config file, together with the resolved absolute path.

Since: 0.1.0.0

Constructors

ResolvedPath
Fields resolvedRelative :: !RelFilePath Original value parsed from a config file. resolvedAbsolute :: !(Path Abs t) Absolute path resolved against base directory loaded from.

Instances

Eq (ResolvedPath t) Source #
Instance details Defined in Pantry.Types Methods (==) :: ResolvedPath t -> ResolvedPath t -> Bool # (/=) :: ResolvedPath t -> ResolvedPath t -> Bool #
Ord (ResolvedPath t) Source #
Instance details Defined in Pantry.Types Methods compare :: ResolvedPath t -> ResolvedPath t -> Ordering # (<) :: ResolvedPath t -> ResolvedPath t -> Bool # (<=) :: ResolvedPath t -> ResolvedPath t -> Bool # (>) :: ResolvedPath t -> ResolvedPath t -> Bool # (>=) :: ResolvedPath t -> ResolvedPath t -> Bool # max :: ResolvedPath t -> ResolvedPath t -> ResolvedPath t # min :: ResolvedPath t -> ResolvedPath t -> ResolvedPath t #
Show (ResolvedPath t) Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> ResolvedPath t -> ShowS # show :: ResolvedPath t -> String # showList :: [ResolvedPath t] -> ShowS #
Generic (ResolvedPath t) Source #
Instance details Defined in Pantry.Types Associated Types type Rep (ResolvedPath t) :: Type -> Type # Methods from :: ResolvedPath t -> Rep (ResolvedPath t) x # to :: Rep (ResolvedPath t) x -> ResolvedPath t #
NFData (ResolvedPath t) Source #
Instance details Defined in Pantry.Types Methods rnf :: ResolvedPath t -> () #
type Rep (ResolvedPath t) Source #
Instance details Defined in Pantry.Types type Rep (ResolvedPath t) = D1 (MetaData "ResolvedPath" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "ResolvedPath" PrefixI True) (S1 (MetaSel (Just "resolvedRelative") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 RelFilePath) :*: S1 (MetaSel (Just "resolvedAbsolute") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Path Abs t))))

data Unresolved a Source #

Wraps a value which potentially contains relative paths. Needs to be provided with a base directory to resolve these paths.

Unwrap this using resolvePaths.

Since: 0.1.0.0

Instances

Functor Unresolved Source #
Instance details Defined in Pantry.Types Methods fmap :: (a -> b) -> Unresolved a -> Unresolved b # (<$) :: a -> Unresolved b -> Unresolved a #
Applicative Unresolved Source #
Instance details Defined in Pantry.Types Methods pure :: a -> Unresolved a # (<>) :: Unresolved (a -> b) -> Unresolved a -> Unresolved b # liftA2 :: (a -> b -> c) -> Unresolved a -> Unresolved b -> Unresolved c # (>) :: Unresolved a -> Unresolved b -> Unresolved b # (<*) :: Unresolved a -> Unresolved b -> Unresolved a #
FromJSON (WithJSONWarnings (Unresolved (NonEmpty RawPackageLocationImmutable))) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved (NonEmpty RawPackageLocationImmutable))) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved (NonEmpty RawPackageLocationImmutable))] #
FromJSON (WithJSONWarnings (Unresolved (NonEmpty RawPackageLocation))) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved (NonEmpty RawPackageLocation))) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved (NonEmpty RawPackageLocation))] #
FromJSON (WithJSONWarnings (Unresolved RawSnapshotLayer)) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved RawSnapshotLayer)) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved RawSnapshotLayer)] #
FromJSON (WithJSONWarnings (Unresolved SnapshotLocation)) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved SnapshotLocation)) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved SnapshotLocation)] #
FromJSON (WithJSONWarnings (Unresolved RawSnapshotLocation)) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved RawSnapshotLocation)) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved RawSnapshotLocation)] #
FromJSON (WithJSONWarnings (Unresolved PackageLocationImmutable)) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved PackageLocationImmutable)) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved PackageLocationImmutable)] #

Cryptography

data SHA256 Source #

A SHA256 hash, stored in a static size for more efficient memory representation.

Since: 0.1.0.0

Instances

Eq SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods (==) :: SHA256 -> SHA256 -> Bool # (/=) :: SHA256 -> SHA256 -> Bool #
Data SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA256 -> c SHA256 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA256 # toConstr :: SHA256 -> Constr # dataTypeOf :: SHA256 -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SHA256) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA256) # gmapT :: (forall b. Data b => b -> b) -> SHA256 -> SHA256 # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA256 -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA256 -> r # gmapQ :: (forall d. Data d => d -> u) -> SHA256 -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA256 -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA256 -> m SHA256 # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA256 -> m SHA256 # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA256 -> m SHA256 #
Ord SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods compare :: SHA256 -> SHA256 -> Ordering # (<) :: SHA256 -> SHA256 -> Bool # (<=) :: SHA256 -> SHA256 -> Bool # (>) :: SHA256 -> SHA256 -> Bool # (>=) :: SHA256 -> SHA256 -> Bool # max :: SHA256 -> SHA256 -> SHA256 # min :: SHA256 -> SHA256 -> SHA256 #
Show SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods showsPrec :: Int -> SHA256 -> ShowS # show :: SHA256 -> String # showList :: [SHA256] -> ShowS #
Generic SHA256 Source #
Instance details Defined in Pantry.SHA256 Associated Types type Rep SHA256 :: Type -> Type # Methods from :: SHA256 -> Rep SHA256 x # to :: Rep SHA256 x -> SHA256 #
NFData SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods rnf :: SHA256 -> () #
Hashable SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods hashWithSalt :: Int -> SHA256 -> Int # hash :: SHA256 -> Int #
ToJSON SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods toJSON :: SHA256 -> Value # toEncoding :: SHA256 -> Encoding # toJSONList :: [SHA256] -> Value # toEncodingList :: [SHA256] -> Encoding #
FromJSON SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods parseJSON :: Value -> Parser SHA256 # parseJSONList :: Value -> Parser [SHA256] #
PersistFieldSql SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods sqlType :: Proxy SHA256 -> SqlType #
PersistField SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods toPersistValue :: SHA256 -> PersistValue # fromPersistValue :: PersistValue -> Either Text SHA256 #
Display SHA256 Source #
Instance details Defined in Pantry.SHA256 Methods display :: SHA256 -> Utf8Builder # textDisplay :: SHA256 -> Text #
type Rep SHA256 Source #
Instance details Defined in Pantry.SHA256 type Rep SHA256 = D1 (MetaData "SHA256" "Pantry.SHA256" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" True) (C1 (MetaCons "SHA256" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bytes32)))

newtype TreeKey Source #

The hash of the binary representation of a Tree.

Since: 0.1.0.0

Constructors

TreeKey BlobKey

Instances

Eq TreeKey Source #
Instance details Defined in Pantry.Types Methods (==) :: TreeKey -> TreeKey -> Bool # (/=) :: TreeKey -> TreeKey -> Bool #
Ord TreeKey Source #
Instance details Defined in Pantry.Types Methods compare :: TreeKey -> TreeKey -> Ordering # (<) :: TreeKey -> TreeKey -> Bool # (<=) :: TreeKey -> TreeKey -> Bool # (>) :: TreeKey -> TreeKey -> Bool # (>=) :: TreeKey -> TreeKey -> Bool # max :: TreeKey -> TreeKey -> TreeKey # min :: TreeKey -> TreeKey -> TreeKey #
Show TreeKey Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> TreeKey -> ShowS # show :: TreeKey -> String # showList :: [TreeKey] -> ShowS #
Generic TreeKey Source #
Instance details Defined in Pantry.Types Associated Types type Rep TreeKey :: Type -> Type # Methods from :: TreeKey -> Rep TreeKey x # to :: Rep TreeKey x -> TreeKey #
NFData TreeKey Source #
Instance details Defined in Pantry.Types Methods rnf :: TreeKey -> () #
ToJSON TreeKey Source #
Instance details Defined in Pantry.Types Methods toJSON :: TreeKey -> Value # toEncoding :: TreeKey -> Encoding # toJSONList :: [TreeKey] -> Value # toEncodingList :: [TreeKey] -> Encoding #
FromJSON TreeKey Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser TreeKey # parseJSONList :: Value -> Parser [TreeKey] #
Display TreeKey Source #
Instance details Defined in Pantry.Types Methods display :: TreeKey -> Utf8Builder # textDisplay :: TreeKey -> Text #
type Rep TreeKey Source #
Instance details Defined in Pantry.Types type Rep TreeKey = D1 (MetaData "TreeKey" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" True) (C1 (MetaCons "TreeKey" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BlobKey)))

data BlobKey Source #

A key for looking up a blob, which combines the SHA256 hash of the contents and the file size.

The file size may seem redundant with the hash. However, it is necessary for safely downloading blobs from an untrusted source. See https://www.fpcomplete.com/blog/2018/07/pantry-part-2-trees-keys.

Since: 0.1.0.0

Constructors

BlobKey !SHA256 !FileSize

Instances

Eq BlobKey Source #
Instance details Defined in Pantry.Types Methods (==) :: BlobKey -> BlobKey -> Bool # (/=) :: BlobKey -> BlobKey -> Bool #
Ord BlobKey Source #
Instance details Defined in Pantry.Types Methods compare :: BlobKey -> BlobKey -> Ordering # (<) :: BlobKey -> BlobKey -> Bool # (<=) :: BlobKey -> BlobKey -> Bool # (>) :: BlobKey -> BlobKey -> Bool # (>=) :: BlobKey -> BlobKey -> Bool # max :: BlobKey -> BlobKey -> BlobKey # min :: BlobKey -> BlobKey -> BlobKey #
Show BlobKey Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> BlobKey -> ShowS # show :: BlobKey -> String # showList :: [BlobKey] -> ShowS #
Generic BlobKey Source #
Instance details Defined in Pantry.Types Associated Types type Rep BlobKey :: Type -> Type # Methods from :: BlobKey -> Rep BlobKey x # to :: Rep BlobKey x -> BlobKey #
NFData BlobKey Source #
Instance details Defined in Pantry.Types Methods rnf :: BlobKey -> () #
ToJSON BlobKey Source #
Instance details Defined in Pantry.Types Methods toJSON :: BlobKey -> Value # toEncoding :: BlobKey -> Encoding # toJSONList :: [BlobKey] -> Value # toEncodingList :: [BlobKey] -> Encoding #
FromJSON BlobKey Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser BlobKey # parseJSONList :: Value -> Parser [BlobKey] #
Display BlobKey Source #
Instance details Defined in Pantry.Types Methods display :: BlobKey -> Utf8Builder # textDisplay :: BlobKey -> Text #
type Rep BlobKey Source #
Instance details Defined in Pantry.Types type Rep BlobKey = D1 (MetaData "BlobKey" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "BlobKey" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SHA256) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FileSize)))

Packages

data RawPackageMetadata Source #

Metadata provided by a config file for archives and repos. This information can be used for optimized lookups of information like package identifiers, or for validating that the user configuration has the expected information.

Since: 0.1.0.0

Constructors

RawPackageMetadata
Fields rpmName :: !(Maybe PackageName) Package name in the cabal file Since: 0.1.0.0 rpmVersion :: !(Maybe Version) Package version in the cabal file Since: 0.1.0.0 rpmTreeKey :: !(Maybe TreeKey) Tree key of the loaded up package Since: 0.1.0.0 rpmCabal :: !(Maybe BlobKey) Blob key containing the cabal file Since: 0.1.0.0

Instances

Eq RawPackageMetadata Source #
Instance details Defined in Pantry.Types Methods (==) :: RawPackageMetadata -> RawPackageMetadata -> Bool # (/=) :: RawPackageMetadata -> RawPackageMetadata -> Bool #
Ord RawPackageMetadata Source #
Instance details Defined in Pantry.Types Methods compare :: RawPackageMetadata -> RawPackageMetadata -> Ordering # (<) :: RawPackageMetadata -> RawPackageMetadata -> Bool # (<=) :: RawPackageMetadata -> RawPackageMetadata -> Bool # (>) :: RawPackageMetadata -> RawPackageMetadata -> Bool # (>=) :: RawPackageMetadata -> RawPackageMetadata -> Bool # max :: RawPackageMetadata -> RawPackageMetadata -> RawPackageMetadata # min :: RawPackageMetadata -> RawPackageMetadata -> RawPackageMetadata #
Show RawPackageMetadata Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> RawPackageMetadata -> ShowS # show :: RawPackageMetadata -> String # showList :: [RawPackageMetadata] -> ShowS #
Generic RawPackageMetadata Source #
Instance details Defined in Pantry.Types Associated Types type Rep RawPackageMetadata :: Type -> Type # Methods from :: RawPackageMetadata -> Rep RawPackageMetadata x # to :: Rep RawPackageMetadata x -> RawPackageMetadata #
NFData RawPackageMetadata Source #
Instance details Defined in Pantry.Types Methods rnf :: RawPackageMetadata -> () #
Display RawPackageMetadata Source #
Instance details Defined in Pantry.Types Methods display :: RawPackageMetadata -> Utf8Builder # textDisplay :: RawPackageMetadata -> Text #
type Rep RawPackageMetadata Source #
Instance details Defined in Pantry.Types type Rep RawPackageMetadata = D1 (MetaData "RawPackageMetadata" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "RawPackageMetadata" PrefixI True) ((S1 (MetaSel (Just "rpmName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe PackageName)) :: S1 (MetaSel (Just "rpmVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Version))) :: (S1 (MetaSel (Just "rpmTreeKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe TreeKey)) :*: S1 (MetaSel (Just "rpmCabal") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe BlobKey)))))

data PackageMetadata Source #

Exact metadata specifying concrete package

Since: 0.1.0.0

Constructors

PackageMetadata
Fields pmIdent :: !PackageIdentifier Package identifier in the cabal file Since: 0.1.0.0 pmTreeKey :: !TreeKey Tree key of the loaded up package Since: 0.1.0.0 pmCabal :: !BlobKey Blob key containing the cabal file Since: 0.1.0.0

Instances

Eq PackageMetadata Source #
Instance details Defined in Pantry.Types Methods (==) :: PackageMetadata -> PackageMetadata -> Bool # (/=) :: PackageMetadata -> PackageMetadata -> Bool #
Ord PackageMetadata Source #
Instance details Defined in Pantry.Types Methods compare :: PackageMetadata -> PackageMetadata -> Ordering # (<) :: PackageMetadata -> PackageMetadata -> Bool # (<=) :: PackageMetadata -> PackageMetadata -> Bool # (>) :: PackageMetadata -> PackageMetadata -> Bool # (>=) :: PackageMetadata -> PackageMetadata -> Bool # max :: PackageMetadata -> PackageMetadata -> PackageMetadata # min :: PackageMetadata -> PackageMetadata -> PackageMetadata #
Show PackageMetadata Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PackageMetadata -> ShowS # show :: PackageMetadata -> String # showList :: [PackageMetadata] -> ShowS #
Generic PackageMetadata Source #
Instance details Defined in Pantry.Types Associated Types type Rep PackageMetadata :: Type -> Type # Methods from :: PackageMetadata -> Rep PackageMetadata x # to :: Rep PackageMetadata x -> PackageMetadata #
NFData PackageMetadata Source #
Instance details Defined in Pantry.Types Methods rnf :: PackageMetadata -> () #
Display PackageMetadata Source #
Instance details Defined in Pantry.Types Methods display :: PackageMetadata -> Utf8Builder # textDisplay :: PackageMetadata -> Text #
type Rep PackageMetadata Source #
Instance details Defined in Pantry.Types type Rep PackageMetadata = D1 (MetaData "PackageMetadata" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "PackageMetadata" PrefixI True) (S1 (MetaSel (Just "pmIdent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PackageIdentifier) :: (S1 (MetaSel (Just "pmTreeKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TreeKey) :: S1 (MetaSel (Just "pmCabal") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlobKey))))

data Package Source #

Parsed tree with more information on the Haskell package it contains.

Since: 0.1.0.0

Constructors

Package

Fields

packageTreeKey :: !TreeKey
The TreeKey containing this package.
This is a hash of the binary representation of packageTree.
Since: 0.1.0.0
packageTree :: !Tree
The Tree containing this package.
Since: 0.1.0.0
packageCabalEntry :: !PackageCabal
Information on the cabal file inside this package.
Since: 0.1.0.0
packageIdent :: !PackageIdentifier
The package name and version in this package.
Since: 0.1.0.0

Instances

Eq Package Source #
Instance details Defined in Pantry.Types Methods (==) :: Package -> Package -> Bool # (/=) :: Package -> Package -> Bool #
Show Package Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> Package -> ShowS # show :: Package -> String # showList :: [Package] -> ShowS #

Hackage

data CabalFileInfo Source #

How to choose a cabal file for a package from Hackage. This is to work with Hackage cabal file revisions, which makes PackageIdentifier insufficient for specifying a package from Hackage.

Since: 0.1.0.0

Constructors

CFILatest

Take the latest revision of the cabal file available. This isn't reproducible at all, but the running assumption (not necessarily true) is that cabal file revisions do not change semantics of the build.

Since: 0.1.0.0

CFIHash !SHA256 !(Maybe FileSize)

Identify by contents of the cabal file itself. Only reason for Maybe on FileSize is for compatibility with input that doesn't include the file size.

Since: 0.1.0.0

CFIRevision !Revision

Identify by revision number, with 0 being the original and counting upward. This relies on Hackage providing consistent versioning. CFIHash should be preferred wherever possible for reproducibility.

Since: 0.1.0.0

Instances

Eq CabalFileInfo Source #
Instance details Defined in Pantry.Types Methods (==) :: CabalFileInfo -> CabalFileInfo -> Bool # (/=) :: CabalFileInfo -> CabalFileInfo -> Bool #
Ord CabalFileInfo Source #
Instance details Defined in Pantry.Types Methods compare :: CabalFileInfo -> CabalFileInfo -> Ordering # (<) :: CabalFileInfo -> CabalFileInfo -> Bool # (<=) :: CabalFileInfo -> CabalFileInfo -> Bool # (>) :: CabalFileInfo -> CabalFileInfo -> Bool # (>=) :: CabalFileInfo -> CabalFileInfo -> Bool # max :: CabalFileInfo -> CabalFileInfo -> CabalFileInfo # min :: CabalFileInfo -> CabalFileInfo -> CabalFileInfo #
Show CabalFileInfo Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> CabalFileInfo -> ShowS # show :: CabalFileInfo -> String # showList :: [CabalFileInfo] -> ShowS #
Generic CabalFileInfo Source #
Instance details Defined in Pantry.Types Associated Types type Rep CabalFileInfo :: Type -> Type # Methods from :: CabalFileInfo -> Rep CabalFileInfo x # to :: Rep CabalFileInfo x -> CabalFileInfo #
NFData CabalFileInfo Source #
Instance details Defined in Pantry.Types Methods rnf :: CabalFileInfo -> () #
Hashable CabalFileInfo Source #
Instance details Defined in Pantry.Types Methods hashWithSalt :: Int -> CabalFileInfo -> Int # hash :: CabalFileInfo -> Int #
Display CabalFileInfo Source #
Instance details Defined in Pantry.Types Methods display :: CabalFileInfo -> Utf8Builder # textDisplay :: CabalFileInfo -> Text #
type Rep CabalFileInfo Source #
Instance details Defined in Pantry.Types type Rep CabalFileInfo = D1 (MetaData "CabalFileInfo" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "CFILatest" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CFIHash" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SHA256) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe FileSize))) :+: C1 (MetaCons "CFIRevision" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Revision))))

newtype Revision Source #

The revision number of a package from Hackage, counting upwards from 0 (the original cabal file).

See caveats on CFIRevision.

Since: 0.1.0.0

Constructors

Revision Word

Instances

Eq Revision Source #
Instance details Defined in Pantry.Types Methods (==) :: Revision -> Revision -> Bool # (/=) :: Revision -> Revision -> Bool #
Data Revision Source #
Instance details Defined in Pantry.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Revision -> c Revision # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Revision # toConstr :: Revision -> Constr # dataTypeOf :: Revision -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Revision) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Revision) # gmapT :: (forall b. Data b => b -> b) -> Revision -> Revision # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Revision -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Revision -> r # gmapQ :: (forall d. Data d => d -> u) -> Revision -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Revision -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Revision -> m Revision # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Revision -> m Revision # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Revision -> m Revision #
Ord Revision Source #
Instance details Defined in Pantry.Types Methods compare :: Revision -> Revision -> Ordering # (<) :: Revision -> Revision -> Bool # (<=) :: Revision -> Revision -> Bool # (>) :: Revision -> Revision -> Bool # (>=) :: Revision -> Revision -> Bool # max :: Revision -> Revision -> Revision # min :: Revision -> Revision -> Revision #
Show Revision Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> Revision -> ShowS # show :: Revision -> String # showList :: [Revision] -> ShowS #
Generic Revision Source #
Instance details Defined in Pantry.Types Associated Types type Rep Revision :: Type -> Type # Methods from :: Revision -> Rep Revision x # to :: Rep Revision x -> Revision #
NFData Revision Source #
Instance details Defined in Pantry.Types Methods rnf :: Revision -> () #
Hashable Revision Source #
Instance details Defined in Pantry.Types Methods hashWithSalt :: Int -> Revision -> Int # hash :: Revision -> Int #
PersistFieldSql Revision Source #
Instance details Defined in Pantry.Types Methods sqlType :: Proxy Revision -> SqlType #
PersistField Revision Source #
Instance details Defined in Pantry.Types Methods toPersistValue :: Revision -> PersistValue # fromPersistValue :: PersistValue -> Either Text Revision #
Display Revision Source #
Instance details Defined in Pantry.Types Methods display :: Revision -> Utf8Builder # textDisplay :: Revision -> Text #
type Rep Revision Source #
Instance details Defined in Pantry.Types type Rep Revision = D1 (MetaData "Revision" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" True) (C1 (MetaCons "Revision" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))

data PackageIdentifierRevision Source #

A full specification for a package from Hackage, including the package name, version, and how to load up the correct cabal file revision.

Since: 0.1.0.0

Constructors

PackageIdentifierRevision !PackageName !Version !CabalFileInfo

Instances

Eq PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types Methods (==) :: PackageIdentifierRevision -> PackageIdentifierRevision -> Bool # (/=) :: PackageIdentifierRevision -> PackageIdentifierRevision -> Bool #
Ord PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types Methods compare :: PackageIdentifierRevision -> PackageIdentifierRevision -> Ordering # (<) :: PackageIdentifierRevision -> PackageIdentifierRevision -> Bool # (<=) :: PackageIdentifierRevision -> PackageIdentifierRevision -> Bool # (>) :: PackageIdentifierRevision -> PackageIdentifierRevision -> Bool # (>=) :: PackageIdentifierRevision -> PackageIdentifierRevision -> Bool # max :: PackageIdentifierRevision -> PackageIdentifierRevision -> PackageIdentifierRevision # min :: PackageIdentifierRevision -> PackageIdentifierRevision -> PackageIdentifierRevision #
Show PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PackageIdentifierRevision -> ShowS # show :: PackageIdentifierRevision -> String # showList :: [PackageIdentifierRevision] -> ShowS #
Generic PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types Associated Types type Rep PackageIdentifierRevision :: Type -> Type # Methods from :: PackageIdentifierRevision -> Rep PackageIdentifierRevision x # to :: Rep PackageIdentifierRevision x -> PackageIdentifierRevision #
NFData PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types Methods rnf :: PackageIdentifierRevision -> () #
ToJSON PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types Methods toJSON :: PackageIdentifierRevision -> Value # toEncoding :: PackageIdentifierRevision -> Encoding # toJSONList :: [PackageIdentifierRevision] -> Value # toEncodingList :: [PackageIdentifierRevision] -> Encoding #
FromJSON PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser PackageIdentifierRevision # parseJSONList :: Value -> Parser [PackageIdentifierRevision] #
Display PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types Methods display :: PackageIdentifierRevision -> Utf8Builder # textDisplay :: PackageIdentifierRevision -> Text #
type Rep PackageIdentifierRevision Source #
Instance details Defined in Pantry.Types type Rep PackageIdentifierRevision = D1 (MetaData "PackageIdentifierRevision" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "PackageIdentifierRevision" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PackageName) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Version) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CabalFileInfo))))

data UsePreferredVersions Source #

Should we pay attention to Hackage's preferred versions?

Since: 0.1.0.0

Constructors

UsePreferredVersions
IgnorePreferredVersions

Instances

Show UsePreferredVersions Source #
Instance details Defined in Pantry.Hackage Methods showsPrec :: Int -> UsePreferredVersions -> ShowS # show :: UsePreferredVersions -> String # showList :: [UsePreferredVersions] -> ShowS #

Repos

data Repo Source #

Information on packages stored in a source control repository.

Since: 0.1.0.0

Constructors

Repo
Fields repoUrl :: !Text Location of the repo Since: 0.1.0.0 repoCommit :: !Text Commit to use from the repo. It's strongly recommended to use a hash instead of a tag or branch name. Since: 0.1.0.0 repoType :: !RepoType The type of the repo Since: 0.1.0.0 repoSubdir :: !Text Subdirectory within the archive to get the package from. Since: 0.1.0.0

Instances

Eq Repo Source #
Instance details Defined in Pantry.Types Methods (==) :: Repo -> Repo -> Bool # (/=) :: Repo -> Repo -> Bool #
Ord Repo Source #
Instance details Defined in Pantry.Types Methods compare :: Repo -> Repo -> Ordering # (<) :: Repo -> Repo -> Bool # (<=) :: Repo -> Repo -> Bool # (>) :: Repo -> Repo -> Bool # (>=) :: Repo -> Repo -> Bool # max :: Repo -> Repo -> Repo # min :: Repo -> Repo -> Repo #
Show Repo Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> Repo -> ShowS # show :: Repo -> String # showList :: [Repo] -> ShowS #
Generic Repo Source #
Instance details Defined in Pantry.Types Associated Types type Rep Repo :: Type -> Type # Methods from :: Repo -> Rep Repo x # to :: Rep Repo x -> Repo #
NFData Repo Source #
Instance details Defined in Pantry.Types Methods rnf :: Repo -> () #
Display Repo Source #
Instance details Defined in Pantry.Types Methods display :: Repo -> Utf8Builder # textDisplay :: Repo -> Text #
type Rep Repo Source #
Instance details Defined in Pantry.Types type Rep Repo = D1 (MetaData "Repo" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "Repo" PrefixI True) ((S1 (MetaSel (Just "repoUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "repoCommit") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :: (S1 (MetaSel (Just "repoType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 RepoType) :*: S1 (MetaSel (Just "repoSubdir") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text))))

data RepoType Source #

The type of a source control repository.

Since: 0.1.0.0

Constructors

RepoGit
RepoHg

Instances

Eq RepoType Source #
Instance details Defined in Pantry.Types Methods (==) :: RepoType -> RepoType -> Bool # (/=) :: RepoType -> RepoType -> Bool #
Ord RepoType Source #
Instance details Defined in Pantry.Types Methods compare :: RepoType -> RepoType -> Ordering # (<) :: RepoType -> RepoType -> Bool # (<=) :: RepoType -> RepoType -> Bool # (>) :: RepoType -> RepoType -> Bool # (>=) :: RepoType -> RepoType -> Bool # max :: RepoType -> RepoType -> RepoType # min :: RepoType -> RepoType -> RepoType #
Show RepoType Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> RepoType -> ShowS # show :: RepoType -> String # showList :: [RepoType] -> ShowS #
Generic RepoType Source #
Instance details Defined in Pantry.Types Associated Types type Rep RepoType :: Type -> Type # Methods from :: RepoType -> Rep RepoType x # to :: Rep RepoType x -> RepoType #
NFData RepoType Source #
Instance details Defined in Pantry.Types Methods rnf :: RepoType -> () #
PersistFieldSql RepoType Source #
Instance details Defined in Pantry.Types Methods sqlType :: Proxy RepoType -> SqlType #
PersistField RepoType Source #
Instance details Defined in Pantry.Types Methods toPersistValue :: RepoType -> PersistValue # fromPersistValue :: PersistValue -> Either Text RepoType #
type Rep RepoType Source #
Instance details Defined in Pantry.Types type Rep RepoType = D1 (MetaData "RepoType" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "RepoGit" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "RepoHg" PrefixI False) (U1 :: Type -> Type))

withRepo :: forall env a. (HasLogFunc env, HasProcessContext env) => Repo -> RIO env a -> RIO env a Source #

Clone the repository and execute the action with the working directory set to the repository root.

Since: 0.1.0.0

Package location

data RawPackageLocation Source #

Location to load a package from. Can either be immutable (see PackageLocationImmutable) or a local directory which is expected to change over time. Raw version doesn't include exact package version (e.g. could refer to the latest revision on Hackage)

Since: 0.1.0.0

Constructors

RPLImmutable !RawPackageLocationImmutable
RPLMutable !(ResolvedPath Dir)

Instances

Eq RawPackageLocation Source #
Instance details Defined in Pantry.Types Methods (==) :: RawPackageLocation -> RawPackageLocation -> Bool # (/=) :: RawPackageLocation -> RawPackageLocation -> Bool #
Show RawPackageLocation Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> RawPackageLocation -> ShowS # show :: RawPackageLocation -> String # showList :: [RawPackageLocation] -> ShowS #
Generic RawPackageLocation Source #
Instance details Defined in Pantry.Types Associated Types type Rep RawPackageLocation :: Type -> Type # Methods from :: RawPackageLocation -> Rep RawPackageLocation x # to :: Rep RawPackageLocation x -> RawPackageLocation #
NFData RawPackageLocation Source #
Instance details Defined in Pantry.Types Methods rnf :: RawPackageLocation -> () #
ToJSON RawPackageLocation Source #
Instance details Defined in Pantry.Types Methods toJSON :: RawPackageLocation -> Value # toEncoding :: RawPackageLocation -> Encoding # toJSONList :: [RawPackageLocation] -> Value # toEncodingList :: [RawPackageLocation] -> Encoding #
FromJSON (WithJSONWarnings (Unresolved (NonEmpty RawPackageLocation))) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved (NonEmpty RawPackageLocation))) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved (NonEmpty RawPackageLocation))] #
type Rep RawPackageLocation Source #
Instance details Defined in Pantry.Types type Rep RawPackageLocation = D1 (MetaData "RawPackageLocation" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "RPLImmutable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 RawPackageLocationImmutable)) :+: C1 (MetaCons "RPLMutable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ResolvedPath Dir))))

data PackageLocation Source #

Location to load a package from. Can either be immutable (see PackageLocationImmutable) or a local directory which is expected to change over time.

Since: 0.1.0.0

Constructors

PLImmutable !PackageLocationImmutable
PLMutable !(ResolvedPath Dir)

Instances

Eq PackageLocation Source #
Instance details Defined in Pantry.Types Methods (==) :: PackageLocation -> PackageLocation -> Bool # (/=) :: PackageLocation -> PackageLocation -> Bool #
Show PackageLocation Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PackageLocation -> ShowS # show :: PackageLocation -> String # showList :: [PackageLocation] -> ShowS #
Generic PackageLocation Source #
Instance details Defined in Pantry.Types Associated Types type Rep PackageLocation :: Type -> Type # Methods from :: PackageLocation -> Rep PackageLocation x # to :: Rep PackageLocation x -> PackageLocation #
NFData PackageLocation Source #
Instance details Defined in Pantry.Types Methods rnf :: PackageLocation -> () #
Display PackageLocation Source #
Instance details Defined in Pantry.Types Methods display :: PackageLocation -> Utf8Builder # textDisplay :: PackageLocation -> Text #
type Rep PackageLocation Source #
Instance details Defined in Pantry.Types type Rep PackageLocation = D1 (MetaData "PackageLocation" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "PLImmutable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PackageLocationImmutable)) :+: C1 (MetaCons "PLMutable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ResolvedPath Dir))))

toRawPL :: PackageLocation -> RawPackageLocation Source #

Convert PackageLocation to its "raw" equivalent

Since: 0.1.0.0

data RawPackageLocationImmutable Source #

Location for remote packages or archives assumed to be immutable. as user specifies it i.e. not an exact location

Since: 0.1.0.0

Constructors

RPLIHackage !PackageIdentifierRevision !(Maybe TreeKey)
RPLIArchive !RawArchive !RawPackageMetadata
RPLIRepo !Repo !RawPackageMetadata

Instances

Eq RawPackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods (==) :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> Bool # (/=) :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> Bool #
Ord RawPackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods compare :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> Ordering # (<) :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> Bool # (<=) :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> Bool # (>) :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> Bool # (>=) :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> Bool # max :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> RawPackageLocationImmutable # min :: RawPackageLocationImmutable -> RawPackageLocationImmutable -> RawPackageLocationImmutable #
Show RawPackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> RawPackageLocationImmutable -> ShowS # show :: RawPackageLocationImmutable -> String # showList :: [RawPackageLocationImmutable] -> ShowS #
Generic RawPackageLocationImmutable Source #
Instance details Defined in Pantry.Types Associated Types type Rep RawPackageLocationImmutable :: Type -> Type # Methods from :: RawPackageLocationImmutable -> Rep RawPackageLocationImmutable x # to :: Rep RawPackageLocationImmutable x -> RawPackageLocationImmutable #
NFData RawPackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods rnf :: RawPackageLocationImmutable -> () #
ToJSON RawPackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods toJSON :: RawPackageLocationImmutable -> Value # toEncoding :: RawPackageLocationImmutable -> Encoding # toJSONList :: [RawPackageLocationImmutable] -> Value # toEncodingList :: [RawPackageLocationImmutable] -> Encoding #
Display RawPackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods display :: RawPackageLocationImmutable -> Utf8Builder # textDisplay :: RawPackageLocationImmutable -> Text #
FromJSON (WithJSONWarnings (Unresolved (NonEmpty RawPackageLocationImmutable))) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved (NonEmpty RawPackageLocationImmutable))) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved (NonEmpty RawPackageLocationImmutable))] #
type Rep RawPackageLocationImmutable Source #
Instance details Defined in Pantry.Types type Rep RawPackageLocationImmutable = D1 (MetaData "RawPackageLocationImmutable" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "RPLIHackage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PackageIdentifierRevision) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe TreeKey))) :+: (C1 (MetaCons "RPLIArchive" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 RawArchive) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 RawPackageMetadata)) :+: C1 (MetaCons "RPLIRepo" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Repo) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 RawPackageMetadata))))

data PackageLocationImmutable Source #

Location for remote packages or archives assumed to be immutable.

Since: 0.1.0.0

Constructors

PLIHackage !PackageIdentifier !BlobKey !TreeKey
PLIArchive !Archive !PackageMetadata
PLIRepo !Repo !PackageMetadata

Instances

Eq PackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods (==) :: PackageLocationImmutable -> PackageLocationImmutable -> Bool # (/=) :: PackageLocationImmutable -> PackageLocationImmutable -> Bool #
Ord PackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods compare :: PackageLocationImmutable -> PackageLocationImmutable -> Ordering # (<) :: PackageLocationImmutable -> PackageLocationImmutable -> Bool # (<=) :: PackageLocationImmutable -> PackageLocationImmutable -> Bool # (>) :: PackageLocationImmutable -> PackageLocationImmutable -> Bool # (>=) :: PackageLocationImmutable -> PackageLocationImmutable -> Bool # max :: PackageLocationImmutable -> PackageLocationImmutable -> PackageLocationImmutable # min :: PackageLocationImmutable -> PackageLocationImmutable -> PackageLocationImmutable #
Show PackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PackageLocationImmutable -> ShowS # show :: PackageLocationImmutable -> String # showList :: [PackageLocationImmutable] -> ShowS #
Generic PackageLocationImmutable Source #
Instance details Defined in Pantry.Types Associated Types type Rep PackageLocationImmutable :: Type -> Type # Methods from :: PackageLocationImmutable -> Rep PackageLocationImmutable x # to :: Rep PackageLocationImmutable x -> PackageLocationImmutable #
NFData PackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods rnf :: PackageLocationImmutable -> () #
ToJSON PackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods toJSON :: PackageLocationImmutable -> Value # toEncoding :: PackageLocationImmutable -> Encoding # toJSONList :: [PackageLocationImmutable] -> Value # toEncodingList :: [PackageLocationImmutable] -> Encoding #
Display PackageLocationImmutable Source #
Instance details Defined in Pantry.Types Methods display :: PackageLocationImmutable -> Utf8Builder # textDisplay :: PackageLocationImmutable -> Text #
FromJSON (WithJSONWarnings (Unresolved PackageLocationImmutable)) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved PackageLocationImmutable)) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved PackageLocationImmutable)] #
type Rep PackageLocationImmutable Source #
Instance details Defined in Pantry.Types type Rep PackageLocationImmutable = D1 (MetaData "PackageLocationImmutable" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "PLIHackage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PackageIdentifier) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlobKey) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TreeKey))) :+: (C1 (MetaCons "PLIArchive" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Archive) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PackageMetadata)) :+: C1 (MetaCons "PLIRepo" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Repo) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PackageMetadata))))

Snapshots

data RawSnapshotLocation Source #

Where to load a snapshot from in raw form (RSUrl could have a missing BlobKey)

Since: 0.1.0.0

Constructors

RSLCompiler !WantedCompiler

Don't use an actual snapshot, just a version of the compiler with its shipped packages.

Since: 0.1.0.0

RSLUrl !Text !(Maybe BlobKey)

Download the snapshot from the given URL. The optional BlobKey is used for reproducibility.

Since: 0.1.0.0

RSLFilePath !(ResolvedPath File)

Snapshot at a local file path.

Since: 0.1.0.0

Instances

Eq RawSnapshotLocation Source #
Instance details Defined in Pantry.Types Methods (==) :: RawSnapshotLocation -> RawSnapshotLocation -> Bool # (/=) :: RawSnapshotLocation -> RawSnapshotLocation -> Bool #
Ord RawSnapshotLocation Source #
Instance details Defined in Pantry.Types Methods compare :: RawSnapshotLocation -> RawSnapshotLocation -> Ordering # (<) :: RawSnapshotLocation -> RawSnapshotLocation -> Bool # (<=) :: RawSnapshotLocation -> RawSnapshotLocation -> Bool # (>) :: RawSnapshotLocation -> RawSnapshotLocation -> Bool # (>=) :: RawSnapshotLocation -> RawSnapshotLocation -> Bool # max :: RawSnapshotLocation -> RawSnapshotLocation -> RawSnapshotLocation # min :: RawSnapshotLocation -> RawSnapshotLocation -> RawSnapshotLocation #
Show RawSnapshotLocation Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> RawSnapshotLocation -> ShowS # show :: RawSnapshotLocation -> String # showList :: [RawSnapshotLocation] -> ShowS #
Generic RawSnapshotLocation Source #
Instance details Defined in Pantry.Types Associated Types type Rep RawSnapshotLocation :: Type -> Type # Methods from :: RawSnapshotLocation -> Rep RawSnapshotLocation x # to :: Rep RawSnapshotLocation x -> RawSnapshotLocation #
NFData RawSnapshotLocation Source #
Instance details Defined in Pantry.Types Methods rnf :: RawSnapshotLocation -> () #
ToJSON RawSnapshotLocation Source #
Instance details Defined in Pantry.Types Methods toJSON :: RawSnapshotLocation -> Value # toEncoding :: RawSnapshotLocation -> Encoding # toJSONList :: [RawSnapshotLocation] -> Value # toEncodingList :: [RawSnapshotLocation] -> Encoding #
Display RawSnapshotLocation Source #
Instance details Defined in Pantry.Types Methods display :: RawSnapshotLocation -> Utf8Builder # textDisplay :: RawSnapshotLocation -> Text #
FromJSON (WithJSONWarnings (Unresolved RawSnapshotLocation)) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved RawSnapshotLocation)) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved RawSnapshotLocation)] #
type Rep RawSnapshotLocation Source #
Instance details Defined in Pantry.Types type Rep RawSnapshotLocation = D1 (MetaData "RawSnapshotLocation" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "RSLCompiler" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WantedCompiler)) :+: (C1 (MetaCons "RSLUrl" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe BlobKey))) :+: C1 (MetaCons "RSLFilePath" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ResolvedPath File)))))

data SnapshotLocation Source #

Where to load a snapshot from.

Since: 0.1.0.0

Constructors

SLCompiler !WantedCompiler

Don't use an actual snapshot, just a version of the compiler with its shipped packages.

Since: 0.1.0.0

SLUrl !Text !BlobKey

Download the snapshot from the given URL. The optional BlobKey is used for reproducibility.

Since: 0.1.0.0

SLFilePath !(ResolvedPath File)

Snapshot at a local file path.

Since: 0.1.0.0

Instances

Eq SnapshotLocation Source #
Instance details Defined in Pantry.Types Methods (==) :: SnapshotLocation -> SnapshotLocation -> Bool # (/=) :: SnapshotLocation -> SnapshotLocation -> Bool #
Ord SnapshotLocation Source #
Instance details Defined in Pantry.Types Methods compare :: SnapshotLocation -> SnapshotLocation -> Ordering # (<) :: SnapshotLocation -> SnapshotLocation -> Bool # (<=) :: SnapshotLocation -> SnapshotLocation -> Bool # (>) :: SnapshotLocation -> SnapshotLocation -> Bool # (>=) :: SnapshotLocation -> SnapshotLocation -> Bool # max :: SnapshotLocation -> SnapshotLocation -> SnapshotLocation # min :: SnapshotLocation -> SnapshotLocation -> SnapshotLocation #
Show SnapshotLocation Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> SnapshotLocation -> ShowS # show :: SnapshotLocation -> String # showList :: [SnapshotLocation] -> ShowS #
Generic SnapshotLocation Source #
Instance details Defined in Pantry.Types Associated Types type Rep SnapshotLocation :: Type -> Type # Methods from :: SnapshotLocation -> Rep SnapshotLocation x # to :: Rep SnapshotLocation x -> SnapshotLocation #
NFData SnapshotLocation Source #
Instance details Defined in Pantry.Types Methods rnf :: SnapshotLocation -> () #
ToJSON SnapshotLocation Source #
Instance details Defined in Pantry.Types Methods toJSON :: SnapshotLocation -> Value # toEncoding :: SnapshotLocation -> Encoding # toJSONList :: [SnapshotLocation] -> Value # toEncodingList :: [SnapshotLocation] -> Encoding #
Display SnapshotLocation Source #
Instance details Defined in Pantry.Types Methods display :: SnapshotLocation -> Utf8Builder # textDisplay :: SnapshotLocation -> Text #
FromJSON (WithJSONWarnings (Unresolved SnapshotLocation)) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved SnapshotLocation)) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved SnapshotLocation)] #
type Rep SnapshotLocation Source #
Instance details Defined in Pantry.Types type Rep SnapshotLocation = D1 (MetaData "SnapshotLocation" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "SLCompiler" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WantedCompiler)) :+: (C1 (MetaCons "SLUrl" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlobKey)) :+: C1 (MetaCons "SLFilePath" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ResolvedPath File)))))

toRawSL :: SnapshotLocation -> RawSnapshotLocation Source #

Convert snapshot location to its "raw" equivalent.

Since: 0.1.0.0

data RawSnapshot Source #

A flattened representation of all the layers in a snapshot.

Since: 0.1.0.0

Constructors

RawSnapshot
Fields rsCompiler :: !WantedCompiler The compiler wanted for this snapshot. rsPackages :: !(Map PackageName RawSnapshotPackage) Packages available in this snapshot for installation. This will be applied on top of any globally available packages. rsDrop :: !(Set PackageName) Global packages that should be dropped/ignored.

data Snapshot Source #

A flattened representation of all the layers in a snapshot.

Since: 0.1.0.0

Constructors

Snapshot
Fields snapshotCompiler :: !WantedCompiler The compiler wanted for this snapshot. snapshotPackages :: !(Map PackageName SnapshotPackage) Packages available in this snapshot for installation. This will be applied on top of any globally available packages. snapshotDrop :: !(Set PackageName) Global packages that should be dropped/ignored.

data RawSnapshotPackage Source #

Settings for a package found in a snapshot.

Since: 0.1.0.0

Constructors

RawSnapshotPackage
Fields rspLocation :: !RawPackageLocationImmutable Where to get the package from rspFlags :: !(Map FlagName Bool) Same as `slFlags` rspHidden :: !Bool Same as `slHidden` rspGhcOptions :: ![Text] Same as `slGhcOptions`

data SnapshotPackage Source #

Settings for a package found in a snapshot.

Since: 0.1.0.0

Constructors

SnapshotPackage
Fields spLocation :: !PackageLocationImmutable Where to get the package from spFlags :: !(Map FlagName Bool) Same as `slFlags` spHidden :: !Bool Same as `slHidden` spGhcOptions :: ![Text] Same as `slGhcOptions`

Instances

Show SnapshotPackage Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> SnapshotPackage -> ShowS # show :: SnapshotPackage -> String # showList :: [SnapshotPackage] -> ShowS #

data RawSnapshotLayer Source #

A single layer of a snapshot, i.e. a specific YAML configuration file.

Since: 0.1.0.0

Constructors

RawSnapshotLayer

Fields

rslParent :: !RawSnapshotLocation
The sl to extend from. This is either a specific compiler, or a SnapshotLocation which gives us more information (like packages). Ultimately, we'll end up with a CompilerVersion.
Since: 0.1.0.0
rslCompiler :: !(Maybe WantedCompiler)
Override the compiler specified in slParent. Must be Nothing if using SLCompiler.
Since: 0.1.0.0
rslLocations :: ![RawPackageLocationImmutable]
Where to grab all of the packages from.
Since: 0.1.0.0
rslDropPackages :: !(Set PackageName)
Packages present in the parent which should not be included here.
Since: 0.1.0.0
rslFlags :: !(Map PackageName (Map FlagName Bool))
Flag values to override from the defaults
Since: 0.1.0.0
rslHidden :: !(Map PackageName Bool)
Packages which should be hidden when registering. This will affect, for example, the import parser in the script command. We use a Map instead of just a Set to allow overriding the hidden settings in a parent sl.
Since: 0.1.0.0
rslGhcOptions :: !(Map PackageName [Text])
GHC options per package
Since: 0.1.0.0
rslPublishTime :: !(Maybe UTCTime)
See slPublishTime
Since: 0.1.0.0

Instances

Eq RawSnapshotLayer Source #
Instance details Defined in Pantry.Types Methods (==) :: RawSnapshotLayer -> RawSnapshotLayer -> Bool # (/=) :: RawSnapshotLayer -> RawSnapshotLayer -> Bool #
Show RawSnapshotLayer Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> RawSnapshotLayer -> ShowS # show :: RawSnapshotLayer -> String # showList :: [RawSnapshotLayer] -> ShowS #
Generic RawSnapshotLayer Source #
Instance details Defined in Pantry.Types Associated Types type Rep RawSnapshotLayer :: Type -> Type # Methods from :: RawSnapshotLayer -> Rep RawSnapshotLayer x # to :: Rep RawSnapshotLayer x -> RawSnapshotLayer #
NFData RawSnapshotLayer Source #
Instance details Defined in Pantry.Types Methods rnf :: RawSnapshotLayer -> () #
ToJSON RawSnapshotLayer Source #
Instance details Defined in Pantry.Types Methods toJSON :: RawSnapshotLayer -> Value # toEncoding :: RawSnapshotLayer -> Encoding # toJSONList :: [RawSnapshotLayer] -> Value # toEncodingList :: [RawSnapshotLayer] -> Encoding #
FromJSON (WithJSONWarnings (Unresolved RawSnapshotLayer)) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings (Unresolved RawSnapshotLayer)) # parseJSONList :: Value -> Parser [WithJSONWarnings (Unresolved RawSnapshotLayer)] #
type Rep RawSnapshotLayer Source #
Instance details Defined in Pantry.Types type Rep RawSnapshotLayer = D1 (MetaData "RawSnapshotLayer" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "RawSnapshotLayer" PrefixI True) (((S1 (MetaSel (Just "rslParent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 RawSnapshotLocation) :: S1 (MetaSel (Just "rslCompiler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe WantedCompiler))) :: (S1 (MetaSel (Just "rslLocations") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [RawPackageLocationImmutable]) :: S1 (MetaSel (Just "rslDropPackages") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Set PackageName)))) :: ((S1 (MetaSel (Just "rslFlags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map PackageName (Map FlagName Bool))) :: S1 (MetaSel (Just "rslHidden") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map PackageName Bool))) :: (S1 (MetaSel (Just "rslGhcOptions") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map PackageName [Text])) :*: S1 (MetaSel (Just "rslPublishTime") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe UTCTime))))))

data SnapshotLayer Source #

A single layer of a snapshot, i.e. a specific YAML configuration file.

Since: 0.1.0.0

Constructors

SnapshotLayer

Fields

slParent :: !SnapshotLocation
The sl to extend from. This is either a specific compiler, or a SnapshotLocation which gives us more information (like packages). Ultimately, we'll end up with a CompilerVersion.
Since: 0.1.0.0
slCompiler :: !(Maybe WantedCompiler)
Override the compiler specified in slParent. Must be Nothing if using SLCompiler.
Since: 0.1.0.0
slLocations :: ![PackageLocationImmutable]
Where to grab all of the packages from.
Since: 0.1.0.0
slDropPackages :: !(Set PackageName)
Packages present in the parent which should not be included here.
Since: 0.1.0.0
slFlags :: !(Map PackageName (Map FlagName Bool))
Flag values to override from the defaults
Since: 0.1.0.0
slHidden :: !(Map PackageName Bool)
Packages which should be hidden when registering. This will affect, for example, the import parser in the script command. We use a Map instead of just a Set to allow overriding the hidden settings in a parent sl.
Since: 0.1.0.0
slGhcOptions :: !(Map PackageName [Text])
GHC options per package
Since: 0.1.0.0
slPublishTime :: !(Maybe UTCTime)
Publication timestamp for this snapshot. This field is optional, and is for informational purposes only.
Since: 0.1.0.0

Instances

Eq SnapshotLayer Source #
Instance details Defined in Pantry.Types Methods (==) :: SnapshotLayer -> SnapshotLayer -> Bool # (/=) :: SnapshotLayer -> SnapshotLayer -> Bool #
Show SnapshotLayer Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> SnapshotLayer -> ShowS # show :: SnapshotLayer -> String # showList :: [SnapshotLayer] -> ShowS #
Generic SnapshotLayer Source #
Instance details Defined in Pantry.Types Associated Types type Rep SnapshotLayer :: Type -> Type # Methods from :: SnapshotLayer -> Rep SnapshotLayer x # to :: Rep SnapshotLayer x -> SnapshotLayer #
ToJSON SnapshotLayer Source #
Instance details Defined in Pantry.Types Methods toJSON :: SnapshotLayer -> Value # toEncoding :: SnapshotLayer -> Encoding # toJSONList :: [SnapshotLayer] -> Value # toEncodingList :: [SnapshotLayer] -> Encoding #
type Rep SnapshotLayer Source #
Instance details Defined in Pantry.Types type Rep SnapshotLayer = D1 (MetaData "SnapshotLayer" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "SnapshotLayer" PrefixI True) (((S1 (MetaSel (Just "slParent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SnapshotLocation) :: S1 (MetaSel (Just "slCompiler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe WantedCompiler))) :: (S1 (MetaSel (Just "slLocations") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [PackageLocationImmutable]) :: S1 (MetaSel (Just "slDropPackages") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Set PackageName)))) :: ((S1 (MetaSel (Just "slFlags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map PackageName (Map FlagName Bool))) :: S1 (MetaSel (Just "slHidden") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map PackageName Bool))) :: (S1 (MetaSel (Just "slGhcOptions") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map PackageName [Text])) :*: S1 (MetaSel (Just "slPublishTime") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe UTCTime))))))

toRawSnapshotLayer :: SnapshotLayer -> RawSnapshotLayer Source #

Convert snapshot layer into its "raw" equivalent.

Since: 0.1.0.0

data WantedCompiler Source #

Which compiler a snapshot wants to use. The build tool may elect to do some fuzzy matching of versions (e.g., allowing different patch versions).

Since: 0.1.0.0

Constructors

WCGhc !Version
WCGhcGit !Text !Text
WCGhcjs !Version !Version	GHCJS version followed by GHC version

Instances

Eq WantedCompiler Source #
Instance details Defined in Pantry.Types Methods (==) :: WantedCompiler -> WantedCompiler -> Bool # (/=) :: WantedCompiler -> WantedCompiler -> Bool #
Ord WantedCompiler Source #
Instance details Defined in Pantry.Types Methods compare :: WantedCompiler -> WantedCompiler -> Ordering # (<) :: WantedCompiler -> WantedCompiler -> Bool # (<=) :: WantedCompiler -> WantedCompiler -> Bool # (>) :: WantedCompiler -> WantedCompiler -> Bool # (>=) :: WantedCompiler -> WantedCompiler -> Bool # max :: WantedCompiler -> WantedCompiler -> WantedCompiler # min :: WantedCompiler -> WantedCompiler -> WantedCompiler #
Show WantedCompiler Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> WantedCompiler -> ShowS # show :: WantedCompiler -> String # showList :: [WantedCompiler] -> ShowS #
Generic WantedCompiler Source #
Instance details Defined in Pantry.Types Associated Types type Rep WantedCompiler :: Type -> Type # Methods from :: WantedCompiler -> Rep WantedCompiler x # to :: Rep WantedCompiler x -> WantedCompiler #
NFData WantedCompiler Source #
Instance details Defined in Pantry.Types Methods rnf :: WantedCompiler -> () #
ToJSON WantedCompiler Source #
Instance details Defined in Pantry.Types Methods toJSON :: WantedCompiler -> Value # toEncoding :: WantedCompiler -> Encoding # toJSONList :: [WantedCompiler] -> Value # toEncodingList :: [WantedCompiler] -> Encoding #
FromJSON WantedCompiler Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser WantedCompiler # parseJSONList :: Value -> Parser [WantedCompiler] #
FromJSONKey WantedCompiler Source #
Instance details Defined in Pantry.Types Methods fromJSONKey :: FromJSONKeyFunction WantedCompiler # fromJSONKeyList :: FromJSONKeyFunction [WantedCompiler] #
Display WantedCompiler Source #
Instance details Defined in Pantry.Types Methods display :: WantedCompiler -> Utf8Builder # textDisplay :: WantedCompiler -> Text #
type Rep WantedCompiler Source #
Instance details Defined in Pantry.Types type Rep WantedCompiler = D1 (MetaData "WantedCompiler" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "WCGhc" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Version)) :+: (C1 (MetaCons "WCGhcGit" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :+: C1 (MetaCons "WCGhcjs" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Version) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Version))))

Loading values

resolvePaths Source #

Arguments

:: MonadIO m
=> Maybe (Path Abs Dir)	directory to use for relative paths
-> Unresolved a
-> m a

Resolve all of the file paths in an Unresolved relative to the given directory.

Since: 0.1.0.0

loadPackageRaw :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env Package Source #

Load a Package from a RawPackageLocationImmutable.

Since: 0.1.0.0

loadPackage :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => PackageLocationImmutable -> RIO env Package Source #

Load a Package from a PackageLocationImmutable.

Since: 0.1.0.0

loadRawSnapshotLayer :: (HasPantryConfig env, HasLogFunc env) => RawSnapshotLocation -> RIO env (Either WantedCompiler (RawSnapshotLayer, CompletedSL)) Source #

Parse a SnapshotLayer value from a SnapshotLocation.

Returns a Left value if provided an SLCompiler constructor. Otherwise, returns a Right value providing both the Snapshot and a hash of the input configuration file.

Since: 0.1.0.0

loadSnapshotLayer :: (HasPantryConfig env, HasLogFunc env) => SnapshotLocation -> RIO env (Either WantedCompiler RawSnapshotLayer) Source #

Parse a SnapshotLayer value from a SnapshotLocation.

Returns a Left value if provided an SLCompiler constructor. Otherwise, returns a Right value providing both the Snapshot and a hash of the input configuration file.

Since: 0.1.0.0

loadSnapshot :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => SnapshotLocation -> RIO env RawSnapshot Source #

Parse a RawSnapshot (all layers) from a SnapshotLocation.

Since: 0.1.0.0

loadAndCompleteSnapshot Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> SnapshotLocation
-> Map RawSnapshotLocation SnapshotLocation	Cached snapshot locations from lock file
-> Map RawPackageLocationImmutable PackageLocationImmutable	Cached locations from lock file
-> RIO env (Snapshot, [CompletedSL], [CompletedPLI])

Parse a Snapshot (all layers) from a SnapshotLocation noting any incomplete package locations

Since: 0.1.0.0

loadAndCompleteSnapshotRaw Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> RawSnapshotLocation
-> Map RawSnapshotLocation SnapshotLocation	Cached snapshot locations from lock file
-> Map RawPackageLocationImmutable PackageLocationImmutable	Cached locations from lock file
-> RIO env (Snapshot, [CompletedSL], [CompletedPLI])

Parse a Snapshot (all layers) from a RawSnapshotLocation completing any incomplete package locations

Since: 0.1.0.0

data CompletedSL Source #

A completed snapshot location, including the original raw and completed information.

Since: 0.1.0.0

Constructors

CompletedSL !RawSnapshotLocation !SnapshotLocation

data CompletedPLI Source #

A completed package location, including the original raw and completed information.

Since: 0.1.0.0

Constructors

CompletedPLI !RawPackageLocationImmutable !PackageLocationImmutable

addPackagesToSnapshot Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> Utf8Builder	Text description of where these new packages are coming from, for error messages only
-> [RawPackageLocationImmutable]	new packages
-> AddPackagesConfig
-> Map PackageName RawSnapshotPackage	packages from parent
-> RIO env (Map PackageName RawSnapshotPackage, AddPackagesConfig)

Add more packages to a snapshot

Note that any settings on a parent flag which is being replaced will be ignored. For example, if package foo is in the parent and has flag bar set, and foo also appears in new packages, then bar will no longer be set.

Returns any of the AddPackagesConfig values not used.

Since: 0.1.0.0

data AddPackagesConfig Source #

Package settings to be passed to addPackagesToSnapshot.

Since: 0.1.0.0

Constructors

AddPackagesConfig
Fields apcDrop :: !(Set PackageName) apcFlags :: !(Map PackageName (Map FlagName Bool)) apcHiddens :: !(Map PackageName Bool) apcGhcOptions :: !(Map PackageName [Text])

Completion functions

completePackageLocation :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env PackageLocationImmutable Source #

Fill in optional fields in a PackageLocationImmutable for more reproducible builds.

Since: 0.1.0.0

completeSnapshotLayer :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawSnapshotLayer -> RIO env SnapshotLayer Source #

Fill in optional fields in a SnapshotLayer for more reproducible builds.

Since: 0.1.0.0

completeSnapshotLocation :: (HasPantryConfig env, HasLogFunc env) => RawSnapshotLocation -> RIO env SnapshotLocation Source #

Add in hashes to make a SnapshotLocation reproducible.

Since: 0.1.0.0

Parsers

parseWantedCompiler :: Text -> Either PantryException WantedCompiler Source #

Parse a Text into a WantedCompiler value.

Since: 0.1.0.0

parseRawSnapshotLocation :: Text -> Unresolved RawSnapshotLocation Source #

Parse a Text into an Unresolved RawSnapshotLocation.

Since: 0.1.0.0

parsePackageIdentifierRevision :: Text -> Either PantryException PackageIdentifierRevision Source #

Parse a PackageIdentifierRevision

Since: 0.1.0.0

parseHackageText :: Text -> Either PantryException (PackageIdentifier, BlobKey) Source #

Parse a hackage text.

Since: 0.1.0.0

Cabal values

parsePackageIdentifier :: String -> Maybe PackageIdentifier Source #

This is almost a copy of Cabal's parser for package identifiers, the main difference is in the fact that Stack requires version to be present while Cabal uses "null version" as a defaul value

Since: 0.1.0.0

parsePackageName :: String -> Maybe PackageName Source #

Parse a package name from a Value.

Since: 0.1.0.0

parsePackageNameThrowing :: MonadThrow m => String -> m PackageName Source #

Parse a package name from a Value throwing on failure

Since: 0.1.0.0

parseFlagName :: String -> Maybe FlagName Source #

Parse a flag name from a Value.

Since: 0.1.0.0

parseVersion :: String -> Maybe Version Source #

Parse a version from a Value.

Since: 0.1.0.0

parseVersionThrowing :: MonadThrow m => String -> m Version Source #

Parse a package version from a Value throwing on failure

Since: 0.1.0.0

Stackage snapshots

ltsSnapshotLocation Source #

Arguments

:: Int	major version
-> Int	minor version
-> RawSnapshotLocation

Location of an LTS snapshot

Since: 0.1.0.0

nightlySnapshotLocation :: Day -> RawSnapshotLocation Source #

Location of a Stackage Nightly snapshot

Since: 0.1.0.0

Cabal helpers

packageIdentifierString :: PackageIdentifier -> String Source #

Render a package identifier as a Value.

Since: 0.1.0.0

packageNameString :: PackageName -> String Source #

Render a package name as a Value.

Since: 0.1.0.0

flagNameString :: FlagName -> String Source #

Render a flag name as a Value.

Since: 0.1.0.0

versionString :: Version -> String Source #

Render a version as a Value.

Since: 0.1.0.0

moduleNameString :: ModuleName -> String Source #

Render a module name as a Value.

Since: 0.1.0.0

newtype CabalString a Source #

Newtype wrapper for easier JSON integration with Cabal types.

Since: 0.1.0.0

Constructors

CabalString
Fields unCabalString :: a

Instances

Eq a => Eq (CabalString a) Source #
Instance details Defined in Pantry.Types Methods (==) :: CabalString a -> CabalString a -> Bool # (/=) :: CabalString a -> CabalString a -> Bool #
Ord a => Ord (CabalString a) Source #
Instance details Defined in Pantry.Types Methods compare :: CabalString a -> CabalString a -> Ordering # (<) :: CabalString a -> CabalString a -> Bool # (<=) :: CabalString a -> CabalString a -> Bool # (>) :: CabalString a -> CabalString a -> Bool # (>=) :: CabalString a -> CabalString a -> Bool # max :: CabalString a -> CabalString a -> CabalString a # min :: CabalString a -> CabalString a -> CabalString a #
Show a => Show (CabalString a) Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> CabalString a -> ShowS # show :: CabalString a -> String # showList :: [CabalString a] -> ShowS #
Text a => ToJSON (CabalString a) Source #
Instance details Defined in Pantry.Types Methods toJSON :: CabalString a -> Value # toEncoding :: CabalString a -> Encoding # toJSONList :: [CabalString a] -> Value # toEncodingList :: [CabalString a] -> Encoding #
Text a => ToJSONKey (CabalString a) Source #
Instance details Defined in Pantry.Types Methods toJSONKey :: ToJSONKeyFunction (CabalString a) # toJSONKeyList :: ToJSONKeyFunction [CabalString a] #
IsCabalString a => FromJSON (CabalString a) Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (CabalString a) # parseJSONList :: Value -> Parser [CabalString a] #
IsCabalString a => FromJSONKey (CabalString a) Source #
Instance details Defined in Pantry.Types Methods fromJSONKey :: FromJSONKeyFunction (CabalString a) # fromJSONKeyList :: FromJSONKeyFunction [CabalString a] #

toCabalStringMap :: Map a v -> Map (CabalString a) v Source #

Wrap the keys in a Map with a CabalString to get a ToJSON instance.

Since: 0.1.0.0

unCabalStringMap :: Map (CabalString a) v -> Map a v Source #

Unwrap the CabalString from the keys in a Map to use a FromJSON instance.

Since: 0.1.0.0

gpdPackageIdentifier :: GenericPackageDescription -> PackageIdentifier Source #

Get the PackageIdentifier from a GenericPackageDescription.

Since: 0.1.0.0

gpdPackageName :: GenericPackageDescription -> PackageName Source #

Get the PackageName from a GenericPackageDescription.

Since: 0.1.0.0

gpdVersion :: GenericPackageDescription -> Version Source #

Get the Version from a GenericPackageDescription.

Since: 0.1.0.0

Package location

fetchPackages :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env, Foldable f) => f PackageLocationImmutable -> RIO env () Source #

Download all of the packages provided into the local cache without performing any unpacking. Can be useful for build tools wanting to prefetch or provide an offline mode.

Since: 0.1.0.0

unpackPackageLocationRaw Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> Path Abs Dir	unpack directory
-> RawPackageLocationImmutable
-> RIO env ()

Unpack a given RawPackageLocationImmutable into the given directory. Does not generate any extra subdirectories.

Since: 0.1.0.0

unpackPackageLocation Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> Path Abs Dir	unpack directory
-> PackageLocationImmutable
-> RIO env ()

Unpack a given PackageLocationImmutable into the given directory. Does not generate any extra subdirectories.

Since: 0.1.0.0

getPackageLocationName :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env PackageName Source #

Get the PackageName of the package at the given location.

Since: 0.1.0.0

getRawPackageLocationIdent :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env PackageIdentifier Source #

Get the PackageIdentifier of the package at the given location.

Since: 0.1.0.0

packageLocationIdent :: PackageLocationImmutable -> PackageIdentifier Source #

Get the PackageIdentifier of the package at the given location.

Since: 0.1.0.0

packageLocationVersion :: PackageLocationImmutable -> Version Source #

Get version of the package at the given location.

Since: 0.1.0.0

getRawPackageLocationTreeKey :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env TreeKey Source #

Get the TreeKey of the package at the given location.

Since: 0.1.0.0

getPackageLocationTreeKey :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => PackageLocationImmutable -> RIO env TreeKey Source #

Get the TreeKey of the package at the given location.

Since: 0.1.0.0

Cabal files

loadCabalFileRaw :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocation -> RIO env GenericPackageDescription Source #

Same as loadCabalFileRawImmutable, but takes a RawPackageLocation. Never prints warnings, see loadCabalFilePath for that.

Since: 0.1.0.0

loadCabalFile :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => PackageLocation -> RIO env GenericPackageDescription Source #

Same as loadCabalFileImmutable, but takes a PackageLocation. Never prints warnings, see loadCabalFilePath for that.

Since: 0.1.0.0

loadCabalFileRawImmutable :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => RawPackageLocationImmutable -> RIO env GenericPackageDescription Source #

Load the cabal file for the given RawPackageLocationImmutable.

This function ignores all warnings.

Note that, for now, this will not allow support for hpack files in these package locations. Instead, all PackageLocationImmutables will require a .cabal file. This may be relaxed in the future.

Since: 0.1.0.0

loadCabalFileImmutable :: (HasPantryConfig env, HasLogFunc env, HasProcessContext env) => PackageLocationImmutable -> RIO env GenericPackageDescription Source #

Load the cabal file for the given PackageLocationImmutable.

This function ignores all warnings.

Note that, for now, this will not allow support for hpack files in these package locations. Instead, all PackageLocationImmutables will require a .cabal file. This may be relaxed in the future.

Since: 0.1.0.0

loadCabalFilePath Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> Path Abs Dir	project directory, with a cabal file or hpack file
-> RIO env (PrintWarnings -> IO GenericPackageDescription, PackageName, Path Abs File)

Parse the cabal file for the package inside the given directory. Performs various sanity checks, such as the file name being correct and having only a single cabal file.

Since: 0.1.0.0

findOrGenerateCabalFile Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> Path Abs Dir	package directory
-> RIO env (PackageName, Path Abs File)

Get the filename for the cabal file in the given directory.

If no .cabal file is present, or more than one is present, an exception is thrown via throwM.

If the directory contains a file named package.yaml, hpack is used to generate a .cabal file from it.

Since: 0.1.0.0

data PrintWarnings Source #

Should we print warnings when loading a cabal file?

Since: 0.1.0.0

Constructors

YesPrintWarnings
NoPrintWarnings

Hackage index

updateHackageIndex Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env)
=> Maybe Utf8Builder	reason for updating, if any
-> RIO env DidUpdateOccur

Download the most recent 01-index.tar file from Hackage and update the database tables.

This function will only perform an update once per PantryConfig for user sanity. See the return value to find out if it happened.

Since: 0.1.0.0

data DidUpdateOccur Source #

Did an update occur when running updateHackageIndex?

Since: 0.1.0.0

Constructors

UpdateOccurred
NoUpdateOccurred

data RequireHackageIndex Source #

Require that the Hackage index is populated.

Since: 0.1.0.0

Constructors

YesRequireHackageIndex	If there is nothing in the Hackage index, then perform an update
NoRequireHackageIndex	Do not perform an update

Instances

Show RequireHackageIndex Source #
Instance details Defined in Pantry.Hackage Methods showsPrec :: Int -> RequireHackageIndex -> ShowS # show :: RequireHackageIndex -> String # showList :: [RequireHackageIndex] -> ShowS #

hackageIndexTarballL :: HasPantryConfig env => SimpleGetter env (Path Abs File) Source #

Where does pantry download its 01-index.tar file from Hackage?

Since: 0.1.0.0

getHackagePackageVersions Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env)
=> RequireHackageIndex
-> UsePreferredVersions
-> PackageName	package name
-> RIO env (Map Version (Map Revision BlobKey))

Returns the versions of the package available on Hackage.

Since: 0.1.0.0

getLatestHackageVersion Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env)
=> RequireHackageIndex
-> PackageName	package name
-> UsePreferredVersions
-> RIO env (Maybe PackageIdentifierRevision)

Returns the latest version of the given package available from Hackage.

Since: 0.1.0.0

getLatestHackageLocation Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> RequireHackageIndex
-> PackageName	package name
-> UsePreferredVersions
-> RIO env (Maybe PackageLocationImmutable)

Returns location of the latest version of the given package available from Hackage.

Since: 0.1.0.0

getLatestHackageRevision Source #

Arguments

:: (HasPantryConfig env, HasLogFunc env, HasProcessContext env)
=> RequireHackageIndex
-> PackageName	package name
-> Version
-> RIO env (Maybe (Revision, BlobKey, TreeKey))

Returns the latest revision of the given package version available from Hackage.

Since: 0.1.0.0

getHackageTypoCorrections :: (HasPantryConfig env, HasLogFunc env) => PackageName -> RIO env [PackageName] Source #

Try to come up with typo corrections for given package identifier using Hackage package names. This can provide more user-friendly information in error messages.

Since: 0.1.0.0

loadGlobalHints :: (HasTerm env, HasPantryConfig env) => WantedCompiler -> RIO env (Maybe (Map PackageName Version)) Source #

Load the global hints from Github.

Since: 0.1.0.0

partitionReplacedDependencies Source #

Arguments

:: Ord id
=> Map PackageName a	global packages
-> (a -> PackageName)	package name getter
-> (a -> id)	returns unique package id used for dependency pruning
-> (a -> [id])	returns unique package ids of direct package dependencies
-> Set PackageName	overrides which global dependencies should get pruned
-> (Map PackageName [PackageName], Map PackageName a)

Partition a map of global packages with its versions into a Set of replaced packages and its dependencies and a map of remaining (untouched) packages.

Since: 0.1.0.0

Snapshot cache

newtype SnapshotCacheHash Source #

An arbitrary hash for a snapshot, used for finding module names in a snapshot. Mostly intended for Stack's usage.

Since: 0.1.0.0

Constructors

SnapshotCacheHash
Fields unSnapshotCacheHash :: SHA256

Instances

Show SnapshotCacheHash Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> SnapshotCacheHash -> ShowS # show :: SnapshotCacheHash -> String # showList :: [SnapshotCacheHash] -> ShowS #

withSnapshotCache :: (HasPantryConfig env, HasLogFunc env) => SnapshotCacheHash -> RIO env (Map PackageName (Set ModuleName)) -> ((ModuleName -> RIO env [PackageName]) -> RIO env a) -> RIO env a Source #

Use a snapshot cache, which caches which modules are in which packages in a given snapshot. This is mostly intended for usage by Stack.

Since: 0.1.0.0

Eq RawArchive Source #
Instance details Defined in Pantry.Types Methods (==) :: RawArchive -> RawArchive -> Bool # (/=) :: RawArchive -> RawArchive -> Bool #
Ord RawArchive Source #
Instance details Defined in Pantry.Types Methods compare :: RawArchive -> RawArchive -> Ordering # (<) :: RawArchive -> RawArchive -> Bool # (<=) :: RawArchive -> RawArchive -> Bool # (>) :: RawArchive -> RawArchive -> Bool # (>=) :: RawArchive -> RawArchive -> Bool # max :: RawArchive -> RawArchive -> RawArchive # min :: RawArchive -> RawArchive -> RawArchive #
Show RawArchive Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> RawArchive -> ShowS # show :: RawArchive -> String # showList :: [RawArchive] -> ShowS #
Generic RawArchive Source #
Instance details Defined in Pantry.Types Associated Types type Rep RawArchive :: Type -> Type # Methods from :: RawArchive -> Rep RawArchive x # to :: Rep RawArchive x -> RawArchive #
NFData RawArchive Source #
Instance details Defined in Pantry.Types Methods rnf :: RawArchive -> () #
type Rep RawArchive Source #
Instance details Defined in Pantry.Types type Rep RawArchive = D1 (MetaData "RawArchive" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "RawArchive" PrefixI True) ((S1 (MetaSel (Just "raLocation") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArchiveLocation) :: S1 (MetaSel (Just "raHash") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe SHA256))) :: (S1 (MetaSel (Just "raSize") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe FileSize)) :*: S1 (MetaSel (Just "raSubdir") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text))))

Eq Archive Source #
Instance details Defined in Pantry.Types Methods (==) :: Archive -> Archive -> Bool # (/=) :: Archive -> Archive -> Bool #
Ord Archive Source #
Instance details Defined in Pantry.Types Methods compare :: Archive -> Archive -> Ordering # (<) :: Archive -> Archive -> Bool # (<=) :: Archive -> Archive -> Bool # (>) :: Archive -> Archive -> Bool # (>=) :: Archive -> Archive -> Bool # max :: Archive -> Archive -> Archive # min :: Archive -> Archive -> Archive #
Show Archive Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> Archive -> ShowS # show :: Archive -> String # showList :: [Archive] -> ShowS #
Generic Archive Source #
Instance details Defined in Pantry.Types Associated Types type Rep Archive :: Type -> Type # Methods from :: Archive -> Rep Archive x # to :: Rep Archive x -> Archive #
NFData Archive Source #
Instance details Defined in Pantry.Types Methods rnf :: Archive -> () #
type Rep Archive Source #
Instance details Defined in Pantry.Types type Rep Archive = D1 (MetaData "Archive" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "Archive" PrefixI True) ((S1 (MetaSel (Just "archiveLocation") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArchiveLocation) :: S1 (MetaSel (Just "archiveHash") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SHA256)) :: (S1 (MetaSel (Just "archiveSize") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FileSize) :*: S1 (MetaSel (Just "archiveSubdir") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text))))

Eq ArchiveLocation Source #
Instance details Defined in Pantry.Types Methods (==) :: ArchiveLocation -> ArchiveLocation -> Bool # (/=) :: ArchiveLocation -> ArchiveLocation -> Bool #
Ord ArchiveLocation Source #
Instance details Defined in Pantry.Types Methods compare :: ArchiveLocation -> ArchiveLocation -> Ordering # (<) :: ArchiveLocation -> ArchiveLocation -> Bool # (<=) :: ArchiveLocation -> ArchiveLocation -> Bool # (>) :: ArchiveLocation -> ArchiveLocation -> Bool # (>=) :: ArchiveLocation -> ArchiveLocation -> Bool # max :: ArchiveLocation -> ArchiveLocation -> ArchiveLocation # min :: ArchiveLocation -> ArchiveLocation -> ArchiveLocation #
Show ArchiveLocation Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> ArchiveLocation -> ShowS # show :: ArchiveLocation -> String # showList :: [ArchiveLocation] -> ShowS #
Generic ArchiveLocation Source #
Instance details Defined in Pantry.Types Associated Types type Rep ArchiveLocation :: Type -> Type # Methods from :: ArchiveLocation -> Rep ArchiveLocation x # to :: Rep ArchiveLocation x -> ArchiveLocation #
NFData ArchiveLocation Source #
Instance details Defined in Pantry.Types Methods rnf :: ArchiveLocation -> () #
Display ArchiveLocation Source #
Instance details Defined in Pantry.Types Methods display :: ArchiveLocation -> Utf8Builder # textDisplay :: ArchiveLocation -> Text #
type Rep ArchiveLocation Source #
Instance details Defined in Pantry.Types type Rep ArchiveLocation = D1 (MetaData "ArchiveLocation" "Pantry.Types" "pantry-0.1.1.2-21cqbQSvwNA2RPFXyFmCZj" False) (C1 (MetaCons "ALUrl" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :+: C1 (MetaCons "ALFilePath" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ResolvedPath File))))

RawArchive
Fields raLocation :: !ArchiveLocation Location of the archive Since: 0.1.0.0 raHash :: !(Maybe SHA256) Cryptographic hash of the archive file Since: 0.1.0.0 raSize :: !(Maybe FileSize) Size of the archive file Since: 0.1.0.0 raSubdir :: !Text Subdirectory within the archive to get the package from. Since: 0.1.0.0

Archive
Fields archiveLocation :: !ArchiveLocation Location of the archive Since: 0.1.0.0 archiveHash :: !SHA256 Cryptographic hash of the archive file Since: 0.1.0.0 archiveSize :: !FileSize Size of the archive file Since: 0.1.0.0 archiveSubdir :: !Text Subdirectory within the archive to get the package from. Since: 0.1.0.0

Running

Convenience

Types

Exceptions

Cabal types

Files

Cryptography

Packages

Hackage

Archives

Repos

Package location

Snapshots

Loading values

Completion functions

Parsers

Cabal values

Stackage snapshots

Cabal helpers

Package location

Cabal files

Hackage index

Snapshot cache