Safe Haskell	None
Language	Haskell2010

Pantry.Types

Synopsis

data PantryConfig = PantryConfig {
- pcPackageIndex :: !PackageIndexConfig
- pcHpackExecutable :: !HpackExecutable
- pcHpackForce :: !Force
- pcRootDir :: !(Path Abs Dir)
- pcStorage :: !Storage
- pcUpdateRef :: !(MVar Bool)
- pcParsedCabalFilesRawImmutable :: !(IORef (Map RawPackageLocationImmutable GenericPackageDescription))
- pcParsedCabalFilesMutable :: !(IORef (Map (Path Abs Dir) (PrintWarnings -> IO GenericPackageDescription, PackageName, Path Abs File)))
- pcConnectionCount :: !Int
- pcCasaConfig :: !(Maybe (CasaRepoPrefix, Int))
- pcSnapshotLocation :: SnapName -> RawSnapshotLocation
- pcGlobalHintsLocation :: WantedCompiler -> GlobalHintsLocation
}
data PackageIndexConfig = PackageIndexConfig {
- picDownloadPrefix :: !Text
- picHackageSecurityConfig :: !HackageSecurityConfig
}
data HackageSecurityConfig = HackageSecurityConfig {
- hscKeyIds :: ![Text]
- hscKeyThreshold :: !Int
- hscIgnoreExpiry :: !Bool
}
defaultHackageSecurityConfig :: HackageSecurityConfig
data Storage = Storage {
- withStorage_ :: forall env a. HasLogFunc env => ReaderT SqlBackend (RIO env) a -> RIO env a
- withWriteLock_ :: forall env a. HasLogFunc env => RIO env a -> RIO env a
}
class HasPantryConfig env where
- pantryConfigL :: Lens' env PantryConfig
data BlobKey = BlobKey !SHA256 !FileSize
data PackageName
data Version
data PackageIdentifier = PackageIdentifier {
- pkgName :: PackageName
- pkgVersion :: Version
}
newtype Revision = Revision Word
data ModuleName
data CabalFileInfo
- = CFILatest
- | CFIHash !SHA256 !(Maybe FileSize)
- | CFIRevision !Revision
data PrintWarnings
- = YesPrintWarnings
- | NoPrintWarnings
newtype PackageNameP = PackageNameP {
- unPackageNameP :: PackageName
}
newtype VersionP = VersionP {
- unVersionP :: Version
}
newtype ModuleNameP = ModuleNameP {
- unModuleNameP :: ModuleName
}
data PackageIdentifierRevision = PackageIdentifierRevision !PackageName !Version !CabalFileInfo
pirForHash :: PackageIdentifier -> BlobKey -> PackageIdentifierRevision
data FileType
- = FTNormal
- | FTExecutable
data BuildFile
- = BFCabal !SafeFilePath !TreeEntry
- | BFHpack !TreeEntry
newtype FileSize = FileSize Word
data TreeEntry = TreeEntry {
- teBlob :: !BlobKey
- teType :: !FileType
}
data SafeFilePath
unSafeFilePath :: SafeFilePath -> Text
mkSafeFilePath :: Text -> Maybe SafeFilePath
safeFilePathToPath :: MonadThrow m => Path Abs Dir -> SafeFilePath -> m (Path Abs File)
hpackSafeFilePath :: SafeFilePath
newtype TreeKey = TreeKey BlobKey
newtype Tree = TreeMap (Map SafeFilePath TreeEntry)
renderTree :: Tree -> ByteString
parseTree :: ByteString -> Maybe Tree
parseTreeM :: MonadThrow m => (BlobKey, ByteString) -> m (TreeKey, Tree)
data SHA256
data Unresolved a
resolvePaths :: MonadIO m => Maybe (Path Abs Dir) -> Unresolved a -> m a
data Package = Package {
- packageTreeKey :: !TreeKey
- packageTree :: !Tree
- packageCabalEntry :: !PackageCabal
- packageIdent :: !PackageIdentifier
}
data PackageCabal
- = PCCabalFile !TreeEntry
- | PCHpack !PHpack
data PHpack = PHpack {
- phOriginal :: !TreeEntry
- phGenerated :: !TreeEntry
- phVersion :: !Version
}
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
toRawPLI :: PackageLocationImmutable -> RawPackageLocationImmutable
data RawArchive = RawArchive {
- raLocation :: !ArchiveLocation
- raHash :: !(Maybe SHA256)
- raSize :: !(Maybe FileSize)
- raSubdir :: !Text
}
data Archive = Archive {
- archiveLocation :: !ArchiveLocation
- archiveHash :: !SHA256
- archiveSize :: !FileSize
- archiveSubdir :: !Text
}
toRawArchive :: Archive -> RawArchive
data Repo = Repo {
- repoUrl :: !Text
- repoCommit :: !Text
- repoType :: !RepoType
- repoSubdir :: !Text
}
data AggregateRepo = AggregateRepo {
- aRepo :: !SimpleRepo
- aRepoSubdirs :: [(Text, RawPackageMetadata)]
}
data SimpleRepo = SimpleRepo {
- sRepoUrl :: !Text
- sRepoCommit :: !Text
- sRepoType :: !RepoType
}
toAggregateRepos :: [(Repo, RawPackageMetadata)] -> [AggregateRepo]
rToSimpleRepo :: Repo -> SimpleRepo
arToSimpleRepo :: AggregateRepo -> SimpleRepo
data RepoType
- = RepoGit
- | RepoHg
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
packageIdentifierString :: PackageIdentifier -> String
packageNameString :: PackageName -> String
flagNameString :: FlagName -> String
versionString :: Version -> String
moduleNameString :: ModuleName -> String
data OptionalSubdirs
- = OSSubdirs !(NonEmpty Text)
- | OSPackageMetadata !Text !RawPackageMetadata
data ArchiveLocation
- = ALUrl !Text
- | ALFilePath !(ResolvedPath File)
newtype RelFilePath = RelFilePath Text
newtype CabalString a = CabalString {
- unCabalString :: a
}
toCabalStringMap :: Map a v -> Map (CabalString a) v
unCabalStringMap :: Map (CabalString a) v -> Map a v
parsePackageIdentifierRevision :: Text -> Either PantryException PackageIdentifierRevision
parseRawPackageLocationImmutables :: Text -> Either PantryException (Unresolved (NonEmpty RawPackageLocationImmutable))
data Mismatch a = Mismatch {
- mismatchExpected :: !a
- mismatchActual :: !a
}
data PantryException
- = PackageIdentifierRevisionParseFail !Text
- | RawPackageLocationImmutableParseFail !Text !SomeException
- | RawPackageLocationImmutableParseWarnings !Text ![JSONWarning]
- | InvalidCabalFile !(Either RawPackageLocationImmutable (Path Abs File)) !(Maybe Version) ![PError] ![PWarning]
- | TreeWithoutCabalFile !RawPackageLocationImmutable
- | TreeWithMultipleCabalFiles !RawPackageLocationImmutable ![SafeFilePath]
- | MismatchedCabalName !(Path Abs File) !PackageName
- | NoLocalPackageDirFound !(Path Abs Dir)
- | 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
- | InvalidGlobalHintsLocation !(Path Abs Dir) !Text
- | InvalidFilePathGlobalHints !Text
- | MismatchedPackageMetadata !RawPackageLocationImmutable !RawPackageMetadata !(Maybe TreeKey) !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)
- | LocalNoArchiveFileFound !(Path Abs File)
- | LocalInvalidSHA256 !(Path Abs File) !(Mismatch SHA256)
- | LocalInvalidSize !(Path Abs File) !(Mismatch FileSize)
- | UnknownArchiveType !ArchiveLocation
- | InvalidTarFileType !ArchiveLocation !FilePath !FileType
- | UnsupportedTarball !ArchiveLocation !Text
- | NoHackageCryptographicHash !PackageIdentifier
- | FailedToCloneRepo !SimpleRepo
- | 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
- | NoCasaConfig
- | InvalidTreeFromCasa !BlobKey !ByteString
- | ParseSnapNameException !Text
- | HpackLibraryException !(Path Abs File) !String
- | HpackExeException !FilePath !(Path Abs Dir) !SomeException
data FuzzyResults
- = FRNameNotFound ![PackageName]
- | FRVersionNotFound !(NonEmpty PackageIdentifierRevision)
- | FRRevisionNotFound !(NonEmpty PackageIdentifierRevision)
data ResolvedPath t = ResolvedPath {
- resolvedRelative :: !RelFilePath
- resolvedAbsolute :: !(Path Abs t)
}
data HpackExecutable
- = HpackBundled
- | HpackCommand !FilePath
data WantedCompiler
- = WCGhc !Version
- | WCGhcGit !Text !Text
- | WCGhcjs !Version !Version
snapshotLocation :: HasPantryConfig env => SnapName -> RIO env RawSnapshotLocation
defaultSnapshotLocation :: SnapName -> RawSnapshotLocation
globalHintsLocation :: HasPantryConfig env => WantedCompiler -> RIO env GlobalHintsLocation
defaultGlobalHintsLocation :: WantedCompiler -> GlobalHintsLocation
data SnapName
- = LTS !Int !Int
- | Nightly !Day
parseSnapName :: MonadThrow m => Text -> m SnapName
data RawSnapshotLocation
- = RSLCompiler !WantedCompiler
- | RSLUrl !Text !(Maybe BlobKey)
- | RSLFilePath !(ResolvedPath File)
- | RSLSynonym !SnapName
data SnapshotLocation
- = SLCompiler !WantedCompiler
- | SLUrl !Text !BlobKey
- | SLFilePath !(ResolvedPath File)
toRawSL :: SnapshotLocation -> RawSnapshotLocation
parseHackageText :: Text -> Either PantryException (PackageIdentifier, BlobKey)
parseRawSnapshotLocation :: Text -> Unresolved RawSnapshotLocation
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 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 GlobalHintsLocation
- = GHLUrl !Text
- | GHLFilePath !(ResolvedPath File)
parseGlobalHintsLocation :: Text -> Unresolved GlobalHintsLocation
parseWantedCompiler :: Text -> Either PantryException WantedCompiler
data RawPackageMetadata = RawPackageMetadata {
- rpmName :: !(Maybe PackageName)
- rpmVersion :: !(Maybe Version)
- rpmTreeKey :: !(Maybe TreeKey)
}
data PackageMetadata = PackageMetadata {
- pmIdent :: !PackageIdentifier
- pmTreeKey :: !TreeKey
}
toRawPM :: PackageMetadata -> RawPackageMetadata
cabalFileName :: PackageName -> SafeFilePath
newtype SnapshotCacheHash = SnapshotCacheHash {
- unSnapshotCacheHash :: SHA256
}
getGlobalHintsFile :: HasPantryConfig env => RIO env (Path Abs File)
bsToBlobKey :: ByteString -> BlobKey
warnMissingCabalFile :: HasLogFunc env => RawPackageLocationImmutable -> RIO env ()
connRDBMS :: SqlBackend -> Text

