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 |
|
Emile Clark-Boman
|
9e808c846e
|
fix mapSome/mapNone leave monadic context
|
2026-01-27 12:58:55 +10:00 |
|
Emile Clark-Boman
|
8a7998712d
|
fix remove submods.util
|
2026-01-27 12:58:34 +10:00 |
|
Emile Clark-Boman
|
7795231e5a
|
add ideas on Generic type
|
2026-01-27 12:45:50 +10:00 |
|
Emile Clark-Boman
|
aeee0a3fbd
|
rename flipCurry -> flip
|
2026-01-27 12:45:10 +10:00 |
|
Emile Clark-Boman
|
2aa45a9f6b
|
remove Wrap type
|
2026-01-27 12:43:56 +10:00 |
|
Emile Clark-Boman
|
06f21415e1
|
parsing uses Maybe not Wrap
|
2026-01-27 12:42:51 +10:00 |
|
Emile Clark-Boman
|
d867b91bc2
|
add unwrapMaybe/mapMaybe
|
2026-01-27 12:42:38 +10:00 |
|
Emile Clark-Boman
|
e2021b7093
|
fix this.std missing removeSuffix
|
2026-01-27 12:41:59 +10:00 |
|
Emile Clark-Boman
|
eea431a912
|
clean maybe.nix
|
2026-01-27 11:24:46 +10:00 |
|
Emile Clark-Boman
|
22ed581b2d
|
rename mapMaybe -> bindMaybe
|
2026-01-27 11:22:47 +10:00 |
|
Emile Clark-Boman
|
87ab7f7ede
|
fix enfIsMaybe
it never actually checked isMaybe...
|
2026-01-27 11:22:37 +10:00 |
|