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

Merge pull request #932 from urbit/remove-some-tiscom

Browse Source 
Remove some tiscom
This commit is contained in:
Elliot Glaysher 2018-12-11 14:09:54 -08:00 committed by GitHub
commit e9bef4eae7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
12 changed files with 74 additions and 80 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
app/ask.hoon
View File

@ -94,7 +94,7 @@
(transmit set+~ pro+prompt ~) :: XX handle multiple links? (transmit set+~ pro+prompt ~) :: XX handle multiple links?
:: ::
$det :: reject all input $det :: reject all input
=^ inv som (~(transceive ^sole som) +.act) =^ inv som (~(transceive sole som) +.act)
=. sos (~(put by sos) ost.bow som) =. sos (~(put by sos) ost.bow som)
?~ wom ?~ wom
=/ try (rose (tufa buf.som) fed:ag) =/ try (rose (tufa buf.som) fed:ag)
@ -125,7 +125,7 @@
++ transmit ++ transmit
|= {inv/sole-edit mor/(list sole-effect)} |= {inv/sole-edit mor/(list sole-effect)}
=/ som (~(got by sos) ost.bow) =/ som (~(got by sos) ost.bow)
=^ det som (~(transmit ^sole som) inv) =^ det som (~(transmit sole som) inv)
=. sos (~(put by sos) ost.bow som) =. sos (~(put by sos) ost.bow som)
[[(effect mor+[det+det mor])]~ +>.$] [[(effect mor+[det+det mor])]~ +>.$]
:: ::

32
app/dojo.hoon
View File

