Stack.Types.PackageIdentifier

Package identifier (name-version).

Documentation

data PackageIdentifier

A pkg-ver combination.

Constructors

PackageIdentifier

Fields

• packageIdentifierName :: !PackageName

  Get the name part of the identifier.

• packageIdentifierVersion :: !Version

  Get the version part of the identifier.

Instances

Eq PackageIdentifier

Methods

(==) :: PackageIdentifier -> PackageIdentifier -> Bool

(/=) :: PackageIdentifier -> PackageIdentifier -> Bool

Data PackageIdentifier

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

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

Show PackageIdentifier

Methods

showsPrec :: Int -> PackageIdentifier -> ShowS

show :: PackageIdentifier -> String

showList :: [PackageIdentifier] -> ShowS

Generic PackageIdentifier

Associated Types

type Rep PackageIdentifier :: * -> *

Methods

from :: PackageIdentifier -> Rep PackageIdentifier x

to :: Rep PackageIdentifier x -> PackageIdentifier

NFData PackageIdentifier

Methods

rnf :: PackageIdentifier -> ()

Hashable PackageIdentifier

Methods

hashWithSalt :: Int -> PackageIdentifier -> Int

hash :: PackageIdentifier -> Int

ToJSON PackageIdentifier

Methods

toJSON :: PackageIdentifier -> Value

toEncoding :: PackageIdentifier -> Encoding

toJSONList :: [PackageIdentifier] -> Value

toEncodingList :: [PackageIdentifier] -> Encoding

FromJSON PackageIdentifier

Methods

parseJSON :: Value -> Parser PackageIdentifier

parseJSONList :: Value -> Parser [PackageIdentifier]

Display PackageIdentifier

Methods

display :: PackageIdentifier -> Utf8Builder

Store PackageIdentifier

Methods

size :: Size PackageIdentifier

poke :: PackageIdentifier -> Poke ()

peek :: Peek PackageIdentifier

type Rep PackageIdentifier

type Rep PackageIdentifier = D1 * (MetaData "PackageIdentifier" "Stack.Types.PackageIdentifier" "stack-1.7.1-8x9NSKj6gz3B3M9RWkyZVt" False) (C1 * (MetaCons "PackageIdentifier" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "packageIdentifierName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * PackageName)) (S1 * (MetaSel (Just Symbol "packageIdentifierVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Version))))

type Ann PackageIdentifier

type Ann PackageIdentifier = AnsiAnn

data PackageIdentifierRevision

A PackageIdentifier combined with optionally specified Hackage cabal file revision.

Constructors

PackageIdentifierRevision

Fields

• pirIdent :: !PackageIdentifier
• pirRevision :: !CabalFileInfo

Instances

Eq PackageIdentifierRevision

Methods

(==) :: PackageIdentifierRevision -> PackageIdentifierRevision -> Bool

(/=) :: PackageIdentifierRevision -> PackageIdentifierRevision -> Bool

Data PackageIdentifierRevision

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageIdentifierRevision -> c PackageIdentifierRevision

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PackageIdentifierRevision

toConstr :: PackageIdentifierRevision -> Constr

dataTypeOf :: PackageIdentifierRevision -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PackageIdentifierRevision)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PackageIdentifierRevision)

gmapT :: (forall b. Data b => b -> b) -> PackageIdentifierRevision -> PackageIdentifierRevision

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageIdentifierRevision -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageIdentifierRevision -> r

gmapQ :: (forall d. Data d => d -> u) -> PackageIdentifierRevision -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageIdentifierRevision -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageIdentifierRevision -> m PackageIdentifierRevision

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageIdentifierRevision -> m PackageIdentifierRevision

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageIdentifierRevision -> m PackageIdentifierRevision

Ord PackageIdentifierRevision

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

Methods

showsPrec :: Int -> PackageIdentifierRevision -> ShowS

show :: PackageIdentifierRevision -> String

showList :: [PackageIdentifierRevision] -> ShowS

Generic PackageIdentifierRevision

Associated Types

type Rep PackageIdentifierRevision :: * -> *

Methods

from :: PackageIdentifierRevision -> Rep PackageIdentifierRevision x

to :: Rep PackageIdentifierRevision x -> PackageIdentifierRevision

NFData PackageIdentifierRevision

Methods

rnf :: PackageIdentifierRevision -> ()

Hashable PackageIdentifierRevision

Methods

hashWithSalt :: Int -> PackageIdentifierRevision -> Int

hash :: PackageIdentifierRevision -> Int

ToJSON PackageIdentifierRevision

Methods

toJSON :: PackageIdentifierRevision -> Value

toEncoding :: PackageIdentifierRevision -> Encoding

toJSONList :: [PackageIdentifierRevision] -> Value

toEncodingList :: [PackageIdentifierRevision] -> Encoding

FromJSON PackageIdentifierRevision

Methods

parseJSON :: Value -> Parser PackageIdentifierRevision

parseJSONList :: Value -> Parser [PackageIdentifierRevision]

Store PackageIdentifierRevision

Methods

