Safe Haskell	Safe-Inferred
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) :: Type -> Type # 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-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 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 :: Type -> Type # 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-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 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 :: Type -> Type # Methods from :: RealisationWithId -> Rep RealisationWithId x # to :: Rep RealisationWithId x -> RealisationWithId #
Show RealisationWithId Source #
Instance details Defined in System.Nix.Realisation Methods showsPrec :: Int -> RealisationWithId -> ShowS # show :: RealisationWithId -> String # showList :: [RealisationWithId] -> ShowS #
Eq RealisationWithId Source #
Instance details Defined in System.Nix.Realisation Methods (==) :: RealisationWithId -> RealisationWithId -> Bool # (/=) :: RealisationWithId -> RealisationWithId -> Bool #
Ord RealisationWithId Source #
Instance details 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 Source #
Instance details 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))))