Intermediate renaming.

This commit is contained in:
C. Guy Yarvin 2018-03-18 19:40:38 -07:00
parent 39f720cd81
commit eb91e0d56a
3 changed files with 28 additions and 8 deletions

View File

@ -32,7 +32,7 @@
string-number :: digit/tape digit value, even if non-decimal string-number :: digit/tape digit value, even if non-decimal
string-number :: numeric/tape numeric value, including fractions string-number :: numeric/tape numeric value, including fractions
:: ::
(flag 'Y' 'N') :: mirrored/? is char mirrored in bidi text? (fuss 'Y' 'N') :: mirrored/? is char mirrored in bidi text?
name-string :: old-name/tape unicode 1.0 compatibility name name-string :: old-name/tape unicode 1.0 compatibility name
name-string :: iso/tape iso 10646 comment field name-string :: iso/tape iso 10646 comment field
(punt hex) :: up/(unit @c) uppercase mapping codepoint (punt hex) :: up/(unit @c) uppercase mapping codepoint

View File

@ -411,6 +411,7 @@
:: ::
++ axis @ :: tree address ++ axis @ :: tree address
++ bean ? :: 0=&=yes, 1=|=no ++ bean ? :: 0=&=yes, 1=|=no
++ flag ?
++ char @t :: UTF8 byte ++ char @t :: UTF8 byte
++ cord @t :: UTF8, LSB first ++ cord @t :: UTF8, LSB first
++ date {{a/? y/@ud} m/@ud t/tarp} :: parsed date ++ date {{a/? y/@ud} m/@ud t/tarp} :: parsed date
@ -4424,7 +4425,7 @@
^- (like _huf) ^- (like _huf)
[p=p.tub q=[~ u=[p=huf q=tub]]] [p=p.tub q=[~ u=[p=huf q=tub]]]
:: ::
++ flag ++ fuss
|= {sic/@t non/@t} |= {sic/@t non/@t}
;~(pose (cold %& (jest sic)) (cold %| (jest non))) ;~(pose (cold %& (jest sic)) (cold %| (jest non)))
:: ::
@ -5556,6 +5557,7 @@
$@ $? $noun :: any noun $@ $? $noun :: any noun
$cell :: any cell $cell :: any cell
$bean :: loobean $bean :: loobean
$flag :: loobean
$null :: ~ == 0 $null :: ~ == 0
== :: == ::
{$atom p/aura} :: atom {$atom p/aura} :: atom
@ -5781,6 +5783,7 @@
{$wtls p/wing q/hoon r/(list (pair plan hoon))} :: ?+ ?- w/default {$wtls p/wing q/hoon r/(list (pair plan hoon))} :: ?+ ?- w/default
{$wtpm p/(list hoon)} :: ?& loobean and {$wtpm p/(list hoon)} :: ?& loobean and
{$wtht p/wing q/hoon r/hoon} :: ?@ if p is atom {$wtht p/wing q/hoon r/hoon} :: ?@ if p is atom
{$wtvt p/wing q/hoon r/hoon} :: ?@ if p is atom
{$wtsg p/wing q/hoon r/hoon} :: ?~ if p is null {$wtsg p/wing q/hoon r/hoon} :: ?~ if p is null
{$wtts p/plan q/wing} :: ?= if q matches p {$wtts p/plan q/wing} :: ?= if q matches p
{$wtzp p/hoon} :: ?! loobean not {$wtzp p/hoon} :: ?! loobean not
@ -6647,6 +6650,7 @@
%+ gray %wtls %+ gray %wtls
[puce (blue gen) (turn opt |=({a/plan b/hoon} [a (blue b)]))] [puce (blue gen) (turn opt |=({a/plan b/hoon} [a (blue b)]))]
++ wtht |=({sic/hoon non/hoon} (gray [%wtht puce (blue sic) (blue non)])) ++ wtht |=({sic/hoon non/hoon} (gray [%wtht puce (blue sic) (blue non)]))
++ wtvt |=({sic/hoon non/hoon} (gray [%wtvt puce (blue sic) (blue non)]))
++ wtsg |=({sic/hoon non/hoon} (gray [%wtsg puce (blue sic) (blue non)])) ++ wtsg |=({sic/hoon non/hoon} (gray [%wtsg puce (blue sic) (blue non)]))
++ wtts |=(mod/plan (gray [%wtts (teal mod) puce])) ++ wtts |=(mod/plan (gray [%wtts (teal mod) puce]))
-- --
@ -6728,6 +6732,11 @@
:: comparison produces boolean type :: comparison produces boolean type
:: ::
=+([%rock %$ 0] [%ktls [%dtts - -] -]) =+([%rock %$ 0] [%ktls [%dtts - -] -])
::
$flag
:: comparison produces boolean type
::
=+([%rock %$ 0] [%ktls [%dtts - -] -])
:: ::
$null $null
[%rock %n 0] [%rock %n 0]
@ -6901,7 +6910,7 @@
?- bas ?- bas
{%atom *} {%atom *}
:+ %ktls example :+ %ktls example
[%wtht fetch-wing fetch [%zpzp ~]] [%wtvt fetch-wing fetch [%zpzp ~]]
:: ::
$noun $noun
fetch fetch
@ -6919,6 +6928,14 @@
:+ %wtgr :+ %wtgr
[%dtts [%rock %$ |] [%$ axe]] [%dtts [%rock %$ |] [%$ axe]]
[%rock %f |] [%rock %f |]
::
$flag
:^ %wtcl
[%dtts [%rock %$ &] [%$ axe]]
[%rock %f &]
:+ %wtgr
[%dtts [%rock %$ |] [%$ axe]]
[%rock %f |]
:: ::
$null $null
:+ %wtgr :+ %wtgr
@ -7344,7 +7361,7 @@
[%ktts %b res] :: b={res} [%ktts %b res] :: b={res}
^- hoon :: ^- hoon ::
:+ %brhp [~ ~] :: |- :+ %brhp [~ ~] :: |-
:^ %wtht :: ?@ :^ %wtvt :: ?@
[%a ~] :: a [%a ~] :: a
[%limb %b] :: b [%limb %b] :: b
:- [%tsgl [%$ 2] [%limb %a]] :: :- -.a :- [%tsgl [%$ 2] [%limb %a]] :: :- -.a
@ -7642,6 +7659,7 @@
-- --
:: ::
{$wtht *} [%wtcl [%wtts [%base %atom %$] p.gen] q.gen r.gen] {$wtht *} [%wtcl [%wtts [%base %atom %$] p.gen] q.gen r.gen]
{$wtvt *} [%wtcl [%wtts [%base %atom %$] p.gen] q.gen r.gen]
{$wtsg *} [%wtcl [%wtts [%base %null] p.gen] q.gen r.gen] {$wtsg *} [%wtcl [%wtts [%base %null] p.gen] q.gen r.gen]
{$wtts *} [%fits ~(example ax fab p.gen) q.gen] {$wtts *} [%fits ~(example ax fab p.gen) q.gen]
{$wtzp *} [%wtcl p.gen [%rock %f 1] [%rock %f 0]] {$wtzp *} [%wtcl p.gen [%rock %f 1] [%rock %f 0]]
@ -7800,6 +7818,7 @@
$wtls (lead -.gen %.(+.gen (trio noop expr (moto (twin stir expr))))) $wtls (lead -.gen %.(+.gen (trio noop expr (moto (twin stir expr)))))
$wtpm (lead -.gen %.(+.gen moar)) $wtpm (lead -.gen %.(+.gen moar))
$wtht (lead -.gen %.(+.gen trip)) $wtht (lead -.gen %.(+.gen trip))
$wtvt (lead -.gen %.(+.gen trip))
$wtsg (lead -.gen %.(+.gen trip)) $wtsg (lead -.gen %.(+.gen trip))
$wtts (lead -.gen %.(+.gen (twin stir noop))) $wtts (lead -.gen %.(+.gen (twin stir noop)))
$wtzp (lead -.gen %.(+.gen expr)) $wtzp (lead -.gen %.(+.gen expr))
@ -12075,7 +12094,7 @@
['=' ;~(pfix tis (toad txts))] ['=' ;~(pfix tis (toad txts))]
['+' ;~(pfix lus (toad txls))] ['+' ;~(pfix lus (toad txls))]
['&' (rune pad %wtpm exps)] ['&' (rune pad %wtpm exps)]
['@' ;~(pfix hat (toad tkht))] ['@' ;~(pfix hat (toad tkvt))]
['~' ;~(pfix sig (toad tksg))] ['~' ;~(pfix sig (toad tksg))]
['!' (rune zap %wtzp expa)] ['!' (rune zap %wtzp expa)]
== ==
@ -12318,8 +12337,8 @@
++ txls |. %+ cook |= {a/tiki b/hoon c/(list (pair plan hoon))} ++ txls |. %+ cook |= {a/tiki b/hoon c/(list (pair plan hoon))}
(~(wtls ah a) b c) (~(wtls ah a) b c)
(butt ;~(gunk teak loaf ruck)) (butt ;~(gunk teak loaf ruck))
++ tkht |. %+ cook |= {a/tiki b/hoon c/hoon} ++ tkvt |. %+ cook |= {a/tiki b/hoon c/hoon}
(~(wtht ah a) b c) (~(wtvt ah a) b c)
;~(gunk teak loaf loaf) ;~(gunk teak loaf loaf)
++ tksg |. %+ cook |= {a/tiki b/hoon c/hoon} ++ tksg |. %+ cook |= {a/tiki b/hoon c/hoon}
(~(wtsg ah a) b c) (~(wtsg ah a) b c)

View File

@ -1,3 +1,4 @@
!:
:: :: /van/zuse :: :: /van/zuse
:: :: %reference/1 :: :: %reference/1
:: %zuse: arvo library. :: %zuse: arvo library.
@ -834,7 +835,7 @@
++ bitt (map bone (pair ship path)) :: incoming subs ++ bitt (map bone (pair ship path)) :: incoming subs
++ boat :: outgoing subs ++ boat :: outgoing subs
%+ map (pair bone wire) :: %+ map (pair bone wire) ::
(trel bean ship path) :: (trel flag ship path) ::
++ bowl :: standard app state ++ bowl :: standard app state
$: $: our/ship :: host $: $: our/ship :: host
src/ship :: guest src/ship :: guest