Documentation

data PantryConfig Source #

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

Since: 0.1.0.0

Constructors

PantryConfig

Fields

pcPackageIndex :: !PackageIndexConfig
pcHpackExecutable :: !HpackExecutable
pcHpackForce :: !Force
pcRootDir :: !(Path Abs Dir)
pcStorage :: !Storage
pcUpdateRef :: !(MVar Bool)
Want to try updating the index once during a single run for missing package identifiers. We also want to ensure we only update once at a time. Start at True.
pcParsedCabalFilesRawImmutable :: !(IORef (Map RawPackageLocationImmutable GenericPackageDescription))
Cache of previously parsed cabal files, to save on slow parsing time.
pcParsedCabalFilesMutable :: !(IORef (Map (Path Abs Dir) (PrintWarnings -> IO GenericPackageDescription, PackageName, Path Abs File)))
Cache for mutable packages. We want to allow for an optimization: deferring parsing of the GenericPackageDescription until its actually needed. Therefore, we keep the filepath and the PackageName derived from that filepath. When the IO GenericPackageDescription is run, it will ensure that the PackageName matches the value inside the cabal file, and print out any warnings that still need to be printed.
pcConnectionCount :: !Int
concurrently open downloads
pcCasaConfig :: !(Maybe (CasaRepoPrefix, Int))
Optionally, the Casa pull URL e.g. https://casa.stackage.org and the maximum number of Casa keys to pull per request.
pcSnapshotLocation :: SnapName -> RawSnapshotLocation
The location of snapshot synonyms
pcGlobalHintsLocation :: WantedCompiler -> GlobalHintsLocation
The location of global hints

