Nix.Diff

Documentation

unzip :: Functor f => f (a, b) -> (f a, f b)

newtype Status

Constructors

Status

Fields

• visited :: Set Diffed

Instances

MonadState Status Diff

Defined in Nix.Diff

Methods

get :: Diff Status

put :: Status -> Diff ()

state :: (Status -> (a, Status)) -> Diff a

data Diffed

Constructors

Diffed

Fields

• leftDerivation :: StorePath
• leftOutput :: OutputNames
• rightDerivation :: StorePath
• rightOutput :: OutputNames

Instances

Eq Diffed

Defined in Nix.Diff

Methods

(==) :: Diffed -> Diffed -> Bool

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

Ord Diffed

Defined in Nix.Diff

Methods

compare :: Diffed -> Diffed -> Ordering

(<) :: Diffed -> Diffed -> Bool

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

(>) :: Diffed -> Diffed -> Bool

(>=) :: Diffed -> Diffed -> Bool

max :: Diffed -> Diffed -> Diffed

min :: Diffed -> Diffed -> Diffed

newtype Diff a

Constructors

Diff

Fields

• unDiff :: ReaderT DiffContext (StateT Status IO) a

Instances

MonadFail Diff

Defined in Nix.Diff

Methods

fail :: String -> Diff a

MonadIO Diff

Defined in Nix.Diff

Methods

liftIO :: IO a -> Diff a

Applicative Diff

Defined in Nix.Diff

Methods

pure :: a -> Diff a

(<*>) :: Diff (a -> b) -> Diff a -> Diff b

liftA2 :: (a -> b -> c) -> Diff a -> Diff b -> Diff c

(*>) :: Diff a -> Diff b -> Diff b

(<*) :: Diff a -> Diff b -> Diff a

Functor Diff

Defined in Nix.Diff

Methods

fmap :: (a -> b) -> Diff a -> Diff b

(<$) :: a -> Diff b -> Diff a

Monad Diff

Defined in Nix.Diff

Methods

(>>=) :: Diff a -> (a -> Diff b) -> Diff b

(>>) :: Diff a -> Diff b -> Diff b

return :: a -> Diff a

MonadReader DiffContext Diff

Defined in Nix.Diff

Methods

ask :: Diff DiffContext

local :: (DiffContext -> DiffContext) -> Diff a -> Diff a

reader :: (DiffContext -> a) -> Diff a

MonadState Status Diff

Defined in Nix.Diff

Methods

get :: Diff Status

put :: Status -> Diff ()

state :: (Status -> (a, Status)) -> Diff a

data DiffContext

Constructors

DiffContext

Fields

• orientation :: Orientation
• environment :: Bool

Instances

MonadReader DiffContext Diff

Defined in Nix.Diff

Methods

ask :: Diff DiffContext

local :: (DiffContext -> DiffContext) -> Diff a -> Diff a

reader :: (DiffContext -> a) -> Diff a

data Orientation

Constructors

Character

Word

Line

derivationName :: StorePath -> Text

Extract the name of a derivation (i.e. the part after the hash)

This is used to guess which derivations are related to one another, even though their hash might differ

Note that this assumes that the path name is:

/nix/store/${32_CHARACTER_HASH}-${NAME}.drv

Nix technically does not require that the Nix store is actually stored underneath `nixstore`, but this is the overwhelmingly common use case

groupByName :: Map StorePath a -> Map Text (Map StorePath a)

Group paths by their name

buildProductName :: StorePath -> Text

Extract the name of a build product

Similar to derivationName, this assumes that the path name is:

/nix/store/${32_CHARACTER_HASH}-${NAME}.drv

groupSetsByName :: Set StorePath -> Map Text (Set StorePath)

Like groupByName, but for Sets

readFileUtf8Lenient :: FilePath -> IO Text

Read a file as utf-8 encoded string, replacing non-utf-8 characters with the unicode replacement character. This is necessary since derivations (and nix source code!) can in principle contain arbitrary bytes, but `nix-derivation` can only parse from Text.

storepathParser :: Parser StorePath

readDerivation :: StorePath -> Diff (Derivation StorePath Text)

Read and parse a derivation from a file

readInput :: StorePath -> Diff (Derivation StorePath Text)

Read and parse a derivation from a store path that can be a derivation (.drv) or a realized path, in which case the corresponding derivation is queried.

innerJoin :: Ord k => Map k a -> Map k b -> Map k (a, b)

Join two Maps on shared keys, discarding keys which are not present in both Maps

getGroupedDiff :: Ord a => [a] -> [a] -> [Item [a]]

diffOutput

Arguments

:: Text

Output name

-> DerivationOutput StorePath Text

Left derivation outputs

-> DerivationOutput StorePath Text

Right derivation outputs

-> Maybe OutputDiff

Diff two outputs

diffOutputs

Arguments

:: Map Text (DerivationOutput StorePath Text)

Left derivation outputs

-> Map Text (DerivationOutput StorePath Text)

Right derivation outputs

-> OutputsDiff

Diff two sets of outputs

decomposeOn :: (Char -> Bool) -> Text -> [Text]

Split Text into spans of Text that alternatively fail and satisfy the given predicate

The first span (if present) does not satisfy the predicate (even if the span is empty)

>>> decomposeOn (== 'b') "aabbaa"
["aa","bb","aa"]
>>> decomposeOn (== 'b') "bbaa"
["","bb","aa"]
>>> decomposeOn (== 'b') ""
[]

lineBoundary :: Char -> Bool

wordBoundary :: Char -> Bool

diffText

Arguments

:: Text

Left value to compare

-> Text

Right value to compare

-> Diff TextDiff

List of blocks of diffed text

Diff two Text values

diffEnv

Arguments

:: OutputNames

Left derivation outputs

-> OutputNames

Right derivation outputs

-> Map Text Text

Left environment to compare

-> Map Text Text

Right environment to compare

-> Diff EnvironmentDiff

Diff two environments

diffSrcs

Arguments

:: Set StorePath

Left input sources

-> Set StorePath

Right inputSources

-> Diff SourcesDiff

Diff input sources

diffPlatform :: Text -> Text -> Maybe (Changed Platform)

diffBuilder :: Text -> Text -> Maybe (Changed Builder)

diffArgs :: Vector Text -> Vector Text -> Maybe ArgumentsDiff

diff

Arguments

:: Bool

Is this the top-level call for a comparison?

If so, the diff will be more detailed.

-> StorePath

Store path of left derivation.

-> OutputNames

Output names of left derivation.

-> StorePath

Store path of right derivation.

-> OutputNames

Output names of right derivation.

-> Diff DerivationDiff

Description of how the two derivations differ.