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

separate lens and non-lens ixor paths

Browse Source
This commit is contained in:
Anton Dyudin 2016-09-19 10:39:22 -07:00
parent 72eb06b32c
commit 1511ca501c
1 changed files with 22 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
arvo/eyre.hoon
View File

@ -79,7 +79,7 @@
{$hi p/knot q/mark $~} :: outbound HTTP {$hi p/knot q/mark $~} :: outbound HTTP
{$se p/whir-se q/{iden (list @t)}} :: outbound to domain {$se p/whir-se q/{iden (list @t)}} :: outbound to domain
{$si $~} :: response done {$si $~} :: response done
{$of p/ixor q/$@($~ whir-of)} :: associated view {$of p/ixor q/$@($~ ?(whir-of whir-off))} :: associated view
{$ow p/ixor $~} :: dying view {$ow p/ixor $~} :: dying view
{$on $~} :: dependency {$on $~} :: dependency
{$je p/whir-je} {$je p/whir-je}
@ -90,7 +90,8 @@
{$liv p/hole q/ixor $~} {$liv p/hole q/ixor $~}
== ==
++ whir-ac {p/?($$ hole) q/mend r/$@($~ {p/@t $~})} :: auth? filter cookie? ++ whir-ac {p/?($$ hole) q/mend r/$@($~ {p/@t $~})} :: auth? filter cookie?
++ whir-of {p/knot:ship q/term r/?($mess $lens) s/wire} :: path in dock ++ whir-of {p/knot:ship q/term $mess s/wire} :: path in dock
++ whir-off {p/knot:ship q/term $lens s/wire} :: path in dock
++ whir-se ?($core vi-arm) :: build/call ++ whir-se ?($core vi-arm) :: build/call
++ vi-arm ++ vi-arm
$? $filter-request :: ++out mod request $? $filter-request :: ++out mod request
@ -203,7 +204,8 @@
?~ quy [%$ %n ~]~ ?~ quy [%$ %n ~]~
[[%$ %t p.i.quy] [%$ %t q.i.quy] $(quy t.quy)] [[%$ %t p.i.quy] [%$ %t q.i.quy] $(quy t.quy)]
:: ::
++ gsig |=({a/dock b/?($mess $lens) c/path} [(scot %p p.a) q.a b c]) ++ gsig |=({a/dock b/$mess c/path} [(scot %p p.a) q.a b c])
++ gsig-lens |=({a/dock b/$lens c/path} [(scot %p p.a) q.a b c])
++ session-from-cookies ++ session-from-cookies
|= {nam/@t maf/math} |= {nam/@t maf/math}
^- (unit hole) ^- (unit hole)
@ -903,7 +905,8 @@
=+ cuf=`cuft`+>.sih =+ cuf=`cuft`+>.sih
?- -.cuf ?- -.cuf
?($coup $reap) ?($coup $reap)
:: ~? ?=($lens r.q.tee) hen=hen^hcuf=-.cuf ?: ?=($lens &3.q.tee)
(ack-lens:(ire-ix p.tee) ?~(p.cuf ~ `[-.cuf u.p.cuf]))
(get-ack:(ire-ix p.tee) q.tee ?~(p.cuf ~ `[-.cuf u.p.cuf])) (get-ack:(ire-ix p.tee) q.tee ?~(p.cuf ~ `[-.cuf u.p.cuf]))
:: ::
$doff !! $doff !!
@ -911,9 +914,13 @@
?. ?=($json p.p.cuf) ?. ?=($json p.p.cuf)
:: ~> %slog.`%*(. >[%backing p.p.cuf %q-p-cuf]< &3.+> (sell q.p.cuf)) :: ~> %slog.`%*(. >[%backing p.p.cuf %q-p-cuf]< &3.+> (sell q.p.cuf))
(back tee %json p.cuf) (back tee %json p.cuf)
?: ?=($lens &3.q.tee)
(get-lens:(ire-ix p.tee) q.tee ((hard json) q.q.p.cuf))
(get-rush:(ire-ix p.tee) q.tee ((hard json) q.q.p.cuf)) (get-rush:(ire-ix p.tee) q.tee ((hard json) q.q.p.cuf))
:: ::
$quit ~&(quit+tee (get-quit:(ire-ix p.tee) q.tee)) $quit
?: ?=($lens &3.q.tee) (give-json 500 ~ (joba %quit b+&))
~&(quit+tee (get-quit:(ire-ix p.tee) q.tee))
== ==
:: ::
$wake $wake
@ -966,6 +973,10 @@
{$of @ ^} {$of @ ^}
?: ?=($| -.q.sih) ?: ?=($| -.q.sih)
((slog p.q.sih) +>.$) :: XX get-even %mean ((slog p.q.sih) +>.$) :: XX get-even %mean
?: ?=($lens &3.q.tee)
%+ get-lens:(ire-ix p.tee) q.tee
?> ?=($json p.p.q.sih) :: XX others
((hard json) q.q.p.q.sih)
%+ get-rush:(ire-ix p.tee) q.tee %+ get-rush:(ire-ix p.tee) q.tee
?> ?=($json p.p.q.sih) :: XX others ?> ?=($json p.p.q.sih) :: XX others
((hard json) q.q.p.q.sih) ((hard json) q.q.p.q.sih)
@ -1650,7 +1661,7 @@
++ give-json (teba ^give-json) ++ give-json (teba ^give-json)
++ pass-note (teba ^pass-note) ++ pass-note (teba ^pass-note)
++ hurl-note ++ hurl-note
|= {a/{dock ?($mess $lens) path} b/note} ^+ ..ix |= {a/{dock $mess path} b/note} ^+ ..ix
=: med (~(put to med) hen) =: med (~(put to med) hen)
hen `~ hen `~
== ==
@ -1674,11 +1685,11 @@
|= jon/json ^+ ..ix |= jon/json ^+ ..ix
=. +>.$ =. +>.$
%+ pass-note %+ pass-note
[%of ire (gsig [our %dojo] lens+/)] [%of ire (gsig-lens [our %dojo] lens+/)]
[%g %deal [our our] %dojo %peel %lens-json /sole] [%g %deal [our our] %dojo %peel %lens-json /sole]
=. +>.$ =. +>.$
%+ pass-note %+ pass-note
[%of ire (gsig [our %dojo] lens+/)] [%of ire (gsig-lens [our %dojo] lens+/)]
[%g %deal [our our] %dojo %punk %lens-command %json !>(`json`jon)] [%g %deal [our our] %dojo %punk %lens-command %json !>(`json`jon)]
abet abet
:: ::
@ -1703,18 +1714,16 @@
(nice-json:pop-duct:(ire-ix ire)) :: XX gall ack (nice-json:pop-duct:(ire-ix ire)) :: XX gall ack
:: ::
++ get-lens ++ get-lens
|= {a/whir-of fec/json} ^+ ..ix |= {a/whir-off fec/json} ^+ ..ix
?~ fec ..ix :: nulled event we don't care about ?~ fec ..ix :: nulled event we don't care about
=. +>.$ =. +>.$
%+ pass-note %+ pass-note
`whir`[%of ire (gsig [our %dojo] lens+/)] `whir`[%of ire (gsig-lens [our %dojo] lens+/)]
`note`[%g %deal [our our] %dojo %pull ~] `note`[%g %deal [our our] %dojo %pull ~]
abet:(give-json 200 ~ fec) abet:(give-json 200 ~ fec)
:: ::
++ get-rush ++ get-rush
|= {a/whir-of b/json} ^+ ..ix |= {a/whir-of b/json} ^+ ..ix
?: ?=($lens r.a)
(get-lens a b)
(get-even [%rush [[(slav %p p.a) q.a] s.a] (joba %json b)]) (get-even [%rush [[(slav %p p.a) q.a] s.a] (joba %json b)])
:: ::
++ get-quit ++ get-quit
@ -1723,8 +1732,6 @@
:: ::
++ get-ack ++ get-ack
|= {a/whir-of b/(unit {term tang})} ^+ ..ix |= {a/whir-of b/(unit {term tang})} ^+ ..ix
?: ?=($lens r.a)
(ack-lens b)
?: =(~ med) ~& resp-lost+ire ..ix ?: =(~ med) ~& resp-lost+ire ..ix
?~ b (nice-json:pop-duct) ?~ b (nice-json:pop-duct)
(mean-json:pop-duct 500 b) (mean-json:pop-duct 500 b)
@ -1760,7 +1767,7 @@
== ==
:: ::
++ pass-took ++ pass-took
|= a/{p/dock ?($mess $lens) wire} |= a/{p/dock $mess wire}
%+ pass-note(hen `~) %+ pass-note(hen `~)
[%of ire (gsig a)] [%of ire (gsig a)]
[%g %deal [him -.p.a] +.p.a %pump ~] [%g %deal [him -.p.a] +.p.a %pump ~]