ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-11-13 08:38:43 +03:00
Code Issues Packages Projects Releases Wiki Activity

Various fixes and improvements.

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-05-28 01:57:00 -07:00
parent ff310aeca1
commit 907f7ff112
4 changed files with 109 additions and 90 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
arvo/ford.hoon
View File

@ -41,12 +41,6 @@
$% [%comp p=calm q=cage r=twig] :: compile by text $% [%comp p=calm q=cage r=twig] :: compile by text
[%slap p=calm q=[p=vase q=twig] r=vase] :: slap [%slap p=calm q=[p=vase q=twig] r=vase] :: slap
== :: == ::
:: ::
++ plan :: full construction
$: hov=@ud :: hoon version
bek=beak :: load context
kas=silk :: design
== ::
++ task :: problem in progress ++ task :: problem in progress
$: nah=duct :: cause $: nah=duct :: cause
kas=silk :: problem kas=silk :: problem
@ -530,6 +524,7 @@
:: ::
%done !! %done !!
%pass !! %pass !!
%mute !!
%reef (fine cof %noun pit) %reef (fine cof %noun pit)
== ==
:: ::

169
arvo/gall.hoon
View File

@ -1,73 +1,78 @@
!: :: %gall, user-level extension !: :: %gall, user-level applications
!? 164 !? 164
:::: ::::
|= pit=vase |= pit=vase
=> =~ :: preface => =~
|% :: structures |% :::::::::::::::::::::::::::::::::::::::::::::::::::::: structures
++ axle :: all %gall state ++ axle :: all %gall state
$: ven=%0 :: state version $: ven=%0 :: state version
pol=(map ship mast) :: apps by ship pol=(map ship mast) :: apps by ship
== :: == ::
++ bone ,@ud :: opaque duct ++ bone ,@ud :: opaque duct
++ cork ?(%u %v %w %x %y %z) :: viewport
++ gift :: out result <-$ ++ gift :: out result <-$
$% [%back p=?] :: ack good/bad $% [%back p=?] :: %mess ack good/bad
[%barn p=(rapt (disk))] :: %v report [%bock p=path q=?] :: %show on/off
[%crud p=(list tank)] :: error notification [%crud p=(list tank)] :: error
[%dash p=(rapt null)] :: %u report [%meta p=(hypo curd)] :: application gift
[%dish p=(rapt (disk))] :: %z report == ::
[%diff p=(rapt (unit (disk)))] :: %w report
[%file p=(rapt (disk))] :: %x report
[%fold p=(rapt arch)] :: %y report
[%ruse p=gift] :: user-wrapped
== ::
++ hasp ,[p=ship q=term] :: app identity ++ hasp ,[p=ship q=term] :: app identity
++ kiss :: in request ->$ ++ kiss :: in request ->$
$% [%nuke ~] :: $% [%mess p=hasp q=(disk)] :: urbit message
[%mess p=hasp q=(disk)] :: urbit message [%nuke ~] :: reset this duct
[%puke p=(list tank) q=kiss] :: inbound error [%puke p=(list tank) q=kiss] :: inbound error
[%user p=(unit chop) q=kiss] :: restriction [%user p=(unit chop) q=kiss] :: restriction
[%show p=hasp q=pipe] :: subscription [%show p=hasp q=path r=(unit plan)] :: subscription
[%soft p=*] :: soft kiss [%soft p=*] :: soft kiss
== :: == ::
++ knob :: pending action ++ knob :: pending action
$% [%boot ~] :: boot/reboot $% [%boot ~] :: boot/reboot
[%mess p=(disk)] :: message [%crud q=(list tank)] :: error
[%puke p=(each (disk) pipe) q=(list tank)] :: error [%mess p=(disk)] :: message
[%show p=(unit pipe)] :: subscription [%show p=path q=(unit plan)] :: subscription
[%take p=path q=vase] :: user result [%take p=path q=vase] :: user result
[%boot ~] :: reboot [%boot ~] :: reboot
== :: == ::
:: ::
++ mast :: apps by ship ++ mast :: apps by ship
$: bum=(map ,@ta seat) :: apps by name $: bum=(map ,@ta seat) :: apps by name
== :: == ::
++ move ,[p=duct q=(mold note gift)] :: typed move ++ move ,[p=duct q=(mold note gift)] :: typed move
++ note curd :: out request $-> ++ note curd :: out request $->
++ pipe (pair (pair cork wind) path) :: simple query ++ plan (trel view (pair ,@da (unit ,@dr)) path) :: subscription
++ rapt |*(a=$+(* *) (qual path path ,@da a)) :: versioned result
++ scar :: opaque duct system
$: p=@ud :: bone sequence
q=(map duct ,[p=bone q=(unit chop)]) :: by duct
r=(map bone duct) :: by bone
== ::
++ seat :: the living app ++ seat :: the living app
$: huv=(unit vase) :: application vase $: huv=(unit vase) :: application vase
qic=(unit toil) :: project qic=(unit toil) :: project
vey=(qeu toil) :: pending calls vey=(qeu toil) :: pending calls
tik=@ud :: state tick tik=@ud :: state tick
$= zam :: opaque duct system zam=scar :: opaque ducts
$: p=@ud :: sequence == ::
q=(map duct ,[p=bone q=(unit chop)]) :: by duct
r=(map bone duct) :: by bone
== == ::
++ sign :: in result $-< ++ sign :: in result $-<
$% [%made p=(each beet (list tank))] :: computed result $% [%made p=(each beet (list tank))] :: computed result
[%ruse p=curd] :: [%ruse p=curd] ::
== :: == ::
++ suit :: application gift
$% [%back p=?] :: %mess ack good/bad
[%bock p=path q=?] :: %show on/off
[%boom ~] :: reset all ducts
[%bust ~] :: reset this duct
[%barn p=(rapt (disk))] :: %v report
[%crud p=(list tank)] :: error notification
[%dash p=(rapt null)] :: %u report
[%dish p=(rapt (disk))] :: %z report
[%diff p=(rapt (unit (disk)))] :: %w report
[%file p=(rapt (disk))] :: %x report
[%fold p=(rapt arch)] :: %y report
[%rasp p=(disk)] :: response message
== ::
++ toil (pair duct knob) :: work in progress ++ toil (pair duct knob) :: work in progress
++ wind :: request/subscribe ++ view ?(%u %v %w %x %y %z) :: view mode
$% [%da p=@da q=(unit ,@dr)] :: timeline -- ::::::::::::::::::::::::::::::::::::::::::::::::::::::
[%ud p=@ud q=(unit ,@ud)] :: sequence |% :::::::::::::::::::::::::::::::::::::::::::::::::::::: functions
[%tas p=@tas] :: label
== ::
++ rapt |*(a=$+(* *) (pair ,@da a)) :: versioned result
-- ::
|% :: functions
++ byby :: double bind ++ byby :: double bind
|* [a=(unit (unit)) b=$+(* *)] |* [a=(unit (unit)) b=$+(* *)]
?~ a ~ ?~ a ~
@ -144,7 +149,7 @@
== ==
|- ^- $: _way |- ^- $: _way
hap=hasp hap=hasp
act=(each (disk) pipe) act=(each (disk) plan)
== ==
?- -.q.hil ?- -.q.hil
%mess [way p.q.hil %& q.q.hil] %mess [way p.q.hil %& q.q.hil]
@ -268,9 +273,9 @@
:: ::
++ beef :: read in ++ beef :: read in
|= [use=(unit (set monk)) lok=case pax=path] |= [use=(unit (set monk)) lok=case pax=path]
^- view ^- lens
?. =([%da now] lok) *view ?. =([%da now] lok) *lens
(~(lens au use) pax) (~(show au use) pax)
:: ::
++ boar :: write forward ++ boar :: write forward
|= $: hen=duct :: cause |= $: hen=duct :: cause
@ -288,10 +293,10 @@
++ au :: read ++ au :: read
|_ use=(unit (set monk)) :: read permission |_ use=(unit (set monk)) :: read permission
++ abet ^abet :: resolve ++ abet ^abet :: resolve
++ lens :: view ++ show :: view
|= pax=path |= pax=path
^- view ^- lens
*view !!
:: ::
++ bo ++ bo
|_ $: hen=duct :: system cause |_ $: hen=duct :: system cause
@ -315,6 +320,11 @@
say (rite q.orf) say (rite q.orf)
== ==
:: ::
++ conf :: configured core
|= vax=vase
:+ %mute (core vax)
:~ [[%$ 6]~ !>([[our app] now eny])
==
++ core |=(vax=vase (cove %core vax)) :: core as silk ++ core |=(vax=vase (cove %core vax)) :: core as silk
++ cove :: cage as silk ++ cove :: cage as silk
|= cay=cage |= cay=cage
@ -338,6 +348,11 @@
%_(+> mow [[hen %give gip] mow]) %_(+> mow [[hen %give gip] mow])
:: ::
++ gone %_(+> qic.sat ~) :: done work ++ gone %_(+> qic.sat ~) :: done work
++ game :: invoke core
|= [[pan=term arm=term] vax=vase sam=vase]
%+ ford pan
[%call (gate arm (conf vax)) (cove %$ sam)]
::
++ home :: load application ++ home :: load application
^- silk ^- silk
:+ %boil %core :+ %boil %core
@ -372,6 +387,10 @@
& (morn p.p.q.hil) & (morn p.p.q.hil)
| (mort p.p.q.hil) | (mort p.p.q.hil)
== ==
::
%mess
?> ?=([~ * %mess *] qic.sat)
!!
== ==
:: ::
++ morn :: successful boot ++ morn :: successful boot
@ -387,14 +406,14 @@
++ nile [%done ~ [%$ [%atom %n] ~]] :: null silk ++ nile [%done ~ [%$ [%atom %n] ~]] :: null silk
++ puke :: propagate error ++ puke :: propagate error
|= $: tan=(list tank) |= $: tan=(list tank)
act=(each (disk) pipe) act=(each (disk) plan)
== ==
%_(+> vey.sat (~(put to vey.sat) hen %puke act tan)) %_(+> vey.sat (~(put to vey.sat) hen %puke act tan))
:: ::
++ show :: subscribe ++ show :: subscribe
|= pyp=pipe :: subscription |= pal=plan :: subscription
^+ +> ^+ +>
%_(+> vey.sat (~(put to vey.sat) hen %show pyp)) %_(+> vey.sat (~(put to vey.sat) hen %show pal))
:: ::
++ work :: eat queue ++ work :: eat queue
^+ . ^+ .
@ -418,19 +437,23 @@
:: ::
%mess %mess
~& %yawn-mess ~& %yawn-mess
%+ ford %mess
^- silk
?~ huv.sat ?~ huv.sat
~& [%mess-none our app] ~& [%mess-none our app]
gone:(give %back |) gone:(give %back |)
:+ %call %^ game [%mess %poke] u.huv.sat
(gate %poke u.huv.sat)
%+ cove %$
:(slop [[%atom %ud] ost] !>((ride use say)) q.p.kon) :(slop [[%atom %ud] ost] !>((ride use say)) q.p.kon)
!!
:: ::
%show !! %show
%take !! ~& %yawn-show
?~ huv.sat
~& [%show-none our app]
gone:(give %bock p.kon |)
:+ %call
(gate %peek u.huv.sat)
%+ cove %$
:(slop [[%atom %ud] ost] !>(use) !>(+.kon))
::
%
== ==
-- --
-- --

18
arvo/hoon.hoon
View File

@ -8819,6 +8819,15 @@
++ hilt ?(0 1 2) :: lead iron gold ++ hilt ?(0 1 2) :: lead iron gold
++ hypo |*(a=$+(* *) (pair type a)) :: type associated ++ hypo |*(a=$+(* *) (pair type a)) :: type associated
++ khan ,[p=@tas q=path] :: foreign identity ++ khan ,[p=@tas q=path] :: foreign identity
++ lens :: observation core
$_ ^? ::
|% ++ u *(unit (unit ,~)) :: existence
++ v *(unit (unit (disk))) :: full history
++ w *(unit (unit (unit (disk)))) :: latest diff
++ x *(unit (unit (disk))) :: data at path
++ y *(unit (unit arch)) :: directory
++ z *(unit (unit (disk))) :: current subtree
-- ::
++ logo ,@tas :: content type ++ logo ,@tas :: content type
++ mark ,@uvH :: type by core hash ++ mark ,@uvH :: type by core hash
++ mill (each vase milt) :: vase/metavase ++ mill (each vase milt) :: vase/metavase
@ -8838,15 +8847,6 @@
++ pane (list ,[p=@tas q=vase]) :: kernel modules ++ pane (list ,[p=@tas q=vase]) :: kernel modules
++ pone (list ,[p=@tas q=vise]) :: kernel modules, old ++ pone (list ,[p=@tas q=vise]) :: kernel modules, old
++ ship ,@p :: network identity ++ ship ,@p :: network identity
++ view :: observation core
$_ ^? ::
|% ++ u *(unit (unit ,~)) :: existence
++ v *(unit (unit (disk))) :: full history
++ w *(unit (unit (unit (disk)))) :: latest diff
++ x *(unit (unit (disk))) :: data at path
++ y *(unit (unit arch)) :: directory
++ z *(unit (unit (disk))) :: current subtree
-- ::
++ wire path :: event pretext ++ wire path :: event pretext
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bE, Arvo core :: :: section 3bE, Arvo core ::

5
arvo/zuse.hoon
View File

@ -2463,14 +2463,15 @@
[%call p=silk q=silk] :: slam [%call p=silk q=silk] :: slam
[%cast p=logo q=beak r=silk] :: translate [%cast p=logo q=beak r=silk] :: translate
[%done p=(set beam) q=cage] :: literal [%done p=(set beam) q=cage] :: literal
[%mute p=silk q=(list (pair wing silk))] :: mutant
[%pass p=silk q=sill] :: twig construction [%pass p=silk q=sill] :: twig construction
[%reef ~] :: kernel reef [%reef ~] :: kernel reef
== :: == ::
++ sill :: code pointer ++ sill :: code construction
$% [%0 p=@] :: direct text $% [%0 p=@] :: direct text
[%1 p=twig] :: direct twig [%1 p=twig] :: direct twig
[%2 p=beam] :: beam over %hoon [%2 p=beam] :: beam over %hoon
[%3 p=silk] :: general construction [%3 p=silk] :: build a %hoon
== :: == ::
++ skit ,[p=(unit ,@ta) q=(list ,@ta) r=(list ,@ta)] :: tracking path ++ skit ,[p=(unit ,@ta) q=(list ,@ta) r=(list ,@ta)] :: tracking path
++ sink :: incoming per server ++ sink :: incoming per server