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 |
|
Emile Clark-Boman
|
166c185ca4
|
isolate ./nt and ./flake mixtures
|
2026-01-27 17:51:17 +10:00 |
|
Emile Clark-Boman
|
bc2a62e62b
|
add flake module
|
2026-01-27 17:50:53 +10:00 |
|
Emile Clark-Boman
|
3fe748f174
|
mix imports can be attrs or fns
|
2026-01-27 17:50:24 +10:00 |
|
Emile Clark-Boman
|
bbea746e8d
|
add ntDynamicTrapdoorKey
|
2026-01-27 17:49:00 +10:00 |
|
Emile Clark-Boman
|
976ab6b80f
|
add genAttrs to nt.std
|
2026-01-27 17:48:51 +10:00 |
|
Emile Clark-Boman
|
14f30ce5d7
|
add nix-unit tests
|
2026-01-27 17:48:26 +10:00 |
|
Emile Clark-Boman
|
e31dc6dea8
|
add ferror script to parse nix-unit stderr
|
2026-01-27 17:48:11 +10:00 |
|
Emile Clark-Boman
|
370ae9c9c0
|
add debug script for stack traces
|
2026-01-27 17:47:17 +10:00 |
|
Emile Clark-Boman
|
7a7444c6a3
|
remove /nt/units
|
2026-01-27 17:47:03 +10:00 |
|
Emile Clark-Boman
|
b5a363bec0
|
move CHECK_LIST.md to /nt/
|
2026-01-27 17:46:06 +10:00 |
|
Emile Clark-Boman
|
a52d6b5491
|
fix mkTrapdoor fns expect key
|
2026-01-27 17:45:54 +10:00 |
|