Maintainer	simons@cryp.to
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Distribution.Hackage.DB.MetaData

Description

Types and class instances for parsing the package.json files found in a 01-index.tar tarball from Hackage with Data.Aeson. These parsers mirror the exact structure of those files, but only a small part of it is actually of interest to anyone other than implementors of cabal-install. Everyone else will most likely prefer the functions oferred by Distribution.Hackage.DB.Parsed.

Synopsis

parseMetaData :: ByteString -> MetaData
data MetaData = MetaData {
- signed :: SignedMetaData
- signatures :: [String]
}
data SignedMetaData = SignedMetaData {
- version :: Int
- expires :: Maybe String
- _type :: String
- targets :: Map String TargetData
}
data TargetData = TargetData {
- length :: Int
- hashes :: Map String String
}

Documentation

parseMetaData :: ByteString -> MetaData Source #

Parse the package.json file found in a 01-index.tar tarball from Hackage with Data.Aeson. This function is a convenience wrapper around eitherDecode that throws an InvalidMetaFile exception to signal failure.

>>> :set -XOverloadedStrings
>>> parseMetaData "{\"signatures\":[],\"signed\":{\"_type\":\"Targets\",\"expires\":null,\"targets\":{\"<repo>/package/jailbreak-cabal-1.3.2.tar.gz\":{\"hashes\":{\"md5\":\"ba42b3e68323ccbeb3ac900cd68f9e90\",\"sha256\":\"212a8bbc3dfc748c4063282414a2726709d651322f3984c9989179d2352950f4\"},\"length\":2269}},\"version\":0}}"
MetaData {signed = SignedMetaData {version = 0, expires = Nothing, _type = "Targets", targets = fromList [("<repo>/package/jailbreak-cabal-1.3.2.tar.gz",TargetData {length = 2269, hashes = fromList [("md5","ba42b3e68323ccbeb3ac900cd68f9e90"),("sha256","212a8bbc3dfc748c4063282414a2726709d651322f3984c9989179d2352950f4")]})]}, signatures = []}

data MetaData Source #

Constructors

MetaData
Fields signed :: SignedMetaData signatures :: [String]

Instances

Instances details

FromJSON MetaData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Methods parseJSON :: Value -> Parser MetaData # parseJSONList :: Value -> Parser [MetaData] #
Generic MetaData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Associated Types type Rep MetaData :: Type -> Type # Methods from :: MetaData -> Rep MetaData x # to :: Rep MetaData x -> MetaData #
Show MetaData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Methods showsPrec :: Int -> MetaData -> ShowS # show :: MetaData -> String # showList :: [MetaData] -> ShowS #
type Rep MetaData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData type Rep MetaData = D1 ('MetaData "MetaData" "Distribution.Hackage.DB.MetaData" "hackage-db-2.1.3-GfaKIDy1fTbJxjo09Mt5is" 'False) (C1 ('MetaCons "MetaData" 'PrefixI 'True) (S1 ('MetaSel ('Just "signed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SignedMetaData) :*: S1 ('MetaSel ('Just "signatures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))

data SignedMetaData Source #

Constructors

SignedMetaData
Fields version :: Int expires :: Maybe String _type :: String targets :: Map String TargetData

Instances

Instances details

FromJSON SignedMetaData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Methods parseJSON :: Value -> Parser SignedMetaData # parseJSONList :: Value -> Parser [SignedMetaData] #
Generic SignedMetaData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Associated Types type Rep SignedMetaData :: Type -> Type # Methods from :: SignedMetaData -> Rep SignedMetaData x # to :: Rep SignedMetaData x -> SignedMetaData #
Show SignedMetaData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Methods showsPrec :: Int -> SignedMetaData -> ShowS # show :: SignedMetaData -> String # showList :: [SignedMetaData] -> ShowS #
type Rep SignedMetaData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData type Rep SignedMetaData = D1 ('MetaData "SignedMetaData" "Distribution.Hackage.DB.MetaData" "hackage-db-2.1.3-GfaKIDy1fTbJxjo09Mt5is" 'False) (C1 ('MetaCons "SignedMetaData" 'PrefixI 'True) ((S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "expires") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :: (S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "targets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String TargetData)))))

data TargetData Source #

Constructors

TargetData
Fields length :: Int hashes :: Map String String

Instances

Instances details

FromJSON TargetData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Methods parseJSON :: Value -> Parser TargetData # parseJSONList :: Value -> Parser [TargetData] #
Generic TargetData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Associated Types type Rep TargetData :: Type -> Type # Methods from :: TargetData -> Rep TargetData x # to :: Rep TargetData x -> TargetData #
Show TargetData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData Methods showsPrec :: Int -> TargetData -> ShowS # show :: TargetData -> String # showList :: [TargetData] -> ShowS #
type Rep TargetData Source #
Instance details Defined in Distribution.Hackage.DB.MetaData type Rep TargetData = D1 ('MetaData "TargetData" "Distribution.Hackage.DB.MetaData" "hackage-db-2.1.3-GfaKIDy1fTbJxjo09Mt5is" 'False) (C1 ('MetaCons "TargetData" 'PrefixI 'True) (S1 ('MetaSel ('Just "length") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "hashes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String String))))