data PackageIndexConfig Source #

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

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.6.0

Constructors

PackageIndexConfig
Fields picDownloadPrefix :: !Text picHackageSecurityConfig :: !HackageSecurityConfig

Instances

Instances details

Show PackageIndexConfig Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PackageIndexConfig -> ShowS Source # show :: PackageIndexConfig -> String Source # showList :: [PackageIndexConfig] -> ShowS Source #
FromJSON (WithJSONWarnings PackageIndexConfig) Source #	If the `hackage-security` key is absent from the JSON object, assigns default value `defaultHackageSecurityConfig`. Since: 0.6.0
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings PackageIndexConfig) Source # parseJSONList :: Value -> Parser [WithJSONWarnings PackageIndexConfig] Source # omittedField :: Maybe (WithJSONWarnings PackageIndexConfig) Source #

data HackageSecurityConfig Source #

Configuration for Hackage Security to securely download package metadata and contents. 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.6.0

Constructors

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

Instances

Instances details

Show HackageSecurityConfig Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> HackageSecurityConfig -> ShowS Source # show :: HackageSecurityConfig -> String Source # showList :: [HackageSecurityConfig] -> ShowS Source #
FromJSON (WithJSONWarnings HackageSecurityConfig) Source #	If the `ignore-expiry` key is absent from the JSON object, assigns default value `True`. Since: 0.1.1.0
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser (WithJSONWarnings HackageSecurityConfig) Source # parseJSONList :: Value -> Parser [WithJSONWarnings HackageSecurityConfig] Source # omittedField :: Maybe (WithJSONWarnings HackageSecurityConfig) Source #

