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

About to move tshx to tstr.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-01-16 00:30:22 -08:00
parent 244ef50e1b
commit 8669bd2023
2 changed files with 13 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ape/dojo.hoon
View File

@ -1,4 +1,4 @@
:: :: :: :: :: ::
:::: /hoon+dojo+app :: :::: :::: /hoon+dojo+app :: ::::
:: :: :: :: :: ::
/? 314 :: arvo kelvin /? 314 :: arvo kelvin

40
arvo/hoon.hoon
View File

@ -300,9 +300,9 @@
{$tsgr p/twig q/twig} :: use p as .. of q {$tsgr p/twig q/twig} :: use p as .. of q
{$tskt p/twig q/twig r/twig s/twig} :: state machine wing {$tskt p/twig q/twig r/twig s/twig} :: state machine wing
{$tsls p/twig q/twig} :: push p on .. of q {$tsls p/twig q/twig} :: push p on .. of q
{$tstr p/term q/wing r/twig} :: make an alias
{$tshx p/term q/twig r/twig} :: make an alias {$tshx p/term q/twig r/twig} :: make an alias
{$tssg p/(list twig)} :: compose twig list {$tssg p/(list twig)} :: compose twig list
{$tstr p/term q/twig r/twig} :: make an alias
:: :::::: conditionals :: :::::: conditionals
{$wtbr p/(list twig)} :: logical OR {$wtbr p/(list twig)} :: logical OR
{$wthp p/wing q/(list (pair twig twig))} :: select case in q {$wthp p/wing q/(list (pair twig twig))} :: select case in q
@ -6706,7 +6706,7 @@
|= gen/twig |= gen/twig
^- twig ^- twig
?- -.tik ?- -.tik
$& ?~(p.tik gen [%tstr u.p.tik q.tik gen]) $& ?~(p.tik gen [%tshx u.p.tik [%wing q.tik] gen])
$| [%tsls ?~(p.tik q.tik [%ktts u.p.tik q.tik]) gen] $| [%tsls ?~(p.tik q.tik [%ktts u.p.tik q.tik]) gen]
== ==
:: ::
@ -7779,7 +7779,6 @@
%fab fab %fab fab
%burn burn %burn burn
%buss buss %buss buss
%busk busk
%crop crop %crop crop
%duck duck %duck duck
%dune dune %dune dune
@ -7839,12 +7838,6 @@
$void ~ $void ~
== ==
:: ::
++ busk
~/ %busk
|= {cog/term hyp/wing}
^- span
(face [[[cog hyp] ~ ~] ~ ~] sut)
::
++ buss ++ buss
~/ %buss ~/ %buss
|= {cog/term gen/twig} |= {cog/term gen/twig}
@ -8138,27 +8131,29 @@
?:(=(u.q.heg p.ref) here(ref q.ref) lose) ?:(=(u.q.heg p.ref) here(ref q.ref) lose)
=< main =< main
|% |%
++ done here(ref q.ref) ++ fear $(ref q.ref, lon [~ lon])
++ main ++ main
^- pony ^- pony
=% tyr/(unit (unit tart)) (~(get by p.p.ref) u.q.heg) =% tyr/(unit (unit tart)) (~(get by p.p.ref) u.q.heg)
?~ tyr next ?~ tyr
?~ u.tyr skip next
?. =(0 p.heg) next(p.heg (dec p.heg)) ?~ u.tyr
fear(p.heg +(p.heg))
?. =(0 p.heg)
next(p.heg (dec p.heg))
?- -.u.u.tyr ?- -.u.u.tyr
$& [%& (weld p.p.u.u.tyr `vein`[~ `axe lon]) q.p.u.u.tyr] $& [%& (weld p.p.u.u.tyr `vein`[~ `axe lon]) q.p.u.u.tyr]
$| [%| %| p.p.u.u.tyr (comb [%0 axe] q.p.u.u.tyr)] $| [%| %| p.p.u.u.tyr (comb [%0 axe] q.p.u.u.tyr)]
== ==
++ next ++ next
|- ^- pony |- ^- pony
?~ q.p.ref done ?~ q.p.ref
^$(ref q.ref, lon [~ lon])
=+ fid=^$(ref p.i.q.p.ref, lon ~, axe 1) =+ fid=^$(ref p.i.q.p.ref, lon ~, axe 1)
?: ?=({$| $& *} fid) ?: ?=({$| $& *} fid)
$(q.p.ref t.q.p.ref, p.heg p.p.fid) $(q.p.ref t.q.p.ref, p.heg p.p.fid)
=+ vat=(fine (ride fid) ~) =+ vat=(fine (ride fid) ~)
[%| %| p.vat (comb q.vat (comb [%0 axe] q.i.q.p.ref))] [%| %| p.vat (comb q.vat (comb [%0 axe] q.i.q.p.ref))]
::
++ skip $(ref q.ref, p.heg +(p.heg))
-- --
:: ::
{$fork *} {$fork *}
@ -8388,9 +8383,6 @@
=+ fid=$(gen p.gen, gol %noun) =+ fid=$(gen p.gen, gol %noun)
=+ dov=$(sut p.fid, gen q.gen) =+ dov=$(sut p.fid, gen q.gen)
[p.dov (comb q.fid q.dov)] [p.dov (comb q.fid q.dov)]
::
{$tstr *}
$(gen r.gen, sut (busk p.gen q.gen))
:: ::
{$tshx *} {$tshx *}
$(gen r.gen, sut (buss p.gen q.gen)) $(gen r.gen, sut (buss p.gen q.gen))
@ -8524,13 +8516,6 @@
{$tsgr *} {$tsgr *}
=+ lem=$(gen p.gen, gol %noun) =+ lem=$(gen p.gen, gol %noun)
$(gen q.gen, sut p.lem, dox q.lem) $(gen q.gen, sut p.lem, dox q.lem)
::
{$tstr *}
%= $
gen r.gen
sut (busk p.gen q.gen)
dox (busk(sut dox) p.gen q.gen)
==
:: ::
{$tshx *} {$tshx *}
%= $ %= $
@ -8807,7 +8792,6 @@
{$sgzp *} ~_(duck(sut ^$(gen p.gen)) $(gen q.gen)) {$sgzp *} ~_(duck(sut ^$(gen p.gen)) $(gen q.gen))
{$sggr *} $(gen q.gen) {$sggr *} $(gen q.gen)
{$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))
{$tshx *} $(gen r.gen, sut (buss p.gen q.gen)) {$tshx *} $(gen r.gen, sut (buss p.gen q.gen))
{$wtcl *} =+ [fex=(gain p.gen) wux=(lose p.gen)] {$wtcl *} =+ [fex=(gain p.gen) wux=(lose p.gen)]
%- fork :~ %- fork :~
@ -9649,7 +9633,7 @@
['<' (rune gal %tsgl expb)] ['<' (rune gal %tsgl expb)]
['>' (rune gar %tsgr expb)] ['>' (rune gar %tsgr expb)]
['-' (rune hep %tshp expb)] ['-' (rune hep %tshp expb)]
['*' (rune tar %tstr expj)] ['*' (rune tar %tshx expl)]
['#' (rune hax %tshx expl)] ['#' (rune hax %tshx expl)]
['+' (rune lus %tsls expb)] ['+' (rune lus %tsls expb)]
['~' (rune sig %tssg expi)] ['~' (rune sig %tssg expi)]