4k: Atom Printing

`+co`

Literal rendering engine.

+co contains three parts:

A door that contains arms that operate on the sample $coin .lot.
A core of rendering idioms.
A core of additional formatting functions used internally.

Accepts

.lot is a $coin.

Source

The arm begins with the door:

++  co
  !:
  ~%  %co  ..co  ~
  =<  |_  lot=coin

Then after that the rendering idiom core begins with:

=|  rep=tape
=<  |%

And finally the third core:

|%

`+rear:co`

Prepend & render as $tape.

Renders a $coin .lot as a $tape prepended to the sample $tape .rom.

Accepts

.lot is a $coin, and is the sample of +co.

.rom is a $tape.

Produces

A $tape.

Source

++  rear  |=(rom=tape rend(rep rom))

Examples

> (~(rear co %$ %ux 200) "--ha")
"0xc8--ha"

`+rent:co`

Render as $knot.

Renders a $coin .lot as a $knot.

Accepts

.lot is a $coin, and is the sample of +co.

Produces

A $knot.

Source

++  rent  ~+  `@ta`(rap 3 rend)

Examples

> ~(rent co %$ %ux 200)
~.0xc8

> `@t`~(rent co %$ %ux 200)
'0xc8'

`+rend:co`

Render as $tape.

Renders a $coin .lot as a $tape.

Accepts

.lot is a $coin, and is the sample of +co.

Produces

A $tape.

Source

++  rend
  ^-  tape
  ~+
  ?:  ?=(%blob -.lot)
    ['~' '0' ((v-co 1) (jam p.lot))]
  ?:  ?=(%many -.lot)
    :-  '.'
    |-  ^-  tape
    ?~   p.lot
      ['_' '_' rep]
    ['_' (weld (trip (wack rent(lot i.p.lot))) $(p.lot t.p.lot))]
  =+  [yed=(end 3 p.p.lot) hay=(cut 3 [1 1] p.p.lot)]
  |-  ^-  tape
  ?+    yed  (z-co q.p.lot)
      %c   ['~' '-' (weld (rip 3 (wood (tuft q.p.lot))) rep)]
      %d
    ?+    hay  (z-co q.p.lot)
        %a
      =+  yod=(yore q.p.lot)
      =?  rep  ?=(^ f.t.yod)  ['.' (s-co f.t.yod)]
      =?  rep  !&(?=(~ f) =(0 h) =(0 m) =(0 s)):t.yod
        =.  rep  ['.' (y-co s.t.yod)]
        =.  rep  ['.' (y-co m.t.yod)]
        ['.' '.' (y-co h.t.yod)]
      =.  rep  ['.' (a-co d.t.yod)]
      =.  rep  ['.' (a-co m.yod)]
      =?  rep  !a.yod  ['-' rep]
      ['~' (a-co y.yod)]
    ::
        %r
      =+  yug=(yell q.p.lot)
      =?  rep  ?=(^ f.yug)  ['.' (s-co f.yug)]
      :-  '~'
      ?:  &(=(0 d.yug) =(0 m.yug) =(0 h.yug) =(0 s.yug))
        ['s' '0' rep]
      =?  rep  !=(0 s.yug)  ['.' 's' (a-co s.yug)]
      =?  rep  !=(0 m.yug)  ['.' 'm' (a-co m.yug)]
      =?  rep  !=(0 h.yug)  ['.' 'h' (a-co h.yug)]
      =?  rep  !=(0 d.yug)  ['.' 'd' (a-co d.yug)]
      +.rep
    ==
  ::
      %f
    ?:  =(& q.p.lot)
      ['.' 'y' rep]
    ?:(=(| q.p.lot) ['.' 'n' rep] (z-co q.p.lot))
  ::
      %n   ['~' rep]
      %i
    ?+  hay  (z-co q.p.lot)
      %f  ((ro-co [3 10 4] |=(a=@ ~(d ne a))) q.p.lot)
      %s  ((ro-co [4 16 8] |=(a=@ ~(x ne a))) q.p.lot)
    ==
  ::
      %p
    =+  sxz=(fein:ob q.p.lot)
    =+  dyx=(met 3 sxz)
    :-  '~'
    ?:  (lte dyx 1)
      (weld (trip (tod:po sxz)) rep)
    =+  dyy=(met 4 sxz)
    =|  imp=@ud
    |-  ^-  tape
    ?:  =(imp dyy)
      rep
    %=  $
      imp  +(imp)
      rep  =/  log  (cut 4 [imp 1] sxz)
           ;:  weld
             (trip (tos:po (rsh 3 log)))
             (trip (tod:po (end 3 log)))
             ?:(=((mod imp 4) 0) ?:(=(imp 0) "" "--") "-")
             rep
    ==     ==
  ::
      %q
    :+  '.'  '~'
    =;  res=(pair ? tape)
      (weld q.res rep)
    %+  roll
      =*  val  q.p.lot
      ?:(=(0 val) ~[0] (rip 3 val))
    |=  [q=@ s=? r=tape]
    :-  !s
    %+  weld
     (trip (?:(s tod:po tos:po) q))
    ?.(&(s !=(r "")) r ['-' r])
  ::
      %r
    ?+  hay  (z-co q.p.lot)
      %d  ['.' '~' (r-co (rlyd q.p.lot))]
      %h  ['.' '~' '~' (r-co (rlyh q.p.lot))]
      %q  ['.' '~' '~' '~' (r-co (rlyq q.p.lot))]
      %s  ['.' (r-co (rlys q.p.lot))]
    ==
  ::
      %u
    ?:  ?=(%c hay)
      %+  welp  ['0' 'c' (reap (pad:fa q.p.lot) '1')]
      (c-co (enc:fa q.p.lot))
    ::
    =;  gam=(pair tape tape)
      (weld p.gam ?:(=(0 q.p.lot) `tape`['0' ~] q.gam))
    ?+  hay  [~ ((ox-co [10 3] |=(a=@ ~(d ne a))) q.p.lot)]
      %b  [['0' 'b' ~] ((ox-co [2 4] |=(a=@ ~(d ne a))) q.p.lot)]
      %i  [['0' 'i' ~] ((d-co 1) q.p.lot)]
      %x  [['0' 'x' ~] ((ox-co [16 4] |=(a=@ ~(x ne a))) q.p.lot)]
      %v  [['0' 'v' ~] ((ox-co [32 5] |=(a=@ ~(x ne a))) q.p.lot)]
      %w  [['0' 'w' ~] ((ox-co [64 5] |=(a=@ ~(w ne a))) q.p.lot)]
    ==
  ::
      %s
    %+  weld
      ?:((syn:si q.p.lot) "--" "-")
    $(yed 'u', q.p.lot (abs:si q.p.lot))
  ::
      %t
    ?:  =('a' hay)
      ?:  =('s' (cut 3 [2 1] p.p.lot))
        (weld (rip 3 q.p.lot) rep)
      ['~' '.' (weld (rip 3 q.p.lot) rep)]
    ['~' '~' (weld (rip 3 (wood q.p.lot)) rep)]
  ==

