mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-10 18:21:34 +03:00
Chapters with stub names.
This commit is contained in:
Curtis Yarvin
parent
bcd76e4caa
commit
3c3130c37d
@ -125,7 +125,7 @@
|
|||||||
:: ::
|
:: ::
|
||||||
=, gall
|
=, gall
|
||||||
=+ foo=*monkey
|
=+ foo=*monkey
|
||||||
|_ $: hid/bowl :: system state
|
|_ $: hid/bowl :: system state
|
||||||
house :: program state
|
house :: program state
|
||||||
== ::
|
== ::
|
||||||
++ he :: per session
|
++ he :: per session
|
||||||
|
|||||||
518
sys/hoon.hoon
518
sys/hoon.hoon
@ -5700,7 +5700,7 @@
|
|||||||
== ::
|
== ::
|
||||||
+= coil $: p/{p/(unit term) q/poly r/vair} :: name, wet/dry, vary
|
+= coil $: p/{p/(unit term) q/poly r/vair} :: name, wet/dry, vary
|
||||||
q/type :: context
|
q/type :: context
|
||||||
r/{p/seminoun q/(map @ tome)} :: arms
|
r/{p/seminoun q/(map term tome)} :: arms
|
||||||
== ::
|
== ::
|
||||||
+= poly ?(%wet %dry) :: polarity
|
+= poly ?(%wet %dry) :: polarity
|
||||||
+= foot $% {$dry p/hoon} :: dry arm, geometric
|
+= foot $% {$dry p/hoon} :: dry arm, geometric
|
||||||
@ -5760,6 +5760,7 @@
|
|||||||
{$name p/term q/spec} :: annotate simple
|
{$name p/term q/spec} :: annotate simple
|
||||||
{$over p/wing q/spec} :: relative to subject
|
{$over p/wing q/spec} :: relative to subject
|
||||||
:: ::
|
:: ::
|
||||||
|
{$bsbn p/spec q/spec} :: $>, filter: require
|
||||||
{$bsbs p/spec q/(map term spec)} :: $$, recursion
|
{$bsbs p/spec q/(map term spec)} :: $$, recursion
|
||||||
{$bsbr p/spec q/hoon} :: $|, verify
|
{$bsbr p/spec q/hoon} :: $|, verify
|
||||||
{$bscb p/hoon} :: $_, example
|
{$bscb p/hoon} :: $_, example
|
||||||
@ -5767,7 +5768,6 @@
|
|||||||
{$bscn p/{i/spec t/(list spec)}} :: $%, head pick
|
{$bscn p/{i/spec t/(list spec)}} :: $%, head pick
|
||||||
{$bsdt p/spec q/(map term spec)} :: $., read-write core
|
{$bsdt p/spec q/(map term spec)} :: $., read-write core
|
||||||
{$bsld p/spec q/spec} :: $<, filter: exclude
|
{$bsld p/spec q/spec} :: $<, filter: exclude
|
||||||
{$bsbn p/spec q/spec} :: $>, filter: require
|
|
||||||
{$bshp p/spec q/spec} :: $-, function core
|
{$bshp p/spec q/spec} :: $-, function core
|
||||||
{$bskt p/spec q/spec} :: $^, cons pick
|
{$bskt p/spec q/spec} :: $^, cons pick
|
||||||
{$bsls p/stud q/spec} :: $+, standard
|
{$bsls p/stud q/spec} :: $+, standard
|
||||||
@ -5843,16 +5843,16 @@
|
|||||||
{$yell p/(list hoon)} :: render as tank
|
{$yell p/(list hoon)} :: render as tank
|
||||||
{$xray p/manx:hoot} :: ;foo; templating
|
{$xray p/manx:hoot} :: ;foo; templating
|
||||||
:: :::::: cores
|
:: :::::: cores
|
||||||
{$brcb p/spec q/alas r/(map @ tome)} :: |_
|
{$brcb p/spec q/alas r/(map term tome)} :: |_
|
||||||
{$brcl p/hoon q/hoon} :: |:
|
{$brcl p/hoon q/hoon} :: |:
|
||||||
{$brcn p/(unit term) q/(map @ tome)} :: |%
|
{$brcn p/(unit term) q/(map term tome)} :: |%
|
||||||
{$brdt p/hoon} :: |.
|
{$brdt p/hoon} :: |.
|
||||||
{$brkt p/hoon q/(map @ tome)} :: |^
|
{$brkt p/hoon q/(map term tome)} :: |^
|
||||||
{$brhp p/hoon} :: |-
|
{$brhp p/hoon} :: |-
|
||||||
{$brsg p/spec q/hoon} :: |~
|
{$brsg p/spec q/hoon} :: |~
|
||||||
{$brtr p/spec q/hoon} :: |*
|
{$brtr p/spec q/hoon} :: |*
|
||||||
{$brts p/spec q/hoon} :: |=
|
{$brts p/spec q/hoon} :: |=
|
||||||
{$brvt p/(unit term) q/(map @ tome)} :: |@
|
{$brvt p/(unit term) q/(map term tome)} :: |@
|
||||||
{$brwt p/hoon} :: |?
|
{$brwt p/hoon} :: |?
|
||||||
:: :::::: tuples
|
:: :::::: tuples
|
||||||
{$clcb p/hoon q/hoon} :: :_ [q p]
|
{$clcb p/hoon q/hoon} :: :_ [q p]
|
||||||
@ -6730,7 +6730,7 @@
|
|||||||
::
|
::
|
||||||
++ loot
|
++ loot
|
||||||
~/ %loot
|
~/ %loot
|
||||||
|= {cog/term dom/(map @ tome)}
|
|= {cog/term dom/(map term tome)}
|
||||||
=+ axe=1
|
=+ axe=1
|
||||||
|- ^- (unit {p/axis q/hoon})
|
|- ^- (unit {p/axis q/hoon})
|
||||||
?- dom
|
?- dom
|
||||||
@ -7308,7 +7308,7 @@
|
|||||||
^- hoon
|
^- hoon
|
||||||
:+ %tsbn example:clear(mod payload)
|
:+ %tsbn example:clear(mod payload)
|
||||||
:+ %brcn ~
|
:+ %brcn ~
|
||||||
=- [[0 ~ -] ~ ~]
|
=- [[%$ ~ -] ~ ~]
|
||||||
%- ~(gas by *(map term hoon))
|
%- ~(gas by *(map term hoon))
|
||||||
%+ turn
|
%+ turn
|
||||||
~(tap by arms)
|
~(tap by arms)
|
||||||
@ -7724,7 +7724,7 @@
|
|||||||
::
|
::
|
||||||
:+ %brkt
|
:+ %brkt
|
||||||
relative(mod p.mod, dom (peg 3 dom))
|
relative(mod p.mod, dom (peg 3 dom))
|
||||||
=- [[0 ~ -] ~ ~]
|
=- [[%$ ~ -] ~ ~]
|
||||||
%- ~(gas by *(map term hoon))
|
%- ~(gas by *(map term hoon))
|
||||||
^- (list (pair term hoon))
|
^- (list (pair term hoon))
|
||||||
%+ turn
|
%+ turn
|
||||||
@ -8014,22 +8014,22 @@
|
|||||||
[%tstr p.i.q.gen q.i.q.gen $(q.gen t.q.gen)]
|
[%tstr p.i.q.gen q.i.q.gen $(q.gen t.q.gen)]
|
||||||
{$brcl *} [%tsls p.gen [%brdt q.gen]]
|
{$brcl *} [%tsls p.gen [%brdt q.gen]]
|
||||||
{$brdt *} :+ %brcn ~
|
{$brdt *} :+ %brcn ~
|
||||||
=- [[0 ~ -] ~ ~]
|
=- [[%$ ~ -] ~ ~]
|
||||||
(~(put by *(map term hoon)) %$ p.gen)
|
(~(put by *(map term hoon)) %$ p.gen)
|
||||||
{$brkt *} :+ %tsbn
|
{$brkt *} :+ %tsbn
|
||||||
:+ %brcn ~
|
:+ %brcn ~
|
||||||
=+ one=(~(got by q.gen) 0)
|
=+ one=(~(got by q.gen) `@tas`'0')
|
||||||
%+ ~(put by q.gen) 0
|
%+ ~(put by q.gen) %$
|
||||||
[p.one (~(put by q.one) %$ p.gen)]
|
[p.one (~(put by q.one) %$ p.gen)]
|
||||||
[%limb %$]
|
[%limb %$]
|
||||||
{$brhp *} [%tsld [%limb %$] [%brdt p.gen]]
|
{$brhp *} [%tsld [%limb %$] [%brdt p.gen]]
|
||||||
{$brsg *} [%ktbr [%brts p.gen q.gen]]
|
{$brsg *} [%ktbr [%brts p.gen q.gen]]
|
||||||
{$brtr *} :+ %tsls [%kttr p.gen]
|
{$brtr *} :+ %tsls [%kttr p.gen]
|
||||||
:+ %brvt ~
|
:+ %brvt ~
|
||||||
=- [[0 ~ -] ~ ~]
|
=- [[%$ ~ -] ~ ~]
|
||||||
(~(put by *(map term hoon)) %$ q.gen)
|
(~(put by *(map term hoon)) %$ q.gen)
|
||||||
{$brts *} :+ %brcb p.gen
|
{$brts *} :+ %brcb p.gen
|
||||||
=- [~ [[0 ~ -] ~ ~]]
|
=- [~ [[%$ ~ -] ~ ~]]
|
||||||
(~(put by *(map term hoon)) %$ q.gen)
|
(~(put by *(map term hoon)) %$ q.gen)
|
||||||
{$brwt *} [%ktwt %brdt p.gen]
|
{$brwt *} [%ktwt %brdt p.gen]
|
||||||
::
|
::
|
||||||
@ -8136,8 +8136,8 @@
|
|||||||
^- hoon
|
^- hoon
|
||||||
:+ %tsbr [%base %cell]
|
:+ %tsbr [%base %cell]
|
||||||
:+ %brvt ~
|
:+ %brvt ~
|
||||||
^- (map @ tome)
|
^- (map term tome)
|
||||||
=- [[0 ~ -] ~ ~]
|
=- [[%$ ~ -] ~ ~]
|
||||||
^- (map term hoon)
|
^- (map term hoon)
|
||||||
:_ [~ ~]
|
:_ [~ ~]
|
||||||
=+ sug=[[%& 12] ~]
|
=+ sug=[[%& 12] ~]
|
||||||
@ -8315,169 +8315,209 @@
|
|||||||
~>(%mean.[%leaf "rusk-hoon"] !!)
|
~>(%mean.[%leaf "rusk-hoon"] !!)
|
||||||
i.wig
|
i.wig
|
||||||
::
|
::
|
||||||
++ walk :: forward traverse
|
:: +work: visiting traverse
|
||||||
|* life/mold
|
::
|
||||||
|: =< $
|
++ work
|
||||||
$: vit/life
|
|* :: state: traversal state
|
||||||
$= mac
|
::
|
||||||
$_ ^|
|
state=mold
|
||||||
|: =< $
|
|_ $: :: visit-expression: expression processor
|
||||||
$: hoon
|
:: visit-structure: structure processor
|
||||||
life
|
::
|
||||||
_^|(|:($:{? hoon life} $:{hoon life}))
|
=state
|
||||||
==
|
visit-expression=$-([=hoon =state] (unit [=hoon =state]))
|
||||||
=< $
|
visit-structure=$-([=spec =state] (unit [=spec =state]))
|
||||||
(unit (pair hoon life))
|
|
||||||
==
|
==
|
||||||
^- {hoon life}
|
+|
|
||||||
=/ use &
|
::
|
||||||
=< apex
|
:: +expression: visit expression
|
||||||
|%
|
::
|
||||||
++ apex
|
++ expression
|
||||||
|- ^- {hoon life}
|
|= =hoon
|
||||||
=* aid |: $:{use/? gen/hoon vit/life}
|
^- [=^hoon =^state]
|
||||||
^$(use use, gen gen, vit vit)
|
=+ (visit-expression hoon state)
|
||||||
=/ gun ?:(use (mac gen vit aid) ~)
|
?~ - ->
|
||||||
?^ gun u.gun
|
?- -.hoon
|
||||||
?: ?=(^ -.gen)
|
%$ (love hoon noop)
|
||||||
%.(gen dubs)
|
%base (love hoon noop)
|
||||||
?- -.gen
|
%bust (love hoon noop)
|
||||||
$$ (lead -.gen %.(+.gen noop))
|
%dbug (love hoon nexp)
|
||||||
$base (lead -.gen %.(+.gen noop))
|
%hand (love hoon noop)
|
||||||
$bust (lead -.gen %.(+.gen noop))
|
%knit (love hoon (moto bark))
|
||||||
$dbug (lead -.gen %.(+.gen nexp))
|
%leaf (love hoon noop)
|
||||||
$hand (lead -.gen %.(+.gen noop))
|
%limb (love hoon noop)
|
||||||
$knit (lead -.gen %.(+.gen (moto bark)))
|
%lost (love hoon expr)
|
||||||
$leaf (lead -.gen %.(+.gen noop))
|
%rock (love hoon noop)
|
||||||
$limb (lead -.gen %.(+.gen noop))
|
%sand (love hoon noop)
|
||||||
$lost (lead -.gen %.(+.gen expr))
|
%tell (love hoon moar)
|
||||||
$rock (lead -.gen %.(+.gen noop))
|
%tune (love hoon tung)
|
||||||
$sand (lead -.gen %.(+.gen noop))
|
%wing (love hoon noop)
|
||||||
$tell (lead -.gen %.(+.gen moar))
|
%yell (love hoon moar)
|
||||||
$tune (lead -.gen %.(+.gen tung))
|
%brcb (love hoon (trio stud exps arms))
|
||||||
$wing (lead -.gen %.(+.gen noop))
|
%brcl (love hoon dubs)
|
||||||
$yell (lead -.gen %.(+.gen moar))
|
%brcn (love hoon (twin noop arms))
|
||||||
$brcb (lead -.gen %.(+.gen (trio stir exps arms)))
|
%brvt (love hoon (twin noop arms))
|
||||||
$brcl (lead -.gen %.(+.gen dubs))
|
%brdt (love hoon expr)
|
||||||
$brcn (lead -.gen %.(+.gen (twin noop arms)))
|
%brkt (love hoon (twin expr arms))
|
||||||
$brvt (lead -.gen %.(+.gen (twin noop arms)))
|
%brhp (love hoon expr)
|
||||||
$brdt (lead -.gen %.(+.gen expr))
|
%brsg (love hoon (twin stud expr))
|
||||||
$brkt (lead -.gen %.(+.gen (twin expr arms)))
|
%brtr (love hoon (twin stud expr))
|
||||||
$brhp (lead -.gen %.(+.gen expr))
|
%brts (love hoon (twin stud expr))
|
||||||
$brsg (lead -.gen %.(+.gen (twin stir expr)))
|
%brwt (love hoon expr)
|
||||||
$brtr (lead -.gen %.(+.gen (twin stir expr)))
|
%clcb (love hoon dubs)
|
||||||
$brts (lead -.gen %.(+.gen (twin stir expr)))
|
%clkt (love hoon (quad expr expr expr expr))
|
||||||
$brwt (lead -.gen %.(+.gen expr))
|
%clhp (love hoon dubs)
|
||||||
$clcb (lead -.gen %.(+.gen dubs))
|
%clls (love hoon trey)
|
||||||
$clkt (lead -.gen %.(+.gen (quad expr expr expr expr)))
|
%clsg (love hoon moar)
|
||||||
$clhp (lead -.gen %.(+.gen dubs))
|
%cltr (love hoon moar)
|
||||||
$clls (lead -.gen %.(+.gen trey))
|
%cncb (love hoon (twin noop moan))
|
||||||
$clsg (lead -.gen %.(+.gen moar))
|
%cndt (love hoon dubs)
|
||||||
$cltr (lead -.gen %.(+.gen moar))
|
%cnhp (love hoon dubs)
|
||||||
$cncb (lead -.gen %.(+.gen (twin noop moan)))
|
%cncl (love hoon (twin expr moar))
|
||||||
$cndt (lead -.gen %.(+.gen dubs))
|
%cntr (love hoon (trio noop expr moan))
|
||||||
$cnhp (lead -.gen %.(+.gen dubs))
|
%cnkt (love hoon (quad expr expr expr expr))
|
||||||
$cncl (lead -.gen %.(+.gen (twin expr moar)))
|
%cnls (love hoon trey)
|
||||||
$cntr (lead -.gen %.(+.gen (trio noop expr moan)))
|
%cnsg (love hoon (trio noop expr moar))
|
||||||
$cnkt (lead -.gen %.(+.gen (quad expr expr expr expr)))
|
%cnts (love hoon (twin noop moan))
|
||||||
$cnls (lead -.gen %.(+.gen trey))
|
%dtkt (love hoon (twin stud expr))
|
||||||
$cnsg (lead -.gen %.(+.gen (trio noop expr moar)))
|
%dtls (love hoon expr)
|
||||||
$cnts (lead -.gen %.(+.gen (twin noop moan)))
|
%dttr (love hoon dubs)
|
||||||
$dtkt (lead -.gen %.(+.gen (twin stir expr)))
|
%dtts (love hoon dubs)
|
||||||
$dtls (lead -.gen %.(+.gen expr))
|
%dtwt (love hoon expr)
|
||||||
$dttr (lead -.gen %.(+.gen dubs))
|
%ktbr (love hoon expr)
|
||||||
$dtts (lead -.gen %.(+.gen dubs))
|
%ktcl (love hoon stud)
|
||||||
$dtwt (lead -.gen %.(+.gen expr))
|
%ktcn (love hoon expr)
|
||||||
$ktbr (lead -.gen %.(+.gen expr))
|
%ktdt (love hoon dubs)
|
||||||
$ktcl (lead -.gen %.(+.gen stir))
|
%ktls (love hoon dubs)
|
||||||
$ktcn (lead -.gen %.(+.gen expr))
|
%kthp (love hoon (twin stud expr))
|
||||||
$ktdt (lead -.gen %.(+.gen dubs))
|
%ktpd (love hoon expr)
|
||||||
$ktls (lead -.gen %.(+.gen dubs))
|
%ktsg (love hoon expr)
|
||||||
$kthp (lead -.gen %.(+.gen (twin stir expr)))
|
%kttr (love hoon stud)
|
||||||
$ktpd (lead -.gen %.(+.gen expr))
|
%ktts (love hoon nexp)
|
||||||
$ktsg (lead -.gen %.(+.gen expr))
|
%ktwt (love hoon expr)
|
||||||
$kttr (lead -.gen %.(+.gen stir))
|
%sgbr (love hoon dubs)
|
||||||
$ktts (lead -.gen %.(+.gen nexp))
|
%sgcb (love hoon dubs)
|
||||||
$ktwt (lead -.gen %.(+.gen expr))
|
%crap (love hoon (raid expr))
|
||||||
$sgbr (lead -.gen %.(+.gen dubs))
|
%sgcn (love hoon (quad noop expr moan expr))
|
||||||
$sgcb (lead -.gen %.(+.gen dubs))
|
%sgnt (love hoon nexp)
|
||||||
$crap (lead -.gen %.(+.gen (raid expr)))
|
%sgld (love hoon (twin toad expr))
|
||||||
$sgcn (lead -.gen %.(+.gen (quad noop expr moan expr)))
|
%sgbn (love hoon (twin toad expr))
|
||||||
$sgnt (lead -.gen %.(+.gen nexp))
|
%sgbs (love hoon nexp)
|
||||||
$sgld (lead -.gen %.(+.gen (twin toad expr)))
|
%sgls (love hoon nexp)
|
||||||
$sgbn (lead -.gen %.(+.gen (twin toad expr)))
|
%sgpd (love hoon trip)
|
||||||
$sgbs (lead -.gen %.(+.gen nexp))
|
%sgts (love hoon dubs)
|
||||||
$sgls (lead -.gen %.(+.gen nexp))
|
%sgwt (love hoon (quad noop expr expr expr))
|
||||||
$sgpd (lead -.gen %.(+.gen trip))
|
%sgzp (love hoon dubs)
|
||||||
$sgts (lead -.gen %.(+.gen dubs))
|
%mccl (love hoon (twin expr moar))
|
||||||
$sgwt (lead -.gen %.(+.gen (quad noop expr expr expr)))
|
%mcnt (love hoon expr)
|
||||||
$sgzp (lead -.gen %.(+.gen dubs))
|
%mcsg (love hoon (twin expr moar))
|
||||||
$mccl (lead -.gen %.(+.gen (twin expr moar)))
|
%mcmc (love hoon dubs)
|
||||||
$mcnt (lead -.gen %.(+.gen expr))
|
%tsbr (love hoon (twin stud expr))
|
||||||
$mcsg (lead -.gen %.(+.gen (twin expr moar)))
|
%tscl (love hoon (twin moan expr))
|
||||||
$mcmc (lead -.gen %.(+.gen dubs))
|
%tsnt (love hoon (trio torp expr expr))
|
||||||
$tsbr (lead -.gen %.(+.gen (twin stir expr)))
|
%tsmc (love hoon (trio torp expr expr))
|
||||||
$tscl (lead -.gen %.(+.gen (twin moan expr)))
|
%tsdt (love hoon trip)
|
||||||
$tsnt (lead -.gen %.(+.gen (trio torp expr expr)))
|
%tswt (love hoon (quad noop expr expr expr))
|
||||||
$tsmc (lead -.gen %.(+.gen (trio torp expr expr)))
|
%tsld (love hoon dubs)
|
||||||
$tsdt (lead -.gen %.(+.gen trip))
|
%tshp (love hoon dubs)
|
||||||
$tswt (lead -.gen %.(+.gen (quad noop expr expr expr)))
|
%tsbn (love hoon dubs)
|
||||||
$tsld (lead -.gen %.(+.gen dubs))
|
%tskt (love hoon (quad torp noop expr expr))
|
||||||
$tshp (lead -.gen %.(+.gen dubs))
|
%tsls (love hoon dubs)
|
||||||
$tsbn (lead -.gen %.(+.gen dubs))
|
%tssg (love hoon moar)
|
||||||
$tskt (lead -.gen %.(+.gen (quad torp noop expr expr)))
|
%tstr (love hoon trip)
|
||||||
$tsls (lead -.gen %.(+.gen dubs))
|
%tscm (love hoon dubs)
|
||||||
$tssg (lead -.gen %.(+.gen moar))
|
%wtbr (love hoon moar)
|
||||||
$tstr (lead -.gen %.(+.gen trip))
|
%wthp (love hoon (twin noop (moto (twin stud expr))))
|
||||||
$tscm (lead -.gen %.(+.gen dubs))
|
%wtcl (love hoon trey)
|
||||||
$wtbr (lead -.gen %.(+.gen moar))
|
%wtdt (love hoon trey)
|
||||||
$wthp (lead -.gen %.(+.gen (twin noop (moto (twin stir expr)))))
|
%wtkt (love hoon trip)
|
||||||
$wtcl (lead -.gen %.(+.gen trey))
|
%wtld (love hoon dubs)
|
||||||
$wtdt (lead -.gen %.(+.gen trey))
|
%wtbn (love hoon dubs)
|
||||||
$wtkt (lead -.gen %.(+.gen trip))
|
%wtls (love hoon (trio noop expr (moto (twin stud expr))))
|
||||||
$wtld (lead -.gen %.(+.gen dubs))
|
%wtpd (love hoon moar)
|
||||||
$wtbn (lead -.gen %.(+.gen dubs))
|
%wtvt (love hoon trip)
|
||||||
$wtls (lead -.gen %.(+.gen (trio noop expr (moto (twin stir expr)))))
|
%wtsg (love hoon trip)
|
||||||
$wtpd (lead -.gen %.(+.gen moar))
|
%wtts (love hoon (twin stud noop))
|
||||||
$wtvt (lead -.gen %.(+.gen trip))
|
%wtzp (love hoon expr)
|
||||||
$wtsg (lead -.gen %.(+.gen trip))
|
%zpcm (love hoon dubs)
|
||||||
$wtts (lead -.gen %.(+.gen (twin stir noop)))
|
%zpbn (love hoon expr)
|
||||||
$wtzp (lead -.gen %.(+.gen expr))
|
%zpmc (love hoon dubs)
|
||||||
$zpcm (lead -.gen %.(+.gen dubs))
|
%zpts (love hoon expr)
|
||||||
$zpbn (lead -.gen %.(+.gen expr))
|
%zpwt (love hoon nexp)
|
||||||
$zpmc (lead -.gen %.(+.gen dubs))
|
%zpzp (love hoon noop)
|
||||||
$zpts (lead -.gen %.(+.gen expr))
|
|
||||||
$zpwt (lead -.gen %.(+.gen nexp))
|
|
||||||
$zpzp (lead -.gen %.(+.gen noop))
|
|
||||||
==
|
==
|
||||||
|
::
|
||||||
|
:: +structure: visit structure
|
||||||
|
::
|
||||||
|
++ structure
|
||||||
|
|= =spec
|
||||||
|
^- [=^spec =^state]
|
||||||
|
=+ (visit-structure spec state)
|
||||||
|
?~ - ->
|
||||||
|
?- -.spec
|
||||||
|
%base (love spec noop)
|
||||||
|
%dbug (love spec nude)
|
||||||
|
%leaf (love spec noop)
|
||||||
|
%like (love spec noop)
|
||||||
|
%loop (love spec noop)
|
||||||
|
%made (love spec (twin noop stud))
|
||||||
|
%make (love spec (twin expr (moto stud)))
|
||||||
|
%name (love spec (twin noop stud))
|
||||||
|
::
|
||||||
|
%bsbn (love spec (twin stud stud))
|
||||||
|
%bsbs (love spec (twin stud (raid stud)))
|
||||||
|
%bsbr (love spec (twin stud expr))
|
||||||
|
%bscl (love spec (twin stud (moto stud)))
|
||||||
|
%bscn (love spec (twin stud (moto stud)))
|
||||||
|
%bsdt (love spec (twin stud (raid stud)))
|
||||||
|
%bshp (love spec (twin stud stud))
|
||||||
|
%bskt (love spec (twin stud stud))
|
||||||
|
%bsls (love spec (twin stud stud))
|
||||||
|
%bsnt (love spec (twin stud stud))
|
||||||
|
%bsmc (love spec expr)
|
||||||
|
%bspd (love spec (twin stud expr))
|
||||||
|
%bssg (love spec (twin expr stud))
|
||||||
|
%bstc (love spec (raid stud))
|
||||||
|
%bsts (love spec (twin noop stud))
|
||||||
|
%bsvt (love spec (twin stud stud))
|
||||||
|
%bswt (love spec (twin stud (moto stud)))
|
||||||
|
%bszp (love spec (twin stud (raid stud)))
|
||||||
|
==
|
||||||
|
+|
|
||||||
|
::
|
||||||
|
:: older code is here
|
||||||
|
::
|
||||||
++ arms
|
++ arms
|
||||||
(raid (raid expr))
|
(raid (raid expr))
|
||||||
::
|
::
|
||||||
++ bark
|
++ bark
|
||||||
|= wof/woof
|
|= wof/woof
|
||||||
?-(wof @ [wof vit], ^ (lead ~ (expr p.wof)))
|
?-(wof @ [wof state], ^ (love `p.wof expr))
|
||||||
::
|
::
|
||||||
++ dubs
|
++ dubs
|
||||||
(twin expr expr)
|
(twin expr expr)
|
||||||
::
|
::
|
||||||
++ expr
|
++ expr
|
||||||
|= p/hoon
|
|= p/hoon
|
||||||
^$(gen p)
|
(expression p)
|
||||||
|
::
|
||||||
|
++ stud
|
||||||
|
|= p/hoon
|
||||||
|
(structure p)
|
||||||
::
|
::
|
||||||
++ exps
|
++ exps
|
||||||
|= p/(list (pair term hoon))
|
|= p/(list (pair term hoon))
|
||||||
=| out/(list (pair term hoon))
|
=| out/(list (pair term hoon))
|
||||||
|- ^+ [out vit]
|
|- ^+ [out state]
|
||||||
?~ p
|
?~ p
|
||||||
[out vit]
|
[out state]
|
||||||
=^ nex vit ^^$(gen q.i.p)
|
=^ nex state (expression q.i.p)
|
||||||
$(p t.p, out [[p.i.p nex] out])
|
$(p t.p, out [[p.i.p nex] out])
|
||||||
::
|
::
|
||||||
++ lead
|
++ love
|
||||||
=+ [sem=@tas out=[** $:life]]
|
|* [[sem=@tas bud=*] fun=$-(* *)]
|
||||||
|@ ++ $
|
=+ (fun bud)
|
||||||
[[sem -.out] +.out]
|
[[sem -<] ->]
|
||||||
--
|
|
||||||
::
|
::
|
||||||
++ moan
|
++ moan
|
||||||
(moto nexp)
|
(moto nexp)
|
||||||
@ -8486,83 +8526,68 @@
|
|||||||
(moto expr)
|
(moto expr)
|
||||||
::
|
::
|
||||||
++ moto
|
++ moto
|
||||||
=+ =< $
|
|* etc=$-(* [* ^state])
|
||||||
$: etc/_^|(|:(** $:{* life}))
|
|* bud/*
|
||||||
==
|
|- ^+ [bud state]
|
||||||
|@ ++ $
|
?: =(~ bud) [bud state]
|
||||||
|* bud/*
|
=^ heb state (etc -.bud)
|
||||||
^+ [bud vit]
|
=^ mor state $(bud +.bud)
|
||||||
?: =(~ bud) [bud vit]
|
[[heb mor] state]
|
||||||
=^ heb vit (etc -.bud)
|
|
||||||
=^ mor vit $(bud +.bud)
|
|
||||||
[[heb mor] vit]
|
|
||||||
--
|
|
||||||
::
|
::
|
||||||
++ nexp
|
++ nexp
|
||||||
(twin noop expr)
|
(twin noop expr)
|
||||||
::
|
::
|
||||||
|
++ nude
|
||||||
|
(twin noop stud)
|
||||||
|
::
|
||||||
++ noop
|
++ noop
|
||||||
|* bud/*
|
|* bud/*
|
||||||
[bud vit]
|
[bud state]
|
||||||
::
|
|
||||||
++ stir
|
|
||||||
|= p/spec
|
|
||||||
[p vit]
|
|
||||||
::
|
::
|
||||||
++ quad
|
++ quad
|
||||||
=+ =< $
|
|* $: one=$-(* [* ^state])
|
||||||
$: one/_^|(|:(** $:{* life}))
|
two=$-(* [* ^state])
|
||||||
two/_^|(|:(** $:{* life}))
|
tri=$-(* [* ^state])
|
||||||
tri/_^|(|:(** $:{* life}))
|
qua=$-(* [* ^state])
|
||||||
qua/_^|(|:(** $:{* life}))
|
|
||||||
==
|
==
|
||||||
|@ ++ $
|
|* bud/*
|
||||||
|* bud/*
|
=^ yal state (one -.bud)
|
||||||
=^ yal vit (one -.bud)
|
=^ ves state (two +<.bud)
|
||||||
=^ ves vit (two +<.bud)
|
=^ jot state (tri +>-.bud)
|
||||||
=^ jot vit (tri +>-.bud)
|
=^ wip state (qua +>+.bud)
|
||||||
=^ wip vit (qua +>+.bud)
|
[[yal ves jot wip] state]
|
||||||
[[yal ves jot wip] vit]
|
|
||||||
--
|
|
||||||
::
|
::
|
||||||
++ raid
|
++ raid
|
||||||
=+ =< $
|
|* etc=$-(* [* ^state])
|
||||||
$: etc/_^|(|:(** $:{* life}))
|
|* bud/*
|
||||||
==
|
|- ^+ [bud state]
|
||||||
|@ ++ $
|
?: =(~ bud) [bud state]
|
||||||
|* bud/*
|
=^ lef state $(bud +<.bud)
|
||||||
^+ [bud vit]
|
=^ ryt state $(bud +>.bud)
|
||||||
?: =(~ bud) [bud vit]
|
=^ top state (etc ->.bud)
|
||||||
=^ lef vit $(bud +<.bud)
|
[[[-<.bud top] lef ryt] state]
|
||||||
=^ ryt vit $(bud +>.bud)
|
|
||||||
=^ top vit (etc ->.bud)
|
|
||||||
[[[-<.bud top] lef ryt] vit]
|
|
||||||
--
|
|
||||||
::
|
::
|
||||||
++ trey
|
++ trey
|
||||||
(trio expr expr expr)
|
(trio expr expr expr)
|
||||||
::
|
::
|
||||||
++ trio
|
++ trio
|
||||||
=+ =< $
|
|* $: one=$-(* [* ^state])
|
||||||
$: one/_^|(|:(** $:{* life}))
|
two=$-(* [* ^state])
|
||||||
two/_^|(|:(** $:{* life}))
|
tri=$-(* [* ^state])
|
||||||
tri/_^|(|:(** $:{* life}))
|
|
||||||
==
|
==
|
||||||
|@ ++ $
|
|* bud/*
|
||||||
|* bud/*
|
=^ yal state (one -.bud)
|
||||||
=^ yal vit (one -.bud)
|
=^ ves state (two +<.bud)
|
||||||
=^ ves vit (two +<.bud)
|
=^ jot state (tri +>.bud)
|
||||||
=^ jot vit (tri +>.bud)
|
[[yal ves jot] state]
|
||||||
[[yal ves jot] vit]
|
|
||||||
--
|
|
||||||
::
|
::
|
||||||
++ trip
|
++ trip
|
||||||
(trio noop expr expr)
|
(trio noop expr expr)
|
||||||
::
|
::
|
||||||
++ toad
|
++ toad
|
||||||
|= bud/$@(term {p/term q/hoon})
|
|= bud/$@(term {p/term q/hoon})
|
||||||
?@ bud [bud vit]
|
?@ bud [bud state]
|
||||||
(lead p.bud (expr q.bud))
|
(love bud expr)
|
||||||
::
|
::
|
||||||
++ tora
|
++ tora
|
||||||
(twin noop twee)
|
(twin noop twee)
|
||||||
@ -8572,30 +8597,27 @@
|
|||||||
::
|
::
|
||||||
++ tung
|
++ tung
|
||||||
|= bud/$@(term tune)
|
|= bud/$@(term tune)
|
||||||
?@ bud [bud vit]
|
?@ bud [bud state]
|
||||||
%.(bud (twin (raid twee) (moto expr)))
|
%.(bud (twin (raid twee) (moto expr)))
|
||||||
::
|
::
|
||||||
++ twee
|
++ twee
|
||||||
|= bud/(unit hoon)
|
|= bud/(unit hoon)
|
||||||
?~ bud [~ vit]
|
?~ bud [~ state]
|
||||||
(lead ~ (expr u.bud))
|
(love [~ u.bud] expr)
|
||||||
::
|
::
|
||||||
++ twef
|
++ twef
|
||||||
|= bud/(unit spec)
|
|= bud/(unit spec)
|
||||||
?~ bud [~ vit]
|
?~ bud [~ state]
|
||||||
(lead ~ (stir u.bud))
|
(love [~ u.bud] stud)
|
||||||
::
|
::
|
||||||
++ twin
|
++ twin
|
||||||
=+ =< $
|
|* $: one=$-(* [* ^state])
|
||||||
$: one/_^|(|:(** $:{* life}))
|
two=$-(* [* ^state])
|
||||||
two/_^|(|:(** $:{* life}))
|
|
||||||
==
|
==
|
||||||
|@ ++ $
|
|* bud/*
|
||||||
|* bud/*
|
=^ yal state (one -.bud)
|
||||||
=^ yal vit (one -.bud)
|
=^ ves state (two +.bud)
|
||||||
=^ ves vit (two +.bud)
|
[[yal ves] state]
|
||||||
[[yal ves] vit]
|
|
||||||
--
|
|
||||||
--
|
--
|
||||||
--
|
--
|
||||||
::
|
::
|
||||||
@ -9430,7 +9452,7 @@
|
|||||||
++ laze
|
++ laze
|
||||||
:: produce lazy core generator for static execution
|
:: produce lazy core generator for static execution
|
||||||
::
|
::
|
||||||
|= [nym=(unit term) hud=poly dom=(map @ tome)]
|
|= [nym=(unit term) hud=poly dom=(map term tome)]
|
||||||
:: only one layer of fabrication analysis
|
:: only one layer of fabrication analysis
|
||||||
::
|
::
|
||||||
=. fab &
|
=. fab &
|
||||||
@ -9538,7 +9560,7 @@
|
|||||||
==
|
==
|
||||||
::
|
::
|
||||||
++ balk
|
++ balk
|
||||||
|= [dox/type hud/poly dom/(map @ tome)]
|
|= [dox/type hud/poly dom/(map term tome)]
|
||||||
^- *
|
^- *
|
||||||
?: ?=(~ dom)
|
?: ?=(~ dom)
|
||||||
~
|
~
|
||||||
@ -9553,7 +9575,7 @@
|
|||||||
++ mile
|
++ mile
|
||||||
:: mull all chapters and feet in a core
|
:: mull all chapters and feet in a core
|
||||||
::
|
::
|
||||||
|= [dox=type mel=vair nym=(unit term) hud=poly dom=(map @ tome)]
|
|= [dox=type mel=vair nym=(unit term) hud=poly dom=(map term tome)]
|
||||||
^- (pair type type)
|
^- (pair type type)
|
||||||
=+ yet=(core sut [nym hud %gold] sut (laze nym hud dom) dom)
|
=+ yet=(core sut [nym hud %gold] sut (laze nym hud dom) dom)
|
||||||
=+ hum=(core dox [nym hud %gold] dox (laze nym hud dom) dom)
|
=+ hum=(core dox [nym hud %gold] dox (laze nym hud dom) dom)
|
||||||
@ -9563,7 +9585,7 @@
|
|||||||
++ mine
|
++ mine
|
||||||
:: mint all chapters and feet in a core
|
:: mint all chapters and feet in a core
|
||||||
::
|
::
|
||||||
|= [mel/vair nym/(unit term) hud/poly dom/(map @ tome)]
|
|= [mel/vair nym/(unit term) hud/poly dom/(map term tome)]
|
||||||
^- (pair type nock)
|
^- (pair type nock)
|
||||||
=- :_ [%1 dez]
|
=- :_ [%1 dez]
|
||||||
(core sut [nym hud mel] sut [[%full ~] dez] dom)
|
(core sut [nym hud mel] sut [[%full ~] dez] dom)
|
||||||
@ -9733,7 +9755,7 @@
|
|||||||
typ
|
typ
|
||||||
::
|
::
|
||||||
++ grow
|
++ grow
|
||||||
|= {mel/vair nym/(unit term) hud/poly ruf/hoon dom/(map @ tome)}
|
|= {mel/vair nym/(unit term) hud/poly ruf/hoon dom/(map term tome)}
|
||||||
^- {p/type q/nock}
|
^- {p/type q/nock}
|
||||||
=+ dan=^$(gen ruf, gol %noun)
|
=+ dan=^$(gen ruf, gol %noun)
|
||||||
=+ pul=(mine mel nym hud dom)
|
=+ pul=(mine mel nym hud dom)
|
||||||
@ -9899,7 +9921,7 @@
|
|||||||
typ
|
typ
|
||||||
::
|
::
|
||||||
++ grow
|
++ grow
|
||||||
|= {mel/vair nym/(unit term) hud/poly ruf/hoon dom/(map @ tome)}
|
|= {mel/vair nym/(unit term) hud/poly ruf/hoon dom/(map term tome)}
|
||||||
:: make al
|
:: make al
|
||||||
~_ leaf+"mull-grow"
|
~_ leaf+"mull-grow"
|
||||||
^- {p/type q/type}
|
^- {p/type q/type}
|
||||||
@ -9974,8 +9996,8 @@
|
|||||||
dext(sut (peek vay 2), ref (peek(sut ref) vay 2))
|
dext(sut (peek vay 2), ref (peek(sut ref) vay 2))
|
||||||
::
|
::
|
||||||
++ deep
|
++ deep
|
||||||
|= $: dom/(map @ tome)
|
|= $: dom/(map term tome)
|
||||||
vim/(map @ tome)
|
vim/(map term tome)
|
||||||
==
|
==
|
||||||
^- ?
|
^- ?
|
||||||
?: ?=(~ dom) =(vim ~)
|
?: ?=(~ dom) =(vim ~)
|
||||||
@ -12040,15 +12062,15 @@
|
|||||||
::
|
::
|
||||||
:: *bold literal*
|
:: *bold literal*
|
||||||
::
|
::
|
||||||
(stag %bold (ifix [tar tar] (cool (cash tar) work)))
|
(stag %bold (ifix [tar tar] (cool (cash tar) werk)))
|
||||||
::
|
::
|
||||||
:: _italic literal_
|
:: _italic literal_
|
||||||
::
|
::
|
||||||
(stag %talc (ifix [cab cab] (cool (cash cab) work)))
|
(stag %talc (ifix [cab cab] (cool (cash cab) werk)))
|
||||||
::
|
::
|
||||||
:: "quoted text"
|
:: "quoted text"
|
||||||
::
|
::
|
||||||
(stag %quod (ifix [yel yel] (cool (cash yel) work)))
|
(stag %quod (ifix [yel yel] (cool (cash yel) werk)))
|
||||||
::
|
::
|
||||||
:: `classic markdown quote`
|
:: `classic markdown quote`
|
||||||
::
|
::
|
||||||
@ -12062,7 +12084,7 @@
|
|||||||
::
|
::
|
||||||
%+ stag %link
|
%+ stag %link
|
||||||
;~ (glue (punt whit))
|
;~ (glue (punt whit))
|
||||||
(ifix [lac rac] (cool (cash rac) work))
|
(ifix [lac rac] (cool (cash rac) werk))
|
||||||
(ifix [lit rit] (cash rit))
|
(ifix [lit rit] (cash rit))
|
||||||
==
|
==
|
||||||
::
|
::
|
||||||
@ -12109,11 +12131,11 @@
|
|||||||
(stag %text (cook trip ;~(less ace prn)))
|
(stag %text (cook trip ;~(less ace prn)))
|
||||||
==
|
==
|
||||||
::
|
::
|
||||||
++ work (cook zing (star word)) :: indefinite tarp
|
++ werk (cook zing (star word)) :: indefinite tarp
|
||||||
::
|
::
|
||||||
++ down :: parse inline tarp
|
++ down :: parse inline tarp
|
||||||
%+ knee *tarp |. ~+
|
%+ knee *tarp |. ~+
|
||||||
=- (cook - work)
|
=- (cook - werk)
|
||||||
::
|
::
|
||||||
:: collect raw tarp into xml tags
|
:: collect raw tarp into xml tags
|
||||||
|= gaf/(list graf)
|
|= gaf/(list graf)
|
||||||
@ -12819,11 +12841,11 @@
|
|||||||
?. tol fail
|
?. tol fail
|
||||||
%+ cook
|
%+ cook
|
||||||
|= a=(list (map term hoon))
|
|= a=(list (map term hoon))
|
||||||
^- (map @ tome)
|
^- (map term tome)
|
||||||
=< tos
|
=< tos
|
||||||
%+ roll a
|
%+ roll a
|
||||||
|= $: wap=(map term hoon)
|
|= $: wap=(map term hoon)
|
||||||
[all=(map term *) num=@ tos=(map @ tome)]
|
[all=(map term *) num=@ tos=(map term tome)]
|
||||||
==
|
==
|
||||||
=. wap
|
=. wap
|
||||||
%- ~(urn by wap)
|
%- ~(urn by wap)
|
||||||
@ -12832,7 +12854,7 @@
|
|||||||
[%eror "duplicate arm {<p.b>}"]
|
[%eror "duplicate arm {<p.b>}"]
|
||||||
::
|
::
|
||||||
=. all (~(uni by all) `(map term *)`wap)
|
=. all (~(uni by all) `(map term *)`wap)
|
||||||
[all +(num) (~(put by tos) num [~ wap])]
|
[all +(num) (~(put by tos) (scot %ud num) [~ wap])]
|
||||||
::
|
::
|
||||||
;~ pose
|
;~ pose
|
||||||
dun
|
dun
|
||||||
@ -12940,11 +12962,11 @@
|
|||||||
++ expw |.(;~(gunk rope loaf loaf loaf)) :: wing and three hoons
|
++ expw |.(;~(gunk rope loaf loaf loaf)) :: wing and three hoons
|
||||||
++ expx |. ;~ gunk loaf :: hoon and core tail
|
++ expx |. ;~ gunk loaf :: hoon and core tail
|
||||||
%+ sear ::
|
%+ sear ::
|
||||||
|= a/(map @ tome) ::
|
|= a/(map term tome) ::
|
||||||
^- (unit (map @ tome)) ::
|
^- (unit (map term tome)) ::
|
||||||
=+ fir=(~(got by a) 0) ::
|
=+ fir=(~(got by a) `@tas`'0') ::
|
||||||
?: (~(has by q.fir) %$) :: %$ in first chapter
|
?: (~(has by q.fir) %$) :: %$ in first chapter
|
||||||
~ ::
|
~ ::
|
||||||
[~ u=a] ::
|
[~ u=a] ::
|
||||||
wisp ::
|
wisp ::
|
||||||
== ::
|
== ::
|
||||||
|
|||||||
@ -13,7 +13,7 @@
|
|||||||
=, clay
|
=, clay
|
||||||
=> |%
|
=> |%
|
||||||
++ aeon @ud :: version number
|
++ aeon @ud :: version number
|
||||||
++ axle $%([%0 ruf=raft])
|
+= axle [%0 ruf=raft]
|
||||||
::
|
::
|
||||||
:: Recursive structure of a desk's data.
|
:: Recursive structure of a desk's data.
|
||||||
::
|
::
|
||||||
@ -3594,7 +3594,7 @@
|
|||||||
::
|
::
|
||||||
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
|
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
|
||||||
=| :: instrument state
|
=| :: instrument state
|
||||||
$: $1 :: vane version
|
$: $0 :: vane version
|
||||||
ruf/raft :: revision tree
|
ruf/raft :: revision tree
|
||||||
== ::
|
== ::
|
||||||
|= {now/@da eny/@ ski/sley} :: activate
|
|= {now/@da eny/@ ski/sley} :: activate
|
||||||
@ -3853,8 +3853,10 @@
|
|||||||
^- (unit @da)
|
^- (unit @da)
|
||||||
~
|
~
|
||||||
::
|
::
|
||||||
++ load :: trivial
|
++ load !: :: trivial
|
||||||
|= old/axle
|
|= old/axle
|
||||||
|
~! [%ruf ruf]
|
||||||
|
~! [%ruf-old ruf.old]
|
||||||
..^$(ruf ruf.old)
|
..^$(ruf ruf.old)
|
||||||
::
|
::
|
||||||
++ scry :: inspect
|
++ scry :: inspect
|
||||||
@ -3886,7 +3888,7 @@
|
|||||||
?: ?=(%& -.u.u.-) ``p.u.u.-
|
?: ?=(%& -.u.u.-) ``p.u.u.-
|
||||||
~
|
~
|
||||||
::
|
::
|
||||||
++ stay [%1 ruf]
|
++ stay [%0 ruf]
|
||||||
++ take :: accept response
|
++ take :: accept response
|
||||||
|= {tea/wire hen/duct hin/(hypo sign)}
|
|= {tea/wire hen/duct hin/(hypo sign)}
|
||||||
^+ [p=*(list move) q=..^$]
|
^+ [p=*(list move) q=..^$]
|
||||||
|
|||||||
@ -1890,12 +1890,12 @@
|
|||||||
?: =(~ rop)
|
?: =(~ rop)
|
||||||
[%$ 1]
|
[%$ 1]
|
||||||
:+ %brcn ~
|
:+ %brcn ~
|
||||||
=- [[0 ~ -] ~ ~]
|
=- [[%$ ~ -] ~ ~]
|
||||||
(~(run by rop) |=({^ a/hoon} a))
|
(~(run by rop) |=({^ a/hoon} a))
|
||||||
?: =(~ bil)
|
?: =(~ bil)
|
||||||
[%$ 1]
|
[%$ 1]
|
||||||
:+ %brcn ~
|
:+ %brcn ~
|
||||||
=- [[0 ~ -] ~ ~]
|
=- [[%$ ~ -] ~ ~]
|
||||||
(~(run by bil) |=({^ a/hoon} a))
|
(~(run by bil) |=({^ a/hoon} a))
|
||||||
::
|
::
|
||||||
++ abut :: generate
|
++ abut :: generate
|
||||||
@ -2172,7 +2172,7 @@
|
|||||||
|: $:{cof/cafe mav/(map term hoon) sel/_..wilt}
|
|: $:{cof/cafe mav/(map term hoon) sel/_..wilt}
|
||||||
?~ mav
|
?~ mav
|
||||||
(err:bo cof [%leaf "source missing: {<(en-beam p.hop)>}"]~)
|
(err:bo cof [%leaf "source missing: {<(en-beam p.hop)>}"]~)
|
||||||
(new:bo cof sel(boy [[%brcn ~ [[0 ~ mav] ~ ~]] boy]))
|
(new:bo cof sel(boy [[%brcn ~ [[%$ ~ mav] ~ ~]] boy]))
|
||||||
==
|
==
|
||||||
--
|
--
|
||||||
::
|
::
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user