use ++hunt directly

This commit is contained in:
Anton Dyudin 2016-11-30 17:43:14 -08:00
parent 56da2fdb95
commit 03834e67f0
5 changed files with 10 additions and 12 deletions

View File

@ -1385,10 +1385,10 @@
[out fox] [out fox]
:: ::
++ doze ++ doze
%+ hunt:chrono:behn `(add now ~s32) %^ hunt lth `(add now ~s32)
|- ^- (unit @da) |- ^- (unit @da)
?~ zac.fox ~ ?~ zac.fox ~
;: hunt:chrono:behn ;: (cury hunt lth)
$(zac.fox l.zac.fox) $(zac.fox l.zac.fox)
$(zac.fox r.zac.fox) $(zac.fox r.zac.fox)
doze:(um p.n.zac.fox) doze:(um p.n.zac.fox)
@ -1466,7 +1466,7 @@
++ doze :: doze:um:am ++ doze :: doze:um:am
|- ^- (unit @da) :: wakeup time |- ^- (unit @da) :: wakeup time
?~ wab.weg ~ ?~ wab.weg ~
;: hunt:chrono:behn ;: (cury hunt lth)
$(wab.weg l.wab.weg) $(wab.weg l.wab.weg)
$(wab.weg r.wab.weg) $(wab.weg r.wab.weg)
doze:(ho p.n.wab.weg) doze:(ho p.n.wab.weg)

View File

@ -1622,11 +1622,11 @@
:: ::
$next ~ $next ~
$many $many
%+ hunt:chrono:behn %^ hunt lth
?. ?=($da -.p.q.rov) ~ ?. ?=($da -.p.q.rov) ~
?.((lth now p.p.q.rov) ~ [~ p.p.q.rov]) ?.((lth now p.p.q.rov) ~ [~ p.p.q.rov])
?. ?=($da -.q.q.rov) ~ ?. ?=($da -.q.q.rov) ~
?.((lth now p.q.q.rov) [~ now] [~ p.q.q.rov]) (hunt gth [~ now] [~ p.q.q.rov])
== ==
fun fun
+>.$ +>.$

View File

@ -254,10 +254,10 @@
:: ::
++ hunt :: first of units ++ hunt :: first of units
|* {ord/$-({* *} ?) one/(unit) two/(unit)} |* {ord/$-({* *} ?) one/(unit) two/(unit)}
^- (unit ?(_(need one) _(need two))) ^- (unit ?(_,.+.one _,.+.two))
?~ one two ?~ one two
?~ two one ?~ two one
?:((ord u.one u.two) one two) ?:((ord ,.+.one ,.+.two) one two)
:: ::
++ lift :: lift mold (fmap) ++ lift :: lift mold (fmap)
|* a/mold :: flipped |* a/mold :: flipped

View File

@ -163,7 +163,7 @@
++ doze :: sleep until ++ doze :: sleep until
|- ^- (unit @da) |- ^- (unit @da)
?~ pol ~ ?~ pol ~
;: hunt ;: (cury hunt lth)
$(pol l.pol) $(pol l.pol)
$(pol r.pol) $(pol r.pol)
~(to-wait et p.n.pol q.n.pol) ~(to-wait et p.n.pol q.n.pol)
@ -332,7 +332,7 @@
++ to-wait ++ to-wait
|- ^- (unit @da) |- ^- (unit @da)
?~ sal.bah ~ ?~ sal.bah ~
;: hunt ;: (cury hunt lth)
$(sal.bah l.sal.bah) $(sal.bah l.sal.bah)
$(sal.bah r.sal.bah) $(sal.bah r.sal.bah)
wait:(to-rail p.n.sal.bah q.n.sal.bah) wait:(to-rail p.n.sal.bah q.n.sal.bah)

View File

@ -4403,9 +4403,7 @@
-- --
++ behn ^? ++ behn ^?
|% |%
++ chrono ++ chrono chrono:userlib
:- chrono:userlib
hunt=|=({a/(unit @da) b/(unit @da)} (hunt lth a b))
-- --
++ clay ^? ++ clay ^?
|% |%