defaultHackageSecurityConfig :: HackageSecurityConfig Source #

Default HackageSecurityConfig value using the official Hackage server. The value of the hscIgnoreExpiry field is True.

Since: 0.7.0

data Storage Source #

Represents a SQL database connection.

Constructors

Storage
Fields withStorage_ :: forall env a. HasLogFunc env => ReaderT SqlBackend (RIO env) a -> RIO env a withWriteLock_ :: forall env a. HasLogFunc env => RIO env a -> RIO env a

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

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

Instances details

FromJSON BlobKey Source #

Instance details

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

FromJSON PackageNameP Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser PackageNameP Source # parseJSONList :: Value -> Parser [PackageNameP] Source # omittedField :: Maybe PackageNameP Source #
FromJSONKey PackageNameP Source #
Instance details Defined in Pantry.Types Methods fromJSONKey :: FromJSONKeyFunction PackageNameP Source # fromJSONKeyList :: FromJSONKeyFunction [PackageNameP] Source #
ToJSON PackageNameP Source #
Instance details Defined in Pantry.Types Methods toJSON :: PackageNameP -> Value Source # toEncoding :: PackageNameP -> Encoding Source # toJSONList :: [PackageNameP] -> Value Source # toEncodingList :: [PackageNameP] -> Encoding Source # omitField :: PackageNameP -> Bool Source #
ToJSONKey PackageNameP Source #
Instance details Defined in Pantry.Types Methods toJSONKey :: ToJSONKeyFunction PackageNameP Source # toJSONKeyList :: ToJSONKeyFunction [PackageNameP] Source #
NFData PackageNameP Source #
Instance details Defined in Pantry.Types Methods rnf :: PackageNameP -> () Source #
Read PackageNameP Source #
Instance details Defined in Pantry.Types Methods readsPrec :: Int -> ReadS PackageNameP Source # readList :: ReadS [PackageNameP] Source # readPrec :: ReadPrec PackageNameP Source # readListPrec :: ReadPrec [PackageNameP] Source #
Show PackageNameP Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PackageNameP -> ShowS Source # show :: PackageNameP -> String Source # showList :: [PackageNameP] -> ShowS Source #
Eq PackageNameP Source #
Instance details Defined in Pantry.Types Methods (==) :: PackageNameP -> PackageNameP -> Bool Source # (/=) :: PackageNameP -> PackageNameP -> Bool Source #
Ord PackageNameP Source #
Instance details Defined in Pantry.Types Methods compare :: PackageNameP -> PackageNameP -> Ordering Source # (<) :: PackageNameP -> PackageNameP -> Bool Source # (<=) :: PackageNameP -> PackageNameP -> Bool Source # (>) :: PackageNameP -> PackageNameP -> Bool Source # (>=) :: PackageNameP -> PackageNameP -> Bool Source # max :: PackageNameP -> PackageNameP -> PackageNameP Source # min :: PackageNameP -> PackageNameP -> PackageNameP Source #
PersistField PackageNameP Source #
Instance details Defined in Pantry.Types Methods toPersistValue :: PackageNameP -> PersistValue Source # fromPersistValue :: PersistValue -> Either Text PackageNameP Source #
PersistFieldSql PackageNameP Source #
Instance details Defined in Pantry.Types Methods sqlType :: Proxy PackageNameP -> SqlType Source #
Display PackageNameP Source #
Instance details Defined in Pantry.Types Methods display :: PackageNameP -> Utf8Builder Source # textDisplay :: PackageNameP -> Text Source #

