Safe Haskell	None
Language	Haskell2010

Stack.Types.PackageIndex

Contents

PackageIndex, IndexName & IndexLocation

Synopsis

data PackageDownload = PackageDownload {
- pdSHA256 :: !StaticSHA256
- pdUrl :: !ByteString
- pdSize :: !Word64
}
newtype HSPackageDownload = HSPackageDownload {
- unHSPackageDownload :: PackageDownload
}
newtype PackageCache index = PackageCache (HashMap PackageName (HashMap Version (index, Maybe PackageDownload, NonEmpty ([CabalHash], OffsetSize))))
data OffsetSize = OffsetSize !Int64 !Int64
data PackageIndex = PackageIndex {
- indexName :: !IndexName
- indexLocation :: !Text
- indexType :: !IndexType
- indexDownloadPrefix :: !Text
- indexRequireHashes :: !Bool
}
newtype IndexName = IndexName {
- unIndexName :: ByteString
}
indexNameText :: IndexName -> Text
data IndexType
- = ITHackageSecurity !HackageSecurity
- | ITVanilla
data HackageSecurity = HackageSecurity {
- hsKeyIds :: ![Text]
- hsKeyThreshold :: !Int
}

Documentation

data PackageDownload #

Constructors

PackageDownload
Fields pdSHA256 :: !StaticSHA256 pdUrl :: !ByteString pdSize :: !Word64

Instances

