urbit/pkg/arvo/mar/snip.hoon

63 lines
1.6 KiB
Plaintext
Raw Normal View History

2015-02-05 01:59:15 +03:00
::
2016-02-11 21:45:47 +03:00
:::: /hoon/snip/mar
2015-02-05 01:59:15 +03:00
::
2016-02-18 02:00:12 +03:00
/? 310
=, html
2015-02-05 01:59:15 +03:00
|%
2015-02-17 23:53:06 +03:00
++ words 1
2015-02-05 01:59:15 +03:00
++ hedtal
=| met=marl
|= a=marl ^- [hed=marl tal=marl]
2015-02-05 01:59:15 +03:00
?~ a [~ ~]
?. ?=(%h1 n.g.i.a)
?: ?=(%meta n.g.i.a)
2015-07-18 02:30:34 +03:00
$(a t.a, met [i.a met])
2015-02-05 01:59:15 +03:00
=+ had=$(a c.i.a)
?^ -.had had
$(a t.a)
2015-07-18 02:30:34 +03:00
[c.i.a (weld (flop met) (limit words t.a))]
2015-02-05 01:59:15 +03:00
::
++ limit
|= [lim=@u mal=marl]
2015-02-05 01:59:15 +03:00
=< res
|- ^- [rem=@u res=marl]
2015-02-05 01:59:15 +03:00
?~ mal [lim ~]
?~ lim [0 ~]
=/ [lam=@u hed=manx]
?: ?=(_;/(**) i.mal)
[lim ;/(tay)]:(deword lim v.i.a.g.i.mal)
2015-02-05 01:59:15 +03:00
[rem ele(c res)]:[ele=i.mal $(mal c.i.mal)]
[rem - res]:[hed $(lim lam, mal t.mal)]
::
++ deword
|= [lim=@u tay=tape] ^- [lim=@u tay=tape]
2015-02-05 01:59:15 +03:00
?~ tay [lim tay]
?~ lim [0 ~]
2015-02-17 23:53:06 +03:00
=+ wer=(dot 1^1 tay)
2015-02-05 01:59:15 +03:00
?~ q.wer
[lim - tay]:[i.tay $(tay t.tay)]
=+ nex=$(lim (dec lim), tay q.q.u.q.wer)
2015-02-17 23:53:06 +03:00
[-.nex [(wonk wer) +.nex]]
2015-02-05 01:59:15 +03:00
--
::
2016-11-17 04:42:58 +03:00
::
2016-12-03 03:56:54 +03:00
=, mimes:html
|_ [hed=marl tal=marl]
++ grad %mime
2015-02-05 01:59:15 +03:00
::
++ grow :: convert to
2015-02-05 01:59:15 +03:00
|%
2015-02-14 06:41:37 +03:00
++ mime
=< mime
|%
++ elem ;div:(h1:"*{hed}" div:"*{tal}") :: convert to %elem
++ hymn ;html:(head:title:"snip" body:"+{elem}") :: convert to %hymn
++ html (crip (en-xml hymn)) :: convert to %html
2016-12-03 03:56:54 +03:00
++ mime [/text/html (as-octs html)] :: convert to %mime
2015-02-14 06:41:37 +03:00
--
2015-02-05 01:59:15 +03:00
--
++ grab |% :: convert from
++ noun ,[marl marl] :: clam from %noun
++ elem |=(a=manx (hedtal +.a))
2015-02-05 01:59:15 +03:00
-- --