commit 87b4a91fc4145e04ca028c08754bd144b8d1d02d · pyrox.dev/nixpkgs

+5 -3

lib/default.nix

···

       5
       5
        
        */

     

       6
       6
        
       let

     

       7
       7
        
       

     

       8
       8
       -
         # trivial, often used functions

     

       8
       8
       +
         # often used, or depending on very little

     

       9
       9
        
         trivial = import ./trivial.nix;

     

       10
       10
       +
         fixedPoints = import ./fixed-points.nix;

     

       10
       11
        
       

     

       11
       12
        
         # datatypes

     

       12
       13
        
         attrsets = import ./attrsets.nix;

     
···

       42
       43
        
         filesystem = import ./filesystem.nix;

     

       43
       44
        
       

     

       44
       45
        
       in

     

       45
       45
       -
         { inherit trivial

     

       46
       46
       +
         { inherit trivial fixedPoints

     

       46
       47
        
                   attrsets lists strings stringsWithDeps

     

       47
       48
        
                   customisation maintainers meta sources

     

       48
       49
        
                   modules options types

     
···

       55
       56
        
         }

     

       56
       57
        
         # !!! don't include everything at top-level; perhaps only the most

     

       57
       58
        
         # commonly used functions.

     

       58
       58
       -
         // trivial // lists // strings // stringsWithDeps // attrsets // sources

     

       59
       59
       +
         // trivial // fixedPoints

     

       60
       60
       +
         // lists // strings // stringsWithDeps // attrsets // sources

     

       59
       61
        
         // options // types // meta // debug // misc // modules

     

       60
       62
        
         // customisation

+78

lib/fixed-points.nix

···

       1
       1
       +
       rec {

     

       2
       2
       +
         # Compute the fixed point of the given function `f`, which is usually an

     

       3
       3
       +
         # attribute set that expects its final, non-recursive representation as an

     

       4
       4
       +
         # argument:

     

       5
       5
       +
         #

     

       6
       6
       +
         #     f = self: { foo = "foo"; bar = "bar"; foobar = self.foo + self.bar; }

     

       7
       7
       +
         #

     

       8
       8
       +
         # Nix evaluates this recursion until all references to `self` have been

     

       9
       9
       +
         # resolved. At that point, the final result is returned and `f x = x` holds:

     

       10
       10
       +
         #

     

       11
       11
       +
         #     nix-repl> fix f

     

       12
       12
       +
         #     { bar = "bar"; foo = "foo"; foobar = "foobar"; }

     

       13
       13
       +
         #

     

       14
       14
       +
         #  Type: fix :: (a -> a) -> a

     

       15
       15
       +
         #

     

       16
       16
       +
         # See https://en.wikipedia.org/wiki/Fixed-point_combinator for further

     

       17
       17
       +
         # details.

     

       18
       18
       +
         fix = f: let x = f x; in x;

     

       19
       19
       +
       

     

       20
       20
       +
         # A variant of `fix` that records the original recursive attribute set in the

     

       21
       21
       +
         # result. This is useful in combination with the `extends` function to

     

       22
       22
       +
         # implement deep overriding. See pkgs/development/haskell-modules/default.nix

     

       23
       23
       +
         # for a concrete example.

     

       24
       24
       +
         fix' = f: let x = f x // { __unfix__ = f; }; in x;

     

       25
       25
       +
       

     

       26
       26
       +
         # Modify the contents of an explicitly recursive attribute set in a way that

     

       27
       27
       +
         # honors `self`-references. This is accomplished with a function

     

       28
       28
       +
         #

     

       29
       29
       +
         #     g = self: super: { foo = super.foo + " + "; }

     

       30
       30
       +
         #

     

       31
       31
       +
         # that has access to the unmodified input (`super`) as well as the final

     

       32
       32
       +
         # non-recursive representation of the attribute set (`self`). `extends`

     

       33
       33
       +
         # differs from the native `//` operator insofar as that it's applied *before*

     

       34
       34
       +
         # references to `self` are resolved:

     

       35
       35
       +
         #

     

       36
       36
       +
         #     nix-repl> fix (extends g f)

     

       37
       37
       +
         #     { bar = "bar"; foo = "foo + "; foobar = "foo + bar"; }

     

       38
       38
       +
         #

     

       39
       39
       +
         # The name of the function is inspired by object-oriented inheritance, i.e.

     

       40
       40
       +
         # think of it as an infix operator `g extends f` that mimics the syntax from

     

       41
       41
       +
         # Java. It may seem counter-intuitive to have the "base class" as the second

     

       42
       42
       +
         # argument, but it's nice this way if several uses of `extends` are cascaded.

     

       43
       43
       +
         extends = f: rattrs: self: let super = rattrs self; in super // f self super;

     

       44
       44
       +
       

     

       45
       45
       +
         # Compose two extending functions of the type expected by 'extends'

     

       46
       46
       +
         # into one where changes made in the first are available in the

     

       47
       47
       +
         # 'super' of the second

     

       48
       48
       +
         composeExtensions =

     

       49
       49
       +
           f: g: self: super:

     

       50
       50
       +
             let fApplied = f self super;

     

       51
       51
       +
                 super' = super // fApplied;

     

       52
       52
       +
             in fApplied // g self super';

     

       53
       53
       +
       

     

       54
       54
       +
         # Create an overridable, recursive attribute set. For example:

     

       55
       55
       +
         #

     

       56
       56
       +
         #     nix-repl> obj = makeExtensible (self: { })

     

       57
       57
       +
         #

     

       58
       58
       +
         #     nix-repl> obj

     

       59
       59
       +
         #     { __unfix__ = «lambda»; extend = «lambda»; }

     

       60
       60
       +
         #

     

       61
       61
       +
         #     nix-repl> obj = obj.extend (self: super: { foo = "foo"; })

     

       62
       62
       +
         #

     

       63
       63
       +
         #     nix-repl> obj

     

       64
       64
       +
         #     { __unfix__ = «lambda»; extend = «lambda»; foo = "foo"; }

     

       65
       65
       +
         #

     

       66
       66
       +
         #     nix-repl> obj = obj.extend (self: super: { foo = super.foo + " + "; bar = "bar"; foobar = self.foo + self.bar; })

     

       67
       67
       +
         #

     

       68
       68
       +
         #     nix-repl> obj

     

       69
       69
       +
         #     { __unfix__ = «lambda»; bar = "bar"; extend = «lambda»; foo = "foo + "; foobar = "foo + bar"; }

     

       70
       70
       +
         makeExtensible = makeExtensibleWithCustomName "extend";

     

       71
       71
       +
       

     

       72
       72
       +
         # Same as `makeExtensible` but the name of the extending attribute is

     

       73
       73
       +
         # customized.

     

       74
       74
       +
         makeExtensibleWithCustomName = extenderName: rattrs:

     

       75
       75
       +
           fix' rattrs // {

     

       76
       76
       +
             ${extenderName} = f: makeExtensibleWithCustomName extenderName (extends f rattrs);

     

       77
       77
       +
          };

     

       78
       78
       +
       }