Examples

> ~(rend co %$ %ux 200)
"0xc8"

> ~(rend co %many ~[[%$ ux+200] [%$ p+40]])
"._0xc8_~~tem__"

> ~(rend co %$ %p 32.819)
"~lasmev"

> ~(rend co %$ %ux 18)
"0x12"

> ~(rend co [%$ p=[p=%if q=0x7f00.0001]])
".127.0.0.1"

> ~(rend co %many ~[[%$ %ud 20] [%$ %uw 133] [%$ %tas 'sam']])
"._20_0w25_sam__"

> ~(rend co %blob [1 1])
"~0ph"

`+a-co:co`

Render decimal.

Render .dat as a decimal integer without separators.

Accepts

.dat is an $atom.

Produces

A $tape

Source

++  a-co  |=(dat=@ ((d-co 1) dat))

Examples

> (a-co:co 123.456.789)
"123456789"

`+c-co:co`

Render base58check.

Renders the given $atom as a base58check $tape.

Accepts

An $atom.

Produces

A $tape.

Source

++  c-co  (em-co [58 1] |=([? b=@ c=tape] [~(c ne b) c]))

Examples

> (enc:fa 0xdead.beef)
0xdead.beef.938b.8b0c

> (c-co:co 0xdead.beef.938b.8b0c)
"eFGDJSVvRHd"

`+d-co:co`

Render decimal with min length.

Render .hol as a decimal integer without separators and with a minimum length of .min. If .hol has less than .min digits, leading zeros will be added to make up the difference.

Accepts

.min is an $atom.

.hol is an $atom.

Produces

A $tape.

Source

++  d-co  |=(min=@ (em-co [10 min] |=([? b=@ c=tape] [~(d ne b) c])))

Examples

> ((d-co:co 1) 123.456)
"123456"

> ((d-co:co 9) 123.456)
"000123456"

`+r-co:co`

Render floating point.

Render decimal float .a as a $tape.

Accepts

