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

Double verified step.

Browse Source
This commit is contained in:
C. Guy Yarvin 2013-12-14 23:07:57 -08:00
parent 138f886cc0
commit cd22d4e185
3 changed files with 271 additions and 270 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
arvo/batz.hoon
View File

@ -41,11 +41,11 @@
$: sot=vase :: 'slot'
== ::
$= gen ::
$: yom=hoon :: '*(set ,@tas)'
zim=hoon :: '*(map ,@tas ,*)'
$: yom=twig :: '*(set ,@tas)'
zim=twig :: '*(map ,@tas ,*)'
== ::
$= typ :: chestnut types
$: gee=type :: '*hoon'
$: gee=type :: '*twig'
liz=type :: '*(list ,@t)'
pah=type :: '*path'
noq=type :: '*note'
@ -63,7 +63,7 @@
sot.vax (slap nib (vice 'slot'))
yom.gen (vice '*(set ,@tas)')
zim.gen (vice '*(map ,@tas ,*)')
gee.typ (pal (vice '*hoon'))
gee.typ (pal (vice '*twig'))
liz.typ (pal (vice '*(list ,@t)'))
pah.typ (pal (vice '*path'))
noq.typ (pal (vice '*note'))
@ -493,15 +493,15 @@
.(s.orb [%r ~])
::
++ grab :: chase simple path
|= lam=lamb ^- hoon
|= lam=lamb ^- twig
?- -.lam
& =+ tes=(sky [%cx hox %main wen %bin p.lam %hoon ~])
(grad [hox ?^(tes %main cwd) wen %bin p.lam ~])
| p.lam
==
::
++ grad :: path to hoon
|= pax=path ^- hoon
++ grad :: path to twig
|= pax=path ^- twig
[%clsg (turn pax |=(a=@ta [%dtpt %ta a]))]
::
++ gram :: add action
@ -940,9 +940,9 @@
++ lo :: command parsers
|%
++ coax :: parse flags
|= coo=tape ^- hoon
|= coo=tape ^- twig
:+ %cnts [[~ 1] ~]
|- ^- gent
|- ^- tyre
?~ coo ~
:_ $(coo t.coo)
?: &((gte i.coo 'a') (lte i.coo 'z'))
@ -1000,7 +1000,7 @@
;~ pfix tis
;~ pose
%+ cook
|= [a=@tas b=(list hoon)]
|= [a=@tas b=(list twig)]
^- (list lath)
:~ [%1 [%cltr b]]
[%0 %0 [%& %set] ~ [[%clsg [%dtpt %tas a] ~]]]
@ -1122,9 +1122,9 @@
| $(zul t.zul)
==
::
++ fuss :: hoon and hash
++ fuss :: twig and hash
|= [sot=? pax=path]
^- (unit ,[p=@uvI q=hoon])
^- (unit ,[p=@uvI q=twig])
=+ haw=(weld pax /hoon)
=+ arc=((hard arch) .^(%cy haw))
?: &(sot ?=(~ q.arc)) ~

505
arvo/hoon.hoon
View File

File diff suppressed because it is too large Load Diff

12
arvo/zuse.hoon
View File

@ -1563,7 +1563,7 @@
++ coal ,* :: untyped vase
++ code ,@uvI :: symmetric key
++ cone :: reconfiguration
$% [& p=hoon] :: transform
$% [& p=twig] :: transform
[| p=(list ,@tas)] :: alter
== ::
++ chum ,@uvI :: hashed passcode
@ -1697,7 +1697,7 @@
== ::
++ lamb :: short path
$% [& p=@tas] :: auto
[| p=hoon] :: manual
[| p=twig] :: manual
== ::
++ lane :: packet route
$% [%if p=@ud q=@if] :: IP4/public UDP/addr
@ -1708,9 +1708,9 @@
++ lark ,[p=(unit ,@tas) q=lawn] :: parsed command
++ lass ?(%0 %1 %2) :: power increment
++ lath $% :: pipeline stage
[%0 p=lass q=lamb r=(list cone) s=hoon] :: command
[%1 p=hoon] :: generator
[%2 p=hoon] :: filter
[%0 p=lass q=lamb r=(list cone) s=twig] :: command
[%1 p=twig] :: generator
[%2 p=twig] :: filter
== ::
++ lawn (list lath) ::
++ lens ?(%z %y %x %w) :: repository view
@ -1798,7 +1798,7 @@
++ pyre :: cascade stash
$: p=(map ,[p=path q=path r=coal] coal) :: by path
q=(map ,[p=path q=@uvI r=coal] coal) :: by source hash
r=(map ,[p=* q=coal] coal) :: by (soft) hoon
r=(map ,[p=* q=coal] coal) :: by (soft) twig
== ::
++ quay (map ,@t ,@t) :: parsed url query
++ quri :: request-uri