size :: Size PackageIdentifierRevision

poke :: PackageIdentifierRevision -> Poke ()

peek :: Peek PackageIdentifierRevision

type Rep PackageIdentifierRevision

type Rep PackageIdentifierRevision = D1 * (MetaData "PackageIdentifierRevision" "Stack.Types.PackageIdentifier" "stack-1.7.1-8x9NSKj6gz3B3M9RWkyZVt" False) (C1 * (MetaCons "PackageIdentifierRevision" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "pirIdent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * PackageIdentifier)) (S1 * (MetaSel (Just Symbol "pirRevision") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * CabalFileInfo))))

data CabalHash

A cryptographic hash of a Cabal file.

Instances

Eq CabalHash

Methods

(==) :: CabalHash -> CabalHash -> Bool

(/=) :: CabalHash -> CabalHash -> Bool

Data CabalHash

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CabalHash -> c CabalHash

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CabalHash

toConstr :: CabalHash -> Constr

dataTypeOf :: CabalHash -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CabalHash)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CabalHash)

gmapT :: (forall b. Data b => b -> b) -> CabalHash -> CabalHash

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CabalHash -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CabalHash -> r

gmapQ :: (forall d. Data d => d -> u) -> CabalHash -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CabalHash -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CabalHash -> m CabalHash

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalHash -> m CabalHash

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalHash -> m CabalHash

Ord CabalHash

Methods

compare :: CabalHash -> CabalHash -> Ordering

(<) :: CabalHash -> CabalHash -> Bool

(<=) :: CabalHash -> CabalHash -> Bool

(>) :: CabalHash -> CabalHash -> Bool

(>=) :: CabalHash -> CabalHash -> Bool

max :: CabalHash -> CabalHash -> CabalHash

min :: CabalHash -> CabalHash -> CabalHash

Show CabalHash

Methods

showsPrec :: Int -> CabalHash -> ShowS

show :: CabalHash -> String

showList :: [CabalHash] -> ShowS

Generic CabalHash

Associated Types

type Rep CabalHash :: * -> *

Methods

from :: CabalHash -> Rep CabalHash x

to :: Rep CabalHash x -> CabalHash

NFData CabalHash

Methods

rnf :: CabalHash -> ()

Hashable CabalHash

Methods

hashWithSalt :: Int -> CabalHash -> Int

hash :: CabalHash -> Int

Store CabalHash

Methods

size :: Size CabalHash

poke :: CabalHash -> Poke ()

peek :: Peek CabalHash

type Rep CabalHash

type Rep CabalHash = D1 * (MetaData "CabalHash" "Stack.Types.PackageIdentifier" "stack-1.7.1-8x9NSKj6gz3B3M9RWkyZVt" True) (C1 * (MetaCons "CabalHash" PrefixI True) (S1 * (MetaSel (Just Symbol "unCabalHash") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * StaticSHA256)))

mkCabalHashFromSHA256 :: Text -> Either SomeException CabalHash

Generate a CabalHash value from a base16-encoded SHA256 hash.

computeCabalHash :: ByteString -> CabalHash

Compute a CabalHash value from a cabal file's contents.

showCabalHash :: CabalHash -> Text

data CabalFileInfo

Information on the contents of a cabal file

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.

CFIHash !(Maybe Int) !CabalHash

Identify by contents of the cabal file itself

CFIRevision !Word

Identify by revision number, with 0 being the original and counting upward.

Instances

Eq CabalFileInfo

Methods

(==) :: CabalFileInfo -> CabalFileInfo -> Bool

(/=) :: CabalFileInfo -> CabalFileInfo -> Bool

Data CabalFileInfo

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CabalFileInfo -> c CabalFileInfo

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CabalFileInfo

toConstr :: CabalFileInfo -> Constr

dataTypeOf :: CabalFileInfo -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CabalFileInfo)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CabalFileInfo)

gmapT :: (forall b. Data b => b -> b) -> CabalFileInfo -> CabalFileInfo

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CabalFileInfo -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CabalFileInfo -> r

gmapQ :: (forall d. Data d => d -> u) -> CabalFileInfo -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CabalFileInfo -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CabalFileInfo -> m CabalFileInfo

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalFileInfo -> m CabalFileInfo

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalFileInfo -> m CabalFileInfo

Ord CabalFileInfo

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

Methods

showsPrec :: Int -> CabalFileInfo -> ShowS

show :: CabalFileInfo -> String

showList :: [CabalFileInfo] -> ShowS

Generic CabalFileInfo

Associated Types

type Rep CabalFileInfo :: * -> *

Methods

from :: CabalFileInfo -> Rep CabalFileInfo x

to :: Rep CabalFileInfo x -> CabalFileInfo

NFData CabalFileInfo

Methods

rnf :: CabalFileInfo -> ()

Hashable CabalFileInfo

Methods

hashWithSalt :: Int -> CabalFileInfo -> Int

hash :: CabalFileInfo -> Int

Store CabalFileInfo

Methods

size :: Size CabalFileInfo

poke :: CabalFileInfo -> Poke ()