.a is a +dn.

Produces

A $tape.

Source

++  r-co
  |=  a=dn
  ?:  ?=([%i *] a)  (weld ?:(s.a "inf" "-inf") rep)
  ?:  ?=([%n *] a)  (weld "nan" rep)
  =;  rep  ?:(s.a rep ['-' rep])
  =/  f  ((d-co 1) a.a)
  =^  e  e.a
    =/  e=@s  (sun:si (lent f))
    =/  sci  :(sum:si e.a e -1)
    ?:  (syn:si (dif:si e.a --3))  [--1 sci]  :: 12000 -> 12e3 e>+2
    ?:  !(syn:si (dif:si sci -2))  [--1 sci]  :: 0.001 -> 1e-3 e<-2
    [(sum:si sci --1) --0] :: 1.234e2 -> '.'@3 -> 123 .4
  =?  rep  !=(--0 e.a)
    :(weld ?:((syn:si e.a) "e" "e-") ((d-co 1) (abs:si e.a)))
  (weld (ed-co e f) rep)

Examples

> `tape`(r-co:co (rlys .3.14))
"3.14"

> `tape`(r-co:co (rlys .1.681557e-39))
"1.681557e-39"

`+s-co:co`

Render hex list.

Render .esc, a list of $atoms, as hex with a dot before each value. Values less than two bytes in length will be padded with zeros.

Accepts

.esc is a (list @).

Produces

A $tape.

Source

++  s-co
  |=  esc=(list @)  ^-  tape
  ?~  esc  rep
  ['.' =>(.(rep $(esc t.esc)) ((x-co 4) i.esc))]

Examples

> `tape`(s-co:co ~[0xdead 0xbeef 0xcafe])
".dead.beef.cafe"

> `tape`(s-co:co ~[0xa 0xb 0xc])
".000a.000b.000c"

> `tape`(s-co:co ~[0xdead.beef])
".deadbeef"

`+v-co:co`

Render base-32 with minimum length.

Render .hol as base-32 with a minimum length of .min. If .hol is shorter than .min it will be padded with zeros.

Accepts

.min is a @ud.

.hol is an $atom.

Produces

A $tape.

Source

++  v-co  |=(min=@ (em-co [32 min] |=([? b=@ c=tape] [~(v ne b) c])))

Examples

> `tape`((v-co:co 1) 0v2l7.eiug3.0mbd9)
"2l7eiug30mbd9"

> `tape`((v-co:co 20) 0v2l7.eiug3.0mbd9)
"00000002l7eiug30mbd9"

`+w-co:co`

Render base-64 with minimum length.

Render .hol as base-64 with a minimum length of .min. If .hol is horter than .min it will be padded with zeros.

Accepts

.min is a @ud.

.hol is an $atom.

Produces

A $tape.

Source

++  w-co  |=(min=@ (em-co [64 min] |=([? b=@ c=tape] [~(w ne b) c])))

Examples

> `tape`((w-co:co 1) 0w2.OtBSR.pPVeT)
"2OtBSRpPVeT"

> `tape`((w-co:co 20) 0w2.OtBSR.pPVeT)
"0000000002OtBSRpPVeT"

`+x-co:co`

Render hex with minimum length.

Render .hol as hex with a minimum length of .min. If .hol is horter than .min it will be padded with zeros.

Accepts

.min is a @ud.

.hol is an $atom.

Produces

A $tape.

Source

++  x-co  |=(min=@ (em-co [16 min] |=([? b=@ c=tape] [~(x ne b) c])))

Examples

> `tape`((x-co:co 1) 0xdead.beef)
"deadbeef"

> `tape`((x-co:co 20) 0xdead.beef)
"000000000000deadbeef"

`+y-co:co`

Render decimal with at least two digits.

Render .dat as a decimal with a minimum of two digits. If .dat is less than two digits it will be padded with zeros.

Accepts

.dat is an $atom.

Produces

A $tape.

Source

++  y-co  |=(dat=@ ((d-co 2) dat))

Examples

> (y-co:co 0)
"00"

> (y-co:co 1)
"01"

> (y-co:co 123)
"123"

> (y-co:co 123.456)
"123456"

`+z-co:co`

Render 0x-prefixed hex.

Render .dat as hex with a 0x prefix.

Accepts

.dat is an $atom.

Produces

A $tape.

Source

++  z-co  |=(dat=@ `tape`['0' 'x' ((x-co 1) dat)])

Examples

> (z-co:co 123)
"0x7b"

> (z-co:co 0xdead.beef)
"0xdeadbeef"