FromJSON VersionP Source #
Instance details Defined in Pantry.Types Methods parseJSON :: Value -> Parser VersionP Source # parseJSONList :: Value -> Parser [VersionP] Source # omittedField :: Maybe VersionP Source #
ToJSON VersionP Source #
Instance details Defined in Pantry.Types Methods toJSON :: VersionP -> Value Source # toEncoding :: VersionP -> Encoding Source # toJSONList :: [VersionP] -> Value Source # toEncodingList :: [VersionP] -> Encoding Source # omitField :: VersionP -> Bool Source #
NFData VersionP Source #
Instance details Defined in Pantry.Types Methods rnf :: VersionP -> () Source #
Read VersionP Source #
Instance details Defined in Pantry.Types Methods readsPrec :: Int -> ReadS VersionP Source # readList :: ReadS [VersionP] Source # readPrec :: ReadPrec VersionP Source # readListPrec :: ReadPrec [VersionP] Source #
Show VersionP Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> VersionP -> ShowS Source # show :: VersionP -> String Source # showList :: [VersionP] -> ShowS Source #
Eq VersionP Source #
Instance details Defined in Pantry.Types Methods (==) :: VersionP -> VersionP -> Bool Source # (/=) :: VersionP -> VersionP -> Bool Source #
Ord VersionP Source #
Instance details Defined in Pantry.Types Methods compare :: VersionP -> VersionP -> Ordering Source # (<) :: VersionP -> VersionP -> Bool Source # (<=) :: VersionP -> VersionP -> Bool Source # (>) :: VersionP -> VersionP -> Bool Source # (>=) :: VersionP -> VersionP -> Bool Source # max :: VersionP -> VersionP -> VersionP Source # min :: VersionP -> VersionP -> VersionP Source #
PersistField VersionP Source #
Instance details Defined in Pantry.Types Methods toPersistValue :: VersionP -> PersistValue Source # fromPersistValue :: PersistValue -> Either Text VersionP Source #
PersistFieldSql VersionP Source #
Instance details Defined in Pantry.Types Methods sqlType :: Proxy VersionP -> SqlType Source #
Display VersionP Source #
Instance details Defined in Pantry.Types Methods display :: VersionP -> Utf8Builder Source # textDisplay :: VersionP -> Text Source #