@ -5,8 +5,6 @@
/- sole, lens :: console structures /- sole, lens :: console structures
/+ sole :: console library /+ sole :: console library
=, sole =, sole
=, space:userlib
=, format
:: :: :: :: :: ::
:::: :: :::: :::: :: ::::
:: :: :: :: :: ::
@ -310,7 +308,7 @@
:: ::
=? a &(?=(^ a) =('' i.a)) =? a &(?=(^ a) =('' i.a))
t.a t.a
=+((de-beam a) ?^(- u [he-beak (flop a)])) =+((de-beam:format a) ?^(- u [he-beak (flop a)]))
=+ vez=(vang | dp-path) =+ vez=(vang | dp-path)
(sear plex:vez (stag %clsg poor:vez)) (sear plex:vez (stag %clsg poor:vez))
:: ::
@ -320,11 +318,11 @@
auru:de-purl:html auru:de-purl:html
:: ::
++ dp-model ;~(plug dp-server dp-config) :: ++dojo-model ++ dp-model ;~(plug dp-server dp-config) :: ++dojo-model
++ dp-path (en-beam he-beam) :: ++path ++ dp-path (en-beam:format he-beam) :: ++path
++ dp-server (stag 0 (most net sym)) :: ++dojo-server ++ dp-server (stag 0 (most net sym)) :: ++dojo-server
++ dp-hoon tall:(vang | dp-path) :: ++hoon ++ dp-hoon tall:(vang | dp-path) :: ++hoon
++ dp-rood :: 'dir' hoon ++ dp-rood :: 'dir' hoon
=> (vang | (en-beam dir)) => (vang | (en-beam:format dir))
;~ pose ;~ pose
rood rood
:: ::
@ -566,9 +564,9 @@
?: ?=({@ ~} pax) ~[i.pax %home '0'] ?: ?=({@ ~} pax) ~[i.pax %home '0']
?: ?=({@ @ ~} pax) ~[i.pax i.t.pax '0'] ?: ?=({@ @ ~} pax) ~[i.pax i.t.pax '0']
pax pax
=. dir (need (de-beam pax)) =. dir (need (de-beam:format pax))
=- +>(..dy (he-diff %tan - ~)) =- +>(..dy (he-diff %tan - ~))
rose+[" " `~]^~[leaf+"=%" (smyt (en-beam he-beak s.dir))] rose+[" " `~]^~[leaf+"=%" (smyt (en-beam:format he-beak s.dir))]
== ==
:: ::
$help $help
@ -589,7 +587,7 @@
%info %info
/file /file
our.hid our.hid
(foal (en-beam p.p.mad) cay) (foal:space:userlib (en-beam:format p.p.mad) cay)
== ==
:: ::
$flat $flat
@ -1269,10 +1267,10 @@
++ dy-edit :: handle edit ++ dy-edit :: handle edit
|= cal/sole-change |= cal/sole-change
^+ +>+> ^+ +>+>
=^ dat say (~(transceive ^sole say) cal) =^ dat say (~(transceive sole say) cal)
?: |(?=(^ per) ?=(^ pux) ?=(~ pro)) ?: |(?=(^ per) ?=(^ pux) ?=(~ pro))
~& %dy-edit-busy ~& %dy-edit-busy
=^ lic say (~(transmit ^sole say) dat) =^ lic say (~(transmit sole say) dat)
(dy-diff %mor [%det lic] [%bel ~] ~) (dy-diff %mor [%det lic] [%bel ~] ~)
(dy-slam(per `dat) /edit u.pro !>((tufa buf.say))) (dy-slam(per `dat) /edit u.pro !>((tufa buf.say)))
:: ::
@ -1541,12 +1539,12 @@
++ he-errd :: reject update ++ he-errd :: reject update
|= {rev/(unit sole-edit) err/@u} ^+ +> |= {rev/(unit sole-edit) err/@u} ^+ +>
=+ red=(fall rev [%nop ~]) :: required for error location sync =+ red=(fall rev [%nop ~]) :: required for error location sync
=^ lic say (~(transmit ^sole say) red) =^ lic say (~(transmit sole say) red)
(he-diff %mor [%det lic] [%err err] ~) (he-diff %mor [%det lic] [%err err] ~)
:: ::
++ he-pone :: clear prompt ++ he-pone :: clear prompt
^+ . ^+ .
=^ cal say (~(transmit ^sole say) [%set ~]) =^ cal say (~(transmit sole say) [%set ~])
(he-diff %mor [%det cal] ~) (he-diff %mor [%det cal] ~)
:: ::
++ he-prow :: where we are ++ he-prow :: where we are
@ -1625,7 +1623,7 @@
(he-diff %tan u.p.cit) (he-diff %tan u.p.cit)
:: ::
++ he-lens ++ he-lens
|= com/command:^^^^lens |= com/command:^^lens
^+ +> ^+ +>
=+ ^- source/dojo-source =+ ^- source/dojo-source
=| num/@ =| num/@
@ -1701,7 +1699,7 @@
?- -.sink.com ?- -.sink.com
$stdout [%show %0] $stdout [%show %0]
$output-file $(sink.com [%command (cat 3 '@' pax.sink.com)]) $output-file $(sink.com [%command (cat 3 '@' pax.sink.com)])
$output-clay [%file (need (de-beam pax.sink.com))] $output-clay [%file (need (de-beam:format pax.sink.com))]
$url [%http %post `~. url.sink.com] $url [%http %post `~. url.sink.com]
$to-api !! $to-api !!
$send-api [%poke our.hid api.sink.com] $send-api [%poke our.hid api.sink.com]
@ -1719,7 +1717,7 @@
^+ +> ^+ +>
:: ~& [%his-clock ler.cal] :: ~& [%his-clock ler.cal]
:: ~& [%our-clock ven.say] :: ~& [%our-clock ven.say]
=^ dat say (~(transceive ^sole say) cal) =^ dat say (~(transceive sole say) cal)
?. ?& ?=($del -.dat) ?. ?& ?=($del -.dat)
=(+(p.dat) (lent buf.say)) =(+(p.dat) (lent buf.say))
== ==
@ -1753,7 +1751,7 @@
?~ p.doy ?~ p.doy
(he-errd ~ (lent txt)) (he-errd ~ (lent txt))
=+ old=(weld ?~(buf "> " " ") (tufa buf.say)) =+ old=(weld ?~(buf "> " " ") (tufa buf.say))
=^ cal say (~(transmit ^sole say) [%set ~]) =^ cal say (~(transmit sole say) [%set ~])
=. +>.$ (he-diff %mor txt+old nex+~ det+cal ~) =. +>.$ (he-diff %mor txt+old nex+~ det+cal ~)
?- -.u.p.doy ?- -.u.p.doy
%& (he-plan(buf ~) p.u.p.doy) %& (he-plan(buf ~) p.u.p.doy)
@ -1815,7 +1813,7 @@
(wrap he-type):arm (wrap he-type):arm
:: ::
++ poke-lens-command ++ poke-lens-command
|= com/command:^^^^lens ~| poke-lens+com %. com |= com/command:^^lens ~| poke-lens+com %. com
(wrap he-lens):arm (wrap he-lens):arm
:: ::
++ poke-json ++ poke-json

