Nix.Expr.Shorthands

A bunch of shorthands for making nix expressions.

Functions with an F suffix return a more general type without the outer Fix wrapper.

Documentation

mkInt :: Integer -> NExpr

Make an integer literal expression.

mkIntF :: Integer -> NExprF a

mkFloat :: Float -> NExpr

Make an floating point literal expression.

mkFloatF :: Float -> NExprF a

mkStr :: Text -> NExpr

Make a regular (double-quoted) string.

mkIndentedStr :: Int -> Text -> NExpr

Make an indented string.

mkPath :: Bool -> FilePath -> NExpr

Make a path. Use True if the path should be read from the environment, else False.

mkPathF :: Bool -> FilePath -> NExprF a

mkEnvPath :: FilePath -> NExpr

Make a path expression which pulls from the NIX_PATH env variable.

mkEnvPathF :: FilePath -> NExprF a

mkRelPath :: FilePath -> NExpr

Make a path expression which references a relative path.

mkRelPathF :: FilePath -> NExprF a

mkSym :: Text -> NExpr

Make a variable (symbol)

mkSymF :: Text -> NExprF a

mkSynHole :: Text -> NExpr

mkSynHoleF :: Text -> NExprF a

mkSelector :: Text -> NAttrPath NExpr

mkBool :: Bool -> NExpr

mkBoolF :: Bool -> NExprF a

mkNull :: NExpr

mkNullF :: NExprF a

mkOper :: NUnaryOp -> NExpr -> NExpr

mkOper2 :: NBinaryOp -> NExpr -> NExpr -> NExpr

mkParamset :: [(Text, Maybe NExpr)] -> Bool -> Params NExpr

mkRecSet :: [Binding NExpr] -> NExpr

mkNonRecSet :: [Binding NExpr] -> NExpr

mkLets :: [Binding NExpr] -> NExpr -> NExpr

mkList :: [NExpr] -> NExpr

mkWith :: NExpr -> NExpr -> NExpr

mkAssert :: NExpr -> NExpr -> NExpr

mkIf :: NExpr -> NExpr -> NExpr -> NExpr

mkFunction :: Params NExpr -> NExpr -> NExpr

inherit :: [NKeyName e] -> SourcePos -> Binding e

An inherit clause without an expression to pull from.

inheritFrom :: e -> [NKeyName e] -> SourcePos -> Binding e

An inherit clause with an expression to pull from.

bindTo :: Text -> NExpr -> Binding NExpr

Shorthand for producing a binding of a name to an expression: @=

($=) :: Text -> NExpr -> Binding NExpr infixr 2

Infix version of bindTo: =

appendBindings :: [Binding NExpr] -> NExpr -> NExpr

Append a list of bindings to a set or let expression. For example, adding `[a = 1, b = 2]` to `let c = 3; in 4` produces `let a = 1; b = 2; c = 3; in 4`.

modifyFunctionBody :: (NExpr -> NExpr) -> NExpr -> NExpr

Applies a transformation to the body of a nix function.

letsE :: [(Text, NExpr)] -> NExpr -> NExpr

A let statement with multiple assignments.

letE :: Text -> NExpr -> NExpr -> NExpr

Wrapper for a single-variable let.

attrsE :: [(Text, NExpr)] -> NExpr

Make an attribute set (non-recursive).

recAttrsE :: [(Text, NExpr)] -> NExpr

Make an attribute set (recursive).

mkNot :: NExpr -> NExpr

Logical negation.

Nix binary operators

mkBinop :: NBinaryOp -> NExpr -> NExpr -> NExpr

Nix binary operator builder.

(@@) :: NExpr -> NExpr -> NExpr infixl 1

Function application (' ' in f x)

($==) :: NExpr -> NExpr -> NExpr

Equality: ==

($!=) :: NExpr -> NExpr -> NExpr

Inequality: !=

($<) :: NExpr -> NExpr -> NExpr

Less than: <

($<=) :: NExpr -> NExpr -> NExpr

Less than OR equal: <=

($>) :: NExpr -> NExpr -> NExpr

Greater than: >

($>=) :: NExpr -> NExpr -> NExpr

Greater than OR equal: >=

($&&) :: NExpr -> NExpr -> NExpr

AND: &&

($||) :: NExpr -> NExpr -> NExpr

OR: ||

($->) :: NExpr -> NExpr -> NExpr

Logical implication: ->

($//) :: NExpr -> NExpr -> NExpr

Extendoverride the left attr set, with the right one: @/@

($+) :: NExpr -> NExpr -> NExpr

Addition: +

($-) :: NExpr -> NExpr -> NExpr

Subtraction: -

($*) :: NExpr -> NExpr -> NExpr

Multiplication: *

($/) :: NExpr -> NExpr -> NExpr

Division: /

($++) :: NExpr -> NExpr -> NExpr

List concatenation: ++

(==>) :: Params NExpr -> NExpr -> NExpr infixr 1

Lambda function. > x ==> x Haskell: > \ x -> x Nix: > x: x

(@.) :: NExpr -> Text -> NExpr infixl 2

Dot-reference into an attribute set: attrSet.k