ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-09-21 15:38:59 +03:00
Code Issues Packages Projects Releases Wiki Activity

/!\ READ FULL COMMIT MESSAGE /!\

Browse Source 
The history on the second parent of this commit is not guaranteed to be
useful or bootable. It was created somewhat outside the normal
development process. This commit runs as normal with the corresponding
/!\ commit in the urbit (vere) repository, but its corresponding
bootstrap pill cannot be easily recreated from history.

NB: requires -m to boot.

We apologize for the inconvenience.
This commit is contained in:
Raymond Pasco 2016-12-05 16:15:57 -05:00
commit 820b524511
209 changed files with 48403 additions and 12583 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
app/ask.hoon
View File

@ -2,17 +2,18 @@
:::: /hoon/ask/app
::
/? 310
/+ sole, womb
/+ sole, womb, prey
[. sole]
|%
++ card
$% {$diff $sole-effect sole-effect}
{$poke wire {ship $hood} $womb-invite {cord reference invite}:womb}
{$poke wire {ship $hood} $womb-invite {cord invite}:womb}
==
++ invited ?($new $sent $ignored)
++ email @t
--
!:
::
=, ^gall
|_ $: bow/bowl
adr/(map email {time invited})
sos/(map bone sole-share)
@ -153,7 +154,7 @@
^- card
:^ %poke /invite/(scot %t ask) [(need wom) %hood]
:- %womb-invite
^- {cord reference invite}:womb
^- {cord invite}:womb
=+ inv=(scot %uv (end 7 1 eny.bow))
[inv `&+our.bow [ask 1 0 "You have been invited to Urbit: {(trip inv)}" ""]]
[inv [ask 1 0 "You have been invited to Urbit: {(trip inv)}" ""]]
--

4
app/curl.hoon
View File

@ -2,11 +2,11 @@
:::: /hoon/curl/app
::
/? 310
!:
::
|_ {{^ ^ ost/@ ^} $~}
++ poke |*(a/{mark *} :_(+> [ost %hiss / `~ %wain a]~))
::++ poke-purl |=(a/purl :_(+> [ost %hiss / %wain %purl a]~))
++ poke-tape |=(a/tape (poke %purl (scan a auri:epur)))
++ poke-tape |=(a/tape (poke %purl (scan a auri:urlp)))
++ poke-hiss |=(a/hiss (poke %hiss a))
++ poke-noun poke-hiss
++ sigh-wain |=({* a/wain} ~&(a `+>))

134
app/dojo.hoon
View File

@ -1,16 +1,18 @@
:: :: ::
:::: /hoon/dojo/app :: ::::
:: :: ::
/? 314 :: arvo kelvin
/? 309 :: arvo kelvin
/- sole, lens :: console structures
/+ sole :: console library
[. sole]
=, space:userlib
=, format
:: :: ::
:::: :: ::::
!: :: ::
:: :: ::
=> |% :: external structures
++ house :: all state
$: $4
$: $5
egg/@u :: command count
hoc/(map bone session) :: conversations
== ::
@ -18,7 +20,7 @@
$: say/sole-share :: command-line state
dir/beam :: active path
poy/(unit dojo-project) :: working
{lib/(list hoof) sur/(list hoof)} :: lib+sur
{lib/(list hoof:^ford) sur/(list hoof:^ford)} :: lib+sur
var/(map term cage) :: variable state
old/(set term) :: used TLVs
buf/tape :: multiline buffer
@ -32,7 +34,11 @@
{$pill p/path} :: noun to unix pill
:: {$tree p/path} :: noun to unix tree
{$file p/beam} :: save to clay
{$http p/?($post $put) q/(unit iden) r/purl} :: http outbound
$: $http :: http outbound
p/?($post $put)
q/(unit knot)
r/purl:^eyre
==
{$poke p/goal} :: poke app
{$show p/?($0 $1 $2 $3)} :: print val+span+twig
{$verb p/term} :: store variable
@ -42,7 +48,7 @@
q/dojo-build :: general build
== ::
++ dojo-build :: one arvo step
$% {$ur p/(unit iden) q/purl} :: http GET request
$% {$ur p/(unit knot) q/purl:^eyre} :: http GET request
{$ge p/dojo-model} :: generator
{$dv p/path} :: core from source
{$ex p/twig} :: hoon expression
@ -87,21 +93,27 @@
++ card :: general card
$% {$diff $sole-effect sole-effect} ::
{$send wire {ship term} clap} ::
{$hiss wire (unit iden) mark {$hiss hiss}} ::
{$exec wire @p (unit {beak silk})} ::
$: $hiss
wire
(unit knot)
mark
{$hiss hiss:^eyre}
==
{$exec wire @p (unit {beak silk:^ford})} ::
{$deal wire sock term club} ::
{$info wire @p toro} ::
{$info wire @p toro:^clay} ::
== ::
++ move (pair bone card) :: user-level move
++ sign ::
$% {$made p/@uvH q/gage} ::
{$unto p/cuft} ::
$% {$made p/@uvH q/gage:^ford} ::
{$unto p/cuft:^gall} ::
== ::
-- ::
!: ::
:: ::
:::: ::
:: ::
|_ $: hid/bowl :: system state
=, ^gall
|_ $: hid/bowl :: system state
house :: program state
== ::
++ he :: per session
@ -176,6 +188,7 @@
::
++ dp-hoof :: ++ford-hoof twig
;~ plug
:(stag %sand %f ;~(pose (cold %| tar) (easy %&)))
:(stag %sand %tas sym)
%- dp-twig-punt
;~ (glue fas)
@ -216,19 +229,21 @@
;~(pose sym (easy dp-default-app))
==
++ dp-beam :: ++beam
%+ cook |=(a/path =+((tome a) ?^(- u [he-beak (flop a)])))
%+ cook |=(a/path =+((de-beam a) ?^(- u [he-beak (flop a)])))
=+ vez=(vang | dp-path)
(sear plex:vez (stag %conl poor:vez))
::
++ dp-iden-url
(cook |=({a/(unit iden) b/purl} [`(fall a *iden) b]) auru:epur)
%+ cook
|=({a/(unit knot) b/purl:^eyre} [`(fall a *knot) b])
auru:urlp:url:eyre
::
++ dp-model ;~(plug dp-server dp-config) :: ++dojo-model
++ dp-path (tope he-beam) :: ++path
++ dp-path (en-beam he-beam) :: ++path
++ dp-server (stag 0 (most fas sym)) :: ++dojo-server
++ dp-twig tall:(vang | dp-path) :: ++twig
++ dp-rood :: 'dir' twig
=> (vang | (tope dir))
=> (vang | (en-beam dir))
;~ pose
rood
::
@ -263,13 +278,13 @@
++ dy-abet +>(poy `+<) :: resolve
++ dy-amok +>(poy ~) :: terminate
++ dy-ford :: send work to ford
|= {way/wire kas/silk}
|= {way/wire kas/silk:^ford}
^+ +>+>
?> ?=($~ pux)
(he-card(poy `+>+<(pux `way)) %exec way our.hid `[he-beak kas])
::
++ dy-eyre :: send work to eyre
|= {way/wire usr/(unit iden) req/hiss}
|= {way/wire usr/(unit knot) req/hiss:^eyre}
^+ +>+>
?> ?=($~ pux)
(he-card(poy `+>+<(pux `way)) %hiss way usr %httr %hiss req)
@ -284,7 +299,7 @@
++ dy-slam :: call by ford
|= {way/wire gat/vase sam/vase}
^+ +>+>
(dy-ford way `silk`[%call [%$ %noun gat] [%$ %noun sam]])
(dy-ford way `silk:^ford`[%call [%$ %noun gat] [%$ %noun sam]])
::
++ dy-errd :: reject change, abet
|= {rev/(unit sole-edit) err/@u}
@ -443,20 +458,24 @@
~| bad-set+[p.p.mad p.q.cay]
=< dy-amok
?+ p.p.mad .
$eny ~|(%entropy-is-eternal !!)
$now ~|(%time-is-immutable !!)
$our ~|(%self-is-immutable !!)
$lib .(lib ((dy-cast (list hoof) !>(*(list hoof))) q.cay))
$sur .(sur ((dy-cast (list hoof) !>(*(list hoof))) q.cay))
$dir =+ ^= pax ^- path
=+ pax=((dy-cast path !>(*path)) q.cay)
?: ?=($~ pax) ~[(scot %p our.hid) %home '0']
?: ?=({@ $~} pax) ~[i.pax %home '0']
?: ?=({@ @ $~} pax) ~[i.pax i.t.pax '0']
pax
=. dir (need (tome pax))
=- +>(..dy (he-diff %tan - ~))
rose+[" " `~]^~[leaf+"=%" (smyt (tope he-beak s.dir))]
$eny ~|(%entropy-is-eternal !!)
$now ~|(%time-is-immutable !!)
$our ~|(%self-is-immutable !!)
$lib
.(lib ((dy-cast (list hoof:^ford) !>(*(list hoof:^ford))) q.cay))
::
$sur
.(sur ((dy-cast (list hoof:^ford) !>(*(list hoof:^ford))) q.cay))
::
$dir =+ ^= pax ^- path
=+ pax=((dy-cast path !>(*path)) q.cay)
?: ?=($~ pax) ~[(scot %p our.hid) %home '0']
?: ?=({@ $~} pax) ~[i.pax %home '0']
?: ?=({@ @ $~} pax) ~[i.pax i.t.pax '0']
pax
=. dir (need (de-beam pax))
=- +>(..dy (he-diff %tan - ~))
rose+[" " `~]^~[leaf+"=%" (smyt (en-beam he-beak s.dir))]
==
::
$poke
@ -474,7 +493,7 @@
%info
/file
our.hid
(foal (tope p.p.mad) cay)
(foal (en-beam p.p.mad) cay)
==
::
$flat
@ -488,7 +507,7 @@
$http
?> ?=($mime p.cay)
=+ mim=;;(mime q.q.cay)
=+ maf=(~(add ja *math) %content-type (moon p.mim))
=+ maf=(~(add ja *math:^eyre) %content-type (moon:bytes:eyre p.mim))
(dy-eyre /show q.p.mad [r.p.mad p.p.mad maf ~ q.mim])
::
$show
@ -509,13 +528,13 @@
?+ p.cay [(sell q.cay)]~
$tang ;;(tang q.q.cay)
$httr
=+ hit=;;(httr q.q.cay)
=+ hit=;;(httr:^eyre q.q.cay)
=- (flop (turn `wall`- |=(a/tape leaf+(dash:us a ''))))
:- "HTTP {<p.hit>}"
%+ weld
(turn q.hit |=({a/@t b/@t} "{(trip a)}: {(trip b)}"))
:- i=""
t=(turn `wain`?~(r.hit ~ (lore q.u.r.hit)) trip)
t=(turn `wain`?~(r.hit ~ (lore:lines:clay q.u.r.hit)) trip)
==
::
++ dy-show-span-noun
@ -524,7 +543,7 @@
|- ^- $? $% {$atom @tas (unit @)}
{$cell _$ _$}
{$cube * _$}
{$face $@(term tomb) _$}
{$face $@(term tune) _$}
{$fork (set _$)}
{$hold _$ twig}
==
@ -542,7 +561,7 @@
++ dy-shown
$? twig
$^ {dy-shown dy-shown}
$% {$ur (unit iden) purl}
$% {$ur (unit knot) purl:^eyre}
{$dv path}
{$as mark dy-shown}
{$do twig dy-shown}
@ -594,7 +613,7 @@
++ dy-vase |=(num/@ud q:(dy-cage num)) :: known vase
++ dy-silk-vase |=(vax/vase [%$ %noun vax]) :: vase to silk
++ dy-silk-sources :: arglist to silk
|= src/(list dojo-source) ^- silk
|= src/(list dojo-source) ^- silk:^ford
%- dy-silk-vase
|-
?~ src !>(~)
@ -602,7 +621,7 @@
::
++ dy-silk-config :: configure
|= {cay/cage cig/dojo-config}
^- {wire silk}
^- {wire silk:^ford}
?. (~(nest ut [%cell [%atom %$ ~] %noun]) | p.q.cay)
::
:: naked gate
@ -627,7 +646,7 @@
:+ %mute (dy-silk-vase (fall (slew 27 gat) !>(~)))
%+ turn (~(tap by q.cig))
|= {a/term b/(unit dojo-source)}
^- (pair wing silk)
^- (pair wing silk:^ford)
:- [a ~]
%- dy-silk-vase
?~(b !>([~ ~]) (dy-vase p.u.b))
@ -682,9 +701,9 @@
::
$|
=> .(vax (slap vax !,(*twig ?>(?=($| -) .)))) :: XX working spec #72
=+ typ={$| (unit iden) hiss *}
=+ typ={$| (unit knot) hiss:^eyre *}
=+ [~ usr hiz ~]=((dy-cast typ !>(*typ)) vax)
=. ..dy (he-diff %tan leaf+"< {(earn p.hiz)}" ~)
=. ..dy (he-diff %tan leaf+"< {(earn:url:eyre p.hiz)}" ~)
(dy-eyre(pro `(slap (slot 15 vax) limb+%r)) /scar usr hiz)
==
::
@ -710,7 +729,7 @@
?: ?=($ur -.bil)
(dy-eyre /hand p.bil [q.bil %get ~ ~])
%- dy-ford
^- (pair path silk)
^- (pair path silk:^ford)
?- -.bil
$ge (dy-silk-config (dy-cage p.p.p.bil) q.p.bil)
$dv [/hand [%core he-beak (flop p.bil)]]
@ -756,7 +775,7 @@
::
++ dy-mare :: build expression
|= gen/twig
^- silk
^- silk:^ford
=+ too=(dy-twig-mark gen)
=- ?~(too - [%cast u.too -])
:+ %ride gen
@ -800,7 +819,7 @@
=. egg +(egg)
=- ?~(msg ..he-diff (he-diff %tan leaf+u.msg ~))
^- msg/(unit tape)
?+ (clan our.hid) ~
?+ (clan:title our.hid) ~
$pawn ?+ egg ~
$5 `":: To request a planet, run |ask 'your@email.co'"
== ==
@ -875,7 +894,7 @@
[& %$ (weld he-prow ?~(buf "> " "< "))]
::
++ he-made :: result from ford
|= {way/wire dep/@uvH reg/gage}
|= {way/wire dep/@uvH reg/gage:^ford}
^+ +>
?> ?=(^ poy)
=< he-pine
@ -895,7 +914,7 @@
==
::
++ he-sigh :: result from eyre
|= {way/wire hit/httr}
|= {way/wire hit/httr:^eyre}
^+ +>
?> ?=(^ poy)
=< he-pine
@ -908,7 +927,7 @@
==
::
++ he-unto :: result from behn
|= {way/wire cit/cuft}
|= {way/wire cit/cuft:^gall}
^+ +>
?. ?=($coup -.cit)
~& [%strange-unto cit]
@ -1055,7 +1074,7 @@
?- -.sink.com
$stdout [%show %0]
$output-file $(sink.com [%command (cat 3 '@' pax.sink.com)])
$output-clay [%file (need (tome pax.sink.com))]
$output-clay [%file (need (de-beam pax.sink.com))]
$url [%http %post `~. url.sink.com]
$to-api !!
$send-api [%poke our.hid api.sink.com]
@ -1074,19 +1093,22 @@
--
::
++ prep
=+ session-1==+(*session _-(poy *(unit)))
=+ session-4==+(*session _-(lib *(list), sur *(list)))
=+ session-1==+(*session-4 _-(poy *(unit)))
=+ session-0==+(*session-1 _[_say syd=desk * _|2.-])
:: ,_`..prep
=+ ^= hoze
$% {$0 p/(map bone session-0)}
{$1 p/(map bone session-1)}
{$2 p/(map bone session-1)}
{$3 p/(map bone session)}
{$3 p/(map bone session-4)}
{$4 p/@ q/(map bone session-4)}
==
|= old/(unit ?(house hoze)) ^+ [~ ..prep]
?~ old `..prep
?+ -.u.old !!
$4 `..prep(+<+ u.old)
$4 $(-.u.old %5, q.u.old (~(run by q.u.old) |=(session-4 +<(sur ~, lib ~))))
$5 `..prep(+<+ u.old)
==
::
:: pattern: ++ foo |=(data he-abet:(~(he-foo he (~(got by hoc) ost)) data))
@ -1102,7 +1124,7 @@
::
++ peer-sole
~? !=(our.hid src.hid) [%dojo-peer-stranger ost.hid src.hid]
?> (team our.hid src.hid)
?> (team:title our.hid src.hid)
=^ moz .
?. (~(has by hoc) ost.hid) [~ .]
~& [%dojo-peer-replaced ost.hid]