NFData ModuleNameP Source #
Instance details Defined in Pantry.Types Methods rnf :: ModuleNameP -> () Source #
Show ModuleNameP Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> ModuleNameP -> ShowS Source # show :: ModuleNameP -> String Source # showList :: [ModuleNameP] -> ShowS Source #
Eq ModuleNameP Source #
Instance details Defined in Pantry.Types Methods (==) :: ModuleNameP -> ModuleNameP -> Bool Source # (/=) :: ModuleNameP -> ModuleNameP -> Bool Source #
Ord ModuleNameP Source #
Instance details Defined in Pantry.Types Methods compare :: ModuleNameP -> ModuleNameP -> Ordering Source # (<) :: ModuleNameP -> ModuleNameP -> Bool Source # (<=) :: ModuleNameP -> ModuleNameP -> Bool Source # (>) :: ModuleNameP -> ModuleNameP -> Bool Source # (>=) :: ModuleNameP -> ModuleNameP -> Bool Source # max :: ModuleNameP -> ModuleNameP -> ModuleNameP Source # min :: ModuleNameP -> ModuleNameP -> ModuleNameP Source #
PersistField ModuleNameP Source #
Instance details Defined in Pantry.Types Methods toPersistValue :: ModuleNameP -> PersistValue Source # fromPersistValue :: PersistValue -> Either Text ModuleNameP Source #
PersistFieldSql ModuleNameP Source #
Instance details Defined in Pantry.Types Methods sqlType :: Proxy ModuleNameP -> SqlType Source #
Display ModuleNameP Source #
Instance details Defined in Pantry.Types Methods display :: ModuleNameP -> Utf8Builder Source # textDisplay :: ModuleNameP -> Text Source #

Bounded FileType Source #
Instance details Defined in Pantry.Types Methods minBound :: FileType Source # maxBound :: FileType Source #
Enum FileType Source #
Instance details Defined in Pantry.Types Methods succ :: FileType -> FileType Source # pred :: FileType -> FileType Source # toEnum :: Int -> FileType Source # fromEnum :: FileType -> Int Source # enumFrom :: FileType -> [FileType] Source # enumFromThen :: FileType -> FileType -> [FileType] Source # enumFromTo :: FileType -> FileType -> [FileType] Source # enumFromThenTo :: FileType -> FileType -> FileType -> [FileType] Source #
Show FileType Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> FileType -> ShowS Source # show :: FileType -> String Source # showList :: [FileType] -> ShowS Source #
Eq FileType Source #
Instance details Defined in Pantry.Types Methods (==) :: FileType -> FileType -> Bool Source # (/=) :: FileType -> FileType -> Bool Source #
Ord FileType Source #
Instance details Defined in Pantry.Types Methods compare :: FileType -> FileType -> Ordering Source # (<) :: FileType -> FileType -> Bool Source # (<=) :: FileType -> FileType -> Bool Source # (>) :: FileType -> FileType -> Bool Source # (>=) :: FileType -> FileType -> Bool Source # max :: FileType -> FileType -> FileType Source # min :: FileType -> FileType -> FileType Source #
PersistField FileType Source #
Instance details Defined in Pantry.Types Methods toPersistValue :: FileType -> PersistValue Source # fromPersistValue :: PersistValue -> Either Text FileType Source #
PersistFieldSql FileType Source #
Instance details Defined in Pantry.Types Methods sqlType :: Proxy FileType -> SqlType Source #

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

