Commit dab5a93
authored
Merge #802 NixString: rm hacky funs, convert principled funs into regular ones
This nearly finishes the work people did on the NixString & StringContext handling.
HNix had hacky* implementations used for a long time, and now type and implementation systems arrived into great shape that all of the functions become principled.
* Closes: #383 #384 #385.
* Removed hacky functions/.
* Reduced prefixes from functions.
* NixString now is a Monoid, project code now leverages that.
* Clean-up & restructure in the Nix.String module.File tree
16 files changed
+218
-246
lines changed- benchmarks
- main
- src/Nix
- Effects
- String
- Value
- tests
16 files changed
+218
-246
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
5 | | - | |
6 | 5 | | |
7 | 6 | | |
8 | 7 | | |
9 | | - | |
| 8 | + | |
10 | 9 | | |
11 | 10 | | |
12 | 11 | | |
13 | | - | |
14 | | - | |
15 | | - | |
16 | | - | |
17 | | - | |
18 | | - | |
19 | | - | |
20 | | - | |
21 | | - | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
143 | 143 | | |
144 | 144 | | |
145 | 145 | | |
146 | | - | |
| 146 | + | |
147 | 147 | | |
148 | 148 | | |
149 | 149 | | |
150 | 150 | | |
151 | 151 | | |
152 | | - | |
| 152 | + | |
153 | 153 | | |
154 | 154 | | |
155 | 155 | | |
| |||
0 commit comments