2017-07-29 03:05:35 +03:00
|
|
|
{ lib }:
|
2009-02-09 19:51:03 +03:00
|
|
|
rec {
|
|
|
|
|
2017-03-15 20:29:33 +03:00
|
|
|
/* The identity function
|
|
|
|
For when you need a function that does “nothing”.
|
|
|
|
|
|
|
|
Type: id :: a -> a
|
|
|
|
*/
|
2009-02-09 19:51:03 +03:00
|
|
|
id = x: x;
|
|
|
|
|
2017-03-15 20:29:33 +03:00
|
|
|
/* The constant function
|
|
|
|
Ignores the second argument.
|
|
|
|
Or: Construct a function that always returns a static value.
|
|
|
|
|
|
|
|
Type: const :: a -> b -> a
|
|
|
|
Example:
|
|
|
|
let f = const 5; in f 10
|
|
|
|
=> 5
|
|
|
|
*/
|
2009-02-09 19:51:03 +03:00
|
|
|
const = x: y: x;
|
|
|
|
|
2017-03-15 20:29:33 +03:00
|
|
|
|
|
|
|
## Named versions corresponding to some builtin operators.
|
|
|
|
|
|
|
|
/* Concat two strings */
|
2009-02-09 19:51:03 +03:00
|
|
|
concat = x: y: x ++ y;
|
2017-03-15 20:29:33 +03:00
|
|
|
|
|
|
|
/* boolean “or” */
|
2009-02-09 19:51:03 +03:00
|
|
|
or = x: y: x || y;
|
2017-03-15 20:29:33 +03:00
|
|
|
|
|
|
|
/* boolean “and” */
|
2009-02-09 19:51:03 +03:00
|
|
|
and = x: y: x && y;
|
2017-03-15 20:29:33 +03:00
|
|
|
|
2017-04-11 19:08:51 +03:00
|
|
|
/* Convert a boolean to a string.
|
|
|
|
Note that toString on a bool returns "1" and "".
|
|
|
|
*/
|
|
|
|
boolToString = b: if b then "true" else "false";
|
|
|
|
|
2017-03-15 20:29:33 +03:00
|
|
|
/* Merge two attribute sets shallowly, right side trumps left
|
|
|
|
|
|
|
|
Example:
|
2017-04-25 09:36:22 +03:00
|
|
|
mergeAttrs { a = 1; b = 2; } { b = 3; c = 4; }
|
2017-03-15 20:29:33 +03:00
|
|
|
=> { a = 1; b = 3; c = 4; }
|
|
|
|
*/
|
2009-07-02 12:58:30 +04:00
|
|
|
mergeAttrs = x: y: x // y;
|
2013-11-12 16:48:19 +04:00
|
|
|
|
2009-10-23 11:34:56 +04:00
|
|
|
# Flip the order of the arguments of a binary function.
|
|
|
|
flip = f: a: b: f b a;
|
|
|
|
|
2017-04-17 23:48:10 +03:00
|
|
|
# Apply function if argument is non-null
|
|
|
|
mapNullable = f: a: if isNull a then a else f a;
|
|
|
|
|
2013-11-12 16:48:19 +04:00
|
|
|
# Pull in some builtins not included elsewhere.
|
|
|
|
inherit (builtins)
|
|
|
|
pathExists readFile isBool isFunction
|
2015-03-20 17:53:25 +03:00
|
|
|
isInt add sub lessThan
|
2015-07-23 18:41:35 +03:00
|
|
|
seq deepSeq genericClosure;
|
2013-11-12 16:48:19 +04:00
|
|
|
|
2017-07-29 03:05:35 +03:00
|
|
|
inherit (lib.strings) fileContents;
|
2016-07-31 15:59:30 +03:00
|
|
|
|
2014-02-19 21:47:48 +04:00
|
|
|
# Return the Nixpkgs version number.
|
|
|
|
nixpkgsVersion =
|
|
|
|
let suffixFile = ../.version-suffix; in
|
2016-07-31 15:59:30 +03:00
|
|
|
fileContents ../.version
|
|
|
|
+ (if pathExists suffixFile then fileContents suffixFile else "pre-git");
|
2014-02-19 21:47:48 +04:00
|
|
|
|
2015-02-16 13:57:36 +03:00
|
|
|
# Whether we're being called by nix-shell.
|
2016-08-11 17:35:06 +03:00
|
|
|
inNixShell = builtins.getEnv "IN_NIX_SHELL" != "";
|
2014-02-19 22:00:51 +04:00
|
|
|
|
2015-02-16 13:57:36 +03:00
|
|
|
# Return minimum/maximum of two numbers.
|
|
|
|
min = x: y: if x < y then x else y;
|
|
|
|
max = x: y: if x > y then x else y;
|
|
|
|
|
2017-08-30 15:32:04 +03:00
|
|
|
/* Integer modulus
|
|
|
|
|
|
|
|
Example:
|
|
|
|
mod 11 10
|
|
|
|
=> 1
|
|
|
|
mod 1 10
|
|
|
|
=> 1
|
|
|
|
*/
|
|
|
|
mod = base: int: base - (int * (builtins.div base int));
|
|
|
|
|
2017-12-08 00:26:30 +03:00
|
|
|
/* C-style comparisons
|
|
|
|
|
|
|
|
a < b => -1
|
|
|
|
a == b => 0
|
|
|
|
a > b => 1
|
|
|
|
*/
|
|
|
|
compare = a: b:
|
|
|
|
if a < b
|
|
|
|
then -1
|
|
|
|
else if a > b
|
|
|
|
then 1
|
|
|
|
else 0;
|
|
|
|
|
|
|
|
/* Split type into two subtypes by predicate `p`, assume
|
|
|
|
|
|
|
|
forall x y . x < y if p x == true && p y == false
|
|
|
|
|
|
|
|
compare elements of the same subtype with `yes` and `no`
|
|
|
|
comparisons respectively.
|
|
|
|
*/
|
|
|
|
splitByAndCompare = p: yes: no: a: b:
|
|
|
|
if p a
|
|
|
|
then if p b then yes a b else -1
|
|
|
|
else if p b then 1 else no a b;
|
|
|
|
|
2017-01-30 13:18:56 +03:00
|
|
|
/* Reads a JSON file. */
|
2016-02-28 19:35:27 +03:00
|
|
|
importJSON = path:
|
|
|
|
builtins.fromJSON (builtins.readFile path);
|
2016-08-15 20:54:23 +03:00
|
|
|
|
|
|
|
/* See https://github.com/NixOS/nix/issues/749. Eventually we'd like these
|
|
|
|
to expand to Nix builtins that carry metadata so that Nix can filter out
|
|
|
|
the INFO messages without parsing the message string.
|
|
|
|
|
|
|
|
Usage:
|
|
|
|
{
|
|
|
|
foo = lib.warn "foo is deprecated" oldFoo;
|
|
|
|
}
|
|
|
|
|
|
|
|
TODO: figure out a clever way to integrate location information from
|
|
|
|
something like __unsafeGetAttrPos.
|
|
|
|
*/
|
|
|
|
warn = msg: builtins.trace "WARNING: ${msg}";
|
|
|
|
info = msg: builtins.trace "INFO: ${msg}";
|
2009-02-09 19:51:03 +03:00
|
|
|
}
|