Safe Haskell	None
Language	Haskell2010

System.Nix.Realisation

Description

Synopsis

data DerivationOutput a = DerivationOutput {
- derivationOutputHash :: DSum HashAlgo Digest
- derivationOutputOutput :: a
}
data DerivationOutputError
derivationOutputBuilder :: (outputName -> Text) -> DerivationOutput outputName -> Builder
derivationOutputParser :: (Text -> Either InvalidNameError outputName) -> Text -> Either DerivationOutputError (DerivationOutput outputName)
data Realisation = Realisation {
}
newtype RealisationWithId = RealisationWithId {
- unRealisationWithId :: (DerivationOutput OutputName, Realisation)
}

Documentation

data DerivationOutput a Source #

Output of the derivation

Constructors

DerivationOutput
Fields derivationOutputHash :: DSum HashAlgo Digest Hash modulo of the derivation derivationOutputOutput :: a Output (either a OutputName or StorePatH)

Instances

Instances details

Generic (DerivationOutput a) Source #

Instance details

Defined in System.Nix.Realisation

Associated Types

type Rep (DerivationOutput a)

Instance details

Defined in System.Nix.Realisation

type Rep (DerivationOutput a) = D1 ('MetaData "DerivationOutput" "System.Nix.Realisation" "hnix-store-core-0.8.0.0-FTqw4iIy5sQBH9BMZeLljI" 'False) (C1 ('MetaCons "DerivationOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "derivationOutputHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DSum HashAlgo Digest)) :*: S1 ('MetaSel ('Just "derivationOutputOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: DerivationOutput a -> Rep (DerivationOutput a) x #

to :: Rep (DerivationOutput a) x -> DerivationOutput a #

Show a => Show (DerivationOutput a) Source #

Instance details

Defined in System.Nix.Realisation

Methods

showsPrec :: Int -> DerivationOutput a -> ShowS #

show :: DerivationOutput a -> String #

showList :: [DerivationOutput a] -> ShowS #

Eq a => Eq (DerivationOutput a) Source #

Instance details

Defined in System.Nix.Realisation

Methods

(==) :: DerivationOutput a -> DerivationOutput a -> Bool #

(/=) :: DerivationOutput a -> DerivationOutput a -> Bool #

Ord a => Ord (DerivationOutput a) Source #

Instance details

Defined in System.Nix.Realisation

Methods

compare :: DerivationOutput a -> DerivationOutput a -> Ordering #

(<) :: DerivationOutput a -> DerivationOutput a -> Bool #

(<=) :: DerivationOutput a -> DerivationOutput a -> Bool #

(>) :: DerivationOutput a -> DerivationOutput a -> Bool #

(>=) :: DerivationOutput a -> DerivationOutput a -> Bool #

max :: DerivationOutput a -> DerivationOutput a -> DerivationOutput a #

min :: DerivationOutput a -> DerivationOutput a -> DerivationOutput a #

type Rep (DerivationOutput a) Source #

Instance details

Defined in System.Nix.Realisation

type Rep (DerivationOutput a) = D1 ('MetaData "DerivationOutput" "System.Nix.Realisation" "hnix-store-core-0.8.0.0-FTqw4iIy5sQBH9BMZeLljI" 'False) (C1 ('MetaCons "DerivationOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "derivationOutputHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DSum HashAlgo Digest)) :*: S1 ('MetaSel ('Just "derivationOutputOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data DerivationOutputError Source #

Constructors

DerivationOutputError_Digest String
DerivationOutputError_Name InvalidNameError
DerivationOutputError_NoExclamationMark
DerivationOutputError_NoColon
DerivationOutputError_TooManyParts [Text]

Instances

Instances details

Show DerivationOutputError Source #
Instance details Defined in System.Nix.Realisation Methods showsPrec :: Int -> DerivationOutputError -> ShowS # show :: DerivationOutputError -> String # showList :: [DerivationOutputError] -> ShowS #
Eq DerivationOutputError Source #
Instance details Defined in System.Nix.Realisation Methods (==) :: DerivationOutputError -> DerivationOutputError -> Bool # (/=) :: DerivationOutputError -> DerivationOutputError -> Bool #
Ord DerivationOutputError Source #
Instance details Defined in System.Nix.Realisation Methods compare :: DerivationOutputError -> DerivationOutputError -> Ordering # (<) :: DerivationOutputError -> DerivationOutputError -> Bool # (<=) :: DerivationOutputError -> DerivationOutputError -> Bool # (>) :: DerivationOutputError -> DerivationOutputError -> Bool # (>=) :: DerivationOutputError -> DerivationOutputError -> Bool # max :: DerivationOutputError -> DerivationOutputError -> DerivationOutputError # min :: DerivationOutputError -> DerivationOutputError -> DerivationOutputError #

derivationOutputBuilder :: (outputName -> Text) -> DerivationOutput outputName -> Builder Source #

derivationOutputParser :: (Text -> Either InvalidNameError outputName) -> Text -> Either DerivationOutputError (DerivationOutput outputName) Source #

data Realisation Source #

Build realisation context

realisationId is ommited since it is a key of type DerivationOutput OutputName so we will use RealisationWithId newtype

Constructors

Realisation
Fields realisationOutPath :: StorePath Output path realisationSignatures :: Set Signature Signatures realisationDependencies :: Map (DerivationOutput OutputName) StorePath Dependent realisations required for this one to be valid

Instances

Instances details

Generic Realisation Source #

Instance details

Defined in System.Nix.Realisation

Associated Types

type Rep Realisation

Instance details

Defined in System.Nix.Realisation

type Rep Realisation = D1 ('MetaData "Realisation" "System.Nix.Realisation" "hnix-store-core-0.8.0.0-FTqw4iIy5sQBH9BMZeLljI" 'False) (C1 ('MetaCons "Realisation" 'PrefixI 'True) (S1 ('MetaSel ('Just "realisationOutPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StorePath) :*: (S1 ('MetaSel ('Just "realisationSignatures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Signature)) :*: S1 ('MetaSel ('Just "realisationDependencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (DerivationOutput OutputName) StorePath)))))

Methods

from :: Realisation -> Rep Realisation x #

to :: Rep Realisation x -> Realisation #

Show Realisation Source #

Instance details

Defined in System.Nix.Realisation

Methods

showsPrec :: Int -> Realisation -> ShowS #

show :: Realisation -> String #

showList :: [Realisation] -> ShowS #

Eq Realisation Source #

Instance details

Defined in System.Nix.Realisation

Methods

(==) :: Realisation -> Realisation -> Bool #

(/=) :: Realisation -> Realisation -> Bool #

Ord Realisation Source #

Instance details

Defined in System.Nix.Realisation

Methods

compare :: Realisation -> Realisation -> Ordering #

(<) :: Realisation -> Realisation -> Bool #

(<=) :: Realisation -> Realisation -> Bool #

(>) :: Realisation -> Realisation -> Bool #

(>=) :: Realisation -> Realisation -> Bool #

max :: Realisation -> Realisation -> Realisation #

min :: Realisation -> Realisation -> Realisation #

type Rep Realisation Source #

Instance details

Defined in System.Nix.Realisation

type Rep Realisation = D1 ('MetaData "Realisation" "System.Nix.Realisation" "hnix-store-core-0.8.0.0-FTqw4iIy5sQBH9BMZeLljI" 'False) (C1 ('MetaCons "Realisation" 'PrefixI 'True) (S1 ('MetaSel ('Just "realisationOutPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StorePath) :*: (S1 ('MetaSel ('Just "realisationSignatures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Signature)) :*: S1 ('MetaSel ('Just "realisationDependencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (DerivationOutput OutputName) StorePath)))))

newtype RealisationWithId Source #

For wire protocol

We store this normalized in Build.buildResultBuiltOutputs as Map (DerivationOutput OutputName) Realisation but wire protocol needs it de-normalized so we need a special (From|To)JSON instances for it

Constructors

RealisationWithId
Fields unRealisationWithId :: (DerivationOutput OutputName, Realisation)

Instances

Instances details

Generic RealisationWithId Source #

Instance details

Defined in System.Nix.Realisation

Associated Types

type Rep RealisationWithId
Instance details Defined in System.Nix.Realisation type Rep RealisationWithId = D1 ('MetaData "RealisationWithId" "System.Nix.Realisation" "hnix-store-core-0.8.0.0-FTqw4iIy5sQBH9BMZeLljI" 'True) (C1 ('MetaCons "RealisationWithId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRealisationWithId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DerivationOutput OutputName, Realisation))))