Safe Haskell	Safe-Inferred
Language	Haskell2010

System.Nix.StorePath.Metadata

Description

Synopsis

data Metadata a = Metadata {
- metadataDeriverPath :: !(Maybe a)
- metadataNarHash :: !(DSum HashAlgo Digest)
- metadataReferences :: !(HashSet a)
- metadataRegistrationTime :: !UTCTime
- metadataNarBytes :: !(Maybe Word64)
- metadataTrust :: !StorePathTrust
- metadataSigs :: !(Set NarSignature)
- metadataContentAddress :: !(Maybe ContentAddress)
}
data StorePathTrust
- = BuiltLocally
- | BuiltElsewhere

Documentation

data Metadata a Source #

Metadata (typically about a StorePath) This type corresponds to Nix-es ValidPathInfo

Constructors

Metadata

Fields

metadataDeriverPath :: !(Maybe a)
The path to the derivation file that built this path, if any and known.
metadataNarHash :: !(DSum HashAlgo Digest)
The hash of the nar serialization of the path.
metadataReferences :: !(HashSet a)
The paths that this path directly references
metadataRegistrationTime :: !UTCTime
When was this path registered valid in the store?
metadataNarBytes :: !(Maybe Word64)
The size of the nar serialization of the path, in bytes.
metadataTrust :: !StorePathTrust
How much we trust this path. Nix-es ultimate
metadataSigs :: !(Set NarSignature)
A set of cryptographic attestations of this path's validity.
There is no guarantee from this type alone that these signatures are valid.
metadataContentAddress :: !(Maybe ContentAddress)
Whether and how this store path is content-addressable.
There is no guarantee from this type alone that this address is actually correct for this store path.

Instances

Instances details

Generic (Metadata a) Source #
Instance details Defined in System.Nix.StorePath.Metadata Associated Types type Rep (Metadata a) :: Type -> Type # Methods from :: Metadata a -> Rep (Metadata a) x # to :: Rep (Metadata a) x -> Metadata a #
Show a => Show (Metadata a) Source #
Instance details Defined in System.Nix.StorePath.Metadata Methods showsPrec :: Int -> Metadata a -> ShowS # show :: Metadata a -> String # showList :: [Metadata a] -> ShowS #
Eq a => Eq (Metadata a) Source #
Instance details Defined in System.Nix.StorePath.Metadata Methods (==) :: Metadata a -> Metadata a -> Bool # (/=) :: Metadata a -> Metadata a -> Bool #
Ord a => Ord (Metadata a) Source #
Instance details Defined in System.Nix.StorePath.Metadata Methods compare :: Metadata a -> Metadata a -> Ordering # (<) :: Metadata a -> Metadata a -> Bool # (<=) :: Metadata a -> Metadata a -> Bool # (>) :: Metadata a -> Metadata a -> Bool # (>=) :: Metadata a -> Metadata a -> Bool # max :: Metadata a -> Metadata a -> Metadata a # min :: Metadata a -> Metadata a -> Metadata a #
type Rep (Metadata a) Source #
Instance details Defined in System.Nix.StorePath.Metadata type Rep (Metadata a) = D1 ('MetaData "Metadata" "System.Nix.StorePath.Metadata" "hnix-store-core-0.8.0.0-2YQUX8JlMxk93e1fw1Y66G" 'False) (C1 ('MetaCons "Metadata" 'PrefixI 'True) (((S1 ('MetaSel ('Just "metadataDeriverPath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe a)) :: S1 ('MetaSel ('Just "metadataNarHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DSum HashAlgo Digest))) :: (S1 ('MetaSel ('Just "metadataReferences") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HashSet a)) :: S1 ('MetaSel ('Just "metadataRegistrationTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime))) :: ((S1 ('MetaSel ('Just "metadataNarBytes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Word64)) :: S1 ('MetaSel ('Just "metadataTrust") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StorePathTrust)) :: (S1 ('MetaSel ('Just "metadataSigs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set NarSignature)) :*: S1 ('MetaSel ('Just "metadataContentAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ContentAddress))))))

data StorePathTrust Source #

How much do we trust the path, based on its provenance? This is called Ultimate in Nix, where Ultimate = True means that the path is ultimately trusted, which corresponds to our BuiltLocally

Constructors

BuiltLocally	It was built locally and thus ultimately trusted
BuiltElsewhere	It was built elsewhere (and substituted or similar) and so is less trusted

Instances

Instances details

Enum StorePathTrust Source #
Instance details Defined in System.Nix.StorePath.Metadata Methods succ :: StorePathTrust -> StorePathTrust # pred :: StorePathTrust -> StorePathTrust # toEnum :: Int -> StorePathTrust # fromEnum :: StorePathTrust -> Int # enumFrom :: StorePathTrust -> [StorePathTrust] # enumFromThen :: StorePathTrust -> StorePathTrust -> [StorePathTrust] # enumFromTo :: StorePathTrust -> StorePathTrust -> [StorePathTrust] # enumFromThenTo :: StorePathTrust -> StorePathTrust -> StorePathTrust -> [StorePathTrust] #
Generic StorePathTrust Source #
Instance details Defined in System.Nix.StorePath.Metadata Associated Types type Rep StorePathTrust :: Type -> Type # Methods from :: StorePathTrust -> Rep StorePathTrust x # to :: Rep StorePathTrust x -> StorePathTrust #
Show StorePathTrust Source #
Instance details Defined in System.Nix.StorePath.Metadata Methods showsPrec :: Int -> StorePathTrust -> ShowS # show :: StorePathTrust -> String # showList :: [StorePathTrust] -> ShowS #
Eq StorePathTrust Source #
Instance details Defined in System.Nix.StorePath.Metadata Methods (==) :: StorePathTrust -> StorePathTrust -> Bool # (/=) :: StorePathTrust -> StorePathTrust -> Bool #
Ord StorePathTrust Source #
Instance details Defined in System.Nix.StorePath.Metadata Methods compare :: StorePathTrust -> StorePathTrust -> Ordering # (<) :: StorePathTrust -> StorePathTrust -> Bool # (<=) :: StorePathTrust -> StorePathTrust -> Bool # (>) :: StorePathTrust -> StorePathTrust -> Bool # (>=) :: StorePathTrust -> StorePathTrust -> Bool # max :: StorePathTrust -> StorePathTrust -> StorePathTrust # min :: StorePathTrust -> StorePathTrust -> StorePathTrust #
type Rep StorePathTrust Source #
Instance details Defined in System.Nix.StorePath.Metadata type Rep StorePathTrust = D1 ('MetaData "StorePathTrust" "System.Nix.StorePath.Metadata" "hnix-store-core-0.8.0.0-2YQUX8JlMxk93e1fw1Y66G" 'False) (C1 ('MetaCons "BuiltLocally" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BuiltElsewhere" 'PrefixI 'False) (U1 :: Type -> Type))