urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 11:08:45 +03:00
Code Issues Packages Projects Releases Wiki Activity

Renamed arms in ++sail to be more verbose, and lightly restructured some.

Browse Source
This commit is contained in:
Fang 2017-07-24 17:49:46 -07:00
parent ed058c3cfe
commit 474be42749
1 changed files with 131 additions and 117 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

248
gen/cram.hoon
View File

@ -89,70 +89,74 @@
::+| ::+|
:: ::
++ beet $@ @ :: advanced embed ++ beet $@ @ :: advanced embed
$% {$a p/twig} :: take tape $% {$tape p/twig} :: take tape
{$b p/twig} :: take manx {$manx p/twig} :: take manx
{$c p/twig} :: take marl {$marl p/twig} :: take marl
{$d p/twig} :: take $-(marl marl) {$call p/twig} :: take $-(marl marl)
{$e p/twig q/(list tuna)} :: element literal {$elem p/twig q/(list tuna)} :: element literal
== :: == ::
:: ::
++ tuna :: tagflow ++ tuna :: tagflow
$% {$a p/twig} :: plain text $% {$tape p/twig} :: plain text
{$b p/twig} :: single tag {$manx p/twig} :: single tag
{$c p/twig} :: simple list {$marl p/twig} :: simple list
{$d p/twig} :: dynamic list {$call p/twig} :: dynamic list
{$e p/twig q/(list tuna)} :: element {$elem p/twig q/(list tuna)} :: element
{$f p/(list tuna)} :: subflow {$many p/(list tuna)} :: subflow
== :: == ::
:: ::
++ sail :: xml template ++ sail :: xml template
|= tol/? =| lin/? |= in-tall-form/? =| lin/?
|% |%
++ ape :: product twig ++ apex :: product twig
%+ cook %+ cook
|= tum/tuna ^- twig |= tum/tuna ^- twig
?: ?=({$e *} tum) ::?: ?=({$elem *} tum)
[p.tum (sag q.tum)] :: [p.tum (tuna-to-twig q.tum)]
(sag tum ~) (tuna-to-twig tum ~)
amp toplevel
:: ::
++ amp :: entry point ++ toplevel :: entry point
;~(pfix sem ?:(tol bam bat)) ;~(pfix sem ?:(in-tall-form tall-top wide-outer-top))
:: ::
++ bam :: tall top ++ tall-top :: tall top
%+ knee *tuna |. ~+ %+ knee *tuna |. ~+
;~ pose ;~ pose
(stag %f ;~(pfix (plus ace) (cook rab puv))) (stag %many ;~(pfix (plus ace) (cook beet-to-tuna quote-innards)))
(stag %e ;~(plug hag nal)) (stag %elem ;~(plug script-or-style script-style-tail))
(stag %e hul) (stag %elem tall-elem)
(stag %f nup) (stag %many wide-quote)
;~(pfix tis (stag %f nol)) ;~(pfix tis (stag %many tall-tail))
;~(pfix hep (stag %a ;~(pfix gap tall))) tall-interpolation
;~(pfix lus (stag %b ;~(pfix gap tall))) (easy [%many [%tape [%knit 10 ~]] ~])
;~(pfix tar (stag %c ;~(pfix gap tall)))
;~(pfix cen (stag %d ;~(pfix gap tall)))
(easy [%f [%a [%knit 10 ~]] ~])
== ==
:: ::
++ bat :: wide outer top ++ tall-interpolation
;~ pose
;~(pfix hep (stag %tape ;~(pfix gap tall:vast)))
;~(pfix lus (stag %manx ;~(pfix gap tall:vast)))
;~(pfix tar (stag %marl ;~(pfix gap tall:vast)))
;~(pfix cen (stag %call ;~(pfix gap tall:vast)))
==
++ wide-outer-top :: wide outer top
%+ knee *tuna |. ~+ %+ knee *tuna |. ~+
;~ pose ;~ pose
(stag %f nup) (stag %many wide-quote)
(stag %f ped) (stag %many wide-paren-elems)
(stag %e ;~(plug hig lif)) (stag %elem ;~(plug wide-head wide-tail))
== ==
:: ::
++ bet :: wide inner top ++ wide-inner-top :: wide inner top
%+ knee *tuna |. ~+ %+ knee *tuna |. ~+
;~ pose ;~ pose
bat wide-outer-top
;~(pfix hep (stag %a wide)) ;~(pfix hep (stag %tape wide:vast))
;~(pfix lus (stag %b wide)) ;~(pfix lus (stag %manx wide:vast))
;~(pfix tar (stag %c wide)) ;~(pfix tar (stag %marl wide:vast))
;~(pfix cen (stag %d wide)) ;~(pfix cen (stag %call wide:vast))
== ==
:: ::
++ fry :: mane as twig ++ mane-as-twig :: mane as twig
%+ cook %+ cook
|= {a/@tas b/(unit @tas)} |= {a/@tas b/(unit @tas)}
?~ b ?~ b
@ -160,79 +164,84 @@
[[%rock %tas a] [%rock %tas u.b]] [[%rock %tas a] [%rock %tas u.b]]
;~(plug sym ;~(pose (stag ~ ;~(pfix cab sym)) (easy ~))) ;~(plug sym ;~(pose (stag ~ ;~(pfix cab sym)) (easy ~)))
:: ::
++ hag :: script or style ++ script-or-style :: script or style
%+ cook |=(a/twig a) %+ cook |=(a/twig a)
;~ plug ;~ plug
(stag %rock (stag %tas ;~(pose (jest %script) (jest %style)))) (stag %rock (stag %tas ;~(pose (jest %script) (jest %style))))
(stag %conl jaw) (stag %conl wide-attrs)
== ==
:: ::
++ hig :: simple head ++ wide-head :: simple head
(cook |=({a/twig b/(list twig)} [a %conl b]) hog) (cook |=({a/twig b/(list twig)} [a %conl b]) tag-head)
:: ::
++ hog :: tag head ++ en-class
|= a/(list {$class p/term}) ^- (unit {$class tape})
?~ a ~
%- some
:- %class
|-
%+ welp (trip p.i.a)
?~ t.a ~
[' ' $(a t.a)]
::
++ tag-head :: tag head
%+ cook %+ cook
|= hug |= {a/twig b/(list twig) c/(unit (list twig))}
^- {twig (list twig)} ^- {twig (list twig)}
=- [a (welp - ?~(c d [[[%rock %tas p.c] q.c] d]))] [a (weld b (fall c ~))]
=- (~(tap by -))
%. |=(e/(list tank) [%knit ~(ram re %rose [" " `~] e)])
=< ~(run by (reel b .))
|= {e/{p/term q/term} f/(jar twig tank)}
(~(add ja f) [%rock %tas p.e] [%leaf (trip q.e)])
;~ plug ;~ plug
fry mane-as-twig
=- (star ;~(plug - sym)) ::
;~(pose (cold %class dot) (cold %id hax)) %+ cook
=- ;~(pose ;~(plug - (stag %knit soil)) (easy ~)) |= a/(list (unit {term (list beer)}))
;~(pose (cold %href fas) (cold %src pat)) ^- (list twig)
;~ pose %+ murn a
%+ ifix [pel per] (lift |=({a/term b/(list beer)} [[%rock %tas a] [%knit b]]))
%+ more ;~(plug com ace)
;~(plug fry ;~(pfix ace wide))
:: ::
;~ plug
(punt ;~(plug (cold %id hax) (cook trip sym)))
(cook en-class (star ;~(plug (cold %class dot) sym)))
(punt ;~(plug ;~(pose (cold %href fas) (cold %src pat)) soil:vast))
(easy ~) (easy ~)
== ==
::
%- punt
%+ ifix [pel per]
%+ more ;~(plug com ace)
;~(plug mane-as-twig ;~(pfix ace wide:vast))
== ==
:: ::
++ hoy :: tall attributes ++ tall-attrs :: tall attributes
%- star %- star
;~ pfix ;~(plug gap tis) ;~ pfix ;~(plug gap tis)
;~(plug fry ;~(pfix gap tall)) ;~(plug mane-as-twig ;~(pfix gap tall:vast))
== ==
:: ::
++ hug :: head shape ++ tall-elem :: tall preface
$: a/twig :: XX translation
b/(list {@tas @tas})
c/$@($~ {p/@tas q/twig})
d/(list twig)
==
::
++ hul :: tall preface
%+ cook %+ cook
|= {a/{p/twig q/(list twig)} b/(list twig) c/(list tuna)} |= {a/{p/twig q/(list twig)} b/(list twig) c/(list tuna)}
^- {twig (list tuna)} ^- {twig (list tuna)}
[[p.a %conl (weld q.a b)] c] [[p.a %conl (weld q.a b)] c]
;~(plug hog hoy nol) ;~(plug tag-head tall-attrs tall-tail)
:: ::
++ jaw :: wide attributes ++ wide-attrs :: wide attributes
;~ pose ;~ pose
%+ ifix [pel per] %+ ifix [pel per]
%+ more ;~(plug com ace) %+ more ;~(plug com ace)
;~(plug fry ;~(pfix ace wide)) ;~(plug mane-as-twig ;~(pfix ace wide:vast))
:: ::
(easy ~) (easy ~)
== ==
:: ::
++ lif :: wide elements ++ wide-tail :: wide elements
%+ cook |=(a/(list tuna) a) %+ cook |=(a/(list tuna) a)
;~(pose ;~(pfix col pep) (cold ~ sem) (easy ~)) ;~(pose ;~(pfix col wrapped-elems) (cold ~ sem) (easy ~))
:: ::
++ luf :: wide elements ++ wide-elems :: wide elements
%+ cook |=(a/(list tuna) a) %+ cook |=(a/(list tuna) a)
(star ;~(pfix ace bet)) (star ;~(pfix ace wide-inner-top))
:: ::
++ nal :: unescaped tall tail ++ script-style-tail :: unescaped tall tail
%+ cook |=(a/(list tuna) a) %+ cook |=(a/(list tuna) a)
%+ ifix [gap ;~(plug gap duz)] %+ ifix [gap ;~(plug gap duz)]
%+ most gap %+ most gap
@ -241,88 +250,93 @@
;~ pfix ace ;~ pfix ace
%+ cook %+ cook
|= a/tape |= a/tape
[%a %knit (weld a `tape`[`@`10 ~])] [%tape %knit (weld a `tape`[`@`10 ~])]
(star (shim 32 255)) (star (shim 32 255))
== ==
(easy [%a %knit `@`10 ~]) (easy [%tape %knit `@`10 ~])
== ==
== ==
:: ::
++ nol :: tall tail ++ tall-tail :: tall tail
?> tol ?> in-tall-form
%+ cook |=(a/(list tuna) a) %+ cook |=(a/(list tuna) a)
;~ pose ;~ pose
(cold ~ sem) (cold ~ sem)
;~(pfix col pep(tol |)) ;~(pfix col wrapped-elems(in-tall-form |))
;~(pfix ;~(plug col ace) (cook rab(tol |) puv)) ;~(pfix ;~(plug col ace) (cook beet-to-tuna(in-tall-form |) quote-innards))
(ifix [gap ;~(plug gap duz)] (most gap amp)) (ifix [gap ;~(plug gap duz)] (most gap toplevel))
== ==
:: ::
++ nup :: wide quote ++ wide-quote :: wide quote
%+ cook |=(a/(list tuna) a) %+ cook |=(a/(list tuna) a)
;~ pose ;~ pose
;~(less (jest '"""') (ifix [doq doq] (cook rab puv))) ;~(less (jest '"""') (ifix [doq doq] (cook beet-to-tuna quote-innards)))
(inde (ifix [(jest '"""\0a') (jest '\0a"""')] (cook rab puv(lin |)))) (inde (ifix [(jest '"""\0a') (jest '\0a"""')] (cook beet-to-tuna quote-innards(lin |))))
== ==
:: ::
++ pab (ifix [kel ker] ;~(plug hig luf)) :: bracketed element ++ bracketed-elem (ifix [kel ker] ;~(plug wide-head wide-elems)) :: bracketed element
++ ped :: wide flow ++ wide-paren-elems :: wide flow
%+ cook |=(a/(list tuna) a) %+ cook |=(a/(list tuna) a)
(ifix [pel per] (more ace bet)) (ifix [pel per] (more ace wide-inner-top))
:: ::
++ pep :: wrapped tuna ++ wrapped-elems :: wrapped tuna
%+ cook |=(a/(list tuna) a) %+ cook |=(a/(list tuna) a)
;~ pose ;~ pose
ped wide-paren-elems
(ifix [pel per] (more ace bet)) (cook |=(@t [%tape %knit (trip +<)]~) qut)
(cook |=(@t [%a %knit (trip +<)]~) qut)
;~ plug ;~ plug
bat wide-outer-top
(easy ~) (easy ~)
== ==
== ==
:: ::
++ puv :: wide+tall flow ::++ wide-quote-innards (cook beet-to-tuna(in-tall-form |) quote-innards)
++ quote-innards :: wide+tall flow
%+ cook |=(a/(list beet) a) %+ cook |=(a/(list beet) a)
%- star %- star
;~ pose ;~ pose
;~(pfix bas ;~(pose (mask "-+*%;\{") bas doq bix:ab)) ;~(pfix bas ;~(pose (mask "-+*%;\{") bas doq bix:ab))
;~(pfix hep (stag %a sump)) quote-interpolation
;~(pfix lus (stag %b sump)) ;~(pfix sem (stag %elem bracketed-elem(in-tall-form |)))
;~(pfix tar (stag %c sump)) ;~(less bas kel ?:(in-tall-form fail doq) prn)
;~(pfix cen (stag %d sump))
;~(pfix sem (stag %e pab(tol |)))
;~(less bas kel ?:(tol fail doq) prn)
?:(lin fail ;~(less (jest '\0a"""') (just '\0a'))) ?:(lin fail ;~(less (jest '\0a"""') (just '\0a')))
(stag %a sump)
== ==
:: ::
++ rab :: beet to tuna ++ quote-interpolation
;~ pose
(stag %tape sump:vast)
;~(pfix hep (stag %tape sump:vast))
;~(pfix lus (stag %manx sump:vast))
;~(pfix tar (stag %marl sump:vast))
;~(pfix cen (stag %call sump:vast))
==
++ beet-to-tuna :: beet to tuna
|= reb/(list beet) |= reb/(list beet)
^- (list tuna) ^- (list tuna)
=| {sim/(list @) tuz/(list tuna)} =| {sim/(list @) tuz/(list tuna)}
|- ^- (list tuna) |- ^- (list tuna)
?~ reb ?~ reb
=. sim =. sim
?. tol sim ?. in-tall-form sim
[10 |-(?~(sim sim ?:(=(32 i.sim) $(sim t.sim) sim)))] [10 |-(?~(sim sim ?:(=(32 i.sim) $(sim t.sim) sim)))]
?~(sim tuz [[%a %knit (flop sim)] tuz]) ?~(sim tuz [[%tape %knit (flop sim)] tuz])
?@ i.reb ?@ i.reb
$(reb t.reb, sim [i.reb sim]) $(reb t.reb, sim [i.reb sim])
=+ zut=$(reb t.reb, sim ~) =+ zut=$(reb t.reb, sim ~)
?~ sim [i.reb zut] ?~ sim [i.reb zut]
[[%a %knit (flop sim)] i.reb zut] [[%tape %knit (flop sim)] i.reb zut]
:: ::
++ sag :: tuna to twig ++ tuna-to-twig :: tuna to twig
|= lut/(list tuna) |= lut/(list tuna)
^- twig ^- twig
:- %conp :- %conp
|- ^- (list twig) |- ^- (list twig)
?~ lut [[%rock %n ~] ~] ?~ lut [[%rock %n ~] ~]
?- -.i.lut ?- -.i.lut
$a [[%nub p.i.lut] $(lut t.lut)] $tape [[%nub p.i.lut] $(lut t.lut)]
$b [p.i.lut $(lut t.lut)] $manx [p.i.lut $(lut t.lut)]
$c :_ ~ $marl
:_ ~
:+ %lace `twig`[p.i.lut [%conp $(lut t.lut)]] :+ %lace `twig`[p.i.lut [%conp $(lut t.lut)]]
:+ %new [%base %cell] :+ %new [%base %cell]
:- %core :- %core
@ -333,9 +347,9 @@
:^ %ifno sug :^ %ifno sug
[%make sug [[[[%& 1] ~] [%$ 13]] ~]] [%make sug [[[[%& 1] ~] [%$ 13]] ~]]
[%make sug [[[[%& 3] ~] [%make [%$ ~] [[sug [%$ 25]] ~]]] ~]] [%make sug [[[[%& 3] ~] [%make [%$ ~] [[sug [%$ 25]] ~]]] ~]]
$d [[%call p.i.lut [%conp $(lut t.lut)] ~] ~] $call [[%call p.i.lut [%conp $(lut t.lut)] ~] ~]
$e [[p.i.lut ^$(lut [[%f q.i.lut] ~])] $(lut t.lut)] $elem [[p.i.lut ^$(lut [[%many q.i.lut] ~])] $(lut t.lut)]
$f $(lut (weld p.i.lut t.lut)) $many $(lut (weld p.i.lut t.lut))
== ==
-- --
-- --