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

Gall now basically aligned with its own doc.

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-06-17 00:57:24 -07:00
parent 39b72cbb5a
commit 925789ca61
3 changed files with 55 additions and 54 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

71
arvo/gall.hoon
View File

@ -69,7 +69,7 @@
lat=@da :: last change lat=@da :: last change
orm=(unit ,@da) :: build date orm=(unit ,@da) :: build date
sup=(map bone (pair ship path)) :: subscribers sup=(map bone (pair ship path)) :: subscribers
peq=(map (pair ship path) ,@uvI) :: peeks peq=(map bone ,@uvI) :: peekers
ped=(set (pair ship desk)) :: active depends ped=(set (pair ship desk)) :: active depends
zam=scar :: opaque ducts zam=scar :: opaque ducts
== :: == ::
@ -422,7 +422,7 @@
:+ %boil %core :+ %boil %core
[[our %main [%da now]] app %app ~] [[our %main [%da now]] app %app ~]
:: ::
++ mack :: unpack stateful ++ mack :: apply standard
|= qin=sign |= qin=sign
?> ?=(%made -.qin) ?> ?=(%made -.qin)
^- [(unit (list tank)) _+>] ^- [(unit (list tank)) _+>]
@ -433,7 +433,20 @@
| [`p.p.qin (give %crud %made p.p.qin)] | [`p.p.qin (give %crud %made p.p.qin)]
== ==
:: ::
++ mick :: unpack depends ++ meek :: apply peek
|= qin=sign
^- [(unit cage) _+>]
?> ?=(%made -.qin)
?- -.p.qin
& =+ vax=`vase`q.q.p.p.qin
?. &(?=(^ q.vax) ?=(@ -.q.vax))
[~ (give %crud %peek-lame *(list tank))]
:- `[((hard logo) -.q.vax) (slot 3 vax)]
+>.$
| [~ (give %crud %made p.p.qin)]
==
::
++ mick :: apply w/depends
|= qin=sign |= qin=sign
?> ?=(%made -.qin) ?> ?=(%made -.qin)
^- [(unit (set beam)) _+>] ^- [(unit (set beam)) _+>]
@ -444,16 +457,12 @@
| [~ (give %crud %made p.p.qin)] | [~ (give %crud %made p.p.qin)]
== ==
:: ::
++ mike :: unpack simple ++ murk :: apply park
|= qin=sign |= qin=sign
^- [(unit cage) _+>] ^- [(unit cage) _+>]
?> ?=(%made -.qin) ?> ?=(%made -.qin)
?- -.p.qin ?- -.p.qin
& =+ vax=`vase`q.q.p.p.qin & [`q.p.p.qin +>.$]
?. &(?=(^ q.vax) ?=(@ -.q.vax))
[~ (give %crud %mike *(list tank))]
:- `[((hard logo) -.q.vax) (slot 3 vax)]
+>.$
| [~ (give %crud %made p.p.qin)] | [~ (give %crud %made p.p.qin)]
== ==
:: ::
@ -462,41 +471,41 @@
hin=(hypo sign) :: typed event hin=(hypo sign) :: typed event
== ==
^+ +> ^+ +>
~& [%more-pax pax]
?+ -.pax !! ?+ -.pax !!
%s :: core operation %s :: core operation
?> ?& ?=([@ @ *] t.pax) ?> ?& ?=([@ *] t.pax)
!=(~ qic.sat) !=(~ qic.sat)
=(`[hen pax] onz.sat) =(`[hen pax] onz.sat)
== ==
=+ you=(need (slaw %p i.t.t.pax))
=: onz.sat ~ =: onz.sat ~
qic.sat ~ qic.sat ~
== ==
?+ i.t.pax !! ?+ i.t.pax !!
%park %park
=^ gyd +>.$ (mike q.hin) =^ gyd +>.$ (murk q.hin)
?~ gyd ?~ gyd
~& %park-lost
+>.$ +>.$
~& %park-load (quen %load u.gyd)
(quem %load u.gyd)
:: ::
%peek %peek
=^ gyd +>.$ (mike q.hin) ?> ?=([@ *] t.t.pax)
=+ you=(need (slaw %p i.t.t.pax))
=^ gyd +>.$ (meek q.hin)
?~ gyd ?~ gyd
(give [%dumb [tik.sat lat.sat]]) (give [%dumb [tik.sat lat.sat]])
=+ kee=[you t.t.t.pax] =+ kee=[you t.t.t.pax]
=+ ash=(sham q.q.u.gyd) =+ ash=(sham q.q.u.gyd)
?: =(`ash (~(get by peq.sat) kee)) ?: =(`ash (~(get by peq.sat) ost))
+>.$ +>.$
%- %= give %- %= give
peq.sat (~(put by peq.sat) kee ash) peq.sat (~(put by peq.sat) ost ash)
sup.sat (~(put by sup.sat) ost kee) sup.sat (~(put by sup.sat) ost kee)
== ==
[%rust [tik.sat lat.sat] u.gyd] [%rust [tik.sat lat.sat] u.gyd]
:: ::
%peer %peer
?> ?=([@ *] t.t.pax)
=+ you=(need (slaw %p i.t.t.pax))
=^ gud +>.$ (mack q.hin) =^ gud +>.$ (mack q.hin)
?^ gud ?^ gud
(give [%dumb [tik.sat lat.sat]]) (give [%dumb [tik.sat lat.sat]])
@ -552,8 +561,11 @@
=+ pex=(~(tap by peq.sat) ~) =+ pex=(~(tap by peq.sat) ~)
|- ^+ +>.^$ |- ^+ +>.^$
?~ pex +>.^$ ?~ pex +>.^$
~& [%morn-peek p.i.pex] %= $
$(pex t.pex, +>.^$ (quem [%show p.i.pex])) pex t.pex
+>.^$ %- quem(hen (need (~(get by r.zam.sat) p.i.pex)))
[%show (need (~(get by sup.sat) p.i.pex))]
==
:: ::
++ mort :: failed boot ++ mort :: failed boot
|= tan=(list tank) |= tan=(list tank)
@ -576,6 +588,12 @@
== ==
+>.$(vey.sat (~(put to vey.sat) hen kon)) +>.$(vey.sat (~(put to vey.sat) hen kon))
:: ::
++ quen :: push on front
|= kon=knob
^+ +>
=+ yov=(~(tap by vey.sat) ~) :: XX ++pun
+>.$(vey.sat (~(gas to *(qeu toil)) `_yov`[[hen kon] yov]))
::
++ said ++ said
|= vud=vase |= vud=vase
|- ^- (list move) |- ^- (list move)
@ -652,7 +670,7 @@
++ yawn :: start event ++ yawn :: start event
|= kon=knob |= kon=knob
^+ +> ^+ +>
~& [%gall-yawn ost -.kon] :: ~& [%gall-yawn ost -.kon]
=. qic.sat `[hen kon] =. qic.sat `[hen kon]
?- -.kon ?- -.kon
%boot %boot
@ -672,8 +690,10 @@
%+ ford /s/prep %+ ford /s/prep
?. (warm(huv.sat `hom) %prep) ?. (warm(huv.sat `hom) %prep)
:- nile :- nile
?: =(~ q.old)
(core hom)
:+ %mute `silk`(core hom) :+ %mute `silk`(core hom)
:~ [[%$ 12]~ (cove p.kon)] :~ [[%$ 13]~ (cave (slot 3 old))]
== ==
[%call (harm %prep (conf (core hom))) [nile (cave old)]] [%call (harm %prep (conf (core hom))) [nile (cave old)]]
:: ::
@ -694,12 +714,13 @@
:(slop [[%atom %ud] ost] [[%atom %p] p.kon] q.q.kon) :(slop [[%atom %ud] ost] [[%atom %p] p.kon] q.q.kon)
:: ::
%show %show
=+ sam=!>([ost p.kon q.kon])
?: (warm %peer) ?: (warm %peer)
=+ sam=!>([ost p.kon q.kon])
?> ?=(^ huv.sat) ?> ?=(^ huv.sat)
=. peq.sat (~(del by peq.sat) p.kon q.kon) =. peq.sat (~(del by peq.sat) ost)
(yawl [%peer (scot %p p.kon) q.kon] u.huv.sat sam) (yawl [%peer (scot %p p.kon) q.kon] u.huv.sat sam)
?: (warm %peek) ?: (warm %peek)
=+ sam=!>([p.kon q.kon])
?> ?=(^ huv.sat) ?> ?=(^ huv.sat)
(yawl [%peek (scot %p p.kon) q.kon] u.huv.sat sam) (yawl [%peek (scot %p p.kon) q.kon] u.huv.sat sam)
(give(qic.sat ~) %dumb [tik.sat lat.sat]) (give(qic.sat ~) %dumb [tik.sat lat.sat])

2
arvo/hoon.hoon
View File

@ -1984,7 +1984,7 @@
=+ b=get(+< l.a) =+ b=get(+< l.a)
bal(+< ^+(a [p.b q.b r.a])) bal(+< ^+(a [p.b q.b r.a]))
:: ::
+- put :: insert new head +- put :: insert new tail
|* b=* |* b=*
|- ^+ a |- ^+ a
?~ a ?~ a

32
main/app/foobug/core.hoon
View File

@ -1,38 +1,18 @@
!: !:
=> |%
++ foobug-state
$% [%0 bug=@ud]
==
--
|= * |= *
|_ [hid=hide foo=foobug-state] |_ [hid=hide vat=~]
++ prep ++ peek
|= old=(unit foobug-state) |= [you=ship pax=path]
?~ old +> ~& %foobug-peek
~& [%prep-hid hid]
+>(foo u.old)
::
++ save
^- foobug-state
foo(bug +(bug.foo))
::
++ peer
|= [ost=bone you=ship pax=path]
~& [%peer [ost you pax]]
:_ +> :_ ~
:+ ost %give
:- %rust
:- %html :- %html
%- crip %- crip
%+ xmlt | %+ xmlt |
:_ ~ :_ ~
^- manx ^- manx
;html ;html
;head ;title: Foobug!
;title: Hi, everyone!
==
;body ;body
;p: Hello, world (instance {<bug.foo>}) ;p: Dog, world.
== ==
== ==
-- --