Show TreeEntry Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> TreeEntry -> ShowS Source # show :: TreeEntry -> String Source # showList :: [TreeEntry] -> ShowS Source #
Eq TreeEntry Source #
Instance details Defined in Pantry.Types Methods (==) :: TreeEntry -> TreeEntry -> Bool Source # (/=) :: TreeEntry -> TreeEntry -> Bool Source #
Ord TreeEntry Source #
Instance details Defined in Pantry.Types Methods compare :: TreeEntry -> TreeEntry -> Ordering Source # (<) :: TreeEntry -> TreeEntry -> Bool Source # (<=) :: TreeEntry -> TreeEntry -> Bool Source # (>) :: TreeEntry -> TreeEntry -> Bool Source # (>=) :: TreeEntry -> TreeEntry -> Bool Source # max :: TreeEntry -> TreeEntry -> TreeEntry Source # min :: TreeEntry -> TreeEntry -> TreeEntry Source #

Show SafeFilePath Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> SafeFilePath -> ShowS Source # show :: SafeFilePath -> String Source # showList :: [SafeFilePath] -> ShowS Source #
Eq SafeFilePath Source #
Instance details Defined in Pantry.Types Methods (==) :: SafeFilePath -> SafeFilePath -> Bool Source # (/=) :: SafeFilePath -> SafeFilePath -> Bool Source #
Ord SafeFilePath Source #
Instance details Defined in Pantry.Types Methods compare :: SafeFilePath -> SafeFilePath -> Ordering Source # (<) :: SafeFilePath -> SafeFilePath -> Bool Source # (<=) :: SafeFilePath -> SafeFilePath -> Bool Source # (>) :: SafeFilePath -> SafeFilePath -> Bool Source # (>=) :: SafeFilePath -> SafeFilePath -> Bool Source # max :: SafeFilePath -> SafeFilePath -> SafeFilePath Source # min :: SafeFilePath -> SafeFilePath -> SafeFilePath Source #
PersistField SafeFilePath Source #
Instance details Defined in Pantry.Types Methods toPersistValue :: SafeFilePath -> PersistValue Source # fromPersistValue :: PersistValue -> Either Text SafeFilePath Source #
PersistFieldSql SafeFilePath Source #
Instance details Defined in Pantry.Types Methods sqlType :: Proxy SafeFilePath -> SqlType Source #
Display SafeFilePath Source #
Instance details Defined in Pantry.Types Methods display :: SafeFilePath -> Utf8Builder Source # textDisplay :: SafeFilePath -> Text Source #

Show Tree Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> Tree -> ShowS Source # show :: Tree -> String Source # showList :: [Tree] -> ShowS Source #
Eq Tree Source #
Instance details Defined in Pantry.Types Methods (==) :: Tree -> Tree -> Bool Source # (/=) :: Tree -> Tree -> Bool Source #
Ord Tree Source #
Instance details Defined in Pantry.Types Methods compare :: Tree -> Tree -> Ordering Source # (<) :: Tree -> Tree -> Bool Source # (<=) :: Tree -> Tree -> Bool Source # (>) :: Tree -> Tree -> Bool Source # (>=) :: Tree -> Tree -> Bool Source # max :: Tree -> Tree -> Tree Source # min :: Tree -> Tree -> Tree Source #

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

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

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

PCCabalFile !TreeEntry	TreeEntry of Cabal file
PCHpack !PHpack

