urbit/gen/cram.hoon

929 lines
28 KiB
Plaintext
Raw Normal View History

2017-07-16 03:59:57 +03:00
::
2017-07-24 09:19:53 +03:00
:::: hoon/cram/gen
2017-07-16 03:59:57 +03:00
::
2017-07-24 22:21:53 +03:00
:: test generator for the cram markdown syntax
::
:: todo: integrate with ++sail and embed in hoon compiler
::
:: ++cram is a simple markdown-inspired parser that makes
:: common html tropes easy to type. you can think of ++cram
:: as "rational markdown" or "markdown with syntax errors."
:: a document format should be easy to type and read, but
:: that doesn't mean it can't or have rigorous syntax.
::
2017-07-25 01:49:59 +03:00
:: tldr: ++cram is indent-oriented. indent 2 spaces for
2017-07-24 22:21:53 +03:00
:: a dynamic interpolation, 4 spaces for example code, 6
:: spaces for a blockquote and 8 spaces for verse. separate
2017-07-25 01:49:59 +03:00
:: every semantic block by a blank line. use - for
:: unordered lists, + for ordered lists.
::
2017-07-24 22:21:53 +03:00
:: markdown link syntax works. * means bold, _ means
:: italics, "" inserts smart quotes. all enclosed
:: strings are reparsed; escape the terminator within
:: the string, eg, *star \* in bold text*.
::
:: markdown `literal` syntax is supported, but all hoon
:: constants are automatically marked as code. also, any
2017-07-25 01:49:59 +03:00
:: hoon expression prefixed with # is a code literal.
2017-07-24 22:21:53 +03:00
::
:: (++cram is a valid hoon parsing rule, but it does a lot
:: of custom processing internally, since the language is
:: context-sensitive. we use a context-sensitive parser
:: to cut the lines into blocks, then reparse flow blocks
:: with normal hoon rules. multipass parsing is the tax
:: humans have to pay for simple but human-friendly syntax.)
2017-07-25 02:00:44 +03:00
::
=>
2017-07-25 01:55:57 +03:00
|%
++ dynamic
|%
++ mane $@(@tas {@tas @tas}) :: XML name+space
++ manx {g/marx c/marl} :: XML node
++ marl (list $^(manx tuna)) :: XML node list
++ mart (list {n/mane v/(list beer)}) :: XML attributes
++ marx {n/mane a/mart} :: XML tag
++ tuna {?($tape $manx $marl $call) p/twig}
--
::
++ freeze
|= manx:dynamic ^- manx
:- [n.g (turn a.g freeze-mart)]
%+ turn c
|=(a/=>(dynamic $^(manx tuna)) ?@(-.a !! (freeze a)))
::
++ freeze-mart
|= {n/mane v/(list beer)} ^- {mane tape}
[n (turn v |=(a/beer ?^(a !! a)))]
::
::+|
::
++ steam
|= manx:dynamic ^- twig:manx
[[(steam-mane n.g) %conl (turn a.g steam-mart)] (steam-marl c)]
::
++ steam-marl
2017-07-26 22:20:58 +03:00
!.
|= a/marl:dynamic ^- twig:marl
?~ a [%conl ~]
?- -.i.a
^ [(steam i.a) $(a t.a)]
$manx [p.i.a $(a t.a)]
$tape [[%nub p.i.a] $(a t.a)]
$call [%call p.i.a [$(a t.a)]~]
$marl [%lace [p.i.a $(a t.a)] cons-gate-twig]
2017-07-25 01:55:57 +03:00
==
::
++ cons-gate-twig
^- twig
:+ %new [%base %cell]
:- %core
^- (map term foot)
:_ [~ ~]
=+ sug=[[%& 12] ~]
:+ %$ %elm
:^ %ifno sug
[%make sug [[[[%& 1] ~] [%$ 13]] ~]]
[%make sug [[[[%& 3] ~] [%make [%$ ~] [[sug [%$ 25]] ~]]] ~]]
2017-07-25 01:55:57 +03:00
::
++ steam-mane
|= a/mane ^- twig
?@(a [%rock %tas a] [[%rock %tas -.a] [%rock %tas +.a]])
::
++ steam-mart
|= {n/mane v/(list beer)}
[(steam-mane n) %knit v]
::
::+|
::
++ beet $@ @ :: advanced embed
$% {$tape p/twig} :: take tape
{$manx p/twig} :: take manx
{$marl p/twig} :: take marl
{$call p/twig} :: take $-(marl marl)
{$elem p/twig q/(list tuna)} :: element literal
== ::
::
++ tuna :: tagflow
$% {$tape p/twig} :: plain text
{$manx p/twig} :: single tag
{$marl p/twig} :: simple list
{$call p/twig} :: dynamic list
{$elem p/twig q/(list tuna)} :: element
{$many p/(list tuna)} :: subflow
== ::
::
++ sail :: xml template
=> dynamic
|= in-tall-form/? =| lin/?
|%
++ apex :: entry point
;~(pfix sem ?:(in-tall-form tall-top wide-top))
::
++ single !. |*(a/rule (cook |=(b/$^(manx tuna) [b]~) a))
++ tall-top :: tall top
%+ knee *marl |. ~+
;~ pose
;~(pfix (plus ace) (cook collapse-chars quote-innards))
(single ;~(plug script-or-style script-style-tail))
(single tall-elem)
wide-quote
;~(pfix tis tall-tail)
(single ;~((glue gap) tuna-mode tall:vast))
(easy [;/("\0a")]~)
==
::
++ tuna-mode
;~ pose
(cold %tape hep)
(cold %manx lus)
(cold %marl tar)
(cold %call cen)
==
++ wide-top :: wide outer top
%+ knee *marl |. ~+
;~ pose
wide-quote
wide-paren-elems
(single ;~(plug tag-head wide-tail))
==
::
++ wide-inner-top :: wide inner top
%+ knee *marl |. ~+
;~ pose
wide-top
(single ;~(plug tuna-mode wide:vast))
==
::
++ a-mane :: mane as twig
%+ cook
|= {a/@tas b/(unit @tas)}
?~(b a [a u.b])
;~(plug sym ;~(pose (stag ~ ;~(pfix cab sym)) (easy ~)))
::
++ script-or-style :: script or style
%+ cook |=(a/marx a)
;~ plug
;~(pose (jest %script) (jest %style))
wide-attrs
==
::
++ 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
|= {a/mane b/mart c/mart}
^- marx
[a (weld b c)]
;~ plug
a-mane
::
%+ cook
|= a/(list (unit {term (list beer)}))
^- (list {term (list beer)})
:: discard nulls
(murn a same)
::
;~ 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 ~)
==
::
wide-attrs
==
::
++ tall-attrs :: tall attributes
%- star
;~ pfix ;~(plug gap tis)
;~((glue gap) a-mane hopefully-quote)
==
::
++ tall-elem :: tall preface
%+ cook
|= {a/{p/mane q/mart} b/mart c/marl}
^- manx
[[p.a (weld q.a b)] c]
;~(plug tag-head tall-attrs tall-tail)
::
2017-07-26 22:03:03 +03:00
::REVIEW is there a better way to do this?
++ hopefully-quote
%+ cook |=(a/(list beer) a)
2017-07-26 22:03:03 +03:00
%+ cook |=(a/twig ?:(?=($knit -.a) p.a [~ a]~))
wide:vast
::
++ wide-attrs :: wide attributes
%+ cook |=(a/(unit mart) (fall a ~))
%- punt
%+ ifix [pel per]
%+ more (jest ', ')
;~((glue ace) a-mane hopefully-quote)
::
++ wide-tail :: wide elements
%+ cook |=(a/marl a)
;~(pose ;~(pfix col wrapped-elems) (cold ~ sem) (easy ~))
::
++ wide-elems :: wide elements
%+ cook |=(a/marl a)
%+ cook zing
(star ;~(pfix ace wide-inner-top))
::
++ script-style-tail :: unescaped tall tail
%+ cook |=(a/marl a)
%+ ifix [gap ;~(plug gap duz)]
%+ most gap
;~ pfix sem
%+ cook |=(a/tape ;/(a))
;~ pose
;~(pfix ace (star prn))
(easy "\0a")
==
==
::
++ tall-tail :: tall tail
?> in-tall-form
%+ cook |=(a/marl a)
;~ pose
(cold ~ sem)
;~(pfix col wrapped-elems(in-tall-form |))
;~(pfix col ace (cook collapse-chars(in-tall-form |) quote-innards))
(cook zing (ifix [gap ;~(plug gap duz)] (most gap apex)))
==
::
++ wide-quote :: wide quote
%+ cook |=(a/marl a)
;~ pose
;~(less (jest '"""') (ifix [doq doq] (cook collapse-chars quote-innards)))
(inde (ifix [(jest '"""\0a') (jest '\0a"""')] (cook collapse-chars quote-innards(lin |))))
==
::
++ bracketed-elem (ifix [kel ker] ;~(plug tag-head wide-elems)) :: bracketed element
++ wide-paren-elems :: wide flow
%+ cook |=(a/marl a)
%+ cook zing
(ifix [pel per] (more ace wide-inner-top))
::
++ wrapped-elems :: wrapped tuna
%+ cook |=(a/marl a)
;~ pose
wide-paren-elems
(cook |=(@t `marl`[;/((trip +<))]~) qut)
wide-top
==
::
::++ wide-quote-innards (cook collapse-chars(in-tall-form |) quote-innards)
++ quote-innards :: wide+tall flow
%+ cook |=(a/(list $@(@ $^(manx tuna))) a)
%- star
;~ pose
;~(pfix bas ;~(pose (mask "-+*%;\{") bas doq bix:ab))
inline-embed
;~(less bas kel ?:(in-tall-form fail doq) prn)
?:(lin fail ;~(less (jest '\0a"""') (just '\0a')))
==
::
++ inline-embed
%+ cook |=(a/$^(manx tuna) a)
;~ pose
;~(pfix sem bracketed-elem(in-tall-form |))
;~(plug tuna-mode sump:vast)
(stag %tape sump:vast)
==
::
++ collapse-chars :: beet to tuna
|= reb/(list $@(@ $^(manx tuna)))
^- marl
=| {sim/(list @) tuz/marl}
|- ^- marl
?~ reb
=. sim
?. in-tall-form sim
[10 |-(?~(sim sim ?:(=(32 i.sim) $(sim t.sim) sim)))]
?~(sim tuz [;/((flop sim)) tuz])
?@ i.reb
$(reb t.reb, sim [i.reb sim])
?~ sim [i.reb $(reb t.reb, sim ~)]
[;/((flop sim)) i.reb $(reb t.reb, sim ~)]
--
2017-07-25 01:55:57 +03:00
--
::|= inp/cord
::=< (steam-marl (rash inp apex:(sail &)))
|= pax/path
=< (test pax)
2017-07-16 03:59:57 +03:00
=> |%
++ item (pair mite marl:dynamic) :: xml node generator
2017-07-16 03:59:57 +03:00
++ colm @ud :: column
++ flow marl:dynamic :: node or generator
2017-07-18 04:07:47 +03:00
++ mite :: context
$? $down :: outer embed
$list :: unordered list
$lime :: list item
$lord :: ordered list
2017-07-19 06:19:27 +03:00
$poem :: verse
2017-07-18 04:07:47 +03:00
$bloc :: blockquote
$code :: preformatted code
2017-07-21 06:19:22 +03:00
$head :: heading
2017-07-19 06:19:27 +03:00
$expr :: dynamic expression
2017-07-21 06:19:22 +03:00
== ::
2017-07-16 03:59:57 +03:00
++ trig :: line style
2017-07-25 01:49:59 +03:00
$: col/@ud :: start column
2017-07-27 03:04:19 +03:00
sty/trig-style :: style
==
++ trig-style
$? $fini :: terminator
$done :: end of input
$lint :: + line item
$lite :: - line item
$head :: # heading
::$quot :: > block-quote
::$expr :: ! interpolation
$text :: anything else
== ::
2017-07-21 06:19:22 +03:00
++ graf :: input fragment
2017-07-24 09:19:53 +03:00
$% {$bold p/(list graf)} :: *bold*
{$talc p/(list graf)} :: _italics_
{$quod p/(list graf)} :: "double quote"
2017-07-22 09:56:21 +03:00
{$code p/tape} :: code literal
{$text p/tape} :: text symbol
2017-07-24 09:19:53 +03:00
{$link p/(list graf) q/tape} :: URL
{$expr p/=<($^(tuna manx) dynamic)}
2017-07-21 06:19:22 +03:00
==
2017-07-16 03:59:57 +03:00
--
2017-07-25 01:49:59 +03:00
|% ::
2017-07-24 02:00:45 +03:00
++ test :: test text parsing
|= pax/path
^- tape
:: src: text file as (list cord)
:: txt: source as tape with newlines
:: vex: parsing result
::
=/ src .^(wain %cx pax)
=* txt (zing (turn src |=(@t (weld (rip 3 +<) `tape`~[`@`10]))))
=/ vex (cram [1 1] txt)
:: print result as error or xml text
::
?~ q.vex
"syntax error: line {(scow %ud p.p.vex)}, column {(scow %ud q.p.vex)}"
2017-07-26 22:03:03 +03:00
?: [freeze=|] (poxo (freeze p.u.q.vex))
(poxo ;;(manx q:(slap !>(..zuse) (steam p.u.q.vex))))
2017-07-24 02:00:45 +03:00
:: ::
++ cram :: parse unmark
%+ stag [%div ~] ::REVIEW
2017-07-16 03:59:57 +03:00
|= {naz/hair los/tape}
^- (like marl:dynamic)
2017-07-16 03:59:57 +03:00
::
2017-07-25 01:49:59 +03:00
:: state of the parsing loop. we maintain a construction
2017-07-24 22:21:53 +03:00
:: stack for elements and a line stack for lines in the
:: current block. a blank line causes the current block
:: to be parsed and thrown in the current element. when
:: the indent column retreats, the element stack rolls up.
::
2017-07-18 04:07:47 +03:00
:: err: error position
2017-07-16 03:59:57 +03:00
:: col: current control column
:: hac: stack of items under construction
:: cur: current item under construction
2017-07-20 07:48:00 +03:00
:: lub: current block being read in
2017-07-16 03:59:57 +03:00
::
2017-07-18 04:07:47 +03:00
=| err/(unit hair)
=/ col q.naz
2017-07-16 03:59:57 +03:00
=| hac/(list item)
2017-07-20 07:48:00 +03:00
=/ cur/item [%down ~]
2017-07-16 03:59:57 +03:00
=| lub/(unit (pair hair (list tape)))
2017-07-18 04:07:47 +03:00
=< $:line
2017-07-16 03:59:57 +03:00
|%
:: ::
2017-07-20 07:48:00 +03:00
++ $ :: resolve
2017-07-22 09:56:21 +03:00
^- (like flow)
2017-07-20 07:48:00 +03:00
:: if error position is set, produce error
2017-07-16 03:59:57 +03:00
::
2017-07-20 07:48:00 +03:00
?. =(~ err) [+.err ~]
:: all data was consumed
2017-07-16 03:59:57 +03:00
::
2017-07-20 07:48:00 +03:00
=- [naz `[- [naz los]]]
2017-07-22 09:56:21 +03:00
|- ^- flow
2017-07-20 07:48:00 +03:00
:: fold all the way to top
2017-07-16 03:59:57 +03:00
::
2017-07-22 09:56:21 +03:00
?~ hac fine
2017-07-20 07:48:00 +03:00
$(..^$ fold)
2017-07-16 03:59:57 +03:00
:: ::
++ back :: column retreat
2017-07-20 07:48:00 +03:00
|= luc/@ud
2017-07-18 04:07:47 +03:00
^+ +>
2017-07-20 07:48:00 +03:00
?: =(luc col) +>
:: nex: next backward step that terminates this context
::
=/ nex/@ud
?- p.cur
2017-07-24 09:19:53 +03:00
$down 2
2017-07-21 06:19:22 +03:00
$head 0
2017-07-20 07:48:00 +03:00
$expr 2
$list 0
$lime 2
$lord 0
$poem 8
$code 4
$bloc 6
==
?: (gth nex (sub col luc))
:: indenting pattern violation
::
2017-07-24 09:19:53 +03:00
..^$(col luc, err `[p.naz luc])
=. ..^$ fold
$(col (sub col nex))
2017-07-16 03:59:57 +03:00
:: ::
2017-07-20 07:48:00 +03:00
++ fine :: item to flow
^- flow
?: ?=(?($down $head $expr) p.cur)
(flop q.cur)
2017-07-27 03:04:19 +03:00
?< ?=($poem p.cur) :: handled elsewhere?
=- [[- ~] (flop q.cur)]~
?- p.cur
2017-07-20 07:48:00 +03:00
$list %ul
$lord %ol
$lime %li
$code %pre
2017-07-27 03:04:19 +03:00
$bloc %blockquote
2017-07-20 07:48:00 +03:00
==
:: ::
++ fold ^+ . :: complete and pop
?~ hac .
%= .
hac t.hac
cur [p.i.hac (weld fine q.i.hac)]
2017-07-20 07:48:00 +03:00
==
:: ::
++ snap :: capture raw line
2017-07-16 03:59:57 +03:00
=| nap/tape
2017-07-20 07:48:00 +03:00
|- ^+ [nap +>]
:: no unterminated lines
::
?~ los [~ +>(err `naz)]
2017-07-25 01:49:59 +03:00
?: =(`@`10 i.los)
2017-07-20 07:48:00 +03:00
:: consume newline
::
:_ +>(los t.los, naz [+(p.naz) 1])
:: trim trailing spaces
::
2017-07-25 01:49:59 +03:00
|- ^- tape
?: ?=({$' ' *} nap)
$(nap t.nap)
2017-07-20 07:48:00 +03:00
(flop nap)
2017-07-21 06:19:22 +03:00
:: save byte and repeat
::
2017-07-20 07:48:00 +03:00
$(los t.los, q.naz +(q.naz), nap [i.los nap])
2017-07-16 03:59:57 +03:00
:: ::
2017-07-18 04:07:47 +03:00
++ skip +:snap :: discard line
2017-07-19 06:19:27 +03:00
++ look :: inspect line
^- (unit trig)
2017-07-27 03:04:19 +03:00
=- (wonk (- naz los))
;~ pfix (star ace)
%+ here
|=({a/pint b/?($~ trig-style)} ?~(b ~ `[q.p.a b]))
;~ pose
(full (easy %done))
(cold ~ (just `@`10))
(cold %fini bas)
(cold %head ;~(plug (star hax) ace))
(cold %lite ;~(plug hep ace))
(cold %lint ;~(plug lus ace))
(easy %text)
==
==
2017-07-20 07:48:00 +03:00
:: ::
2017-07-22 09:56:21 +03:00
++ clue :: tape to xml
|= tex/tape
^- manx:dynamic
2017-07-22 09:56:21 +03:00
[[%$ [%$ tex] ~] ~]
:: ::
++ cash :: escaped fence
|* tem/rule
2017-07-27 01:24:24 +03:00
%- echo
2017-07-27 03:04:19 +03:00
%- star
;~ pose
2017-07-27 01:24:24 +03:00
whit
;~(plug bas tem)
;~(less tem prn)
2017-07-22 09:56:21 +03:00
==
:: ::
2017-07-24 09:19:53 +03:00
++ cool :: reparse
|* $: :: fex: primary parser
:: sab: secondary parser
2017-07-22 09:56:21 +03:00
::
fex/rule
sab/rule
==
|= {naz/hair los/tape}
^+ *sab
2017-07-25 01:49:59 +03:00
::
2017-07-22 09:56:21 +03:00
:: vex: fenced span
::
=/ vex/(like tape) (fex naz los)
?~ q.vex vex
2017-07-25 01:49:59 +03:00
::
2017-07-22 09:56:21 +03:00
:: hav: reparse full fenced text
::
=/ hav ((full sab) [naz p.u.q.vex])
2017-07-25 01:49:59 +03:00
::
2017-07-24 09:19:53 +03:00
:: reparsed error position is always at start
2017-07-22 09:56:21 +03:00
::
2017-07-24 09:19:53 +03:00
?~ q.hav [naz ~]
2017-07-25 01:49:59 +03:00
::
2017-07-22 09:56:21 +03:00
:: the complete span with the main product
::
:- p.vex
`[p.u.q.hav q.u.q.vex]
:: ::
++ echo :: hoon literal
2017-07-24 09:19:53 +03:00
|* sab/rule
2017-07-22 09:56:21 +03:00
|= {naz/hair los/tape}
^- (like tape)
:: vex: result of parsing wide twig
::
2017-07-24 09:19:53 +03:00
=/ vex (sab naz los)
2017-07-22 09:56:21 +03:00
:: use result of expression parser
::
?~ q.vex vex
2017-07-25 01:49:59 +03:00
=- [p.vex `[- q.u.q.vex]]
2017-07-22 09:56:21 +03:00
:: but replace payload with bytes consumed
::
|- ^- tape
?: =(q.q.u.q.vex los) ~
?~ los ~
[i.los $(los +.los)]
:: ::
2017-07-24 09:19:53 +03:00
++ word :: flow parser
%+ knee *graf |. ~+
2017-07-22 09:56:21 +03:00
;~ pose
2017-07-25 01:49:59 +03:00
::
2017-07-24 09:19:53 +03:00
:: whitespace
::
(stag %text (cold " " whit))
2017-07-25 01:49:59 +03:00
::
2017-07-24 09:19:53 +03:00
:: ordinary word
::
(stag %text ;~(plug ;~(pose low hig) (star ;~(pose nud low hig hep))))
2017-07-25 01:49:59 +03:00
::
2017-07-24 09:19:53 +03:00
:: naked \escape
::
(stag %text ;~(pfix bas (cook trip ;~(less ace prn))))
2017-07-25 01:49:59 +03:00
::
2017-07-22 09:56:21 +03:00
:: *bold literal*
::
2017-07-27 01:24:24 +03:00
(stag %bold (ifix [tar tar] (cool (cash tar) work)))
2017-07-25 01:49:59 +03:00
::
2017-07-22 09:56:21 +03:00
:: _italic literal_
::
2017-07-27 01:24:24 +03:00
(stag %talc (ifix [cab cab] (cool (cash cab) work)))
2017-07-25 01:49:59 +03:00
::
2017-07-24 09:19:53 +03:00
:: "quoted text"
::
2017-07-27 01:24:24 +03:00
(stag %quod (ifix [doq doq] (cool (cash doq) work)))
2017-07-25 01:49:59 +03:00
::
2017-07-24 09:19:53 +03:00
:: `classic markdown quote`
2017-07-22 09:56:21 +03:00
::
2017-07-27 01:24:24 +03:00
(stag %code (ifix [tec tec] (cash tec)))
2017-07-25 01:49:59 +03:00
::
2017-07-24 09:19:53 +03:00
:: #twig
::
(stag %code ;~(pfix hax (echo wide:vast)))
2017-07-25 01:49:59 +03:00
::
2017-07-22 09:56:21 +03:00
:: ++arm
::
(stag %code ;~(plug lus lus low (star ;~(pose nud low hep))))
2017-07-25 01:49:59 +03:00
::
2017-07-22 09:56:21 +03:00
:: [arbitrary *content*](url)
::
%+ stag %link
2017-07-27 01:24:24 +03:00
;~ (glue gay)
(ifix [sel ser] (cool (cash ser) work))
(ifix [pel per] (cash per))
2017-07-22 09:56:21 +03:00
==
2017-07-25 01:49:59 +03:00
::
2017-07-24 09:19:53 +03:00
:: direct hoon constant
::
%+ stag %code
%- echo
;~ pose
bisk:so
tash:so
;~(pfix dot perd:so)
;~(pfix sig ;~(pose twid:so (easy [%$ %n 0])))
;~(pfix cen ;~(pose sym buc pam bar qut nuck:so))
==
2017-07-25 01:49:59 +03:00
::
:: {interpolated} sail
::
(stag %expr inline-embed:(sail |))
::
2017-07-24 09:19:53 +03:00
:: just a byte
2017-07-22 09:56:21 +03:00
::
(stag %text (cook trip ;~(less ace prn)))
2017-07-22 09:56:21 +03:00
==
:: ::
++ work (star word) :: indefinite flow
2017-07-24 09:19:53 +03:00
:: ::
2017-07-22 09:56:21 +03:00
++ down :: parse inline flow
%+ knee *flow |. ~+
=- (cook - work)
2017-07-25 02:00:44 +03:00
:: collect raw flow into xml tags
::
|= gaf/(list graf)
^- flow
2017-07-25 02:00:44 +03:00
:: nap: collected words
:: max: collected tags
::
=< main
|%
++ main
^- flow
?~ gaf ~
?. ?=($text -.i.gaf)
(weld (item i.gaf) $(gaf t.gaf))
::
:: fip: accumulate text blocks
=/ fip/(list tape) [p.i.gaf]~
|- ^- flow
?~ t.gaf [;/((zing (flop fip))) ~]
?. ?=($text -.i.t.gaf)
[;/((zing (flop fip))) ^$(gaf t.gaf)]
$(gaf t.gaf, fip :_(fip p.i.t.gaf))
::
++ item
|= nex/graf
^- flow
2017-07-25 02:00:44 +03:00
?- -.nex
$text !! :: handled separately
$expr [p.nex]~
$bold [[%b ~] ^$(gaf p.nex)]~
$talc [[%i ~] ^$(gaf p.nex)]~
2017-07-26 22:01:46 +03:00
$code [[%code ~] ;/(p.nex) ~]~
2017-07-25 02:00:44 +03:00
$quod :: smart quotes
::
%= ^$
2017-07-25 02:00:44 +03:00
gaf
:- [%text (tufa ~-~201c. ~)]
2017-07-25 02:00:44 +03:00
%+ weld p.nex
`(list graf)`[%text (tufa ~-~201d. ~)]~
2017-07-25 02:00:44 +03:00
==
2017-07-26 22:01:46 +03:00
$link [[%a [%href q.nex] ~] ^$(gaf p.nex)]~
2017-07-25 02:00:44 +03:00
==
--
2017-07-22 09:56:21 +03:00
:: ::
2017-07-24 02:00:45 +03:00
++ para :: paragraph
2017-07-24 09:19:53 +03:00
%+ cook
|=(flow [[%p ~] +<]~)
2017-07-25 01:49:59 +03:00
;~(pfix gay down) ::REVIEW does this mean comments work?
2017-07-24 02:00:45 +03:00
:: ::
++ expr :: expression
;~(pfix gay apex:(sail &))
:: ::
2017-07-22 09:56:21 +03:00
++ whit :: whitespace
(cold ' ' (plus ;~(pose (just ' ') (just `@`10))))
2017-07-25 01:49:59 +03:00
::
2017-07-22 09:56:21 +03:00
++ head :: parse heading
2017-07-21 06:19:22 +03:00
%+ cook
|= a/manx:dynamic ^- marl:dynamic
=. a.g.a :_(a.g.a [%id (sanitize-to-id c.a)])
[a]~
2017-07-25 02:00:44 +03:00
::
;~ plug
2017-07-22 09:56:21 +03:00
::
:: # -> 1 -> %h1, ### -> 3 -> %h3, etc
:(cook |=(a/@u /(crip "h{<a>}")) lent (stun [1 6] hax))
2017-07-25 02:00:44 +03:00
::
;~(pfix whit down)
==
:: ::
++ sanitize-to-id
|= a/(list $^(tuna manx)):dynamic ^- tape
=; raw/tape
%+ turn raw
|= @tD
^- @tD
?: ?| &((gte +< 'a') (lte +< 'z'))
&((gte +< '0') (lte +< '9'))
==
+<
?: &((gte +< 'A') (lte +< 'Z'))
(add 32 +<)
'-'
2017-07-25 02:00:44 +03:00
:: collect all text in header flow
::
|- ^- tape
?~ a ~
%+ weld
^- tape
?- i.a
{{$$ {$$ *} $~} $~} :: text node contents
(murn v.i.a.g.i.a |=(a/beer ?^(a ~ (some a))))
{^ *} $(a c.i.a) :: concatenate children
{@ *} ~ :: ignore interpolation
==
$(a t.a)
2017-07-21 06:19:22 +03:00
:: ::
2017-07-20 07:48:00 +03:00
++ made :: compose block
2017-07-25 01:49:59 +03:00
^+ .
2017-07-20 07:48:00 +03:00
:: empty block, no action
::
?~ lub .
:: if block is preformatted code
::
?: ?=($code p.cur)
:: add blank line between blocks
::
=. q.cur
?~ q.cur q.cur
:_(q.cur ;/("\0a"))
2017-07-20 07:48:00 +03:00
%= .
2017-07-25 01:49:59 +03:00
q.cur
2017-07-20 07:48:00 +03:00
%+ weld
%+ turn
q.u.lub
|= tape ^- mars
2017-07-20 07:48:00 +03:00
:: each line is text data with its newline
::
;/((weld (slag (dec col) +<) "\0a"))
2017-07-20 07:48:00 +03:00
q.cur
==
:: if block is verse
::
?: ?=($poem p.cur)
:: add break between stanzas
::
=. q.cur ?~(q.cur q.cur [[[%br ~] ~] q.cur])
%= .
2017-07-25 01:49:59 +03:00
q.cur
2017-07-20 07:48:00 +03:00
%+ weld
%+ turn
q.u.lub
|= tape ^- manx
2017-07-20 07:48:00 +03:00
:: each line is a paragraph
::
:- [%p ~]
:_ ~
;/((weld (slag (dec col) +<) "\0a"))
2017-07-20 07:48:00 +03:00
q.cur
==
2017-07-24 02:00:45 +03:00
:: yex: block recomposed, with newlines
::
2017-07-24 09:19:53 +03:00
=/ yex/tape
=/ hel (flop q.u.lub)
|- ^- tape
?~ hel ~
?~ t.hel i.hel
(weld i.hel `tape`[`@`10 $(hel t.hel)])
2017-07-21 06:19:22 +03:00
:: vex: parse of paragraph
2017-07-20 07:48:00 +03:00
::
=/ vex/(like marl:dynamic)
2017-07-24 02:00:45 +03:00
:: either a one-line header or a paragraph
2017-07-22 09:56:21 +03:00
::
%. [p.u.lub yex]
?: ?=($expr p.cur) expr
?: ?=($head p.cur) head
para
2017-07-21 06:19:22 +03:00
:: if error, propagate correctly
::
?~ q.vex ..$(err `p.vex)
2017-07-24 09:19:53 +03:00
:: finish tag if it's a header
::
=< ?:(=(%head p.cur) fold ..$)
2017-07-24 09:19:53 +03:00
:: save good result, clear buffer
2017-07-21 06:19:22 +03:00
::
2017-07-24 09:19:53 +03:00
..$(lub ~, q.cur (weld p.u.q.vex q.cur))
2017-07-25 01:49:59 +03:00
:: ::
2017-07-18 04:07:47 +03:00
++ line ^+ . :: body line loop
2017-07-16 03:59:57 +03:00
:: abort after first error
::
2017-07-19 06:19:27 +03:00
?: !=(~ err) .
2017-07-16 03:59:57 +03:00
:: pic: profile of this line
::
=/ pic look
:: if line is blank
::
2017-07-19 06:19:27 +03:00
?~ pic
2017-07-16 03:59:57 +03:00
:: break section
::
2017-07-19 06:19:27 +03:00
line:made:skip
2017-07-16 03:59:57 +03:00
:: line is not blank
::
=> .(pic u.pic)
2017-07-18 04:07:47 +03:00
:: if end of input, complete
2017-07-16 03:59:57 +03:00
::
?: ?=($done sty.pic)
2017-07-18 04:07:47 +03:00
..$(q.naz col.pic)
:: if end marker behind current column
2017-07-16 03:59:57 +03:00
::
?: &(?=($fini sty.pic) (lth col.pic col))
2017-07-18 04:07:47 +03:00
:: retract and complete
2017-07-16 03:59:57 +03:00
::
2017-07-18 04:07:47 +03:00
(back(q.naz (add 2 col.pic)) col.pic)
2017-07-19 06:19:27 +03:00
:: bal: inspection copy of lub, current section
::
=/ bal lub
2017-07-18 04:07:47 +03:00
:: if within section
2017-07-16 03:59:57 +03:00
::
2017-07-19 06:19:27 +03:00
?^ bal
2017-07-18 04:07:47 +03:00
:: detect bad block structure
2017-07-16 03:59:57 +03:00
::
2017-07-21 06:19:22 +03:00
?: ?| :: only one line in a heading
::
=(%head p.cur)
2017-07-18 04:07:47 +03:00
?: ?=(?($code $poem $expr) p.cur)
2017-07-21 06:19:22 +03:00
:: literals need to end with a blank line
::
2017-07-18 04:07:47 +03:00
(lth col.pic col)
2017-07-21 06:19:22 +03:00
:: text flows must continue aligned
::
2017-07-19 06:19:27 +03:00
|(!=(%text sty.pic) !=(col.pic col))
2017-07-18 04:07:47 +03:00
==
..$(err `[p.naz col.pic])
:: accept line and continue
2017-07-25 01:49:59 +03:00
::
2017-07-20 07:48:00 +03:00
=^ nap ..$ snap
2017-07-19 06:19:27 +03:00
line(lub bal(q.u [nap q.u.bal]))
2017-07-18 04:07:47 +03:00
:: if column has retreated, adjust stack
2017-07-16 03:59:57 +03:00
::
2017-07-24 09:19:53 +03:00
=. ..$ ?. (lth col.pic col) ..$ (back col.pic)
2017-07-18 04:07:47 +03:00
:: dif: columns advanced
2017-07-19 06:19:27 +03:00
:: erp: error position
2017-07-16 03:59:57 +03:00
::
2017-07-18 04:07:47 +03:00
=/ dif (sub col.pic col)
2017-07-19 06:19:27 +03:00
=/ erp [p.naz col.pic]
2017-07-18 04:07:47 +03:00
=. col col.pic
:: nap: take first line
::
=^ nap ..$ snap
:: execute appropriate paragraph form
::
2017-07-19 19:53:34 +03:00
=< line:abet:apex
2017-07-18 04:07:47 +03:00
|%
2017-07-25 01:49:59 +03:00
:: ::
2017-07-18 04:07:47 +03:00
++ abet :: accept line
..$(lub `[naz nap ~])
:: ::
2017-07-19 06:19:27 +03:00
++ apex ^+ . :: by column offset
2017-07-18 04:07:47 +03:00
?+ dif fail
$0 apse
$2 expr
$4 code
$6 bloc
$8 poem
==
:: ::
2017-07-19 06:19:27 +03:00
++ apse ^+ . :: by prefix style
2017-07-18 04:07:47 +03:00
?- sty.pic
$fini !!
2017-07-18 04:07:47 +03:00
$head head
$lite lite
$lint lint
$text text
==
:: ::
++ bloc apse:(push %bloc) :: blockquote line
2017-07-19 06:19:27 +03:00
++ fail .(err `erp) :: set error position
2017-07-20 07:48:00 +03:00
++ push |=(mite %_(+> hac [cur hac], cur [+< ~])) :: push context
2017-07-18 04:07:47 +03:00
++ expr (push %expr) :: hoon expression
++ code (push %code) :: code literal
++ poem (push %poem) :: verse literal
2017-07-21 06:19:22 +03:00
++ head (push %head) :: heading
2017-07-18 04:07:47 +03:00
++ lent :: list entry
|= ord/?
2017-07-19 06:19:27 +03:00
^+ +>
2017-07-18 04:07:47 +03:00
:: erase list marker
::
=. nap =+(+(col) (runt [- ' '] (slag - nap)))
:: indent by 2
::
=. col (add 2 col)
:: can't switch list types
::
?: =(?:(ord %list %lord) p.cur) fail
2017-07-20 07:48:00 +03:00
:: push list item
::
%. %lime
=< push
:: push list context, unless we're in list
2017-07-18 04:07:47 +03:00
::
=+ ?:(ord %lord %list)
2017-07-20 07:48:00 +03:00
?: =(- p.cur) ..push (push -)
2017-07-18 04:07:47 +03:00
::
++ lint (lent &) :: numbered list
++ lite (lent |) :: unnumbered list
++ text :: plain text
2017-07-19 06:19:27 +03:00
^+ .
2017-07-21 06:19:22 +03:00
:: only in lists, fold
2017-07-18 04:07:47 +03:00
::
?. ?=(?($list $lord) p.cur) .
2017-07-21 06:19:22 +03:00
.($ fold)
2017-07-18 04:07:47 +03:00
--
2017-07-16 03:59:57 +03:00
--
2017-07-18 04:07:47 +03:00
--