peek :: Peek CabalFileInfo

type Rep CabalFileInfo

type Rep CabalFileInfo = D1 * (MetaData "CabalFileInfo" "Stack.Types.PackageIdentifier" "stack-1.7.1-8x9NSKj6gz3B3M9RWkyZVt" False) ((:+:) * (C1 * (MetaCons "CFILatest" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "CFIHash" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Int))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * CabalHash)))) (C1 * (MetaCons "CFIRevision" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word)))))

toTuple :: PackageIdentifier -> (PackageName, Version)

Convert from a package identifier to a tuple.

fromTuple :: (PackageName, Version) -> PackageIdentifier

Convert from a tuple to a package identifier.

parsePackageIdentifier :: MonadThrow m => Text -> m PackageIdentifier

Convenient way to parse a package identifier from a Text.

parsePackageIdentifierFromString :: MonadThrow m => String -> m PackageIdentifier

Convenience function for parsing from a String.

parsePackageIdentifierRevision :: MonadThrow m => Text -> m PackageIdentifierRevision

Parse a PackageIdentifierRevision

packageIdentifierParser :: Parser PackageIdentifier

A parser for a package-version pair.

packageIdentifierString :: PackageIdentifier -> String

Get a string representation of the package identifier; name-ver.

packageIdentifierRevisionString :: PackageIdentifierRevision -> String

Get a string representation of the package identifier with revision; name-ver[@hashtype:hash[,size]].

packageIdentifierText :: PackageIdentifier -> Text

Get a Text representation of the package identifier; name-ver.

toCabalPackageIdentifier :: PackageIdentifier -> PackageIdentifier

fromCabalPackageIdentifier :: PackageIdentifier -> PackageIdentifier

data StaticSHA256

A SHA256 hash, stored in a static size for more efficient serialization with store.

Instances

Eq StaticSHA256

Methods

(==) :: StaticSHA256 -> StaticSHA256 -> Bool

(/=) :: StaticSHA256 -> StaticSHA256 -> Bool

Data StaticSHA256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StaticSHA256 -> c StaticSHA256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StaticSHA256

toConstr :: StaticSHA256 -> Constr

dataTypeOf :: StaticSHA256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c StaticSHA256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StaticSHA256)

gmapT :: (forall b. Data b => b -> b) -> StaticSHA256 -> StaticSHA256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StaticSHA256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StaticSHA256 -> r

gmapQ :: (forall d. Data d => d -> u) -> StaticSHA256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> StaticSHA256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StaticSHA256 -> m StaticSHA256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StaticSHA256 -> m StaticSHA256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StaticSHA256 -> m StaticSHA256

Ord StaticSHA256

Methods

compare :: StaticSHA256 -> StaticSHA256 -> Ordering

(<) :: StaticSHA256 -> StaticSHA256 -> Bool

(<=) :: StaticSHA256 -> StaticSHA256 -> Bool

(>) :: StaticSHA256 -> StaticSHA256 -> Bool

(>=) :: StaticSHA256 -> StaticSHA256 -> Bool

max :: StaticSHA256 -> StaticSHA256 -> StaticSHA256

min :: StaticSHA256 -> StaticSHA256 -> StaticSHA256

Show StaticSHA256

Methods

showsPrec :: Int -> StaticSHA256 -> ShowS

show :: StaticSHA256 -> String

showList :: [StaticSHA256] -> ShowS

Generic StaticSHA256

Associated Types

type Rep StaticSHA256 :: * -> *

Methods

from :: StaticSHA256 -> Rep StaticSHA256 x

to :: Rep StaticSHA256 x -> StaticSHA256

NFData StaticSHA256

Methods

rnf :: StaticSHA256 -> ()

Hashable StaticSHA256

Methods

hashWithSalt :: Int -> StaticSHA256 -> Int

hash :: StaticSHA256 -> Int

Store StaticSHA256

Methods

size :: Size StaticSHA256

poke :: StaticSHA256 -> Poke ()

peek :: Peek StaticSHA256

type Rep StaticSHA256

type Rep StaticSHA256 = D1 * (MetaData "StaticSHA256" "Stack.Types.PackageIdentifier" "stack-1.7.1-8x9NSKj6gz3B3M9RWkyZVt" True) (C1 * (MetaCons "StaticSHA256" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bytes32)))

mkStaticSHA256FromText :: Text -> Either SomeException StaticSHA256

Generate a StaticSHA256 value from a base16-encoded SHA256 hash.

mkStaticSHA256FromFile :: MonadIO m => Path Abs File -> m StaticSHA256

Generate a StaticSHA256 value from the contents of a file.

mkStaticSHA256FromDigest :: Digest SHA256 -> StaticSHA256

staticSHA256ToText :: StaticSHA256 -> Text

Convert a StaticSHA256 into a base16-encoded SHA256 hash.

staticSHA256ToBase16 :: StaticSHA256 -> ByteString

Convert a StaticSHA256 into a base16-encoded SHA256 hash.

staticSHA256ToRaw :: StaticSHA256 -> ByteString