-78

lib/trivial.nix

···

       43
       43
        
         */

     

       44
       44
        
         mergeAttrs = x: y: x // y;

     

       45
       45
        
       

     

       46
       46
       -
       

     

       47
       47
       -
         # Compute the fixed point of the given function `f`, which is usually an

     

       48
       48
       -
         # attribute set that expects its final, non-recursive representation as an

     

       49
       49
       -
         # argument:

     

       50
       50
       -
         #

     

       51
       51
       -
         #     f = self: { foo = "foo"; bar = "bar"; foobar = self.foo + self.bar; }

     

       52
       52
       -
         #

     

       53
       53
       -
         # Nix evaluates this recursion until all references to `self` have been

     

       54
       54
       -
         # resolved. At that point, the final result is returned and `f x = x` holds:

     

       55
       55
       -
         #

     

       56
       56
       -
         #     nix-repl> fix f

     

       57
       57
       -
         #     { bar = "bar"; foo = "foo"; foobar = "foobar"; }

     

       58
       58
       -
         #

     

       59
       59
       -
         #  Type: fix :: (a -> a) -> a

     

       60
       60
       -
         #

     

       61
       61
       -
         # See https://en.wikipedia.org/wiki/Fixed-point_combinator for further

     

       62
       62
       -
         # details.

     

       63
       63
       -
         fix = f: let x = f x; in x;

     

       64
       64
       -
       

     

       65
       65
       -
         # A variant of `fix` that records the original recursive attribute set in the

     

       66
       66
       -
         # result. This is useful in combination with the `extends` function to

     

       67
       67
       -
         # implement deep overriding. See pkgs/development/haskell-modules/default.nix

     

       68
       68
       -
         # for a concrete example.

     

       69
       69
       -
         fix' = f: let x = f x // { __unfix__ = f; }; in x;

     

       70
       70
       -
       

     

       71
       71
       -
         # Modify the contents of an explicitly recursive attribute set in a way that

     

       72
       72
       -
         # honors `self`-references. This is accomplished with a function

     

       73
       73
       -
         #

     

       74
       74
       -
         #     g = self: super: { foo = super.foo + " + "; }

     

       75
       75
       -
         #

     

       76
       76
       -
         # that has access to the unmodified input (`super`) as well as the final

     

       77
       77
       -
         # non-recursive representation of the attribute set (`self`). `extends`

     

       78
       78
       -
         # differs from the native `//` operator insofar as that it's applied *before*

     

       79
       79
       -
         # references to `self` are resolved:

     

       80
       80
       -
         #

     

       81
       81
       -
         #     nix-repl> fix (extends g f)

     

       82
       82
       -
         #     { bar = "bar"; foo = "foo + "; foobar = "foo + bar"; }

     

       83
       83
       -
         #

     

       84
       84
       -
         # The name of the function is inspired by object-oriented inheritance, i.e.

     

       85
       85
       -
         # think of it as an infix operator `g extends f` that mimics the syntax from

     

       86
       86
       -
         # Java. It may seem counter-intuitive to have the "base class" as the second

     

       87
       87
       -
         # argument, but it's nice this way if several uses of `extends` are cascaded.

     

       88
       88
       -
         extends = f: rattrs: self: let super = rattrs self; in super // f self super;

     

       89
       89
       -
       

     

       90
       90
       -
         # Compose two extending functions of the type expected by 'extends'

     

       91
       91
       -
         # into one where changes made in the first are available in the

     

       92
       92
       -
         # 'super' of the second

     

       93
       93
       -
         composeExtensions =

     

       94
       94
       -
           f: g: self: super:

     

       95
       95
       -
             let fApplied = f self super;

     

       96
       96
       -
                 super' = super // fApplied;

     

       97
       97
       -
             in fApplied // g self super';

     

       98
       98
       -
       

     

       99
       99
       -
         # Create an overridable, recursive attribute set. For example:

     

       100
       100
       -
         #

     

       101
       101
       -
         #     nix-repl> obj = makeExtensible (self: { })

     

       102
       102
       -
         #

     

       103
       103
       -
         #     nix-repl> obj

     

       104
       104
       -
         #     { __unfix__ = «lambda»; extend = «lambda»; }

     

       105
       105
       -
         #

     

       106
       106
       -
         #     nix-repl> obj = obj.extend (self: super: { foo = "foo"; })

     

       107
       107
       -
         #

     

       108
       108
       -
         #     nix-repl> obj

     

       109
       109
       -
         #     { __unfix__ = «lambda»; extend = «lambda»; foo = "foo"; }

     

       110
       110
       -
         #

     

       111
       111
       -
         #     nix-repl> obj = obj.extend (self: super: { foo = super.foo + " + "; bar = "bar"; foobar = self.foo + self.bar; })

     

       112
       112
       -
         #

     

       113
       113
       -
         #     nix-repl> obj

     

       114
       114
       -
         #     { __unfix__ = «lambda»; bar = "bar"; extend = «lambda»; foo = "foo + "; foobar = "foo + bar"; }

     

       115
       115
       -
         makeExtensible = makeExtensibleWithCustomName "extend";

     

       116
       116
       -
       

     

       117
       117
       -
         # Same as `makeExtensible` but the name of the extending attribute is

     

       118
       118
       -
         # customized.

     

       119
       119
       -
         makeExtensibleWithCustomName = extenderName: rattrs:

     

       120
       120
       -
           fix' rattrs // {

     

       121
       121
       -
             ${extenderName} = f: makeExtensibleWithCustomName extenderName (extends f rattrs);

     

       122
       122
       -
          };

     

       123
       123
       -
       

     

       124
       46
        
         # Flip the order of the arguments of a binary function.

     

       125
       47
        
         flip = f: a: b: f b a;

     

       126
       48