47
app/hall.hoon
View File

@ -22,7 +22,6 @@
:: ::
:::: ::::
=, hall-sur =, hall-sur
=, hall-lib
=> :: # => :: #
:: # %arch :: # %arch
:: # :: #
@ -117,7 +116,7 @@
:: # :: #
:: functional cores and arms. :: functional cores and arms.
:: ::
~% %hall-door ..^^^is ~ ~% %hall-door ..is ~
|_ {bol/bowl:gall $1 state} |_ {bol/bowl:gall $1 state}
:: ::
:: # %transition :: # %transition
@ -360,7 +359,7 @@
(ta-action [%create nom des typ]) (ta-action [%create nom des typ])
%- ta-deltas %- ta-deltas
:: if needed, subscribe to our parent's /burden. :: if needed, subscribe to our parent's /burden.
=+ sen=(above [our now our]:bol) =+ sen=(above:hall-lib [our now our]:bol)
?: ?| !=(%czar (clan:title sen)) ?: ?| !=(%czar (clan:title sen))
=(sen our.bol) =(sen our.bol)
=(%pawn (clan:title our.bol)) =(%pawn (clan:title our.bol))
@ -770,7 +769,7 @@
~/ %hall-ta-observe ~/ %hall-ta-observe
|= who/ship |= who/ship
^+ +> ^+ +>
?. =(our.bol (above our.bol now.bol who)) ?. =(our.bol (above:hall-lib our.bol now.bol who))
~&([%not-our-bearer who] +>) ~&([%not-our-bearer who] +>)
(ta-delta %observe who) (ta-delta %observe who)
:: ::
@ -1145,7 +1144,7 @@
:: ignore if it won't result in change. :: ignore if it won't result in change.
?. ?| &(?=($remove -.dif.rum) ?=(^ old)) ?. ?| &(?=($remove -.dif.rum) ?=(^ old))
?=(~ old) ?=(~ old)
!=(u.old (change-config u.old dif.rum)) !=(u.old (change-config:hall-lib u.old dif.rum))
== ==
+>.$ +>.$
:: full changes to us need to get split up. :: full changes to us need to get split up.
@ -1165,7 +1164,7 @@
:: ignore if it won't result in change. :: ignore if it won't result in change.
?. ?| &(?=($remove -.dif.rum) ?=(^ old)) ?. ?| &(?=($remove -.dif.rum) ?=(^ old))
?=(~ old) ?=(~ old)
!=(u.old (change-status u.old dif.rum)) !=(u.old (change-status:hall-lib u.old dif.rum))
== ==
+>.$ +>.$
(so-delta-our rum) (so-delta-our rum)
@ -1251,7 +1250,7 @@
:: in audience, replace above with us. :: in audience, replace above with us.
::TODO this really should be done by the sender. ::TODO this really should be done by the sender.
=. aud.t =. aud.t
=+ dem=[(above [our now our]:bol) nom] =+ dem=[(above:hall-lib [our now our]:bol) nom]
?. (~(has in aud.t) dem) aud.t ?. (~(has in aud.t) dem) aud.t
=+ (~(del in aud.t) dem) =+ (~(del in aud.t) dem)
(~(put in -) so-cir) (~(put in -) so-cir)
@ -1259,7 +1258,7 @@
?: &(?=(^ num) =(t (snag u.num grams))) ~ ?: &(?=(^ num) =(t (snag u.num grams))) ~
::TODO this really should have sent us the message ::TODO this really should have sent us the message
:: src as well but that's not an easy fix. :: src as well but that's not an easy fix.
`[%story nom %gram [(above [our now our]:bol) nom] t] `[%story nom %gram [(above:hall-lib [our now our]:bol) nom] t]
== ==
:: inherited flag :: inherited flag
%_(self deltas [[%story nom %inherited &] deltas]) %_(self deltas [[%story nom %inherited &] deltas])
@ -1284,7 +1283,7 @@
?| !(~(has by locals) who) ?| !(~(has by locals) who)
:: ::
=+ old=(~(got by locals) who) =+ old=(~(got by locals) who)
=+ new=(change-status - dif) =+ new=(change-status:hall-lib - dif)
?& !=(old new) ?& !=(old new)
:: ::
?= ~ ?= ~
@ -1940,7 +1939,7 @@
~/ %hall-da-change-nick ~/ %hall-da-change-nick
|= {who/ship nic/nick} |= {who/ship nic/nick}
^+ +> ^+ +>
+>(nicks (change-nicks nicks who nic)) +>(nicks (change-nicks:hall-lib nicks who nic))
:: ::
:: # :: #
:: # %stories :: # %stories
@ -2126,7 +2125,7 @@
=. +> =. +>
%- sa-emil %- sa-emil
(sa-config-effects shape dif.det) (sa-config-effects shape dif.det)
+>(shape (change-config shape dif.det)) +>(shape (change-config:hall-lib shape dif.det))
:: ::
$status $status
%_ +> %_ +>
@ -2134,7 +2133,7 @@
?: ?=($remove -.dif.det) ?: ?=($remove -.dif.det)
(~(del by locals) who.det) (~(del by locals) who.det)
%+ ~(put by locals) who.det %+ ~(put by locals) who.det
%+ change-status %+ change-status:hall-lib
(fall (~(get by locals) who.det) *status) (fall (~(get by locals) who.det) *status)
dif.det dif.det
== ==
@ -2197,7 +2196,7 @@
?: ?=($remove -.dif.det) ?: ?=($remove -.dif.det)
+>(mirrors (~(del by mirrors) cir.det)) +>(mirrors (~(del by mirrors) cir.det))
=/ new/config =/ new/config
%+ change-config %+ change-config:hall-lib
(fall (~(get by mirrors) cir.det) *config) (fall (~(get by mirrors) cir.det) *config)
dif.det dif.det
+>.$(mirrors (~(put by mirrors) cir.det new)) +>.$(mirrors (~(put by mirrors) cir.det new))
@ -2209,7 +2208,7 @@
=+ ole=(fall (~(get by remotes) cir.det) *group) =+ ole=(fall (~(get by remotes) cir.det) *group)
?: ?=($remove -.dif.det) (~(del by ole) who.det) ?: ?=($remove -.dif.det) (~(del by ole) who.det)
=+ old=(fall (~(get by ole) who.det) *status) =+ old=(fall (~(get by ole) who.det) *status)
(~(put by ole) who.det (change-status old dif.det)) (~(put by ole) who.det (change-status:hall-lib old dif.det))
== ==
== ==
:: ::
@ -2342,7 +2341,7 @@
;: weld ;: weld
/circle/[nom]/(scot %p hos.cir)/[nom.cir] /circle/[nom]/(scot %p hos.cir)/[nom.cir]
(sort wat gth) :: consistence (sort wat gth) :: consistence
(range-to-path ran) (range-to-path:hall-lib ran)
== ==
:: ::
++ wire-to-peer ++ wire-to-peer
@ -2371,7 +2370,7 @@
(welp /circle t.t.t.wir) (welp /circle t.t.t.wir)
:: ::
{$burden *} {$burden *}
:- (above [our now our]:bol) :- (above:hall-lib [our now our]:bol)
/burden/(scot %p our.bol) /burden/(scot %p our.bol)
:: ::
{$report @ *} {$report @ *}
@ -2395,7 +2394,7 @@
:^ %circle :^ %circle
i.t.wir i.t.wir
[(slav %p i.t.t.wir) i.t.t.t.wir] [(slav %p i.t.t.wir) i.t.t.t.wir]
(path-to-range t.t.t.t.wir) (path-to-range:hall-lib t.t.t.t.wir)
:: ::
{$repeat @ @ @ ~} {$repeat @ @ @ ~}
:+ %repeat :+ %repeat
@ -2731,7 +2730,7 @@
:: ::
$report $report
:: only send changes we didn't get from above. :: only send changes we didn't get from above.
?: =(src.bol (above [our now our]:bol)) ~ ?: =(src.bol (above:hall-lib [our now our]:bol)) ~
:: only send story reports about grams and status. :: only send story reports about grams and status.
?. ?=($story -.det) ~ ?. ?=($story -.det) ~
?. ?=(?($gram $status) -.det.det) ~ ?. ?=(?($gram $status) -.det.det) ~
@ -2740,7 +2739,7 @@
?. inherited.soy ~ ?. inherited.soy ~
:: only burden channels for now. :: only burden channels for now.
?. =(%channel sec.con.shape.soy) ~ ?. =(%channel sec.con.shape.soy) ~
`[%burden nom.det (dedicate (above [our now our]:bol) nom.det det.det)] `[%burden nom.det (dedicate (above:hall-lib [our now our]:bol) nom.det det.det)]
:: ::
$peers $peers
?. ?=($story -.det) ~ ?. ?=($story -.det) ~
@ -2826,7 +2825,7 @@
?~ pax qer ?~ pax qer
::TODO can probably do this a bit better... ::TODO can probably do this a bit better...
?+ i.pax ?+ i.pax
qer(ran (path-to-range pax)) qer(ran (path-to-range:hall-lib pax))
:: ::
circle-data %_ $ pax t.pax circle-data %_ $ pax t.pax
wat.qer (~(put in wat.qer) i.pax) wat.qer (~(put in wat.qer) i.pax)
@ -2863,7 +2862,7 @@
:: parse a list of coins into a query structure. :: parse a list of coins into a query structure.
:: ::
^- $-((list coin) query) ^- $-((list coin) query)
=> depa => depa:hall-lib
|^ %- af :~ |^ %- af :~
[%client ul] [%client ul]
[%circles (at /[%p])] [%circles (at /[%p])]
@ -2890,10 +2889,10 @@
$circles =(who who.qer) $circles =(who who.qer)
$public & $public &
$burden ?& =(who who.qer) $burden ?& =(who who.qer)
=(our.bol (above our.bol now.bol who)) =(our.bol (above:hall-lib our.bol now.bol who))
== ==
$peers =(who our.bol) ::TODO or so-visible? $peers =(who our.bol) ::TODO or so-visible?
$report =(who (above [our now our]:bol)) $report =(who (above:hall-lib [our now our]:bol))
:: ::
$circle $circle
?. (~(has by stories) nom.qer) | ?. (~(has by stories) nom.qer) |
@ -3277,7 +3276,7 @@
?: =(a 'refederate') ?: =(a 'refederate')
~& 'refederating. may take a while...' ~& 'refederating. may take a while...'
:_ +> :_ +>
=+ bov=(above [our now our]:bol) =+ bov=(above:hall-lib [our now our]:bol)
?: =(bov our.bol) ~ ?: =(bov our.bol) ~
:~ [ost.bol %pull /burden [bov dap.bol] ~] :~ [ost.bol %pull /burden [bov dap.bol] ~]
(wire-to-peer /burden) (wire-to-peer /burden)

