ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 20:01:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Frog now purged from hoon.hoon.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-01-14 01:38:26 -08:00
parent b9c816dfb4
commit 75bfad2431
1 changed files with 38 additions and 94 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

126
arvo/hoon.hoon
View File

@ -342,7 +342,6 @@
{$core p/span q/coil} :: object {$core p/span q/coil} :: object
{$face p/tusk q/span} :: namespace {$face p/tusk q/span} :: namespace
{$fork p/(set span)} :: union {$fork p/(set span)} :: union
{$frog p/(list span)} :: union
{$hold p/span q/twig} :: lazy evaluation {$hold p/span q/twig} :: lazy evaluation
== :: == ::
++ tone $% {$0 p/*} :: success ++ tone $% {$0 p/*} :: success
@ -6276,9 +6275,9 @@
%void %void
[%face sag der] [%face sag der]
:: ::
++ bool `span`(frog [%atom %f `0] [%atom %f `1] ~) :: make loobeal ++ bool `span`(fork [%atom %f `0] [%atom %f `1] ~) :: make loobeal
++ frog :: make %fork span ++ fork :: make %fork span
~/ %frog ~/ %fork
|= yed/(list span) |= yed/(list span)
=| lez/(set span) =| lez/(set span)
|- ^- span |- ^- span
@ -7614,39 +7613,37 @@
q.ham q.ham
=+ nul=[%pear %n 0] =+ nul=[%pear %n 0]
?. ?& ?=({$pick *} u.may) ?. ?& ?=({$pick *} u.may)
?=([* * ~] p.u.may) ?=({* * $~} p.u.may)
|(=(nul i.p.u.may) =(nul i.t.p.u.may))) |(=(nul i.p.u.may) =(nul i.t.p.u.may))
== ==
q.ham q.ham
=+ din=?:(=([%pear =+ din=?:(=(nul i.p.u.may) i.t.p.u.may i.p.u.may)
?: ?& ?=({{$plot {$face *} {$face * $stop *} $~} $~} t.p.u.may) ?: ?& ?=({$plot {$face *} {$face * $stop *} $~} din)
=(p.q.ham p.q.i.t.p.i.t.p.u.may) =(p.q.ham p.q.i.t.p.din)
=(1 (met 3 p.i.p.i.t.p.u.may)) =(1 (met 3 p.i.p.din))
=(1 (met 3 p.i.t.p.i.t.p.u.may)) =(1 (met 3 p.i.t.p.din))
== ==
:+ %list :+ %list
(cat 3 p.i.p.i.t.p.u.may p.i.t.p.i.t.p.u.may) (cat 3 p.i.p.din p.i.t.p.din)
q.i.p.i.t.p.u.may q.i.p.din
?: ?& ?= $: $: $plot ?: ?& ?= $: $plot
{$face *} {$face *}
{$face * $stop *} {$face * $stop *}
{{$face * $stop *} $~} {{$face * $stop *} $~}
== ==
$~ din
== =(p.q.ham p.q.i.t.p.din)
t.p.u.may =(p.q.ham p.q.i.t.t.p.din)
=(p.q.ham p.q.i.t.p.i.t.p.u.may) =(1 (met 3 p.i.p.din))
=(p.q.ham p.q.i.t.t.p.i.t.p.u.may) =(1 (met 3 p.i.t.p.din))
=(1 (met 3 p.i.p.i.t.p.u.may)) =(1 (met 3 p.i.t.t.p.din))
=(1 (met 3 p.i.t.p.i.t.p.u.may))
=(1 (met 3 p.i.t.t.p.i.t.p.u.may))
== ==
:+ %tree :+ %tree
%^ cat %^ cat
3 3
p.i.p.i.t.p.u.may p.i.p.din
(cat 3 p.i.t.p.i.t.p.u.may p.i.t.t.p.i.t.p.u.may) (cat 3 p.i.t.p.din p.i.t.t.p.din)
q.i.p.i.t.p.u.may q.i.p.din
q.ham q.ham
:: ::
++ dole ++ dole
@ -7716,15 +7713,6 @@
=+ mor=$(yed t.yed) =+ mor=$(yed t.yed)
=+ dis=^$(dex p.mor, sut i.yed) =+ dis=^$(dex p.mor, sut i.yed)
[p.dis q.dis q.mor] [p.dis q.dis q.mor]
::
{$frog *}
=- [p [%pick q]]
|- ^- {p/{p/(map span @) q/(map @ wine)} q/(list wine)}
?~ p.sut
[dex ~]
=+ mor=$(p.sut t.p.sut)
=+ dis=^$(dex p.mor, sut i.p.sut)
[p.dis q.dis q.mor]
:: ::
{$hold *} {$hold *}
=+ hey=(~(get by p.dex) sut) =+ hey=(~(get by p.dex) sut)
@ -7786,23 +7774,6 @@
== ==
=+ sut=`span`%noun =+ sut=`span`%noun
|% |%
::++ burn
:: =+ gil=*(set span)
:: |- ^- *
:: ?- sut
:: {$atom *} ?~(q.sut 0 u.q.sut)
:: {$cell *} [$(sut p.sut) $(sut q.sut)]
:: {$core *} [p.r.q.sut $(sut p.sut)]
:: {$face *} $(sut repo)
:: {$fork *} $(sut -.p.sut)
:: {$frog *} $(sut -.p.sut)
:: {$hold *} ?: (~(has in gil) sut)
:: ~_ (dunk %span)
:: ~|(%burn-loop !!)
:: $(sut repo, gil (~(put in gil) sut))
:: $noun 0
:: $void ~|(%burn-void !!)
:: ==
++ burn ++ burn
=+ gil=*(set span) =+ gil=*(set span)
~| %burn ~| %burn
@ -7823,7 +7794,6 @@
?: =(.?(u.mor) .?(u.dis)) ?: =(.?(u.mor) .?(u.dis))
?:((gor u.mor u.dis) mor dis) ?:((gor u.mor u.dis) mor dis)
?@(u.mor mor dis) ?@(u.mor mor dis)
{$frog *} $(sut -.p.sut)
{$hold *} ?: (~(has in gil) sut) {$hold *} ?: (~(has in gil) sut)
~ ~
$(sut repo, gil (~(put in gil) sut)) $(sut repo, gil (~(put in gil) sut))
@ -7883,8 +7853,7 @@
:: ::
{$core *} ?:(?=(?({$atom *} {$cell *}) ref) sut sint) {$core *} ?:(?=(?({$atom *} {$cell *}) ref) sut sint)
{$face *} (face p.sut dext(sut q.sut)) {$face *} (face p.sut dext(sut q.sut))
{$fork *} (frog (turn (~(tap in p.sut)) |=(span dext(sut +<)))) {$fork *} (fork (turn (~(tap in p.sut)) |=(span dext(sut +<))))
{$frog *} (frog (turn p.sut |=(span dext(sut +<))))
{$hold *} ?< (~(has in bix) [sut ref]) {$hold *} ?< (~(has in bix) [sut ref])
dext(sut repo, bix (~(put in bix) [sut ref])) dext(sut repo, bix (~(put in bix) [sut ref]))
$noun dext(sut repo) $noun dext(sut repo)
@ -7900,9 +7869,6 @@
|- ^- span |- ^- span
?~ yed sut ?~ yed sut
$(yed t.yed, sut dext(ref i.yed)) $(yed t.yed, sut dext(ref i.yed))
{$frog *} |- ^- span
?~ p.ref sut
$(p.ref t.p.ref, sut dext(ref i.p.ref))
{$hold *} dext(ref repo(sut ref)) {$hold *} dext(ref repo(sut ref))
== ==
-- --
@ -8046,7 +8012,7 @@
?> =(p.p.hax p.p.yor) ?> =(p.p.hax p.p.yor)
:+ %& p.p.hax :+ %& p.p.hax
?: &(?=($& -.q.p.hax) ?=($& -.q.p.yor)) ?: &(?=($& -.q.p.hax) ?=($& -.q.p.yor))
[%& (frog p.q.p.hax p.q.p.yor ~)] [%& (fork p.q.p.hax p.q.p.yor ~)]
?> &(?=($| -.q.p.hax) ?=($| -.q.p.yor)) ?> &(?=($| -.q.p.hax) ?=($| -.q.p.yor))
?> =(p.q.p.hax p.q.p.yor) ?> =(p.q.p.hax p.q.p.yor)
[%| p.q.p.hax (~(uni by q.q.p.hax) q.q.p.yor)] [%| p.q.p.hax (~(uni by q.q.p.hax) q.q.p.yor)]
@ -8109,17 +8075,6 @@
|- ^- pony |- ^- pony
?~ t.wiz i.wiz ?~ t.wiz i.wiz
(twin i.wiz $(wiz t.wiz)) (twin i.wiz $(wiz t.wiz))
::
{$frog *}
=+ ^= wiz |- ^- (list pony)
?~ p.ref ~
=+ mor=$(p.ref t.p.ref)
?: (~(has in gil) i.p.ref) mor
[^$(ref i.p.ref) mor]
?~ wiz [%| %& p.heg]
|- ^- pony
?~ t.wiz i.wiz
(twin i.wiz $(wiz t.wiz))
:: ::
{$hold *} {$hold *}
?: (~(has in gil) ref) ?: (~(has in gil) ref)
@ -8134,7 +8089,7 @@
^- span ^- span
?: ?=({{* {$elm $~ $1}} $~} hag) ?: ?=({{* {$elm $~ $1}} $~} hag)
p.i.hag p.i.hag
%- frog %- fork
%+ turn %+ turn
hag.$ hag.$
|= {p/span q/foot} |= {p/span q/foot}
@ -8179,8 +8134,6 @@
{$fork *} =+ yed=(~(tap in p.sut)) {$fork *} =+ yed=(~(tap in p.sut))
|- ^- nock |- ^- nock
?~(yed [%1 1] (flor ^$(sut i.yed) $(yed t.yed))) ?~(yed [%1 1] (flor ^$(sut i.yed) $(yed t.yed)))
{$frog *} |- ^- nock
?~(p.sut [%1 1] (flor ^$(sut i.p.sut) $(p.sut t.p.sut)))
{$hold *} {$hold *}
?: (~(has in vot) sut) ?: (~(has in vot) sut)
[%0 0] [%0 0]
@ -8217,8 +8170,7 @@
:: ::
{$core *} $(sut repo) {$core *} $(sut repo)
{$face *} (face p.sut $(sut q.sut)) {$face *} (face p.sut $(sut q.sut))
{$fork *} (frog (turn (~(tap in p.sut)) |=(span ^$(sut +<)))) {$fork *} (fork (turn (~(tap in p.sut)) |=(span ^$(sut +<))))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$hold *} {$hold *}
?: (~(has in bix) [sut ref]) ?: (~(has in bix) [sut ref])
~|(%fuse-loop !!) ~|(%fuse-loop !!)
@ -8341,7 +8293,7 @@
?:(=(%void wux) [%1 0] q.nor) ?:(=(%void wux) [%1 0] q.nor)
=+ hiq=$(sut fex, gen q.gen) =+ hiq=$(sut fex, gen q.gen)
=+ ran=$(sut wux, gen r.gen) =+ ran=$(sut wux, gen r.gen)
[(frog p.hiq p.ran ~) (cond duy q.hiq q.ran)] [(fork p.hiq p.ran ~) (cond duy q.hiq q.ran)]
:: ::
{$wtts *} {$wtts *}
:- (nice bool) :- (nice bool)
@ -8406,7 +8358,6 @@
{$core *} $(sut p.sut) {$core *} $(sut p.sut)
{$face *} $(sut q.sut) {$face *} $(sut q.sut)
{$fork *} (lien (~(tap in p.sut)) |=(span ^$(sut +<))) {$fork *} (lien (~(tap in p.sut)) |=(span ^$(sut +<)))
{$frog *} (lien p.sut |=(span ^$(sut +<)))
{$hold *} |((~(has in gil) sut) $(gil (~(put in gil) sut), sut repo)) {$hold *} |((~(has in gil) sut) $(gil (~(put in gil) sut), sut repo))
$noun | $noun |
$void & $void &
@ -8484,7 +8435,7 @@
?: =(%void q.wux) ?: =(%void q.wux)
~|(%mull-bonk-c !!) ~|(%mull-bonk-c !!)
$(sut p.wux, dox q.wux, gen r.gen) $(sut p.wux, dox q.wux, gen r.gen)
[(nice (frog p.hiq p.ran ~)) (frog q.hiq q.ran ~)] [(nice (fork p.hiq p.ran ~)) (fork q.hiq q.ran ~)]
:: ::
{$wtts *} {$wtts *}
=+ nob=~(bunt al %herb p.gen) =+ nob=~(bunt al %herb p.gen)
@ -8630,8 +8581,6 @@
{$face *} dext(sut q.sut) {$face *} dext(sut q.sut)
{$fork *} ?. ?=(?({$atom *} $noun {$cell *} {$core *}) ref) sint {$fork *} ?. ?=(?({$atom *} $noun {$cell *} {$core *}) ref) sint
(lien (~(tap in p.sut)) |=(span dext(tel |, sut +<))) (lien (~(tap in p.sut)) |=(span dext(tel |, sut +<)))
{$frog *} ?. ?=(?({$atom *} $noun {$cell *} {$core *}) ref) sint
(lien p.sut |=(span dext(tel |, sut +<)))
{$hold *} ?: (~(has in seg) sut) | {$hold *} ?: (~(has in seg) sut) |
?: (~(has in gil) [sut ref]) & ?: (~(has in gil) [sut ref]) &
%= dext %= dext
@ -8651,7 +8600,6 @@
{$core *} dext(ref repo(sut ref)) {$core *} dext(ref repo(sut ref))
{$face *} dext(ref q.ref) {$face *} dext(ref q.ref)
{$fork *} (levy (~(tap in p.ref)) |=(span sint(ref +<))) {$fork *} (levy (~(tap in p.ref)) |=(span sint(ref +<)))
{$frog *} (levy p.ref |=(span sint(ref +<)))
{$hold *} ?: (~(has in reg) ref) & {$hold *} ?: (~(has in reg) ref) &
?: (~(has in gil) [sut ref]) & ?: (~(has in gil) [sut ref]) &
%= dext %= dext
@ -8696,8 +8644,7 @@
?.(con.pec %noun ^$(sut p.sut, axe 3)) ?.(con.pec %noun ^$(sut p.sut, axe 3))
== ==
:: ::
{$fork *} (frog (turn (~(tap in p.sut)) |=(span ^$(sut +<)))) {$fork *} (fork (turn (~(tap in p.sut)) |=(span ^$(sut +<))))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$hold *} {$hold *}
?: (~(has in gil) sut) ?: (~(has in gil) sut)
%void %void
@ -8740,7 +8687,7 @@
{$tsgr *} $(gen q.gen, sut $(gen p.gen)) {$tsgr *} $(gen q.gen, sut $(gen p.gen))
{$tstr *} $(gen r.gen, sut (busk p.gen q.gen)) {$tstr *} $(gen r.gen, sut (busk p.gen q.gen))
{$wtcl *} =+ [fex=(gain p.gen) wux=(lose p.gen)] {$wtcl *} =+ [fex=(gain p.gen) wux=(lose p.gen)]
%- frog :~ %- fork :~
?:(=(%void fex) %void $(sut fex, gen q.gen)) ?:(=(%void fex) %void $(sut fex, gen q.gen))
?:(=(%void wux) %void $(sut wux, gen r.gen)) ?:(=(%void wux) %void $(sut wux, gen r.gen))
== ==
@ -8764,7 +8711,7 @@
{$core *} [%cell %noun p.sut] {$core *} [%cell %noun p.sut]
{$face *} q.sut {$face *} q.sut
{$hold *} (rest [[p.sut q.sut] ~]) {$hold *} (rest [[p.sut q.sut] ~])
$noun (frog [%atom %$ ~] [%cell %noun %noun] ~) $noun (fork [%atom %$ ~] [%cell %noun %noun] ~)
* ~|(%repo-fltt !!) * ~|(%repo-fltt !!)
== ==
:: ::
@ -8775,7 +8722,7 @@
?: (lien leg |=({p/span q/twig} (~(has in fan) [p q]))) ?: (lien leg |=({p/span q/twig} (~(has in fan) [p q])))
~|(%rest-loop !!) ~|(%rest-loop !!)
=> .(fan (~(gas in fan) leg)) => .(fan (~(gas in fan) leg))
%- frog %- fork
%- %~ tap in %- %~ tap in
%- ~(gas in *(set span)) %- ~(gas in *(set span))
(turn leg |=({p/span q/twig} (play(sut p) q))) (turn leg |=({p/span q/twig} (play(sut p) q)))
@ -8810,8 +8757,7 @@
|- ^- span |- ^- span
?+ sut ^$(vit t.vit) ?+ sut ^$(vit t.vit)
{$face *} (face p.sut ^$(vit t.vit, sut q.sut)) {$face *} (face p.sut ^$(vit t.vit, sut q.sut))
{$fork *} (frog (turn (~(tap in p.sut)) |=(span ^$(sut +<)))) {$fork *} (fork (turn (~(tap in p.sut)) |=(span ^$(sut +<))))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$hold *} $(sut repo) {$hold *} $(sut repo)
== ==
=+ vil=*(set span) =+ vil=*(set span)
@ -8830,8 +8776,7 @@
$(sut repo) $(sut repo)
(core $(sut p.sut, u.i.vit lat) q.sut) (core $(sut p.sut, u.i.vit lat) q.sut)
{$face *} (face p.sut $(sut q.sut)) {$face *} (face p.sut $(sut q.sut))
{$fork *} (frog (turn (~(tap in p.sut)) |=(span ^$(sut +<)))) {$fork *} (fork (turn (~(tap in p.sut)) |=(span ^$(sut +<))))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$hold *} ?: (~(has in vil) sut) {$hold *} ?: (~(has in vil) sut)
%void %void
$(sut repo, vil (~(put in vil) sut)) $(sut repo, vil (~(put in vil) sut))
@ -8871,8 +8816,7 @@
{$cell *} (cell $(sut p.sut) $(sut q.sut)) {$cell *} (cell $(sut p.sut) $(sut q.sut))
{$core *} ?>(|(=(%gold p.q.sut) =(%lead yoz)) sut(p.q yoz)) {$core *} ?>(|(=(%gold p.q.sut) =(%lead yoz)) sut(p.q yoz))
{$face *} (face p.sut $(sut q.sut)) {$face *} (face p.sut $(sut q.sut))
{$fork *} (frog (turn (~(tap in p.sut)) |=(span ^$(sut +<)))) {$fork *} (fork (turn (~(tap in p.sut)) |=(span ^$(sut +<))))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$hold *} $(sut repo) {$hold *} $(sut repo)
== ==
-- --