Eq PackageDownload #
Instance details Defined in Stack.Types.PackageIndex Methods (==) :: PackageDownload -> PackageDownload -> Bool # (/=) :: PackageDownload -> PackageDownload -> Bool #
Data PackageDownload #
Instance details Defined in Stack.Types.PackageIndex Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageDownload -> c PackageDownload # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PackageDownload # toConstr :: PackageDownload -> Constr # dataTypeOf :: PackageDownload -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PackageDownload) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PackageDownload) # gmapT :: (forall b. Data b => b -> b) -> PackageDownload -> PackageDownload # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageDownload -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageDownload -> r # gmapQ :: (forall d. Data d => d -> u) -> PackageDownload -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageDownload -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageDownload -> m PackageDownload # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageDownload -> m PackageDownload # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageDownload -> m PackageDownload #
Show PackageDownload #
Instance details Defined in Stack.Types.PackageIndex Methods showsPrec :: Int -> PackageDownload -> ShowS # show :: PackageDownload -> String # showList :: [PackageDownload] -> ShowS #
Generic PackageDownload #
Instance details Defined in Stack.Types.PackageIndex Associated Types type Rep PackageDownload :: * -> * # Methods from :: PackageDownload -> Rep PackageDownload x # to :: Rep PackageDownload x -> PackageDownload #
NFData PackageDownload #
Instance details Defined in Stack.Types.PackageIndex Methods rnf :: PackageDownload -> () #
FromJSON PackageDownload #
Instance details Defined in Stack.Types.PackageIndex Methods parseJSON :: Value -> Parser PackageDownload # parseJSONList :: Value -> Parser [PackageDownload] #
Store PackageDownload #
Instance details Defined in Stack.Types.PackageIndex Methods size :: Size PackageDownload # poke :: PackageDownload -> Poke () # peek :: Peek PackageDownload #
type Rep PackageDownload #
Instance details Defined in Stack.Types.PackageIndex type Rep PackageDownload = D1 (MetaData "PackageDownload" "Stack.Types.PackageIndex" "stack-1.7.1-GU34eBu4wFsGhHCMHRnqPU" False) (C1 (MetaCons "PackageDownload" PrefixI True) (S1 (MetaSel (Just "pdSHA256") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 StaticSHA256) :: (S1 (MetaSel (Just "pdUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ByteString) :: S1 (MetaSel (Just "pdSize") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word64))))

newtype HSPackageDownload #

Hackage Security provides a different JSON format, we'll have our own JSON parser for it.

Constructors

HSPackageDownload
Fields unHSPackageDownload :: PackageDownload

Instances

FromJSON HSPackageDownload #
Instance details Defined in Stack.Types.PackageIndex Methods parseJSON :: Value -> Parser HSPackageDownload # parseJSONList :: Value -> Parser [HSPackageDownload] #

newtype PackageCache index #

Cached information about packages in an index. We have a mapping from package name to a version map. Within the version map, we map from the version to information on an individual version. Each version has optional download information (about the package's tarball itself), and cabal file information. The cabal file information is a non-empty list of all cabal file revisions. Each file revision indicates the hash of the contents of the cabal file, and the offset into the index tarball.

It's assumed that cabal files appear in the index tarball in the correct revision order.

Constructors

PackageCache (HashMap PackageName (HashMap Version (index, Maybe PackageDownload, NonEmpty ([CabalHash], OffsetSize))))

Instances

Eq index => Eq (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex Methods (==) :: PackageCache index -> PackageCache index -> Bool # (/=) :: PackageCache index -> PackageCache index -> Bool #
Data index => Data (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageCache index -> c (PackageCache index) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PackageCache index) # toConstr :: PackageCache index -> Constr # dataTypeOf :: PackageCache index -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (PackageCache index)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PackageCache index)) # gmapT :: (forall b. Data b => b -> b) -> PackageCache index -> PackageCache index # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageCache index -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageCache index -> r # gmapQ :: (forall d. Data d => d -> u) -> PackageCache index -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageCache index -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageCache index -> m (PackageCache index) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageCache index -> m (PackageCache index) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageCache index -> m (PackageCache index) #
Show index => Show (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex Methods showsPrec :: Int -> PackageCache index -> ShowS # show :: PackageCache index -> String # showList :: [PackageCache index] -> ShowS #
Generic (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex Associated Types type Rep (PackageCache index) :: * -> * # Methods from :: PackageCache index -> Rep (PackageCache index) x # to :: Rep (PackageCache index) x -> PackageCache index #
Semigroup (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex Methods (<>) :: PackageCache index -> PackageCache index -> PackageCache index # sconcat :: NonEmpty (PackageCache index) -> PackageCache index # stimes :: Integral b => b -> PackageCache index -> PackageCache index #
Monoid (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex Methods mempty :: PackageCache index # mappend :: PackageCache index -> PackageCache index -> PackageCache index # mconcat :: [PackageCache index] -> PackageCache index #
NFData index => NFData (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex Methods rnf :: PackageCache index -> () #
Store index => Store (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex Methods size :: Size (PackageCache index) # poke :: PackageCache index -> Poke () # peek :: Peek (PackageCache index) #
type Rep (PackageCache index) #
Instance details Defined in Stack.Types.PackageIndex type Rep (PackageCache index) = D1 (MetaData "PackageCache" "Stack.Types.PackageIndex" "stack-1.7.1-GU34eBu4wFsGhHCMHRnqPU" True) (C1 (MetaCons "PackageCache" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (HashMap PackageName (HashMap Version (index, Maybe PackageDownload, NonEmpty ([CabalHash], OffsetSize)))))))

data OffsetSize #

offset in bytes into the 01-index.tar file for the .cabal file contents, and size in bytes of the .cabal file

Constructors

OffsetSize !Int64 !Int64

Instances

Eq OffsetSize #
Instance details Defined in Stack.Types.PackageIndex Methods (==) :: OffsetSize -> OffsetSize -> Bool # (/=) :: OffsetSize -> OffsetSize -> Bool #
Data OffsetSize #
Instance details Defined in Stack.Types.PackageIndex Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OffsetSize -> c OffsetSize # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OffsetSize # toConstr :: OffsetSize -> Constr # dataTypeOf :: OffsetSize -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OffsetSize) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OffsetSize) # gmapT :: (forall b. Data b => b -> b) -> OffsetSize -> OffsetSize # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OffsetSize -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OffsetSize -> r # gmapQ :: (forall d. Data d => d -> u) -> OffsetSize -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OffsetSize -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OffsetSize -> m OffsetSize # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OffsetSize -> m OffsetSize # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OffsetSize -> m OffsetSize #
Show OffsetSize #
Instance details Defined in Stack.Types.PackageIndex Methods showsPrec :: Int -> OffsetSize -> ShowS # show :: OffsetSize -> String # showList :: [OffsetSize] -> ShowS #
Generic OffsetSize #
Instance details Defined in Stack.Types.PackageIndex Associated Types type Rep OffsetSize :: * -> * # Methods from :: OffsetSize -> Rep OffsetSize x # to :: Rep OffsetSize x -> OffsetSize #
NFData OffsetSize #
Instance details Defined in Stack.Types.PackageIndex Methods rnf :: OffsetSize -> () #
Store OffsetSize #
Instance details Defined in Stack.Types.PackageIndex Methods size :: Size OffsetSize # poke :: OffsetSize -> Poke () # peek :: Peek OffsetSize #
type Rep OffsetSize #
Instance details Defined in Stack.Types.PackageIndex type Rep OffsetSize = D1 (MetaData "OffsetSize" "Stack.Types.PackageIndex" "stack-1.7.1-GU34eBu4wFsGhHCMHRnqPU" False) (C1 (MetaCons "OffsetSize" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int64) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int64)))

PackageIndex, IndexName & IndexLocation

data PackageIndex #

Information on a single package index

Constructors

PackageIndex
Fields indexName :: !IndexName indexLocation :: !Text URL for the tarball or, in the case of Hackage Security, the root of the directory indexType :: !IndexType indexDownloadPrefix :: !Text URL prefix for downloading packages indexRequireHashes :: !Bool Require that hashes and package size information be available for packages in this index

Instances

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

newtype IndexName #

Unique name for a package index

Constructors

IndexName
Fields unIndexName :: ByteString

Instances

Eq IndexName #
Instance details Defined in Stack.Types.PackageIndex Methods (==) :: IndexName -> IndexName -> Bool # (/=) :: IndexName -> IndexName -> Bool #
Ord IndexName #
Instance details Defined in Stack.Types.PackageIndex Methods compare :: IndexName -> IndexName -> Ordering # (<) :: IndexName -> IndexName -> Bool # (<=) :: IndexName -> IndexName -> Bool # (>) :: IndexName -> IndexName -> Bool # (>=) :: IndexName -> IndexName -> Bool # max :: IndexName -> IndexName -> IndexName # min :: IndexName -> IndexName -> IndexName #
Show IndexName #
Instance details Defined in Stack.Types.PackageIndex Methods showsPrec :: Int -> IndexName -> ShowS # show :: IndexName -> String # showList :: [IndexName] -> ShowS #
Hashable IndexName #
Instance details Defined in Stack.Types.PackageIndex Methods hashWithSalt :: Int -> IndexName -> Int # hash :: IndexName -> Int #
ToJSON IndexName #
Instance details Defined in Stack.Types.PackageIndex Methods toJSON :: IndexName -> Value # toEncoding :: IndexName -> Encoding # toJSONList :: [IndexName] -> Value # toEncodingList :: [IndexName] -> Encoding #
FromJSON IndexName #
Instance details Defined in Stack.Types.PackageIndex Methods parseJSON :: Value -> Parser IndexName # parseJSONList :: Value -> Parser [IndexName] #
Store IndexName #
Instance details Defined in Stack.Types.PackageIndex Methods size :: Size IndexName # poke :: IndexName -> Poke () # peek :: Peek IndexName #

indexNameText :: IndexName -> Text #

data IndexType #

Constructors

ITHackageSecurity !HackageSecurity
ITVanilla

Instances

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

data HackageSecurity #

Constructors

HackageSecurity
Fields hsKeyIds :: ![Text] hsKeyThreshold :: !Int

Instances

Eq HackageSecurity #
Instance details Defined in Stack.Types.PackageIndex Methods (==) :: HackageSecurity -> HackageSecurity -> Bool # (/=) :: HackageSecurity -> HackageSecurity -> Bool #
Ord HackageSecurity #
Instance details Defined in Stack.Types.PackageIndex Methods compare :: HackageSecurity -> HackageSecurity -> Ordering # (<) :: HackageSecurity -> HackageSecurity -> Bool # (<=) :: HackageSecurity -> HackageSecurity -> Bool # (>) :: HackageSecurity -> HackageSecurity -> Bool # (>=) :: HackageSecurity -> HackageSecurity -> Bool # max :: HackageSecurity -> HackageSecurity -> HackageSecurity # min :: HackageSecurity -> HackageSecurity -> HackageSecurity #
Show HackageSecurity #
Instance details Defined in Stack.Types.PackageIndex Methods showsPrec :: Int -> HackageSecurity -> ShowS # show :: HackageSecurity -> String # showList :: [HackageSecurity] -> ShowS #
FromJSON HackageSecurity #
Instance details Defined in Stack.Types.PackageIndex Methods parseJSON :: Value -> Parser HackageSecurity # parseJSONList :: Value -> Parser [HackageSecurity] #