Show PackageCabal Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PackageCabal -> ShowS Source # show :: PackageCabal -> String Source # showList :: [PackageCabal] -> ShowS Source #
Eq PackageCabal Source #
Instance details Defined in Pantry.Types Methods (==) :: PackageCabal -> PackageCabal -> Bool Source # (/=) :: PackageCabal -> PackageCabal -> Bool Source #
Ord PackageCabal Source #
Instance details Defined in Pantry.Types Methods compare :: PackageCabal -> PackageCabal -> Ordering Source # (<) :: PackageCabal -> PackageCabal -> Bool Source # (<=) :: PackageCabal -> PackageCabal -> Bool Source # (>) :: PackageCabal -> PackageCabal -> Bool Source # (>=) :: PackageCabal -> PackageCabal -> Bool Source # max :: PackageCabal -> PackageCabal -> PackageCabal Source # min :: PackageCabal -> PackageCabal -> PackageCabal Source #

PHpack
Fields phOriginal :: !TreeEntry Original hpack file phGenerated :: !TreeEntry Generated Cabal file phVersion :: !Version Version of Hpack used

Show PHpack Source #
Instance details Defined in Pantry.Types Methods showsPrec :: Int -> PHpack -> ShowS Source # show :: PHpack -> String Source # showList :: [PHpack] -> ShowS Source #
Eq PHpack Source #
Instance details Defined in Pantry.Types Methods (==) :: PHpack -> PHpack -> Bool Source # (/=) :: PHpack -> PHpack -> Bool Source #
Ord PHpack Source #
Instance details Defined in Pantry.Types Methods compare :: PHpack -> PHpack -> Ordering Source # (<) :: PHpack -> PHpack -> Bool Source # (<=) :: PHpack -> PHpack -> Bool Source # (>) :: PHpack -> PHpack -> Bool Source # (>=) :: PHpack -> PHpack -> Bool Source # max :: PHpack -> PHpack -> PHpack Source # min :: PHpack -> PHpack -> PHpack Source #

RPLImmutable !RawPackageLocationImmutable
RPLMutable !(ResolvedPath Dir)

PLImmutable !PackageLocationImmutable
PLMutable !(ResolvedPath Dir)

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

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

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

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

AggregateRepo
Fields aRepo :: !SimpleRepo aRepoSubdirs :: [(Text, RawPackageMetadata)]

SimpleRepo
Fields sRepoUrl :: !Text sRepoCommit :: !Text sRepoType :: !RepoType

OSSubdirs !(NonEmpty Text)
OSPackageMetadata !Text !RawPackageMetadata	subdirectory and package metadata

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

:: Text	A YAML value.
-> Either PantryException (Unresolved (NonEmpty RawPackageLocationImmutable))

PackageIdentifierRevisionParseFail !Text
RawPackageLocationImmutableParseFail !Text !SomeException
RawPackageLocationImmutableParseWarnings !Text ![JSONWarning]
InvalidCabalFile !(Either RawPackageLocationImmutable (Path Abs File)) !(Maybe Version) ![PError] ![PWarning]
TreeWithoutCabalFile !RawPackageLocationImmutable
TreeWithMultipleCabalFiles !RawPackageLocationImmutable ![SafeFilePath]
MismatchedCabalName !(Path Abs File) !PackageName
NoLocalPackageDirFound !(Path Abs Dir)
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
InvalidGlobalHintsLocation !(Path Abs Dir) !Text
InvalidFilePathGlobalHints !Text
MismatchedPackageMetadata !RawPackageLocationImmutable !RawPackageMetadata !(Maybe TreeKey) !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.
LocalNoArchiveFileFound !(Path Abs File)
LocalInvalidSHA256 !(Path Abs File) !(Mismatch SHA256)
LocalInvalidSize !(Path Abs File) !(Mismatch FileSize)
UnknownArchiveType !ArchiveLocation
InvalidTarFileType !ArchiveLocation !FilePath !FileType
UnsupportedTarball !ArchiveLocation !Text
NoHackageCryptographicHash !PackageIdentifier
FailedToCloneRepo !SimpleRepo
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
NoCasaConfig
InvalidTreeFromCasa !BlobKey !ByteString
ParseSnapNameException !Text
HpackLibraryException !(Path Abs File) !String
HpackExeException !FilePath !(Path Abs Dir) !SomeException

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