51
app/talk.hoon
View File

@ -13,15 +13,12 @@
:: since that's the only thing the client ever :: since that's the only thing the client ever
:: subscribes to. :: subscribes to.
:: ::
/- hall-sur=hall, sole-sur=sole :: structures /- sole-sur=sole :: structures
/+ hall-lib=hall, sole-lib=sole :: libraries /+ *hall, sole-lib=sole :: libraries
/= seed /~ !>(.) /= seed /~ !>(.)
:: ::
:::: ::::
:: ::
=, hall-sur
=, sole-sur
=, hall-lib
=> :: # => :: #
:: # %arch :: # %arch
:: # :: #
@ -47,7 +44,7 @@
++ shell :: console session ++ shell :: console session
$: id/bone :: identifier $: id/bone :: identifier
latest/@ud :: latest shown msg num latest/@ud :: latest shown msg num
say/sole-share :: console state say/sole-share:sole-sur :: console state
active/audience :: active targets active/audience :: active targets
settings/(set term) :: frontend settings settings/(set term) :: frontend settings
width/@ud :: display width width/@ud :: display width
@ -55,7 +52,7 @@
== :: == ::
++ move (pair bone card) :: all actions ++ move (pair bone card) :: all actions
++ lime :: diff fruit ++ lime :: diff fruit
$% {$sole-effect sole-effect} :: $% {$sole-effect sole-effect:sole-sur} ::
== :: == ::
++ pear :: poke fruit ++ pear :: poke fruit
$% {$hall-command command} :: $% {$hall-command command} ::
@ -330,7 +327,7 @@
:_ +> :_ +>
:: seperate our sole-effects from other moves. :: seperate our sole-effects from other moves.
=/ yop =/ yop
|- ^- (pair (list move) (list sole-effect)) |- ^- (pair (list move) (list sole-effect:sole-sur))
?~ moves [~ ~] ?~ moves [~ ~]
=+ mor=$(moves t.moves) =+ mor=$(moves t.moves)
?: ?& =(id.cli p.i.moves) ?: ?& =(id.cli p.i.moves)
@ -340,7 +337,7 @@
[[i.moves p.mor] q.mor] [[i.moves p.mor] q.mor]
:: flop moves, flop and squash sole-effects into a %mor. :: flop moves, flop and squash sole-effects into a %mor.
=+ moz=(flop p.yop) =+ moz=(flop p.yop)
=/ foc/(unit sole-effect) =/ foc/(unit sole-effect:sole-sur)
?~ q.yop ~ ?~ q.yop ~
?~ t.q.yop `i.q.yop :: single sole-effect ?~ t.q.yop `i.q.yop :: single sole-effect
`[%mor (flop q.yop)] :: more sole-effects `[%mor (flop q.yop)] :: more sole-effects
@ -590,7 +587,7 @@
++ ta-sole ++ ta-sole
:: apply sole input :: apply sole input
:: ::
|= act/sole-action |= act/sole-action:sole-sur
^+ +> ^+ +>
?. =(id.cli ost.bol) ?. =(id.cli ost.bol)
~&(%strange-sole !!) ~&(%strange-sole !!)
@ -626,7 +623,7 @@
++ sh-fact ++ sh-fact
:: adds a console effect to ++ta's moves. :: adds a console effect to ++ta's moves.
:: ::
|= fec/sole-effect |= fec/sole-effect:sole-sur
^+ +> ^+ +>
+>(moves [[id.she %diff %sole-effect fec] moves]) +>(moves [[id.she %diff %sole-effect fec] moves])
:: ::
@ -655,7 +652,7 @@
++ sh-sole ++ sh-sole
:: applies sole action. :: applies sole action.
:: ::
|= act/sole-action |= act/sole-action:sole-sur
^+ +> ^+ +>
?- -.act ?- -.act
$det (sh-edit +.act) $det (sh-edit +.act)
@ -669,7 +666,7 @@
:: called when typing into the cli prompt. :: called when typing into the cli prompt.
:: applies the change and does sanitizing. :: applies the change and does sanitizing.
:: ::
|= cal/sole-change |= cal/sole-change:sole-sur
^+ +> ^+ +>
=^ inv say.she (~(transceive sole-lib say.she) cal) =^ inv say.she (~(transceive sole-lib say.she) cal)
=+ fix=(sh-sane inv buf.say.she) =+ fix=(sh-sane inv buf.say.she)
@ -991,14 +988,14 @@
:: parses cli prompt input using ++sh-read and :: parses cli prompt input using ++sh-read and
:: sanitizes when invalid. :: sanitizes when invalid.
:: ::
|= {inv/sole-edit buf/(list @c)} |= {inv/sole-edit:sole-sur buf/(list @c)}
^- {lit/(list sole-edit) err/(unit @u)} ^- {lit/(list sole-edit:sole-sur) err/(unit @u)}
=+ res=(rose (tufa buf) sh-read) =+ res=(rose (tufa buf) sh-read)
?: ?=(%| -.res) [[inv]~ `p.res] ?: ?=(%| -.res) [[inv]~ `p.res]
:_ ~ :_ ~
?~ p.res ~ ?~ p.res ~
=+ wok=u.p.res =+ wok=u.p.res
|- ^- (list sole-edit) |- ^- (list sole-edit:sole-sur)
?+ -.wok ?+ -.wok
~ ~
:: ::
@ -1009,11 +1006,11 @@
++ sh-slug ++ sh-slug
:: corrects invalid prompt input. :: corrects invalid prompt input.
:: ::
|= {lit/(list sole-edit) err/(unit @u)} |= {lit/(list sole-edit:sole-sur) err/(unit @u)}
^+ +> ^+ +>
?~ lit +> ?~ lit +>
=^ lic say.she =^ lic say.she
(~(transmit sole-lib say.she) `sole-edit`?~(t.lit i.lit [%mor lit])) (~(transmit sole-lib say.she) `sole-edit:sole-sur`?~(t.lit i.lit [%mor lit]))
(sh-fact [%mor [%det lic] ?~(err ~ [%err u.err]~)]) (sh-fact [%mor [%det lic] ?~(err ~ [%err u.err]~)])
:: ::
++ sh-obey ++ sh-obey
@ -1374,7 +1371,7 @@
:: ::
|= cis/(set circle) ^+ ..sh-work |= cis/(set circle) ^+ ..sh-work
=< (sh-fact %mor (murn (sort ~(tap by remotes) aor) .)) =< (sh-fact %mor (murn (sort ~(tap by remotes) aor) .))
|= {cir/circle gop/group} ^- (unit sole-effect) |= {cir/circle gop/group} ^- (unit sole-effect:sole-sur)
?. |(=(~ cis) (~(has in cis) cir)) ~ ?. |(=(~ cis) (~(has in cis) cir)) ~
?: =(%mailbox sec.con:(fall (~(get by mirrors) cir) *config)) ~ ?: =(%mailbox sec.con:(fall (~(get by mirrors) cir) *config)) ~
?. (~(has in sources) cir) ~ ?. (~(has in sources) cir) ~
@ -1407,14 +1404,14 @@
%+ sh-fact %mor %+ sh-fact %mor
%- ~(rep by binds) %- ~(rep by binds)
|= $: {gyf/char aus/(set audience)} |= $: {gyf/char aus/(set audience)}
lis/(list sole-effect) lis/(list sole-effect:sole-sur)
== ==
%+ weld lis %+ weld lis
^- (list sole-effect) ^- (list sole-effect:sole-sur)
%- ~(rep in aus) %- ~(rep in aus)
|= {a/audience l/(list sole-effect)} |= {a/audience l/(list sole-effect:sole-sur)}
%+ weld l %+ weld l
^- (list sole-effect) ^- (list sole-effect:sole-sur)
[%txt [gyf ' ' ~(ar-phat ar a)]]~ [%txt [gyf ' ' ~(ar-phat ar a)]]~
:: ::
++ number ++ number
@ -1466,7 +1463,7 @@
=- ~(tap in (~(del in src:-) [cir ~])) =- ~(tap in (~(del in src:-) [cir ~]))
(fall (~(get by mirrors) cir) *config) (fall (~(get by mirrors) cir) *config)
|= s/^source |= s/^source
^- sole-effect ^- sole-effect:sole-sur
:- %txt :- %txt
%+ weld ~(cr-phat cr cir.s) %+ weld ~(cr-phat cr cir.s)
%+ roll (range-to-path ran.s) %+ roll (range-to-path ran.s)
@ -2234,7 +2231,7 @@
:: produces sole-effect for printing message :: produces sole-effect for printing message
:: details. :: details.
:: ::
^- sole-effect ^- sole-effect:sole-sur
~[%mor [%tan tr-meta] tr-body] ~[%mor [%tan tr-meta] tr-body]
:: ::
++ tr-rend ++ tr-rend
@ -2306,7 +2303,7 @@
:: long-form display of message contents, specific :: long-form display of message contents, specific
:: to each speech type. :: to each speech type.
:: ::
|- ^- sole-effect |- ^- sole-effect:sole-sur
?- -.sep ?- -.sep
$lin $lin
tan+~[leaf+"{?:(pat.sep "@ " "")}{(trip msg.sep)}"] tan+~[leaf+"{?:(pat.sep "@ " "")}{(trip msg.sep)}"]
@ -2509,7 +2506,7 @@
++ poke-sole-action ++ poke-sole-action
:: incoming sole action. process it. :: incoming sole action. process it.
:: ::
|= act/sole-action |= act/sole-action:sole-sur
ta-done:(ta-sole:ta act) ta-done:(ta-sole:ta act)
:: ::
::TODO for debug purposes. remove eventually. ::TODO for debug purposes. remove eventually.

