ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2025-01-07 07:30:23 +03:00
Code Issues Packages Projects Releases Wiki Activity

Modify for all-wet core.

Browse Source
This commit is contained in:
Curtis Yarvin 2018-05-20 14:33:06 -07:00
parent 92925c1a4c
commit f060b46e44
1 changed files with 30 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

58
lib/hood/womb.hoon
View File

@ -8,6 +8,7 @@
:: :: :: :: :: ::
:::: :: :: :::: :: ::
:: :: :: :: :: ::
!:
|% |%
++ foil :: ship allocation map ++ foil :: ship allocation map
|* a=mold :: entry mold |* a=mold :: entry mold
@ -195,8 +196,7 @@
[min=1 ctr=1 und=~ ove=~ max=(dec (bex (bex a))) box=~] [min=1 ctr=1 und=~ ove=~ max=(dec (bex (bex a))) box=~]
:: ::
++ fo ++ fo
=| (foil $@(~ *)) |_ (foil $@(~ *))
|@
+- nth :: index +- nth :: index
|= a/@u ^- (pair (unit @u) @u) |= a/@u ^- (pair (unit @u) @u)
?: (lth a ~(wyt in und)) ?: (lth a ~(wyt in und))
@ -208,32 +208,6 @@
?: =(0 a) [(some ctr) a] ?: =(0 a) [(some ctr) a]
$(a (dec a), +<.nth new) $(a (dec a), +<.nth new)
:: ::
+- fin +< :: abet
+- new :: alloc
?: =(ctr +(max)) +<
=. ctr +(ctr)
?. (~(has in ove) ctr) +<
new(ove (~(del in ove) ctr))
::
+- get :: nullable
|= a/@p ^+ ?~(box ~ q.n.box)
(fall (~(get by box) (neis a)) ~)
::
+- put
|* {a/@u b/*} ^+ fin :: b/_(~(got by box))
~| put+[a fin]
?> (fit a)
=; adj adj(box (~(put by box) a b))
?: (~(has in box) a) fin
?: =(ctr a) new
?: (lth a ctr)
?. (~(has in und) a) fin
fin(und (~(del in und) a))
?. =(a ctr:new) :: heuristic
fin(ove (~(put in ove) a))
=+ n=new(+< new)
n(und (~(put in und.n) ctr))
::
+- fit |=(a/@u &((lte min a) (lte a max))) :: in range +- fit |=(a/@u &((lte min a) (lte a max))) :: in range
+- gud :: invariant +- gud :: invariant
?& (fit(max +(max)) ctr) ?& (fit(max +(max)) ctr)
@ -251,6 +225,34 @@
?:((~(has by box) min) 1 0) ?:((~(has by box) min) 1 0)
== ==
== ==
::
+- fin +< :: abet
::
+- get :: nullable
|= a/@p ^+ ?~(box ~ q.n.box)
(fall (~(get by box) (neis a)) ~)
::
+- put
|* {a/@u b/*} ^+ fin :: b/_(~(got by box))
~| put+[a fin]
:: ?> (fit a)
=; adj adj(box (~(put by box) a b))
?: (~(has in box) a) fin
?: =(ctr a) new
?: (lth a ctr)
?. (~(has in und) a) fin
fin(und (~(del in und) a))
?. =(a ctr:new) :: heuristic
fin(ove (~(put in ove) a))
=+ n=new(+< new)
n(und (~(put in und.n) ctr))
::
+- new :: alloc
|- ^+ +>-
?: =(ctr +(max)) +>-
=. ctr +(ctr)
?. (~(has in ove) ctr) +>-
$(ove (~(del in ove) ctr))
-- --
-- --
:: :: :: :: :: ::