Safe Haskell	None
Language	Haskell2010

Stack.Types.PackageIndex

Contents

PackageIndex, IndexName & IndexLocation

Synopsis

Documentation

data PackageDownload #

Constructors

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

Instances

Eq PackageDownload #
Methods (==) :: PackageDownload -> PackageDownload -> Bool # (/=) :: PackageDownload -> PackageDownload -> Bool #
Data PackageDownload #
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 #
Methods showsPrec :: Int -> PackageDownload -> ShowS # show :: PackageDownload -> String # showList :: [PackageDownload] -> ShowS #
Generic PackageDownload #
Associated Types type Rep PackageDownload :: * -> * # Methods from :: PackageDownload -> Rep PackageDownload x # to :: Rep PackageDownload x -> PackageDownload #
NFData PackageDownload #
Methods rnf :: PackageDownload -> () #
FromJSON PackageDownload #
Methods parseJSON :: Value -> Parser PackageDownload # parseJSONList :: Value -> Parser [PackageDownload] #
Store PackageDownload #
Methods size :: Size PackageDownload # poke :: PackageDownload -> Poke () # peek :: Peek PackageDownload #
type Rep PackageDownload #
type Rep PackageDownload = D1 * (MetaData "PackageDownload" "Stack.Types.PackageIndex" "stack-1.6.5-92UXe1Ql8caLvEWYlnTKFx" False) (C1 * (MetaCons "PackageDownload" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "pdSHA256") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * StaticSHA256)) ((::) (S1 * (MetaSel (Just Symbol "pdUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ByteString)) (S1 * (MetaSel (Just Symbol "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 #
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) #
Methods (==) :: PackageCache index -> PackageCache index -> Bool # (/=) :: PackageCache index -> PackageCache index -> Bool #
Data index => Data (PackageCache index) #
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) #
Methods showsPrec :: Int -> PackageCache index -> ShowS # show :: PackageCache index -> String # showList :: [PackageCache index] -> ShowS #
Generic (PackageCache index) #
Associated Types type Rep (PackageCache index) :: * -> * # Methods from :: PackageCache index -> Rep (PackageCache index) x # to :: Rep (PackageCache index) x -> PackageCache index #
Monoid (PackageCache index) #
Methods mempty :: PackageCache index # mappend :: PackageCache index -> PackageCache index -> PackageCache index # mconcat :: [PackageCache index] -> PackageCache index #
NFData index => NFData (PackageCache index) #
Methods rnf :: PackageCache index -> () #
Store index => Store (PackageCache index) #
Methods size :: Size (PackageCache index) # poke :: PackageCache index -> Poke () # peek :: Peek (PackageCache index) #
type Rep (PackageCache index) #
type Rep (PackageCache index) = D1 * (MetaData "PackageCache" "Stack.Types.PackageIndex" "stack-1.6.5-92UXe1Ql8caLvEWYlnTKFx" True) (C1 * (MetaCons "PackageCache" PrefixI False) (S1 * (MetaSel (Nothing 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 #
Methods (==) :: OffsetSize -> OffsetSize -> Bool # (/=) :: OffsetSize -> OffsetSize -> Bool #
Data OffsetSize #
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 #
Methods showsPrec :: Int -> OffsetSize -> ShowS # show :: OffsetSize -> String # showList :: [OffsetSize] -> ShowS #
Generic OffsetSize #
Associated Types type Rep OffsetSize :: * -> * # Methods from :: OffsetSize -> Rep OffsetSize x # to :: Rep OffsetSize x -> OffsetSize #
NFData OffsetSize #
Methods rnf :: OffsetSize -> () #
Store OffsetSize #
Methods size :: Size OffsetSize # poke :: OffsetSize -> Poke () # peek :: Peek OffsetSize #
type Rep OffsetSize #
type Rep OffsetSize = D1 * (MetaData "OffsetSize" "Stack.Types.PackageIndex" "stack-1.6.5-92UXe1Ql8caLvEWYlnTKFx" False) (C1 * (MetaCons "OffsetSize" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int64)) (S1 * (MetaSel (Nothing 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 #
Methods showsPrec :: Int -> PackageIndex -> ShowS # show :: PackageIndex -> String # showList :: [PackageIndex] -> ShowS #
FromJSON (WithJSONWarnings 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 #
Methods (==) :: IndexName -> IndexName -> Bool # (/=) :: IndexName -> IndexName -> Bool #
Ord IndexName #
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 #
Methods showsPrec :: Int -> IndexName -> ShowS # show :: IndexName -> String # showList :: [IndexName] -> ShowS #
Hashable IndexName #
Methods hashWithSalt :: Int -> IndexName -> Int # hash :: IndexName -> Int #
ToJSON IndexName #
Methods toJSON :: IndexName -> Value # toEncoding :: IndexName -> Encoding # toJSONList :: [IndexName] -> Value # toEncodingList :: [IndexName] -> Encoding #
FromJSON IndexName #
Methods parseJSON :: Value -> Parser IndexName # parseJSONList :: Value -> Parser [IndexName] #
Store IndexName #
Methods size :: Size IndexName # poke :: IndexName -> Poke () # peek :: Peek IndexName #

indexNameText :: IndexName -> Text #

data IndexType #

Constructors

ITHackageSecurity !HackageSecurity
ITVanilla

Instances

Eq IndexType #
Methods (==) :: IndexType -> IndexType -> Bool # (/=) :: IndexType -> IndexType -> Bool #
Ord IndexType #
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 #
Methods showsPrec :: Int -> IndexType -> ShowS # show :: IndexType -> String # showList :: [IndexType] -> ShowS #

data HackageSecurity #

Constructors

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

Instances

Eq HackageSecurity #
Methods (==) :: HackageSecurity -> HackageSecurity -> Bool # (/=) :: HackageSecurity -> HackageSecurity -> Bool #
Ord HackageSecurity #
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 #
Methods showsPrec :: Int -> HackageSecurity -> ShowS # show :: HackageSecurity -> String # showList :: [HackageSecurity] -> ShowS #
FromJSON HackageSecurity #
Methods parseJSON :: Value -> Parser HackageSecurity # parseJSONList :: Value -> Parser [HackageSecurity] #