System.Nix.Realisation

Documentation

data DerivationOutput a

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

Generic (DerivationOutput a)

Defined in System.Nix.Realisation

Associated Types

type Rep (DerivationOutput a) :: Type -> Type

Methods

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

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

Show a => Show (DerivationOutput a)

Defined in System.Nix.Realisation

Methods

showsPrec :: Int -> DerivationOutput a -> ShowS

show :: DerivationOutput a -> String

showList :: [DerivationOutput a] -> ShowS

Eq a => Eq (DerivationOutput a)

Defined in System.Nix.Realisation

Methods

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

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

Ord a => Ord (DerivationOutput a)

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)

Defined in System.Nix.Realisation

type Rep (DerivationOutput a) = D1 ('MetaData "DerivationOutput" "System.Nix.Realisation" "hnix-store-core-0.8.0.0-2YQUX8JlMxk93e1fw1Y66G" '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

Constructors

DerivationOutputError_Digest String

DerivationOutputError_Name InvalidNameError

DerivationOutputError_NoExclamationMark

DerivationOutputError_NoColon

DerivationOutputError_TooManyParts [Text]

Instances

Show DerivationOutputError

Defined in System.Nix.Realisation

Methods

showsPrec :: Int -> DerivationOutputError -> ShowS

show :: DerivationOutputError -> String

showList :: [DerivationOutputError] -> ShowS

Eq DerivationOutputError

Defined in System.Nix.Realisation

Methods

(==) :: DerivationOutputError -> DerivationOutputError -> Bool

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

Ord DerivationOutputError

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

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

data Realisation

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

Generic Realisation

Defined in System.Nix.Realisation

Associated Types

type Rep Realisation :: Type -> Type

Methods

from :: Realisation -> Rep Realisation x

to :: Rep Realisation x -> Realisation

Show Realisation

Defined in System.Nix.Realisation

Methods

showsPrec :: Int -> Realisation -> ShowS

show :: Realisation -> String

showList :: [Realisation] -> ShowS

Eq Realisation

Defined in System.Nix.Realisation

Methods

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

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

Ord Realisation

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

Defined in System.Nix.Realisation

type Rep Realisation = D1 ('MetaData "Realisation" "System.Nix.Realisation" "hnix-store-core-0.8.0.0-2YQUX8JlMxk93e1fw1Y66G" '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

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

Generic RealisationWithId

Defined in System.Nix.Realisation

Associated Types

type Rep RealisationWithId :: Type -> Type

Methods

from :: RealisationWithId -> Rep RealisationWithId x

to :: Rep RealisationWithId x -> RealisationWithId

Show RealisationWithId

Defined in System.Nix.Realisation

Methods

showsPrec :: Int -> RealisationWithId -> ShowS

show :: RealisationWithId -> String

showList :: [RealisationWithId] -> ShowS

Eq RealisationWithId

Defined in System.Nix.Realisation

Methods

(==) :: RealisationWithId -> RealisationWithId -> Bool

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

Ord RealisationWithId

Defined in System.Nix.Realisation

Methods

compare :: RealisationWithId -> RealisationWithId -> Ordering

(<) :: RealisationWithId -> RealisationWithId -> Bool

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

(>) :: RealisationWithId -> RealisationWithId -> Bool

(>=) :: RealisationWithId -> RealisationWithId -> Bool

max :: RealisationWithId -> RealisationWithId -> RealisationWithId

min :: RealisationWithId -> RealisationWithId -> RealisationWithId

type Rep RealisationWithId

Defined in System.Nix.Realisation

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