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

Some change.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-01-17 20:55:11 -08:00
parent d96d50199e
commit b445cf3c88
1 changed files with 26 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
arvo/hoon.hoon
View File

@ -119,6 +119,7 @@
?~ a ~ :: ?~ a ~ ::
?@ b ~ :: ?@ b ~ ::
[i=(-.a -.b) t=$(a +.a, b +.b)] :: [i=(-.a -.b) t=$(a +.a, b +.b)] ::
++ onyx (list (pair span foot)) :: arm activation
++ opal :: limb match ++ opal :: limb match
$% {$& p/span} :: leg $% {$& p/span} :: leg
{$| p/axis q/(set {p/span q/foot})} :: arm {$| p/axis q/(set {p/span q/foot})} :: arm
@ -8010,35 +8011,44 @@
++ oc ++ oc
|* $_ ^| :: structures |* $_ ^| :: structures
|% |%
++ borm span :: typestate
++ burk (pair axis borm) :: leg change
++ clow onyx :: type manifest
++ glub palo :: general response ++ glub palo :: general response
++ gleg (pair vein {$& p/span}) :: leg response ++ dink nock :: mint product
++ garm %+ pair vein :: arm response ++ ract (list (pair axis nock)) :: mint manifest
{$| p/axis q/(set (pair span foot))} :: ++ resh |*($+(* *) (pair +< ract)) :: wrap mint manifest
++ dorp (pair span nock) :: result ++ prod |*($+(* *) (pair +< dink)) :: wrap mint product
++ ract (list (pair axis nock)) :: baggage ++ stup head :: unwrap
++ resh |*($+(* *) (pair +< ract)) :: add baggage --
=> |%
++ rath |~(clow `(resh clow)`[+< ~]) :: working clow
++ renk (prod borm) :: general result
++ rowt |~(borm `(resh borm)`[+< ~]) :: working borm
-- --
|* $_ ^| |* $_ ^|
|% :: operations |% :: functions
++ foo %bar ++ halp |~(twig `renk`(mint %noun +<)) :: compile
++ terp |~ {a/span b/wing c/span}
^- burk
(tack(sut a) b c)
-- --
|% |%
++ echo ++ echo
|= {lop/gleg rig/(list (pair wing twig))} |= {rum/borm rig/(list (pair wing twig))}
|- ^- (resh span) |- ^- (resh span)
?~ rig ?~ rig
[p.q.lop ~] [rum ~]
=+ mor=$(rig t.rig) =+ mor=$(rig t.rig)
=+ zil=(mint %noun q.i.rig) =+ zil=(mint %noun q.i.rig)
=+ dar=(tack(sut p.mor) p.i.rig p.zil) =+ dar=(tack(sut p.mor) p.i.rig p.zil)
[q.dar [[p.dar q.zil] q.mor]] [q.dar [[p.dar q.zil] q.mor]]
:: ::
++ ecmo ++ ecmo
|= {lop/garm rig/(list (pair wing twig))} |= {hag/onyx rig/(list (pair wing twig))}
^- (resh span) ^- (resh span)
=+ hag=(~(tap in q.q.lop))
=- [(fire p.-) q.-] =- [(fire p.-) q.-]
|- ^- (resh (list (pair span foot))) |- ^- (resh onyx)
?~ rig ?~ rig
[hag ~] [hag ~]
=+ mor=$(rig t.rig) =+ mor=$(rig t.rig)
@ -8048,14 +8058,14 @@
:: ::
++ ecto ++ ecto
|= {lop/glub rig/(list (pair wing twig))} |= {lop/glub rig/(list (pair wing twig))}
^- dorp ^- (pair span nock)
=. rig (flop rig) :: XX this unbreaks, void order in devulc =. rig (flop rig) :: XX this unbreaks, void order in devulc
=+ axe=(tend p.lop) =+ axe=(tend p.lop)
?: ?=($& -.q.lop) ?: ?=($& -.q.lop)
=- [p.- (hike axe q.-)] =- [p.- (hike axe q.-)]
(echo lop rig) (echo p.q.lop rig)
=- [p.- [%9 p.q.lop (hike axe q.-)]] =- [p.- [%9 p.q.lop (hike axe q.-)]]
(ecmo lop rig) (ecmo (~(tap in q.q.lop)) rig)
-- --
:: ::
++ et ++ et