yet another bootstrap rename

This commit is contained in:
Emile Clark-Boman 2026-02-09 10:24:27 +10:00
parent f30ec5470d
commit 583e20fed1
19 changed files with 17 additions and 14 deletions

View file

@ -1,10 +1,13 @@
{mix, ...} @ inputs:
mix.newMixture inputs (mixture: {
isolated = true;
includes.public = [
./nt
];
submods.protected = [
./std
];
includes = {
public = [
./nt
];
protected = [
# XXX: WARNING: reimplement std but typesafe
./bootstrap
];
};
})

View file

@ -22,7 +22,7 @@
;
inherit
(this.std)
(this.prim)
flip
hasAttrAt
projectOnto
@ -31,7 +31,7 @@
;
inherit
(this.std.terminal)
(this.naive.terminal)
Terminal
;

View file

@ -18,13 +18,13 @@
;
inherit
(this.std)
(this.prim)
contains
not
;
inherit
(this.std.maybe)
(this.naive.maybe)
isSome
bindMaybe
;

View file

@ -15,7 +15,7 @@
;
inherit
(this.std)
(this.prim)
filterEven
init
last
@ -25,7 +25,7 @@
;
inherit
(this.std.maybe)
(this.naive.maybe)
bindMaybe
isSome
;

View file

@ -6,13 +6,13 @@
;
inherit
(this.std)
(this.prim)
enfAllAttrs
enfHasAttr
;
inherit
(this.std.maybe)
(this.naive.maybe)
nullableToMaybe
;