3
lib/hall.hoon
View File

@ -1,11 +1,10 @@
:: ::
:::: /lib/hall/hoon :::: /lib/hall/hoon
:: ::
/- hall /- *hall
:: ::
:::: ::::
:: ::
=, hall
|_ bol/bowl:gall |_ bol/bowl:gall
:: ::
::TODO add to zuse? ::TODO add to zuse?

3
lib/hood/drum.hoon
View File

@ -2,9 +2,8 @@
:::: /hoon/drum/hood/lib :: :: :::: /hoon/drum/hood/lib :: ::
:: :: :: :: :: ::
/? 310 :: version /? 310 :: version
/- sole, hall /- *sole, hall
/+ sole /+ sole
=, ^sole
:: :: :: :: :: ::
:::: :: :: :::: :: ::
:: :: :: :: :: ::

1
lib/pill.hoon
View File

@ -1,5 +1,6 @@
:: |pill: helper functions for making pills :: |pill: helper functions for making pills
:: ::
^?
|% |%
:: +module-ova: vane load operations. :: +module-ova: vane load operations.
:: ::

4
lib/sole.hoon
View File

@ -2,9 +2,7 @@
:::: /hoon/sole/lib :::: /hoon/sole/lib
:: ::
/? 310 /? 310
/- sole /- *sole
=, sole
::
:::: ::::
:: ::
|_ sole-share :: shared-state engine |_ sole-share :: shared-state engine

