Commit graph

205 commits

Author SHA1 Message Date
f42dcdd49a resort findImport 2026-02-13 19:30:56 +10:00
8725f5079f add findImport 2026-02-13 12:40:36 +10:00
Emile Clark-Boman
471e1617e8 add require type 2026-02-13 01:43:41 +10:00
Emile Clark-Boman
42ac41ae15 permit otherAttrs 2026-02-09 17:51:15 +10:00
Emile Clark-Boman
fdc85fb3ff debugging mix bootstrapping hurts my brain 2026-02-09 13:36:35 +10:00
Emile Clark-Boman
f1d4d7f3d6 fix typo 2026-02-09 13:36:20 +10:00
Emile Clark-Boman
08e59dae76 rename primitives -> precursor 2026-02-09 10:25:24 +10:00
Emile Clark-Boman
583e20fed1 yet another bootstrap rename 2026-02-09 10:24:27 +10:00
Emile Clark-Boman
f30ec5470d nixConfig pipe-operators 2026-02-09 09:37:05 +10:00
Emile Clark-Boman
295bbad396 markdown stuff 2026-02-09 09:36:50 +10:00
Emile Clark-Boman
46bd30598a start Types For Humans 2026-01-29 00:11:33 +10:00
Emile Clark-Boman
869b089bbb improve Types Not For Humans 2026-01-28 23:54:53 +10:00
Emile Clark-Boman
57758098c6 add Maybe README example 2026-01-28 19:00:01 +10:00
Emile Clark-Boman
7027a29692 add attrset parsing example 2026-01-28 18:06:02 +10:00
Emile Clark-Boman
0a589f38fe prettify README 2026-01-28 17:27:48 +10:00
Emile Clark-Boman
eeb100df00 add CHECK_LIST shadow item 2026-01-28 17:27:36 +10:00
Emile Clark-Boman
935959858b allow isolated modules 2026-01-28 16:38:01 +10:00
Emile Clark-Boman
828701871a add prefix/suffix/surround 2026-01-28 16:14:20 +10:00
Emile Clark-Boman
c000ede9f7 forbid traps from being nullable 2026-01-28 16:14:20 +10:00
Emile Clark-Boman
c135b7222b add allAttrs function 2026-01-28 15:39:27 +10:00
Emile Clark-Boman
28b360afe4 rename mkInputs this -> mkInputs mixture
less confusing
2026-01-28 15:39:01 +10:00
Emile Clark-Boman
cfd91c70ad fix broken tests 2026-01-28 13:52:54 +10:00
Emile Clark-Boman
ec37e6fd58 TEMP: submods.protected doesn't work :( 2026-01-28 13:52:34 +10:00
Emile Clark-Boman
0ebf24920c fix weird infinite recursion
am i missing something?
2026-01-28 13:52:09 +10:00
Emile Clark-Boman
2cabb50a38 add not fn 2026-01-28 13:51:51 +10:00
Emile Clark-Boman
20fec532be add prim/any.nix 2026-01-28 13:51:42 +10:00
Emile Clark-Boman
3974b5afcd correct all std paths 2026-01-28 13:51:35 +10:00
Emile Clark-Boman
d6ab2fdf72 remove enfIsAttrsUnsafe 2026-01-28 13:03:09 +10:00
Emile Clark-Boman
ccd07cc07a move primitives/bootstrap -> primitives/std 2026-01-28 12:56:35 +10:00
Emile Clark-Boman
0b554315e9 completely restruct bootstrap 2026-01-28 12:55:12 +10:00
Emile Clark-Boman
100de72342 move trapdoor out of bootstrap 2026-01-28 12:49:22 +10:00
Emile Clark-Boman
d3d16cda76 create primitives/nt directory 2026-01-28 12:46:34 +10:00
Emile Clark-Boman
d358ab0d2d fix primitives should be protected 2026-01-28 12:11:02 +10:00
Emile Clark-Boman
f2c7c04e2c add recmapZipOnto fn family
recmapZipOnto functions respect Terminal types
2026-01-28 12:08:47 +10:00
Emile Clark-Boman
d7224d5074 replace Wrap usage with Terminal 2026-01-28 12:08:09 +10:00
Emile Clark-Boman
35737d1618 add naive Terminal type 2026-01-28 12:07:44 +10:00
Emile Clark-Boman
3c8ccea4a1 clean maybe.nix 2026-01-28 12:07:25 +10:00
Emile Clark-Boman
79a6c6729b bootstrap auto propagates this 2026-01-28 10:58:55 +10:00
Emile Clark-Boman
73720c33ba fix overcomplicated module 2026-01-28 10:50:12 +10:00
Emile Clark-Boman
645a1edc2b clean flake.nix 2026-01-28 10:40:50 +10:00
Emile Clark-Boman
e1b69177c8 add CHECK_LIST items for parsing 2026-01-28 10:40:45 +10:00
Emile Clark-Boman
15e88d5c31 add /nt/mix/bootstrap.nix 2026-01-28 10:40:33 +10:00
Emile Clark-Boman
9c1e458140 split /nt/mix 2026-01-28 10:40:26 +10:00
Emile Clark-Boman
c3f03856d3 bootstrap export bootstrap 2026-01-28 09:22:23 +10:00
Emile Clark-Boman
9db1e24987 export unwrapMaybe, unwrapSome, unwrapNone in tests/maybe.nix
NOTE: nix-unit does NOT handle lambda partial equality well...
2026-01-28 09:15:49 +10:00
Emile Clark-Boman
c84d84231b fix nt depends on pipe-operators 2026-01-28 08:49:21 +10:00
Emile Clark-Boman
d3690e9813 fix flake.overlays not guaranteed 2026-01-28 08:48:55 +10:00
Emile Clark-Boman
dc7b8c4b43 progress flake.lock 2026-01-28 08:48:31 +10:00
Emile Clark-Boman
be2959f819 TEMP: fix mix doesn't support extensions 2026-01-28 08:48:28 +10:00
Emile Clark-Boman
49bb813160 TEMP: fix mix doesn't support private 2026-01-28 08:48:08 +10:00