5
app/gh.hoon
View File

@ -17,7 +17,7 @@
/- gh, plan-acct
/+ gh-parse, connector
::
!:
::
=> |%
++ move (pair bone card)
++ card
@ -47,6 +47,7 @@
--
=+ connector=(connector move sub-result) :: Set up connector library
::
=, ^gall
|_ $: hid/bowl
hook/(map @t {id/@t listeners/(set bone)}) :: map events to listeners
==
@ -276,7 +277,7 @@
:* %+ scan
=+ [(trip i.pax) (trip i.t.pax)]
"https://api.github.com/repos/{-<}/{->}/hooks"
auri:epur
auri:urlp
%post ~ ~
%- taco %- crip %- pojo %- jobe :~
name+s+%web

3
app/github.hoon
View File

@ -5,13 +5,14 @@
:: :github &path /listen/{owner}/{repo}/{events...}
::
/- gh
!:
::
=> |%
++ diff-result
$% {$gh-issue issues:gh}
{$gh-issue-comment issue-comment:gh}
==
--
=, ^gall
|_ {hid/bowl *}
++ poke-path
|= pax/path

3
app/gmail.hoon
View File

@ -53,6 +53,7 @@
(star ;~(pose (cold '+' (just '-')) (cold '/' (just '_')) next))
--
::
=, ^gall
|_ $: hid/bowl count/@
web-hooks/(map @t {id/@t listeners/(set bone)})
received-ids/(list @t)
@ -252,7 +253,7 @@
^- purl
%+ scan
"https://www.googleapis.com/gmail/v1/users/me{<`path`endpoint>}"
auri:epur
auri:urlp
:: Send an HTTP req
++ send-http
|= hiz/hiss

2
app/gmail/split.hoon
View File

@ -1,4 +1,4 @@
!:
::
|%
:: Splits a path into the endpoint prefix and the remainder,
:: which is assumed to be a path within the JSON object. We

22
app/hood.hoon
View File

@ -6,7 +6,7 @@
[. helm kiln drum]
:: :: ::
:::: :: ::
!: :: ::
:: :: ::
=> |% :: module boilerplate
++ hood-old ::
{?($0 $1) lac/(map @tas hood-part-old)} ::
@ -32,12 +32,10 @@
$womb *part:womb ::
$write *part:write ::
== ::
++ hood-part-old ?(hood-part drum-part-old) ::
++ hood-part-old hood-part ::
++ hood-port ::
|= paw/hood-part-old ^- hood-part ::
?+ -.paw paw ::
$drum (drum-port paw) ::
== ::
paw ::
:: ::
++ hood-part ::
$% {$drum $2 drum-pith-2} ::
@ -50,7 +48,8 @@
:: :: ::
:::: :: ::
:: :: ::
|_ $: hid/bowl :: system state
=, ^gall
|_ $: hid/bowl :: system state
hood-1 :: server state
== ::
++ able :: find+make part
@ -61,7 +60,7 @@
::
++ ably :: save part
|* {(list) hood-part}
[(flop +<-) %_(+> lac (~(put by lac) +<+< +<+))]
[(flop +<-) %_(+> lac (~(put by lac) +<+< `hood-part`+<+))]
:: :: ::
:::: :: ::
:: :: ::
@ -136,12 +135,12 @@
++ poke-helm-reload (wrap poke-reload):from-helm
++ poke-helm-reload-desk (wrap poke-reload-desk):from-helm
++ poke-helm-reset (wrap poke-reset):from-helm
++ poke-helm-deset (wrap poke-deset):from-helm
++ poke-helm-serve (wrap poke-serve):from-helm
++ poke-helm-send-hi (wrap poke-send-hi):from-helm
++ poke-helm-send-ask (wrap poke-send-ask):from-helm
++ poke-helm-verb (wrap poke-verb):from-helm
++ poke-helm-begin (wrap poke-begin):from-helm
++ poke-helm-spawn (wrap poke-spawn):from-helm
++ poke-hood-sync (wrap poke-sync):from-kiln
++ poke-hood-init-sync (wrap poke-init-sync):from-kiln
++ poke-kiln-info (wrap poke-info):from-kiln
@ -164,15 +163,10 @@
++ poke-womb-obey (wrap poke-obey):from-womb
++ poke-womb-bonus (wrap poke-bonus):from-womb
++ poke-womb-claim (wrap poke-claim):from-womb
++ poke-womb-do-ticket (wrap poke-do-ticket):from-womb
++ poke-womb-do-claim (wrap poke-do-claim):from-womb
++ poke-womb-rekey (wrap poke-rekey):from-womb
++ poke-womb-report (wrap poke-report):from-womb
++ poke-womb-manage (wrap poke-manage):from-womb
++ poke-womb-recycle (wrap poke-recycle):from-womb
++ poke-womb-manage-old-key (wrap poke-manage-old-key):from-womb
++ poke-womb-release (wrap poke-release):from-womb
++ poke-womb-release-ships (wrap poke-release-ships):from-womb
++ poke-womb-reinvite (wrap poke-reinvite):from-womb
++ poke-womb-replay-log (wrap poke-replay-log):from-womb
++ poke-write-sec-atom (wrap poke-sec-atom):from-write
@ -183,7 +177,7 @@
++ poke-write-plan-account (wrap poke-plan-account):from-write
++ poke-write-tree (wrap poke-tree):from-write
++ poke-write-wipe (wrap poke-wipe):from-write
++ poke-will (wrap poke-will):from-helm
++ poke-wyll (wrap poke-wyll):from-helm
++ quit-drum-phat (wrap quit-phat):from-drum
++ reap-drum-phat (wrap reap-phat):from-drum
++ woot-helm (wrap take-woot):from-helm

3
app/pipe.hoon
View File