2
sur/asn1.hoon
View File

@ -3,6 +3,7 @@
:: A minimal representation of some basic ASN.1 types, :: A minimal representation of some basic ASN.1 types,
:: created to support PKCS keys, digests, and cert requests. :: created to support PKCS keys, digests, and cert requests.
:: ::
^?
|% |%
:: +bespoke:asn1: context-specific, generic ASN.1 tag type :: +bespoke:asn1: context-specific, generic ASN.1 tag type
:: ::
@ -65,6 +66,7 @@
:: |obj:asn1: constant object ids, pre-encoded :: |obj:asn1: constant object ids, pre-encoded
:: ::
++ obj ++ obj
^?
|% :: rfc4055 |% :: rfc4055
++ sha-256 0x1.0204.0365.0148.8660 :: 2.16.840.1.101.3.4.2.1 ++ sha-256 0x1.0204.0365.0148.8660 :: 2.16.840.1.101.3.4.2.1
++ rsa 0x1.0101.0df7.8648.862a :: 1.2.840.113549.1.1.1 ++ rsa 0x1.0101.0df7.8648.862a :: 1.2.840.113549.1.1.1

1
sur/hall.hoon
View File

@ -1,6 +1,7 @@
:: ::
:::: /sur/hall/hoon :::: /sur/hall/hoon
:: ::
^?
|% |%
:: ::
::TODO use different words for different kinds of burdens ::TODO use different words for different kinds of burdens

1
sur/lens.hoon
View File

@ -1,3 +1,4 @@
^?
|% |%
++ command ++ command
$: source/source $: source/source

5
sur/sole.hoon
View File

@ -1,7 +1,8 @@
:: ::
:::: /hoon/sole/sur :::: /hoon/sole/sur
:: ::
=> |% ^?
|%
++ sole-action :: sole to app ++ sole-action :: sole to app
$% :: {$abo ~} :: reset interaction $% :: {$abo ~} :: reset interaction
{$det sole-change} :: command line edit {$det sole-change} :: command line edit
@ -78,8 +79,6 @@
(unit knot) (unit knot)
hiss:eyre hiss:eyre
$-(httr:eyre (sole-request out)) $-(httr:eyre (sole-request out))
--
|%
:: :: :: ::
++ sole-gen :: XX virtual type ++ sole-gen :: XX virtual type
$% {$say $-((sole-args) (cask))} :: direct noun $% {$say $-((sole-args) (cask))} :: direct noun