> (z-co:co 0)
"0x0"

`+em-co:co`

Render in numeric base.

In base .bas, format .min digits of .hol with .par. This is used internally by other rendering functions.

.hol is processed least-significant digit first.
All available digits in .hol will be processed, but .min digits can exceed the number available in .hol
.par handles all accumulated output on each call, and can edit it, prepend or append digits, etc.
Until .hol is exhausted, .par's sample is [| digit output], subsequently, it's [& 0 output].

Accepts

[bas=@ min=@], where .bas is the numeric base and .min is the minimum length.

.par is a $gate of $-([? @ tape] tape).

.hol is an $atom.

Produces

A $tape.

Source

++  em-co
  |=  [[bas=@ min=@] par=$-([? @ tape] tape)]
  |=  hol=@
  ^-  tape
  ?:  &(=(0 hol) =(0 min))
    rep
  =/  [dar=@ rad=@]  (dvr hol bas)
  %=  $
    min  ?:(=(0 min) 0 (dec min))
    hol  dar
    rep  (par =(0 dar) rad rep)
  ==

Examples

> ((em-co:co [16 10] |=([? b=@ c=tape] [~(x ne b) c])) 0xbeef)
"000000beef"

`+ed-co:co`

Format with decimal place.

Format .int by specifying its size with .exp, which may be negative. This is used internally by other rendering functions.

Accepts

.exp is a @s.

.int is a $tape.

Produces

A $tape.

Source

++  ed-co
  |=  [exp=@s int=tape]  ^-  tape
  =/  [pos=? dig=@u]  [=(--1 (cmp:si exp --0)) (abs:si exp)]
  ?.  pos
    (into (weld (reap +(dig) '0') int) 1 '.')
  =/  len  (lent int)
  ?:  (lth dig len)  (into int dig '.')
  (weld int (reap (sub dig len) '0'))

Examples

> (ed-co:co --3 "100")
"100"

> (ed-co:co --5 "100")
"10000"

> (ed-co:co -1 "100")
"0.0100"

> (ed-co:co -5 "100")
"0.00000100"

`+ox-co:co`

Format dot-separated digits in numeric base.

In base .bas, format each digit of .hol with gate .dug, with '.' separators every .gop digits. This is used internally by other rendering functions.

.hol is processed least-significant digit first.
.dug handles individual digits, output is prepended.
Every segment but the last is zero-padded to .gop.

Accepts

[bas=@ gop=@] where .bas is the numeric base and .gop is dot separator frequency.

.dug is a $gate of $-(@ @).

.hol is an $atom.

Produces

A $tape.

Source

++  ox-co
  |=  [[bas=@ gop=@] dug=$-(@ @)]
  %+  em-co
    [(pow bas gop) 0]
  |=  [top=? seg=@ res=tape]
  %+  weld
    ?:(top ~ `tape`['.' ~])
  %.  seg
  %+  em-co(rep res)
    [bas ?:(top 0 gop)]
  |=([? b=@ c=tape] [(dug b) c])

Examples

> ((ox-co:co [2 4] |=(a=@ ~(d ne a))) 0b1011.1101)
"1011.1101"

> ((ox-co:co [2 1] |=(a=@ ~(d ne a))) 0b1011.1101)
"1.0.1.1.1.1.0.1"

> ((ox-co:co [2 100] |=(a=@ ~(d ne a))) 0b1011.1101)
"10111101"

`+ro-co:co`

Format dot-prefixed bloqs in numeric base.

In base .bas, for .buz bloqs 0 to .dop, format at least one digit of .hol, prefixed with .. This is used internally for @i address rendering functions.

Accepts

[buz=@ bas=@ dop=@] where .buz is the bloq size, .bas is the numeric base, and .dop is the number of bloqs.

.dug is a $gate of $-(@ @).

.hol is an $atom.

Produces

A $tape.

Source

++  ro-co
  |=  [[buz=@ bas=@ dop=@] dug=$-(@ @)]
  |=  hol=@
  ^-  tape
  ?:  =(0 dop)
    rep
  :-  '.'
  =/  pod  (dec dop)
  %.  (cut buz [pod 1] hol)
  %+  em-co(rep $(dop pod))
    [bas 1]
  |=([? b=@ c=tape] [(dug b) c])

Examples

> ((ro-co:co [3 10 4] |=(a=@ ~(d ne a))) .127.0.0.1)
".127.0.0.1"

Previous4j: Parsing (Bases and Base Digits)Next4l: Atom Parsing

Last updated 4 months ago