@ -1,5 +1,5 @@
/+ talk
!:
::
=> |%
++ move (pair bone card)
++ card
@ -8,6 +8,7 @@
==
--
::
=, ^gall
|_ {hid/bowl connections/(set {app/term source/path station/knot})}
++ poke-noun
|= arg/*

51
app/talk.hoon
View File

@ -5,6 +5,9 @@
/- talk, sole
/+ talk, sole, time-to-id, twitter
/= seed /~ !>(.)
=, space:userlib
=, format
=, unity
::
::::
::
@ -72,12 +75,12 @@
== ::
++ pear :: poke fruit
$% {$talk-command command} ::
{$write-comment spur ship cord} ::
{$write-fora-post spur ship cord cord} ::
{$write-comment path ship cord} ::
{$write-fora-post path ship cord cord} ::
== ::
++ card :: general card
$% {$diff lime} ::
{$info wire @p @tas nori} ::
{$info wire @p @tas nori:^clay} ::
{$peer wire dock path} ::
{$poke wire dock pear} ::
{$pull wire dock $~} ::
@ -178,6 +181,7 @@
q.nb
--
--
=, ^gall
|_ {hid/bowl house}
++ ra :: per transaction
|_ moves/(list move)
@ -217,7 +221,7 @@
;~ pose
(cold [our.hid man.she] col)
;~(pfix cen (stag our.hid sym))
;~(pfix fas (stag (sein our.hid) sym))
;~(pfix fas (stag (sein:title our.hid) sym))
::
%+ cook
|= {a/@p b/(unit term)}
@ -276,7 +280,7 @@
%+ stag %say
%+ most (jest '•')
;~ pose
(stag %url aurf:urlp)
(stag %url aurf:urlp:url:eyre)
:(stag %lin | ;~(pfix pat text))
:(stag %lin & ;~(less sem hax text))
==
@ -1382,9 +1386,9 @@
=. +>.$ pa-abet:(~(pa-reform pa man pur) con)
?:(neu +>.$ ra-homes)
::
++ ra-base-hart .^(hart %e /(scot %p our.hid)/host/(scot %da now.hid))
++ ra-base-hart .^(hart:^eyre %e /(scot %p our.hid)/host/(scot %da now.hid))
++ ra-fora-post
|= {pax/path sup/spur hed/@t txt/@t}
|= {pax/path sup/path hed/@t txt/@t}
=. ..ra-emit
%+ ra-emit ost.hid
:* %poke
@ -1409,7 +1413,7 @@
[~ %app %tree 'receiving forum posts, ;join %posts for details']
::
++ ra-consume-fora-post
|= {man/knot pax/path sup/spur hed/@t txt/@t} ^+ +>
|= {man/knot pax/path sup/path hed/@t txt/@t} ^+ +>
=+ nam=?~(sup "" (trip i.sup)) :: file name
=+ fra=(crip (time-to-id now.hid)) :: url fragment
%^ ra-consume &
@ -1419,13 +1423,13 @@
now.hid
(sy /fora-post eyre+pax ~)
:- %mor :~
[%fat text+(lore txt) [%url [ra-base-hart `pax ~] `fra]]
[%fat text+(lore:lines:clay txt) [%url [ra-base-hart `pax ~] `fra]]
[%app %tree (crip "forum post: '{(trip hed)}'")]
==
==
::
++ ra-comment
|= {pax/path sup/spur txt/@t}
|= {pax/path sup/path txt/@t}
=. ..ra-emit
%+ ra-emit ost.hid
:* %poke
@ -1450,7 +1454,7 @@
[~ %app %tree 'receiving comments, ;join %comments for details']
::
++ ra-consume-comment
|= {man/knot pax/path sup/spur txt/@t} ^+ +>
|= {man/knot pax/path sup/path txt/@t} ^+ +>
=+ nam=?~(sup "" (trip i.sup)) :: file name
=+ fra=(crip (time-to-id now.hid)) :: url fragment
%^ ra-consume &
@ -1460,7 +1464,7 @@
now.hid
(sy /comment eyre+pax ~)
:- %mor :~
[%fat text+(lore txt) [%url [ra-base-hart `pax ~] `fra]]
[%fat text+(lore:lines:clay txt) [%url [ra-base-hart `pax ~] `fra]]
[%app %tree (crip "comment on /{nam}")]
==
==
@ -1646,7 +1650,7 @@
?- p.cordon.shape
$black &
$green &
$brown (team our.hid her)
$brown (team:title our.hid her)
$white (~(has in q.cordon.shape) her)
==
::
@ -1845,7 +1849,8 @@
(pa-sauce ost.hid [%quit ~]~)
=+ ^= ruv ^- (unit river)
%+ biff
(zl:jo (turn pax ;~(biff slay |=(a/coin `(unit dime)`?~(-.a a ~)))))
%- drop-list
(turn pax ;~(biff slay |=(a/coin `(unit dime)`?~(-.a a ~))))
|= paf/(list dime)
?~ paf
$(paf [%ud (sub (max 64 count) 64)]~)
@ -1956,7 +1961,7 @@
++ sn-curt :: render name in 14
|= mup/?
^- tape
=+ raw=(cite p.one)
=+ raw=(cite:title p.one)
(runt [(sub 14 (lent raw)) ' '] raw)
::
++ sn-nick
@ -1976,7 +1981,7 @@
?: =(q.one man)
":"
['%' (trip q.one)]
?: =(p.one (sein our.hid))
?: =(p.one (sein:title our.hid))
['/' (trip q.one)]
=+ wun=(scow %p p.one)
?: =(q.one (main p.one))
@ -2126,7 +2131,7 @@
$lin tan+~[leaf+"{?:(p.sep "" "@ ")}{(trip q.sep)}"]
$non tan+~
$app tan+~[rose+[": " ~ ~]^~[leaf+"[{(trip p.sep)}]" leaf+(trip q.sep)]]
$url url+(crip (earf p.sep))
$url url+(crip (earf:url:eyre p.sep))
$mor mor+(turn p.sep |=(speech ^$(sep +<)))
$fat [%mor $(sep q.sep) tan+(tr-rend-tors p.sep) ~]
$api
@ -2136,7 +2141,7 @@
[": " ~ ~]
:~ leaf+"[{(trip id.sep)} on {(trip service.sep)}]"
leaf+(trip body.sep)
leaf+(earf url.sep)
leaf+(earf:url:eyre url.sep)
==
==
::
@ -2187,7 +2192,7 @@
==
::
$exp (tr-chow 66 '#' ' ' (trip p.sep))
$url =+ ful=(earf p.sep)
$url =+ ful=(earf:url:eyre p.sep)
?: (gth 64 (lent ful)) ['/' ' ' ful]
:+ '/' '_'
=+ hok=r.p.p.p.sep
@ -2220,7 +2225,7 @@
~? !=(src.hid our.hid) [%peer-talk-stranger src.hid]
:: ~& [%talk-peer src.hid ost.hid pax]
?: ?=({$sole *} pax)
?> (team our.hid src.hid)
?> (team:title our.hid src.hid)
~? (~(has by shells) ost.hid) [%talk-peer-replaced ost.hid pax]
ra-abet:(ra-console:ra src.hid t.pax)
:: ~& [%talk-peer-data ost.hid src.hid pax]
@ -2316,17 +2321,17 @@
^- move
=+ ^- paf/path
=+ day=(year %*(. (yore now.hid) +.t +:*tarp))
%+ tope [our.hid %home da+now.hid]
%+ en-beam [our.hid %home da+now.hid]
/talk-telegrams/(scot %da day)/[man]/talk
=+ grams:(~(got by stories) man)
[ost.hid %info /jamfile our.hid (foal paf [%talk-telegrams !>(-)])]
::
++ poke-talk-comment
|= {pax/path sup/spur txt/@t} ^- (quip move +>)
|= {pax/path sup/path txt/@t} ^- (quip move +>)
ra-abet:(ra-comment:ra pax sup txt)
::
++ poke-talk-fora-post
|= {pax/path sup/spur hed/@t txt/@t} ^- (quip move +>)
|= {pax/path sup/path hed/@t txt/@t} ^- (quip move +>)
ra-abet:(ra-fora-post:ra pax sup hed txt)
::
++ poke-talk-save

9
app/twit.hoon
View File

@ -7,6 +7,7 @@
::
:::: ~fyr
::
=, ^eyre
|%
++ twit-path :: valid peer path
$% {$cred $~} :: credential info
@ -59,13 +60,9 @@
++ endpoint endpoint:reqs:twitter :: outgoing target
++ param param:reqs:twitter :: twit-req paramters
++ print print:twitter :: their serialization
++ parse parse:twitter :: and deserialization
::
:: ++ twit args:reqs:twitter :: arugment types
:: ++ twir parse:twitter :: reparsers
:: ++ twip print:twitter :: printers
--
!:
::
::::
::
|_ {bowl axle}
@ -174,7 +171,7 @@
~& sigh-tang+pax
%- (slog (flop tan))
=+ ^- git/gift
=+ err='' ::%.(q:(need r.hit) ;~(biff poja mean:twir)) :: XX parse?
=+ err='' ::%.(q:(need r.hit) ;~(biff poja mean:reparse:twitter)) :: XX parse?
:^ %diff %ares %bad-http
tan
:: [leaf/"HTTP Code {<p.hit>}" (turn (need err) mean:render:twit)]

2221
arvo/ames.hoon
View File

File diff suppressed because it is too large Load Diff

34
arvo/behn.hoon
View File

@ -1,25 +1,19 @@
:: :: %behn, just a timer
!: :: %behn, just a timer
!? 164
::::
=, ^behn
|= pit/vase
=> =~
|%
++ sqeu |* {a/_* b/_*} :: binary skew queno
++ sqeu |* {a/_* b/_*} :: binary skew queno
$: r/@u :: rank+depth
k/a :: priority
n/b :: value
c/(broq a b) :: children
== ::
++ broq |* {a/_* b/_*} :: brodal skew qeu
++ broq |* {a/_* b/_*} :: brodal skew qeu
(list (sqeu a b)) ::
++ gift gift-behn :: out result <-$
++ kiss :: in request ->$
$% {$rest p/@da} :: cancel alarm
{$wait p/@da} :: set alarm
{$wake $~} :: timer activate
{$wegh $~} :: report memory
== ::
++ move {p/duct q/(wind note gift)} :: local move
++ move {p/duct q/(wind note gift:able)} :: local move
++ note $~ :: out request $->
++ sign $~ :: in result $<-
++ clok (broq @da duct) :: stored timers
@ -154,18 +148,18 @@
|% :: poke+peek pattern
++ call :: handle request
|= $: hen/duct
hic/(hypo (hobo kiss))
hic/(hypo (hobo task:able))
==
^- {p/(list move) q/_..^$}
=> %= . :: XX temporary
q.hic
^- kiss
^- task:able
?: ?=($soft -.q.hic)
:: ~& [%behn-call-soft (,@tas `*`-.p.q.hic)]
((hard kiss) p.q.hic)
?: (~(nest ut -:!>(*kiss)) | p.hic) q.hic
((hard task:able) p.q.hic)
?: (~(nest ut -:!>(*task:able)) | p.hic) q.hic
~& [%behn-call-flub (@tas `*`-.q.hic)]
((hard kiss) q.hic)
((hard task:able) q.hic)
==
=^ mof tym
?- -.q.hic
@ -212,14 +206,16 @@
..^$(tym tym.old)
::
++ scry
|= {fur/(unit (set monk)) ren/@tas his/ship syd/desk lot/coin tyl/path}
^- (unit (unit (pair mark *)))
|= {fur/(unit (set monk)) ren/@tas why/shop syd/desk lot/coin tyl/path}
^- (unit (unit cage))
?. ?=($& -.why) ~
=* who p.why
=+ ^= liz
|- ^- (list {@da duct})
=. tym (raze tym)
?~ p.tym ~
[~(get up p.tym) $(p.tym ~(pop up p.tym))]
[~ ~ [%tank >liz<]]
[~ ~ %tank !>(>liz<)]
::
++ stay [%0 tym]
++ take :: process move

1635
arvo/clay.hoon
View File

File diff suppressed because it is too large Load Diff

56
arvo/dill.hoon
View File

@ -2,6 +2,7 @@
:: dill (4d), terminal handling
::
|= pit/vase
=, ^dill
=> |% :: interface tiles
++ gill (pair ship term) :: general contact
-- ::
@ -30,27 +31,23 @@
++ axon :: dill per duct
$: ram/term :: console program
tem/(unit (list dill-belt)) :: pending, reverse
wid/_80 :: terminal width
wid/_80 :: terminal width
pos/@ud :: cursor position
see/(list @c) :: current line
== ::
-- => ::
|% :: protocol below
++ gift gift-dill :: out result <-$
++ kiss kiss-dill :: in request ->$
-- => ::
|% :: protocol outward
++ mess ::
$% {$dill-belt p/(hypo dill-belt)} ::
== ::
++ move {p/duct q/(wind note gift)} :: local move
++ move {p/duct q/(wind note gift:able)} :: local move
++ note-ames :: weird ames move
$% {$make p/(unit @t) q/@ud r/@ s/?} ::
{$sith p/@p q/@uw r/?} ::
== ::
++ note-clay ::
$% {$merg p/@p q/@tas r/@p s/@tas t/case u/germ} :: merge desks
{$warp p/sock q/riff} :: wait for clay hack
$% {$merg p/@p q/@tas r/@p s/@tas t/case u/germ:^clay}:: merge desks
{$warp p/sock q/riff:^clay} :: wait for clay hack
== ::
++ note-dill :: note to self, odd
$% {$crud p/@tas q/(list tank)} ::
@ -59,11 +56,12 @@
{$text p/tape} ::
{$veer p/@ta q/path r/@t} :: install vane
{$vega p/path} :: reboot by path
{$velo p/@t q/@t} :: reboot by path
{$verb $~} :: verbose mode
== ::
++ note-gall ::
$% {$conf dock $load ship desk} ::
{$deal p/sock q/cush} ::
{$deal p/sock q/cush:^gall} ::
== ::
++ note :: out request $->
$? {?($a $b $c $e $f $g) $wegh $~} ::
@ -79,14 +77,14 @@
++ sign-clay ::
$% {$mere p/(each (set path) (pair term tang))} ::
{$note p/@tD q/tank} ::
{$writ p/riot} ::
{$writ p/riot:^clay} ::
== ::
++ sign-dill ::
$% {$blit p/(list blit)} ::
== ::
++ sign-gall ::
$% {$onto p/(each suss tang)} ::
{$unto p/cuft} ::
$% {$onto p/(each suss:^gall tang)} ::
{$unto p/cuft:^gall} ::
== ::
++ sign :: in result $<-
$? {?($a $b $c $e $f $g) $mass p/mass} ::
@ -109,7 +107,7 @@
[(flop moz) all(dug (~(put by dug.all) hen +<+))]
::
++ call :: receive input
|= kyz/kiss
|= kyz/task:able
^+ +>
?+ -.kyz ~& [%strange-kiss -.kyz] +>
$flow +>
@ -121,10 +119,9 @@
(crud p.kyz q.kyz)
$blew (send %rez p.p.kyz q.p.kyz)
$heft heft
$tick =+ ^= ges ^- gens
^- gens
$tick =+ ^= ges ^- gens:^ames
:- %en
=+ can=(clan p.kyz)
=+ can=(clan:title p.kyz)
?- can
$czar [%czar ~]
$duke [%duke %anon ~]
@ -133,7 +130,7 @@
$pawn [%pawn ~]
==
=+ yen=(scot %p (shax :(mix %ticket eny now)))
=+ ^= beg ^- {his/@p tic/@p yen/@t ges/gens}
=+ ^= beg ^- {his/@p tic/@p yen/@t ges/gens:^ames}
[p.kyz q.kyz yen ges]
=+ cmd=[%hood %poke `cage`[%helm-begin !>(beg)]]
%= +>.$
@ -142,6 +139,7 @@
==
$veer (dump kyz)
$vega (dump kyz)
$velo (dump kyz)
$verb (dump kyz)
==
::
@ -155,12 +153,12 @@
$(wol t.wol, +>.^$ (from %out (tuba i.wol)))
::
++ dump :: pass down to hey
|= git/gift
|= git/gift:able
?> ?=(^ hey.all)
+>(moz [[u.hey.all %give git] moz])
::
++ done :: return gift
|= git/gift
|= git/gift:able
+>(moz :_(moz [hen %give git]))
::
++ from :: receive belt
@ -271,12 +269,12 @@
++ init :: initialize
~& [%dill-init our ram]
=+ myt=(flop (need tem))
=+ can=(clan our)
=+ can=(clan:title our)
=. tem ~
=. moz :_(moz [hen %pass / %c %merg our %home our %base da+now %init])
=. moz :_(moz [hen %pass ~ %g %conf [[our ram] %load our %home]])
=. +> ?: ?=(?($czar $pawn) can) +>
(sync %base (sein our) %kids)
(sync %base (sein:title our) %kids)
=. +> ?: ?=(?($czar $pawn) can)
(sync %home our %base)
(init-sync %home our %base)
@ -434,7 +432,7 @@
--
::
++ ax :: make ++as
|= {hen/duct kyz/kiss} ::
|= {hen/duct kyz/task:able} ::
?~ ore.all ~
=+ nux=(~(get by dug.all) hen)
?^ nux
@ -454,18 +452,18 @@
|% :: poke+peek pattern
++ call :: handle request
|= $: hen/duct
hic/(hypo (hobo kiss))
hic/(hypo (hobo task:able))
==
^+ [p=*(list move) q=..^$]
=> %= . :: XX temporary
q.hic
^- kiss
^- task:able
?: ?=($soft -.q.hic)
:: ~& [%dill-call-soft (@tas `*`-.p.q.hic)]
((hard kiss) p.q.hic)
?: (~(nest ut -:!>(*kiss)) | p.hic) q.hic
((hard task:able) p.q.hic)
?: (~(nest ut -:!>(*task:able)) | p.hic) q.hic
~& [%dill-call-flub (@tas `*`-.q.hic)]
((hard kiss) q.hic)
((hard task:able) q.hic)
==
?: ?=($boot -.q.hic)
:_(..^$ [hen %pass ~ (note %a p.q.hic)]~)
@ -509,8 +507,10 @@
:: ..^$(ore.all `~zod)
::
++ scry
|= {fur/(unit (set monk)) ren/@tas his/ship syd/desk lot/coin tyl/path}
|= {fur/(unit (set monk)) ren/@tas why/shop syd/desk lot/coin tyl/path}
^- (unit (unit cage))
?. ?=($& -.why) ~
=* his p.why
[~ ~]
::
++ stay all

974
arvo/eyre.hoon
View File

File diff suppressed because it is too large Load Diff

153
arvo/ford.hoon
View File

@ -3,32 +3,32 @@
!? 164
::::
|= pit/vase
=, ^ford
=, format
=> =~
:: structures
|%
++ gift gift-ford :: out result <-$
++ heel path :: functional ending
++ kiss kiss-ford :: in request ->$
++ move {p/duct q/(wind note gift)} :: local move
++ move {p/duct q/(wind note gift:able)} :: local move
++ note :: out request $->
$% $: $c :: to %clay
$% {$warp p/sock q/riff} ::
$% {$warp p/sock q/riff:^clay} ::
== == ::
$: $f :: to %ford
$% {$exec p/@p q/(unit bilk)} ::
$% {$exec p/@p q/(unit bilk:^ford)} ::
== == ::
$: $g :: to %gall
$% {$deal p/sock q/cush} ::
$% {$deal p/sock q/cush:^gall} ::
== == == ::
++ sign :: in result $<-
$% $: $c :: by %clay
$% {$writ p/riot} ::
$% {$writ p/riot:^clay} ::
== == ::
$: $f :: by %ford
$% {$made p/@uvH q/gage} ::
$% {$made p/@uvH q/gage:^ford} ::
== == ::
$: $g :: by %gall
$% {$unto p/cuft} ::
$% {$unto p/cuft:^gall} ::
== == == ::
-- ::
|% :: structures
@ -47,7 +47,7 @@
$: p/cafe :: cache
$= q ::
$% {$0 p/(set beam) q/a} :: depends+product
{$1 p/(set {van/vane ren/care bem/beam tan/tang})} :: blocks
{$1 p/(set {van/vane ren/care:^clay bem/beam tan/tang})} :: blocks
{$2 p/(set beam) q/tang} :: depends+error
== ::
== ::
@ -85,7 +85,7 @@
$: nah/duct :: cause
{bek/beak kas/silk} :: problem
keg/(map (pair term beam) cage) :: block results
kig/(set (trel vane care beam)) :: blocks
kig/(set (trel vane care:^clay beam)) :: blocks
== ::
++ gagl (list (pair gage gage)) ::
++ vane ?($a $b $c $d $e $f $g) ::
@ -203,7 +203,7 @@
~(exec zo [num `task`[hen kub ~ ~]])
::
++ axon :: take
|= {num/@ud {van/vane ren/care bem/beam} sih/sign}
|= {num/@ud {van/vane ren/care:^clay bem/beam} sih/sign}
^+ +>
?: ?=({$unto $quit *} +.sih)
+>.$
@ -248,7 +248,7 @@
|= {dep/@uvH dap/(set beam)}
%+ turn (~(tap in dap))
|= bem/beam
:^ hen %pass [(scot %p our) (scot %uv dep) (tope bem)]
:^ hen %pass [(scot %p our) (scot %uv dep) (en-beam bem)]
[%c %warp [our p.bem] q.bem ~]
::
++ awap :: get next revision
@ -280,7 +280,7 @@
mow
=< (welp :_(mow (turn (~(tap in p.u.dap)) .)))
|= bem/beam
:^ hen %pass [(scot %p our) (scot %uv dep) (tope bem)]
:^ hen %pass [(scot %p our) (scot %uv dep) (en-beam bem)]
[%c [%warp [our p.bem] q.bem ~ [%next %z r.bem (flop s.bem)]]]
== ==
::
@ -302,17 +302,18 @@
$(kiz t.kiz, mow :_(mow [hen (cancel i.kiz)]))
::
++ cancel :: stop a request
|= {van/vane ren/care bem/beam} ^- (wind note gift)
|= {van/vane ren/care:^clay bem/beam}
^- (wind note gift:able)
?+ van ~|(stub-cancel+van !!)
$c [%pass (camp-wire +<) van [%warp [our p.bem] q.bem ~]]
$g [%pass (camp-wire +<) van [%deal [our p.bem] q.bem [%pull ~]]]
==
++ camp-wire :: encode block
|= {van/vane ren/care bem/beam} ^- wire
[(scot %p our) (scot %ud num) van ren (tope bem)]
|= {van/vane ren/care:^clay bem/beam} ^- wire
[(scot %p our) (scot %ud num) van ren (en-beam bem)]
::
++ camp :: request a file
|= {van/vane ren/care bem/beam}
|= {van/vane ren/care:^clay bem/beam}
^+ +>
~& >> [%camping van ren bem]
%_ +>.$
@ -360,8 +361,8 @@
$0
:: ~& :- %clef-new
:: ?+ sem `term`sem
:: $hood [%hood (tope &1.q.q.hoc)]
:: $bake [%bake `mark`&1.q.q.hoc (tope |2.q.q.hoc)]
:: $hood [%hood (en-beam &1.q.q.hoc)]
:: $bake [%bake `mark`&1.q.q.hoc (en-beam |2.q.q.hoc)]
:: ==
:- p=(came p.nuf `calx`[sem `calm`[now p.q.nuf] q.q.hoc q.q.nuf])
q=q.nuf
@ -438,20 +439,20 @@
^= p
%- silt
%+ turn p.faw
|=(a/{vane care beam} [-.a +<.a +>.a *tang])
|=(a/{vane care:^clay beam} [-.a +<.a +>.a *tang])
$| [%2 p=*(set beam) q=p.faw]
==
^= faw
|- ^- (each (list (trel vane care beam)) tang)
|- ^- (each (list (trel vane care:^clay beam)) tang)
?~ p.ton [%& ~]
=+ nex=$(p.ton t.p.ton)
=+ err=|=(a/tape [%| leaf+a ?:(?=($& -.nex) ~ p.nex)])
=+ pax=(path i.p.ton)
?~ pax (err "blocking empty")
=+ ren=((soft care) (rsh 3 1 i.pax))
=+ ren=((soft care:^clay) (rsh 3 1 i.pax))
?~ ren
(err "blocking not care: {<i.pax>}")
=+ zis=(tome t.pax)
=+ zis=(de-beam t.pax)
?~ zis
(err "blocking not beam: {<t.pax>}")
?: ?=($g (end 3 1 i.pax))
@ -596,15 +597,15 @@
==
::
++ expo :: return gift
|= gef/gift
|= gef/gift:able
%_(+> mow :_(mow [hen %give gef]))
::
++ fade :: compile to hood
~/ %fade
|= {cof/cafe bem/beam}
:: ~& fade+(tope bem)
:: ~& fade+(en-beam bem)
^- (bolt hood)
%+ cool |.(leaf+"ford: fade {<[(tope bem)]>}")
%+ cool |.(leaf+"ford: fade {<[(en-beam bem)]>}")
%+ cope (liar cof %*(. bem s [%hoon s.bem]))
|= {cof/cafe cay/cage}
%+ (clef %hood) (fine cof bem(r [%ud 0]) cay)
@ -626,7 +627,7 @@
%+ cope une
|= {cof/cafe bom/(unit beam)} ^- (bolt beam)
?^ bom (fine cof u.bom)
(flaw cof leaf+"fame: no {<(tope bem)>}" ~)
(flaw cof leaf+"fame: no {<(en-beam bem)>}" ~)
%+ (clef %path) (fine cof bem)
|= {cof/cafe bem/beam}
=^ pax bem [(flop s.bem) bem(s ~)]
@ -658,7 +659,7 @@
|= {cof/cafe opt/(map term beam)} ^- (bolt (unit beam))
?~ opt (flue cof)
?: ?=({^ $~ $~} opt) (fine cof `q.n.opt)
=+ all=(~(run by `(map term beam)`opt) tope)
=+ all=(~(run by `(map term beam)`opt) en-beam)
(flaw cof leaf+"fame: fork {<all>}" ~)
--
::
@ -670,7 +671,7 @@
++ fair :: hood parsing rule
|= bem/beam
?> ?=({$ud $0} r.bem) :: XX sentinel
=+ vez=(vang & (tope bem))
=+ vez=(vang & (en-beam bem))
=< hood
|%
++ case
@ -682,7 +683,7 @@
::
++ mota ;~(pfix pat mota:vez) :: atom odor
++ hath (sear plex (stag %conl poor)):vez :: hood path
++ have (sear tome ;~(pfix fas hath)) :: hood beam
++ have (sear de-beam ;~(pfix fas hath)) :: hood beam
++ hith :: static path
=> vez
(sear plex (stag %conl (more fas hasp)))
@ -719,8 +720,7 @@
(most gap hoop)
==
::
++ hoof
%+ cook |=(a/^hoof a)
++ hoot
;~ plug
sym
;~ pose
@ -730,6 +730,13 @@
==
==
::
++ hoof
%+ cook |=(a/^hoof a)
;~ pose
(stag %| ;~(pfix tar hoot))
(stag %& hoot)
==
::
++ hoop
;~ pose
(stag %| ;~(pfix ;~(plug fas fas gap) have))
@ -987,7 +994,7 @@
++ lace :: load file
|= {cof/cafe for/mark bem/beam}
^- (bolt vase)
%+ cool |.(leaf+"ford: load {<for>} {<(tope bem)>}")
%+ cool |.(leaf+"ford: load {<for>} {<(en-beam bem)>}")
=. s.bem [for s.bem]
%+ cope (liar cof bem)
|= {cof/cafe cay/cage} ^- (bolt vase)
@ -1070,12 +1077,12 @@
|= {cof/cafe bem/beam}
^- (bolt cage)
?: =([%ud 0] r.bem)
(flaw cof [leaf+"ford: no data: {<(tope bem(s ~))>}"]~)
(flaw cof [leaf+"ford: no data: {<(en-beam bem(s ~))>}"]~)
=+ von=(syve [151 %noun] ~ %cx bem)
?~ von
[p=cof q=[%1 [[%c %x bem ~] ~ ~]]]
?~ u.von
(flaw cof leaf+"file not found" (smyt (tope bem)) ~)
(flaw cof leaf+"file not found" (smyt (en-beam bem)) ~)
(fine cof u.u.von)
::
++ lily
@ -1118,7 +1125,7 @@
%+ cope (lima cof for bem)
|= {cof/cafe vux/(unit vase)}
?^ vux (fine cof u.vux)
(flaw cof leaf+"ford: no {<for>} at {<(tope bem)>}" ~)
(flaw cof leaf+"ford: no {<for>} at {<(en-beam bem)>}" ~)
::
++ link :: translate
~/ %link
@ -1235,8 +1242,8 @@
:: =+ ^= pre
:: ?+ -.kas `term`-.kas
:: ^ %cell
:: $bake [-.kas p.kas (tope r.kas) ~(rent co (abbrev q.kas))]
:: $core [-.kas (tope p.kas)]
:: $bake [-.kas p.kas (en-beam r.kas) ~(rent co (abbrev q.kas))]
:: $core [-.kas (en-beam p.kas)]
:: ==
:: ~? !=(%$ pre) [dyv `term`(cat 3 %make (fil 3 dyv ' ')) pre]
:: =- ~? !=(%$ pre) [dyv `term`(cat 3 %made (fil 3 dyv ' ')) pre] -
@ -1265,7 +1272,7 @@
$bake
^- (bolt gage)
%+ cool
|.(leaf+"ford: bake {<p.kas>} {<(tope r.kas)>} {~(rend co q.kas)}")
|.(leaf+"ford: bake {<p.kas>} {<(en-beam r.kas)>} {~(rend co q.kas)}")
%+ cope (lamp cof r.kas)
|= {cof/cafe bem/beam}
%+ cope (lime cof p.kas q.kas bem)
@ -1315,7 +1322,7 @@
(flux |=(vax/vase [%& p.kas vax]))
::
$core
%+ cool |.(leaf+"ford: core {<(tope p.kas)>}")
%+ cool |.(leaf+"ford: core {<(en-beam p.kas)>}")
(cope (lear cof p.kas) (flux |=(a/vase [%& %core a])))
::
$diff
@ -1568,7 +1575,7 @@
$for
=+ opt=|.(>(turn p.hon |=({a/path ^} a))<)
|- ^- (bolt cage)
?~ p.hon (flaw cof leaf+"ford: no match" >(tope how)< *opt ~)
?~ p.hon (flaw cof leaf+"ford: no match" >(en-beam how)< *opt ~)
?: =(p.i.p.hon (scag (lent p.i.p.hon) (flop s.how)))
^$(hon q.i.p.hon)
$(p.hon t.p.hon)
@ -1619,12 +1626,12 @@
(flux |=(a/vase noun+a))
::
$see
=+ vez=(vang & (tope how))
=+ vez=(vang & (en-beam how))
=+ tuz=(posh:vez p.hon)
?~ tuz (flaw cof leaf+"bad tusk: {<p.hon>}" ~)
=+ pax=(plex:vez %conl u.tuz)
?~ pax (flaw cof leaf+"bad path: {<u.tuz>}" ~)
=+ bem=(tome u.pax)
=+ bem=(de-beam u.pax)
?~ bem (flaw cof leaf+"bad beam: {<u.pax>}" ~)
$(hon q.hon, how u.bem)
::
@ -1641,7 +1648,7 @@
?: p.hon
=. arg ?.(lit arg many+~)
(cope (make cof %bake q.hon arg how) furl)
%+ cool |.(leaf+"ford: hook {<q.hon>} {<(tope how)>}")
%+ cool |.(leaf+"ford: hook {<q.hon>} {<(en-beam how)>}")
%+ cope (fade cof how)
|= {cof/cafe hyd/hood}
%+ cope (abut:(meow how arg) cof hyd)
@ -1653,10 +1660,13 @@
^- (bolt _..head)
?~ bir
(fine cof ..head)
=+ byf=(~(get by rop) p.i.bir)
=. boy
?: p.i.bir boy
(welp boy [[%use [%limb q.i.bir] [%$ 1]] ~])
=+ byf=(~(get by rop) q.i.bir)
?^ byf
?. =(`hoof`i.bir `hoof`p.u.byf)
(flaw cof [%leaf "structure mismatch: {<~[p.u.byf i.bir]>}"]~)
?. =(+:`hoof`i.bir +:`hoof`p.u.byf)
(flaw cof [%leaf "structure mismatch: {<~[p.u.byf q.i.bir]>}"]~)
$(bir t.bir)
%+ cope (fame cof (hone %sur i.bir))
|= {cof/cafe bem/beam}
@ -1669,7 +1679,7 @@
boy boy
how how
rop %+ ~(put by (~(uni by rop) rop.sel))
p.i.bir
q.i.bir
[i.bir [%tow (flop boy.sel)]]
==
^^^$(cof cof, bir t.bir)
@ -1677,17 +1687,20 @@
++ hone :: plant hoof
|= {way/@tas huf/hoof}
^- beam
?~ q.huf
how(s ~[p.huf way])
[[q.u.q.huf q.how p.u.q.huf] ~[p.huf way]]
?~ r.huf
how(s ~[q.huf way])
[[q.u.r.huf q.how p.u.r.huf] ~[q.huf way]]
::
++ neck :: consume libraries
|= {cof/cafe bir/(list hoof)}
^- (bolt _..neck)
?~ bir (fine cof ..neck)
=+ byf=(~(get by bil) p.i.bir)
=. boy
?: p.i.bir boy
(welp boy [[%use [%limb q.i.bir] [%$ 1]] ~])
=+ byf=(~(get by bil) q.i.bir)
?^ byf
?. =(`hoof`i.bir `hoof`p.u.byf)
?. =(+:`hoof`i.bir +:`hoof`p.u.byf)
(flaw cof [%leaf "library mismatch: {<~[p.u.byf i.bir]>}"]~)
$(bir t.bir)
%+ cope (fame cof (hone %lib i.bir))
@ -1700,7 +1713,7 @@
%= sel
how how
bil %+ ~(put by (~(uni by bil) bil.sel))
p.i.bir
q.i.bir
[i.bir [%tow (flop boy.sel)]]
==
^^^$(cof cof, bir t.bir)
@ -1712,7 +1725,7 @@
$& (fine cof ..wilt(boy [p.hop boy]))
$|
=. r.p.hop ?:(?=({$ud $0} r.p.hop) r.how r.p.hop)
%+ cool |.(leaf+"ford: wilt {<[(tope p.hop)]>}")
%+ cool |.(leaf+"ford: wilt {<[(en-beam p.hop)]>}")
%+ cope (lend cof p.hop)
|= {cof/cafe arc/arch}
?: (~(has by dir.arc) %hoon)
@ -1739,15 +1752,15 @@
[`(map term foot)`[[p.n.all [%ash [%tow boy.sel]]] lef rig] sel]
|= {cof/cafe mav/(map term foot) sel/_..wilt}
?~ mav
(flaw cof [%leaf "source missing: {<(tope p.hop)>}"]~)
(flaw cof [%leaf "source missing: {<(en-beam p.hop)>}"]~)
(fine cof sel(boy [[%core mav] boy]))
==
--
::
++ pact-hoon :: .hoon special case
|= {a/@t b/(urge cord)} ^- @t
|= {a/@t b/(urge:^clay cord)} ^- @t
~| %lurk-hoon
(role (lurk (lore a) b))
(role:lines:clay (lurk:differ (lore:lines:clay a) b))
::
++ pact :: patch
|= {cof/cafe kas/silk kos/silk}
@ -1789,18 +1802,18 @@
==
::
++ resp
|= {{van/vane ren/care bem/beam} rot/riot}
|= {{van/vane ren/care:^clay bem/beam} rot/riot:^clay}
^+ ..zo
?> ?=($c van)
=. kig (~(del in kig) +<-.$)
?~ rot
=^ dep deh.bay (daze ~ deh.bay) :: dependencies?
amok:(expo [%made dep %| (smyt ren (tope bem)) ~])
amok:(expo [%made dep %| (smyt ren (en-beam bem)) ~])
=+ (cat 3 van ren)
exec(keg (~(put by keg) [- bem] r.u.rot))
::
++ resd :: take %diff
|= {{van/vane ren/care bem/beam} cag/cage}
|= {{van/vane ren/care:^clay bem/beam} cag/cage}
^+ ..zo
?> ?=($g van)
?: |(!?=($x ren) =(-.s.bem p.cag))
@ -1815,7 +1828,7 @@
..zo
::
++ resm :: take %made
|= {{van/vane ren/care bem/beam} dep/@uvH gag/gage} :: XX depends?
|= {{van/vane ren/care:^clay bem/beam} dep/@uvH gag/gage}
^+ ..zo
?> ?=($g van)
=. kig (~(del in kig) +<-.$)
@ -1836,7 +1849,7 @@
%+ biff +<
|= cay/cage ^- (unit cage)
?. -:(nets:wa +.ref `span`p.q.cay) :: error if bad type
~& :^ %ford-syve-lost `path`[tem (tope bem)]
~& :^ %ford-syve-lost `path`[tem (en-beam bem)]
want=;;(span +.ref)
have=p.q.cay
~
@ -1858,9 +1871,9 @@
~% %ford-d ..is ~
|% ::
++ call :: request
|= {hen/duct hic/(hypo (hobo kiss))}
|= {hen/duct hic/(hypo (hobo task:able))}
^+ [p=*(list move) q=..^$]
=> .(q.hic ?.(?=($soft -.q.hic) q.hic ((hard kiss) p.q.hic)))
=> .(q.hic ?.(?=($soft -.q.hic) q.hic ((hard task:able) p.q.hic)))
?: ?=($wegh -.q.hic)
:_ ..^$ :_ ~
:^ hen %give %mass
@ -1929,7 +1942,7 @@
..^$(+>- u.lox)
::
++ scry
|= {fur/(unit (set monk)) ren/@tas who/ship syd/desk lot/coin tyl/path}
|= {fur/(unit (set monk)) ren/@tas why/shop syd/desk lot/coin tyl/path}
^- (unit (unit cage))
[~ ~]
::
@ -1945,13 +1958,13 @@
=^ mos bay
=+ dep=(slaw %uv i.t.tea)
?^ dep
=+ bem=(need (tome t.t.tea))
=+ bem=(need (de-beam t.t.tea))
abet:(~(axun za [our hen [now eny ski] ~] bay) tea u.dep bem q.hin)
?> ?=({@ @ ^} t.t.tea)
=+ :* num=(slav %ud i.t.tea)
van=((hard vane) i.t.t.tea)
ren=((hard care) i.t.t.t.tea)
bem=(need (tome t.t.t.t.tea))
ren=((hard care:^clay) i.t.t.t.tea)
bem=(need (de-beam t.t.t.t.tea))
==
abet:(~(axon za [our hen [now eny ski] ~] bay) num [van ren bem] q.hin)
[mos ..^$(pol (~(put by pol) our bay))]

181
arvo/gall.hoon
View File

@ -3,6 +3,7 @@
::::
|= pit/vase
=> =~
=, ^gall
|% :::::::::::::::::::::::::::::::::::::::::::::::::::::: rest of arvo
::::::::::::::::::::::::::::::::::::::::::::::::::::::
++ volt ?($low $high) :: voltage
@ -25,7 +26,7 @@
{$hiss p/(unit knot) q/mark r/cage} ::
== ::
++ cove (pair bone (wind cote cuft)) :: internal move
++ move {p/duct q/(wind note-arvo gift-arvo)} :: typed move
++ move {p/duct q/(wind note-arvo gift:able)} :: typed move
-- ::
|% :::::::::::::::::::::::::::::::::::::::::::::::::::::: %gall state
::::::::::::::::::::::::::::::::::::::::::::::::::::::
@ -42,11 +43,11 @@
++ gest :: subscriber data
$: sup/bitt :: incoming subscribers
neb/boat :: outgoing subscribers
qel/(map bone @ud) :: queue meter
qel/(map bone @ud) :: queue meter
== ::
++ mast :: ship state
$: sys/duct :: system duct
sap/(map ship scad) :: foreign contacts
sap/(map ship scar) :: foreign contacts
bum/(map dude seat) :: running agents
wub/(map dude sofa) :: waiting queue
== ::
@ -55,11 +56,6 @@
q/ship :: attributed to
== ::
++ prey (pair volt ffuc) :: privilege
++ scad :: foreign connection
$: p/@ud :: index
q/(map duct @ud) :: by duct
r/(map @ud duct) :: by index
== ::
++ scar :: opaque input
$: p/@ud :: bone sequence
q/(map duct bone) :: by duct
@ -78,7 +74,7 @@
zam/scar :: opaque ducts
== ::
++ sofa :: queue for blocked
$: kys/(qeu (trel duct prey club)) :: queued kisses
$: kys/(qeu (trel duct prey club)) :: queued tasks
== ::
++ stic :: statistics
$: act/@ud :: change number
@ -132,7 +128,7 @@
%_(+> moz :_(moz [hen %pass pax noh]))
::
++ mo-give
|= git/gift-gall
|= git/gift:able
%_(+> moz :_(moz [hen %give git]))
::
++ mo-okay :: valid agent core
@ -143,7 +139,7 @@
(~(nest ut p.u.bol) %| -:!>(*bowl))
::
++ mo-boom :: complete new boot
|= {dap/dude byk/beak dep/@uvH gux/gage}
|= {dap/dude byk/beak dep/@uvH gux/gage:^ford}
^+ +>
?- -.gux
$tabl ~|(%made-tabl !!)
@ -183,7 +179,7 @@
==
::
++ mo-boon :: complete old boot
|= {dap/dude byk/beak dep/@uvH gux/gage}
|= {dap/dude byk/beak dep/@uvH gux/gage:^ford}
^+ +>
=+ sut=(~(get by bum) dap)
?~ sut
@ -225,7 +221,6 @@
:: to this returning pump.
::
+>
=^ num +>.$ (mo-bale him)
=+ ^= roc ^- rook
?- -.q.caz
$peel !!
@ -234,10 +229,16 @@
$puff !!
$punk !!
$peer [%s p.q.caz]
==
=+ ^= dak
?+ -.q.caz !!
$poke %k
$pull %l
$peer %r
==
%+ mo-pass
[%sys %way -.q.caz ~]
`note-arvo`[%a %wont [our him] [%g %ge p.caz ~] [num roc]]
[%sys %way ~]
`note-arvo`[%a %wont [our him] [%g dak p.caz ~] [42 roc]]
::
++ mo-baal :: error convert a
|= art/(unit ares)
@ -261,28 +262,6 @@
$pull +>.$
==
::
++ mo-bale :: assign outbone
|= him/ship
^- {@ud _+>}
=+ sad=(fall (~(get by sap) him) `scad`[1 ~ ~])
=+ nom=(~(get by q.sad) hen)
?^ nom [u.nom +>.$]
:- p.sad
%_ +>.$
sap
%+ ~(put by sap) him
%_ sad
p +(p.sad)
q (~(put by q.sad) hen p.sad)
r (~(put by r.sad) p.sad hen)
==
==
::
++ mo-ball :: outbone by index
|= {him/ship num/@ud}
^- duct
(~(got by r:(~(got by sap) him)) num)
::
++ mo-come :: handle locally
|= {her/ship caz/cush}
^+ +>
@ -335,40 +314,30 @@
==
::
$red :: diff ack
?> ?=({@ @ @ $~} t.pax)
?. ?=({$a $woot *} sih)
~& [%red-went pax]
+>.$
?> ?=({@ @ $~} t.pax)
?> ?=({$a ?($waft $woot) *} sih)
=+ :* him=(slav %p i.t.pax)
dap=i.t.t.pax
num=(slav %ud i.t.t.t.pax)
==
=> .(pax `path`[%req t.pax])
?~ q.+>.sih
(mo-pass [%sys pax] %g %deal [him our] dap %pump ~)
~& [%diff-bad-ack q.+>.sih] :: should not happen
=. +>.$ (mo-pass [%sys pax] %g %deal [him our] dap %pull ~)
(mo-pass [%sys pax] %a %wont [our him] [%g %gh dap ~] [num %x ~])
::
$rep :: reverse request
?> ?=({@ @ @ $~} t.pax)
?> ?=({$f $made *} sih)
=+ :* him=(slav %p i.t.pax)
dap=i.t.t.pax
num=(slav %ud i.t.t.t.pax)
==
?- -.q.+>.sih
$tabl ~|(%made-tabl !!)
$| (mo-give %mack `p.q.+>.sih) :: XX should crash
$& =. +>.$ (mo-give %mack ~) :: XX pump should ack
(mo-give(hen (mo-ball him num)) %unto %diff `cage`p.q.+>.sih)
?- +<.sih
$waft
~& %red-waft
=+ fay=((hard (unit (pair mark noun))) r.+>.sih)
(mo-give %unto ?~(fay [%quit ~] [%doff u.fay]))
::
$woot
?~ r.+>.sih
(mo-pass [%sys pax] %g %deal [him our] dap %pump ~)
~& [%diff-bad-ack q.+>.sih]
=. +>.$ (mo-pass [%sys pax] %g %deal [him our] dap %pull ~)
(mo-give %rend [%g %r dap ~] ~)
==
::
$req :: inbound request
?> ?=({@ @ @ $~} t.pax)
?> ?=({@ @ $~} t.pax)
=+ :* him=(slav %p i.t.pax)
dap=i.t.t.pax
num=(slav %ud i.t.t.t.pax)
==
?: ?=({$f $made *} sih)
?- -.q.+>.sih
@ -381,13 +350,11 @@
=+ cuf=`cuft`+>.sih
?- -.cuf
$coup (mo-give %mack p.cuf)
$diff %+ mo-pass [%sys %red t.pax]
[%a %wont [our him] [%g %gh dap ~] [num %d p.p.cuf q.q.p.cuf]]
$doff !!
$quit %+ mo-pass [%sys pax]
[%a %wont [our him] [%g %gh dap ~] [num %x ~]]
$reap (mo-give %mack p.cuf)
==
$diff (mo-give %rend [%g %r dap ~] [~ p.p.cuf q.q.p.cuf])
$doff (mo-give %rend [%g %r dap ~] [~ p.cuf q.cuf])
$quit (mo-give %rend [%g %r dap ~] ~)
==
::
$val :: inbound validate
?> ?=({@ @ $~} t.pax)
@ -400,20 +367,24 @@
==
::
$way :: outbound request
?: ?=({$a $went *} sih) :: XX AWFUL
~& %way-went-bug
?> ?=({@ $~} t.pax)
?> ?=({$a ?($waft $woot) *} sih)
?- +<.sih
$waft
?> ?=({$g $r @ $~} q.+>.sih)
=+ fay=((hard (unit (pair mark noun))) r.+>.sih)
(mo-give %unto ?~(fay [%quit ~] [%doff u.fay]))
::
$woot
?> ?=({$g @ @ $~} q.+>.sih)
%- mo-awed
:* p.+>.sih
(?($peer $poke $pull) i.t.pax)
~
?+ i.t.q.+>.sih !!
$k %poke
$r %peer
$l %pull
==
r.+>.sih
==
?> ?=({$a $woot *} sih)
?> ?=({@ $~} t.pax)
%- mo-awed
:* p.+>.sih
(?($peer $poke $pull) i.t.pax)
+>+.sih
==
==
::
@ -519,7 +490,7 @@
|= {him/@p dap/dude num/@ud rok/rook}
=. +> ?.(?=($u -.rok) +> (mo-give %mack ~))
%+ mo-pass
[%sys %req (scot %p him) dap (scot %ud num) ~]
[%sys %req (scot %p him) dap ~]
^- note-arvo
?- -.rok
:: %m [%f %exec our ~ (mo-beak dap) %vale p.rok q.rok]
@ -528,14 +499,14 @@
$u [%g %deal [him our] dap %pull ~]
==
::
++ mo-gawd :: ames backward
|= {him/@p dap/dude num/@ud ron/roon}
=. +> (mo-give %mack ~)
=. hen (mo-ball him num)
?- -.ron
$d (mo-give %unto %doff p.ron q.ron)
$x (mo-give %unto %quit ~)
==
++ mo-gawp :: response ack
|= {him/@p dap/dude cop/coop}
^+ +>
%+ mo-pass
[%sys %req (scot %p him) dap ~]
?~ cop
[%g %deal [him our] dap %pump ~]
[%g %deal [him our] dap %pull ~]
::
++ ap :: agent engine
~% %gall-ap +> ~
@ -599,7 +570,7 @@
^- move
:- (~(got by r.zam) p.cov)
?- -.q.cov
?($slip $sick) !!
$slip !!
$give
?< =(0 p.cov)
?. ?=($diff -.p.q.cov)
@ -645,6 +616,7 @@
=+ cug=(ap-find %peek ren tyl)
?~ cug
((slog leaf+"peek find fail" >tyl< >mar< ~) [~ ~])
=. ..ap-bowl ap-bowl
=^ arm +>.$ (ap-farm q.u.cug)
?: ?=($| -.arm) ((slog leaf+"peek farm fail" p.arm) [~ ~])
=^ zem +>.$ (ap-slam q.u.cug p.arm !>((slag p.u.cug `path`[ren tyl])))
@ -1213,6 +1185,7 @@
$deal `%g
$exec `%f
$flog `%d
$funk `%a
$drop `%c
$info `%c
$merg `%c
@ -1225,14 +1198,15 @@
$wont `%a :: XX for begin; remove
$warp `%c
$wipe `%f :: XX cache clear
$jaelwomb `%j :: XX name/unpack
==
--
--
++ call :: request
~% %gall-call +> ~
|= {hen/duct hic/(hypo (hobo kiss-gall))}
|= {hen/duct hic/(hypo (hobo task:able))}
^+ [p=*(list move) q=..^$]
=> .(q.hic ?.(?=($soft -.q.hic) q.hic ((hard kiss-gall) p.q.hic)))
=> .(q.hic ?.(?=($soft -.q.hic) q.hic ((hard task:able) p.q.hic)))
?- -.q.hic
$conf
?. (~(has by pol.all) p.p.q.hic)
@ -1250,22 +1224,29 @@
$init
:: ~& [%gall-init p.q.hic]
[~ ..^$(pol.all (~(put by pol.all) p.q.hic [hen ~ ~ ~]))]
::
$went
?. (~(has by pol.all) p.p.q.hic)
~& [%gall-not-ours p.q.hic]
[~ ..^$]
?> ?=({?($k $l $r) @ $~} q.q.hic)
=+ dap=i.t.q.q.hic
=+ our=p.p.q.hic
=+ him=q.p.q.hic
=< mo-abet
(mo-gawp:(mo-abed:mo our hen) him dap s.q.hic)
::
$west
?. (~(has by pol.all) p.p.q.hic)
~& [%gall-not-ours p.q.hic]
[~ ..^$]
?> ?=({?($ge $gh) @ $~} q.q.hic)
?> ?=({?($k $l $r) @ $~} q.q.hic)
=+ dap=i.t.q.q.hic
=+ our=p.p.q.hic
=+ him=q.p.q.hic
?: ?=($ge i.q.q.hic)
=+ mes=((hard {@ud rook}) r.q.hic)
=< mo-abet
(mo-gawk:(mo-abed:mo our hen) him dap mes)
=+ mes=((hard {@ud roon}) r.q.hic)
=+ mes=((hard {@ud rook}) s.q.hic)
=< mo-abet
(mo-gawd:(mo-abed:mo our hen) him dap mes)
(mo-gawk:(mo-abed:mo our hen) him dap mes)
::
$wegh
:_ ..^$ :_ ~
@ -1297,8 +1278,10 @@
==
::
++ scry
|= {fur/(unit (set monk)) ren/@tas who/ship syd/desk lot/coin tyl/path}
|= {fur/(unit (set monk)) ren/@tas why/shop syd/desk lot/coin tyl/path}
^- (unit (unit cage))
?. ?=($& -.why) ~
=* who p.why
?: ?& =(%u ren)
=(~ tyl)
=([%$ %da now] lot)

11876
arvo/hoon.hoon
View File

File diff suppressed because it is too large Load Diff

2222
arvo/jael.hoon
View File

File diff suppressed because it is too large Load Diff

1227
arvo/xmas.hoon Normal file
View File

File diff suppressed because it is too large Load Diff

7514
arvo/zuse.hoon
View File

File diff suppressed because it is too large Load Diff

2
gen/ask/admins.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{who/(list ship) $~}

29
gen/bug.hoon Normal file
View File

@ -0,0 +1,29 @@
::
:::: /hoon/hello/gen
::
/? 310
::
::::
::
:- %say
|= {^ {{txt/@tas $~} $~}}
~& %foobar
=+ bar=32
=> |%
++ funq
^?
|%
++ add |=({a/@ b/@} (sub a b))
++ mook txt
--
--
=, funq
~& %one
=+ foo=mook
~& [%foo (^add 2 2)]
=< $
|%
++ $
:- %noun
(crip (weld "hello, " (trip mook)))
--

2
gen/cat.hoon
View File

@ -5,7 +5,7 @@
/? 310
// /%%/ls/subdir
// /%/pretty
!:
::
::::
::
:- %say

2
gen/cat/pretty.hoon
View File

@ -3,7 +3,7 @@
:::: /hoon/pretty/cat/gen
::
/? 310
!:
::
|%
++ pretty-noun
|= pri/* ^- tank

2
gen/curl-hiss.hoon
View File

@ -4,7 +4,7 @@
::
/? 310
/- sole
[sole]
=, sole
:- %get |= {^ {a/hiss $~} usr/iden}
^- (sole-request (cask httr))
?. ?=($get p.q.a)

4
gen/curl.hoon
View File

@ -4,9 +4,9 @@
::
/? 310
/- sole
[sole]
=, sole
:- %get |= {^ {a/tape $~} $~}
^- (sole-request (cask httr))
%+ sole-at (scan a auri:epur)
%+ sole-at (scan a auri:urlp)
|= hit/httr
(sole-so %httr hit)

4
gen/curl/url.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
:::::
!:
::
:- %say
|= {^ {arg/tape $~} $~}
purl+(scan arg auri:epur)
purl+(scan arg auri:urlp)

2
gen/gmail/list.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
arg/$@($~ {number/@u $~})

2
gen/hello.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= {^ {{txt/@tas $~} $~}}
:- %noun

2
gen/help.hoon
View File

@ -3,7 +3,7 @@
:::: /hoon/help/gen
::
/? 310
!:
::
::::
::
|%

2
gen/hood/autoload.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/?($~ {? $~}) $~}

4
gen/hood/begin.hoon
View File

@ -6,12 +6,12 @@
/- sole
::
::::
!:
::
=> |%
++ begs {his/@p tic/@p yen/@t ges/gens}
++ scug |*({a/@ b/(pole)} ?~(b ~ ?~(a ~ [-.b $(b +.b, a (dec a))])))
--
[sole .]
=, sole
:- %ask
|= $: {now/@da eny/@uvJ bec/beak}
{arg/_(scug *@ *{his/@p tic/@p $~})}

2
gen/hood/bonus.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{pas/@uvG opt/$@($~ {planets/@u $@($~ {stars/@u $~})})} $~}

2
gen/hood/breload.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/(list term) $~}

2
gen/hood/cancel.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{syd/@tas $~} $~}

2
gen/hood/claim.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{pas/@uvH her/@p $~} $~}

2
gen/hood/deset.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$~ $~}

4
gen/hood/exit.hoon
View File

@ -6,8 +6,8 @@
/- sole
::
::::
!:
[sole .]
::
=, sole
:- %say
|= $: {now/@da eny/@ bec/beak}
{$~ $~}

4
gen/hood/init-auth-basic.hoon
View File

@ -6,8 +6,8 @@
/- sole
::
::::
!:
[sole .]
::
=, sole
:- %ask
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$@($~ {dom/path $~})}

4
gen/hood/init-oauth1.hoon
View File

@ -6,8 +6,8 @@
/- sole
::
::::
!:
[sole .]
::
=, sole
:- %ask
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$@($~ {dom/path $~})}

4
gen/hood/init-oauth2.hoon
View File

@ -6,8 +6,8 @@
/- sole
::
::::
!:
[sole .]
::
=, sole
:- %ask
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$@($~ {dom/path $~})}

4
gen/hood/init-oauth2/google.hoon
View File

@ -6,8 +6,8 @@
/- sole
::
::::
!:
[sole .]
::
=, sole
:- %ask
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$@($~ {jon/json $~})}

6
gen/hood/invite.hoon
View File

@ -9,9 +9,9 @@
/+ womb
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{who/@t $~} ref/(unit (each ship mail:womb)) sta/@}
{{who/@t $~} sta/@}
==
:- %womb-invite
^- {cord reference invite}:womb
^- {cord invite}:womb
=+ inv=(scot %uv (end 7 1 eny))
[inv ref [who 10 sta "You have been invited to Urbit: {(trip inv)}" "This is an invite of 10 planets"]]
[inv [who 10 sta "You have been invited to Urbit: {(trip inv)}" "This is an invite of 10 planets"]]

2
gen/hood/label.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/{syd/desk lab/@tas $~} $~}

2
gen/hood/link.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ byk/beak}
{arg/$?({dap/term $~} {who/ship dap/term $~}) $~}

2
gen/hood/load.hoon
View File

@ -6,7 +6,7 @@
/+ womb
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ byk/beak}
{{dap/term pas/@uw $~} $~}

2
gen/hood/manage-old-key.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{who/@p key/@ $~} $~}

2
gen/hood/manage.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{who/(list @p) $~}

2
gen/hood/mass.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$~ $~}

4
gen/hood/merge.hoon
View File

@ -3,14 +3,14 @@
:::: /hoon/merge/hood/gen
::
/? 310
!:
::
|%
++ beaky {knot knot knot $~}
++ sorc ?({bek/beaky $~} {her/@p sud/@tas $~})
--
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bek/beak}
{arg/{?(sorc {syd/$@(desk beaky) sorc})} cas/case gem/?($auto germ)}

4
gen/hood/mount.hoon
View File

@ -5,13 +5,13 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{pax/path pot/$@($~ {v/@tas $~})} $~}
==
?~ pot
=+ bem=(need (tome pax))
=+ bem=(need (de-beam:format pax))
$(pot ~[?^(s.bem i.s.bem q.bem)])
:- %kiln-mount
[pax v.pot]

2
gen/hood/obey.hoon
View File

@ -4,7 +4,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{bos/$@($~ {i/@p $~})} $~}

2
gen/hood/overload.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$@($~ {tym/@dr $~}) $~}

2
gen/hood/rc.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$~ $~}

2
gen/hood/reboot.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$~ $~}

2
gen/hood/reinvite.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{pas/@uvG who/@t $~} $~}

2
gen/hood/rekey.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{$~ $~}

2
gen/hood/release-ships.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{who/(list ship) $~}

2
gen/hood/release.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{sta/@u gal/$@($~ {i/@u $~})} $~}

2
gen/hood/reload-desk.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/{desk (list term)} $~}

2
gen/hood/reload.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/(list term) $~}

2
gen/hood/replay-womb-log.hoon
View File

@ -6,7 +6,7 @@
/+ womb
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{log/(list {@uvJ transaction:womb}) $~}

2
gen/hood/report.hoon
View File

@ -4,7 +4,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{her/@p wil/will $~} $~}

2
gen/hood/reset.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$~ $~}

2
gen/hood/rf.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/$~ $~}

2
gen/hood/save.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ byk/beak}
{{dap/term $~} $~}

2
gen/hood/serve.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{pax/$@(term {i/knot t/path}) $~} $~}

2
gen/hood/start.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/{@ $@($~ {@ $~})} $~}

2
gen/hood/sync.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/{syd/@tas her/@p sud/@tas $~} $~}

2
gen/hood/syncs.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= {{now/@da eny/@uvJ bec/beak} $~ $~}
[%kiln-syncs ~]

2
gen/hood/track.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/{syd/@tas her/@p sud/@tas $~} $~}

2
gen/hood/transfer.hoon
View File

@ -6,7 +6,7 @@
/+ womb
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{pas/@uvH who/@t $~} $~}

2
gen/hood/unlink.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ byk/beak}
{arg/$?({dap/term $~} {who/ship dap/term $~}) $~}

2
gen/hood/unmount.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{mon/$@(term {knot path}) $~} $~}

2
gen/hood/unsync.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/{syd/@tas her/@p sud/@tas $~} $~}

4
gen/hood/verb.hoon
View File

@ -6,8 +6,8 @@
/- sole
::
::::
!:
[sole .]
::
=, sole
:- %say
|= $: {now/@da eny/@ bec/beak}
{$~ $~}

2
gen/ls.hoon
View File

@ -4,7 +4,7 @@
::
/? 310
// /%/subdir
!:
::
::::
::
~& %

250
gen/metal.hoon Normal file
View File

@ -0,0 +1,250 @@
::
:::: /hoon/metal/gen
::
/? 310
::
::::
!:
:- %say
|= $: {now/@da * bec/beak}
{{who/@p $~} $~}
==
::
:: we're creating an event series E whose lifecycle can be computed
:: with the urbit lifecycle formula L, `[2 [0 3] [0 2]]`. that is:
:: if E is the list of events processed by a computer in its life,
:: its final state is S, where S is nock(E L).
::
:: in practice, the first five nouns in E are: two boot formulas,
:: a hoon compiler as a nock formula, the same compiler as source,
:: and the arvo kernel as source.
::
:: after the first five special events, we enter an iterative
:: sequence of regular events which continues for the rest of the
:: computer's life. during this sequence, each state is a function
:: that, passed the next event, produces the next state.
::
:: each event is a `[date wire type data]` tuple, where `date` is a
:: 128-bit Urbit date; `wire` is an opaque path which output can
:: match to track causality; `type` is a symbol describing the type
:: of input; and `data` is input data specific to `type`.
::
:: in real life we don't actually run the lifecycle loop,
:: since real life is updated incrementally and also cares
:: about things like output. we couple to the internal
:: structure of the state machine and work directly with
:: the underlying arvo engine.
::
:: this arvo core, which is at `+7` (Lisp `cddr`) of the state
:: function (see its public interface in `sys/arvo`), gives us
:: extra features, like output, which are relevant to running
:: a real-life urbit vm, but don't affect the formal definition.
::
:: so a real-life urbit interpreter is coupled to the shape of
:: the arvo core. it becomes very hard to change this shape.
:: fortunately, it is not a very complex interface.
::
:- %noun
::
:: boot-one: lifecycle formula
::
=+ ^= boot-one
::
:: event 1 is the lifecycle formula which computes the final
:: state from the full event sequence.
::
:: (note the rare `!=` rune, which produces the formula f)
::
:: the formal urbit state is always just a gate (function)
:: which, passed the next event, produces the next state.
::
=> [boot-formula=* full-sequence=*]
!= ::
:: first we use the boot formula (event 1) to set up
:: the pair of state function and main sequence. the boot
:: formula peels off the first n (currently 3) events
:: to set up the lifecycle loop.
::
=+ [state-gate main-sequence]=.*(full-sequence boot-formula)
::
:: in this lifecycle loop, we replace the state function
:: with its product, called on the next event, until
:: we run out of events.
::
|- ?@ main-sequence
state-gate
%= $
main-sequence +.main-sequence
state-gate .*(state-gate(+< -.main-sequence) -.state-gate)
==
::
:: boot-two: startup formula
::
=+ ^= boot-two
::
:: event 2 is the startup formula, which verifies the compiler
:: and starts the main lifecycle.
::
=> :* :: event 3: a formula producing the hoon compiler
::
compiler-formula=**
::
:: event 4: hoon compiler source, compiling to event 2
::
compiler-source=*@t
::
:: event 5: arvo kernel source
::
arvo-source=*@t
::
:: events 6..n: main sequence with normal semantics
::
main-sequence=**
==
!= :_ main-sequence
::
:: activate the compiler gate. the product of this formula
:: is smaller than the formula. so you might think we should
:: save the gate itself rather than the formula producing it.
:: but we have to run the formula at runtime, to register jets.
::
:: as always, we have to use raw nock as we have no type.
:: the gate is in fact ++ride.
::
=+ ^= compiler-gate
.*(0 compiler-formula)
::
:: compile the compiler source, producing (pair span nock).
:: the compiler ignores its input so we use a trivial span.
::
=+ ^= compiler-tool
.*(compiler-gate(+< [%noun compiler-source]) -.compiler-gate)
::
:: check that the new compiler formula equals the old formula.
:: this is not proof against thompson attacks but it doesn't hurt.
::
?> =(compiler-formula +:compiler-tool)
::
:: get the span (type) of the hoon core, which is the context
:: of the compiler gate. we just compiled the compiler,
:: so we know the span (type) of the compiler gate. its
:: context is at tree address `+>` (ie, `+7` or Lisp `cddr`).
:: we use the compiler again to infer this trivial program.
::
=+ ^= kernel-span
-:.*(compiler-gate(+< [-.compiler-tool '+>']) -.compiler-gate)
::
:: compile the arvo source against the hoon core.
::
=+ ^= kernel-tool
.*(compiler-gate(+< [kernel-span arvo-source]) -.compiler-gate)
::
:: create the arvo kernel, whose subject is the hoon core.
::
.*(+>:compiler-gate +:kernel-tool)
::
:: sys: root path to boot system, `/~me/[desk]/now/sys`
::
=+ sys=`path`/(scot %p p.bec)/[q.bec]/(scot %da now)/sys
::
:: compiler-source: hoon source file producing compiler, `sys/hoon`
::
=+ compiler-source=.^(@t %cx (welp sys /hoon/hoon))
::
:: compiler-twig: compiler as hoon expression
::
~& %metal-parsing
=+ compiler-twig=(ream compiler-source)
~& %metal-parsed
::
:: compiler-formula: compiler as nock formula
::
~& %metal-compiling
=+ compiler-formula=q:(~(mint ut %noun) %noun compiler-twig)
~& %metal-compiled
::
:: arvo-source: hoon source file producing arvo kernel, `sys/arvo`
::
=+ arvo-source=.^(@t %cx (welp sys /arvo/hoon))
::
:: main-moves: installation actions
::
=+ ^= main-moves
|^ ^- (list ovum)
:~ ::
:: configure identity
::
[[%name (scot %p who) ~] [%veal who]]
::
:: sys/zuse: standard library
::
(vent %$ /zuse)
::
:: sys/vane/ames: network
::
(vent %a /vane/ames)
::
:: sys/vane/behn: timer
::
(vent %b /vane/behn)
::
:: sys/vane/clay: revision control
::
(vent %c /vane/clay)
::
:: sys/vane/dill: console
::
(vent %d /vane/dill)
::
:: sys/vane/eyre: web
::
(vent %e /vane/eyre)
::
:: sys/vane/ford: build
::
(vent %f /vane/ford)
::
:: sys/vane/gall: applications
::
(vent %g /vane/gall)
::
:: sys/vane/jael: security
::
(vent %j /vane/jael)
==
::
++ vent
|= {abr/term den/path}
=+ pax=(weld sys den)
=+ txt=.^(@ %cx (welp pax /hoon))
`ovum`[[%vane den] [%veer abr pax txt]]
--
::
:: main-events: full events with advancing times
::
=+ ^= main-events
|- ^- (list (pair @da ovum))
?~ main-moves ~
:- [now i.main-moves]
$(main-moves t.main-moves, now (add now (bex 48)))
~& %metal-testing
=+ ^= yop
^- @p
%- mug
.* :* boot-one
boot-two
compiler-formula
compiler-source
arvo-source
main-events
==
[2 [0 3] [0 2]]
~& [%metal-tested yop]
::
:* boot-one
boot-two
compiler-formula
compiler-source
arvo-source
main-events
==

2
gen/moon.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
$~

2
gen/pipe/cancel.hoon
View File

@ -1,4 +1,4 @@
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{app/term source/path station/knot $~} $~}

2
gen/pipe/connect.hoon
View File

@ -1,4 +1,4 @@
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{app/term source/path station/knot $~} $~}

2
gen/pipe/list.hoon
View File

@ -1,4 +1,4 @@
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{$~ $~}

49
gen/plastic.hoon Normal file
View File

@ -0,0 +1,49 @@
::
:::: /hoon/plastic/gen
::
/? 310
::
::::
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{who/@p $~} $~}
==
:- %noun
=+ one
!= => ~
=+ top=`path`/(scot %p p.bec)/[q.bec]/(scot %da now)/arvo
=+ pax=`path`(weld top `path`[%hoon ~])
~& %plastic-start
=+ gen=(reck pax)
~& %plastic-parsed
=+ ken=q:(~(mint ut %noun) %noun gen)
~& %plastic-compiled
:- ken
=+ all=.*(0 ken)
=+ ^= vent
|= {abr/term nam/term}
=+ pax=(weld top `path`[nam ~])
=+ txt=.^(@ %cx (weld pax `path`[%hoon ~]))
`ovum`[[%vane nam ~] [%veer abr pax txt]]
=+ ^= evo
^- (list ovum)
:~ (vent %$ %zuse)
[[%name (scot %p who) ~] [%veal who]]
(vent %c %clay)
(vent %g %gall)
(vent %f %ford)
(vent %a %ames)
(vent %b %behn)
(vent %d %dill)
(vent %e %eyre)
==
|- ^+ all
?~ evo all
~& [%plastic-step p.i.evo]
=+ gat=.*(all .*(all [0 42]))
=+ nex=+:.*([-.gat [[now i.evo] +>.gat]] -.gat)
$(evo t.evo, all nex)

2
gen/pope.hoon
View File

@ -5,7 +5,7 @@
/? 310
:: Input twitter keys
/- sole
!:
::
=+ cryp=crub
=+ [sole]
:- %ask

4
gen/solid.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{$~ $~}
@ -15,8 +15,6 @@
=+ pax=`path`(weld top `path`[%hoon ~])
~& %solid-start
=+ gen=(reck pax)
:: =+ nig=(rick pax)
:: ~& [%mugs gen+(mug gen) nig+(mug nig)]
~& %solid-parsed
=+ ken=q:(~(mint ut %noun) %noun gen)
~& %solid-compiled

2
gen/talk/load.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ byk/beak}
{{man/knot $~} $~}

2
gen/talk/log.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ byk/beak}
{{man/knot $~} $~}

2
gen/talk/save.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ byk/beak}
{{man/knot $~} $~}

2
gen/talk/unlog.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ byk/beak}
{{man/knot $~} $~}

2
gen/ticket.hoon
View File

@ -5,7 +5,7 @@
/? 310
::
::::
!:
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{her/@p $~} $~}

2
gen/tree.hoon
View File

@ -3,7 +3,7 @@
:::: /hoon/tree/gen
::
/? 310
!:
::
::::
::
:- %say

2
gen/twit/as.hoon
View File

@ -6,7 +6,7 @@
::
::::
::
[twitter .]
=, twitter
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{{who/knot msg/cord $~} $~}

2
gen/twit/feed.hoon
View File

@ -3,7 +3,7 @@
:::: /hoon/feed/twit/gen
::
/- twitter
!:
::
:::: ~fyr
::
:- %say

1
lib/basic-auth.hoon
View File

@ -2,6 +2,7 @@
::
:::: /hoon/basic-auth/lib
::
=, ^eyre
|%
++ keys @t
--

2
lib/connector.hoon
View File

@ -87,7 +87,7 @@
::
++ endpoint-to-purl
|= endpoint/path
(scan (weld api-url <`path`endpoint>) auri:epur)
(scan (weld api-url <`path`endpoint>) auri:urlp)
::
:: Return error. Used when no http response is expected.
::

2
lib/down-jet.hoon
View File

@ -6,7 +6,7 @@
::
::::
::
[markdown .]
=,(^?(markdown) .)
// /%/parse :: inli donp parse
// /%/rend :: sing sung sang flat into-inner
~% %down ..is ~

16
lib/down-jet/parse.hoon
View File

@ -3,6 +3,8 @@
:::: /hoon/parse/down-jet/lib
::
/? 310
=* xml xml:eyre
=, lines:clay
=+ =~
|%
++ loca |*(a/_* {p/@u q/a})
@ -10,20 +12,22 @@
--
|%
++ htm-enty :: XX belongs in zuse
=, space:userlib
=, format
~+
=- |= tub/nail ^- (like @t) %. tub :: export context
=+(poxa enty(ent mapping))
=+(parse:xml enty(ent mapping))
^- mapping/(map knot @tF)
=+ pax=/==5%%/html5-entities/json :: XX %%/
=+ maf=%.(pax ;~(biff file (soft json) (om so):jo))
=+ pax=/==2%%/html5-entities/json :: XX %%/
=+ maf=%.(pax ;~(biff file (soft json) (om so):dejs-soft))
?^ maf u.maf
~& no-enty+pax
(my amp+'&' quot+'"' apos+'\'' lt+'<' gt+'>' ~) :: fallback
::
++ skem-symb (star ;~(pose dot alp))
++ skem-set ~+ ^- (set cord) :: URI schemes
:: (sa `wain`/http/https/javascript)
=- (silt `wain`(rash - (more gah (cook crip skem-symb))))
:: (silt `wain`/http/https/javascript)
=- (silt `wain`(rash - (more gah (cook crip skem-symb))))
'''
coap doi javascript aaa aaas about acap cap cid crid data dav dict dns file
ftp geo go gopher h323 http https iax icap im imap info ipp iris iris.beep
@ -164,7 +168,7 @@
$& (madn n.a)
$| (madn p.a)
==
;~(pose empt:poxa (pech [head tail]:poxa))
;~(pose empt:parse:xml (pech [head tail]:parse:xml))
::
++ line
%+ cold [%line ~]

21
lib/down-jet/rend.hoon
View File

@ -3,7 +3,7 @@
:::: /hoon/rend/down-jet/lib
::
/? 310
!:
::
|%
++ into-inner
|= {a/marl b/manx}
@ -46,6 +46,8 @@
$(a t.a)
::
++ sing :: elem to manx
=* xml xml:eyre
=, js:eyre
=> |%
++ first-word
|= a/tape
@ -74,14 +76,14 @@
(push (reso ele) ~)
:: begin reparsing of html that the spec jankily lets through ::
=+ tex=(trip (role p.ele))
=^ mar lum (chomp tex (sear |=(a/marl ?~(a ~ (some a))) many:poxa))
=^ mar lum (chomp tex (sear |=(a/marl ?~(a ~ (some a))) many:parse:xml))
?^ mar
(push u.mar)
=^ hed lum (chomp tex head:poxa)
=^ hed lum (chomp tex head:parse:xml)
?^ hed
=+ max=`marx`u.hed
(push(lum q) [max p] ~):[apex(had `n.max) .]
=^ tal lum (chomp tex tail:poxa)
=^ tal lum (chomp tex tail:parse:xml)
?~ tal
=^ cha lum (chomp tex prn)
?^ cha
@ -138,9 +140,9 @@
;meta(value "{(pojo jon)}", name "frontmatter", urb_front "");
:: %html
::=+ tex=(role (turn p.a crip))
::=+ (poxa tex)
::=+ (parse:xml tex)
::?^ - u.-
::=+ (rush tex (star ;~(pose gah comt:poxa)))
::=+ (rush tex (star ;~(pose gah comt:parse:xml)))
::?^ - ;/(~)
::;lost: {<p.a>}
:: ;/([(role (turn p.a crip))]~) :: XX haaaaaaack
@ -154,6 +156,7 @@
--
::
++ sung
=, url:eyre
|= lim/kids
=+ had=*(unit mane)
|^ ^- marl
@ -173,15 +176,15 @@
apex(p.i.lim (weld p.ele p.i.lim))
(push (reso ele) ~)
=+ tex=(trip p.ele)
=^ emo lim (chomp tex empt:poxa)
=^ emo lim (chomp tex empt:parse:xml)
?^ emo
=+ man=`manx`u.emo
(push man ~)
=^ hed lim (chomp tex head:poxa)
=^ hed lim (chomp tex head:parse:xml)
?^ hed
=+ max=`marx`u.hed
(push(lim q) [max p] ~):[apex(had `n.max) .]
=^ tal lim (chomp tex tail:poxa)
=^ tal lim (chomp tex tail:parse:xml)
?~ tal
(push ;lost:"{tex}" ~)
?: =(had tal)

Some files were not shown because too many files have changed in this diff Show More