2d(1-5): To JSON, Wains

++to-wain:format

Cord to line list

Convert txt to a wain, breaking on newline characters.

Accepts

txt is a @t.

Produces

A wain, which is a (list @t).

Source

++ to-wain
|= txt=cord
^- wain
=/ len=@ (met 3 txt)
=/ cut =+(cut -(a 3, c 1, d txt))
=/ sub sub
=| [i=@ out=wain]
|- ^+ out
=+ |- ^- j=@
?: ?| =(i len)
=(10 (cut(b i)))
==
i
$(i +(i))
=. out :_ out
(cut(b i, c (sub j i)))
?: =(j len)
(flop out)
$(i +(j))

Examples

> (to-wain:format 'foo\0abar\0abaz')
<|foo bar baz|>

++of-wain:format

Line list to cord

Convert tez to a cord, separating each line with a newline character.

Accepts

tez is a wain, which is a (list @t).

Produces

A @t.

Source

++ of-wain
|= tez=wain ^- cord
(rap 3 (join '\0a' tez))

Examples

> (of-wain:format ~['foo' 'bar' 'baz'])
'foo\0abar\0abaz'

++of-wall:format

Line list to tape

Convert a to a tape, separating each line with a newline character.

Accepts

a is a wall, which is a (list tape)

Produces

A tape.

Source

++ of-wall
|= a=wall ^- tape
?~(a ~ "{i.a}\0a{$(a t.a)}")

Examples

> (of-wall:format ~["foo" "bar" "baz"])
"foo\0abar\0abaz\0a"

++json-rn:format

json to rn parser

This function is used internally by +ne and would not typically be used directly. It is a rule that parses a real number string to a rn in a unit.

Accepts

A nail containing a real number.

Produces

An edge containing a (unit rn).

Source

++ json-rn
%+ knee *rn |.
;~ plug
(easy %d)
;~(pose (cold | hep) (easy &))
;~ plug dim:ag
;~ pose
;~ pfix dot
%+ sear
|= a=tape
=/ b (rust a dum:ag)
?~ b ~
(some [(lent a) u.b])
(plus (shim '0' '9'))
==
(easy [0 0])
==
;~ pose
;~ pfix
(mask "eE")
;~ plug
;~(pose (cold | hep) (cold & lus) (easy &))
;~ pose
;~(pfix (plus (just '0')) dim:ag)
dim:ag
==
==
==
(easy [& 0])
==
==
==

Examples

> (rush '2.47' json-rn:format)
[~ [%d a=%.y b=[c=2 [d=2 e=47] f=%.y i=0]]]
> (rush '123' json-rn:format)
[~ [%d a=%.y b=[c=123 [d=0 e=0] f=%.y i=0]]]
> (rush 'a' json-rn:format)
~

++enjs:format

Container arm for JSON encoders

The core inside this arm contains a collection of functions for converting various types of data to json. The json type is defined in lull.hoon as:

+$ json :: normal json value
$@ ~ :: null
$% [%a p=(list json)] :: array
[%b p=?] :: boolean
[%o p=(map @t json)] :: object
[%n p=@ta] :: number
[%s p=@t] :: string
== ::

This container arm doesn't do anything itself. The different json encoding functions are documented individually below.


++frond:enjs:format

Object from key-value pair

Produces a json object containing q with a key of p.

Accepts

p is a @t key.

q is any json.

Produces

A json object.

Source

++ frond
|= [p=@t q=json]
^- json
[%o [[p q] ~ ~]]

Examples

> (frond:enjs:format 'foo' s+'bar')
[%o p={[p='foo' q=[%s p='bar']]}]
> (en:json:html (frond:enjs:format 'foo' s+'bar'))
'{"foo":"bar"}'

++pairs:enjs:format

Object from key-value pair list

Produces a json object containing each key-value pair in list a.

Accepts

a is a (list [@t json]).

Produces

A json object.

Source

++ pairs
|= a=(list [p=@t q=json])
^- json
[%o (~(gas by *(map @t json)) a)]

Examples

> =a ~[['foo' n+~.123] ['bar' s+'abc'] ['baz' b+&]]
> (pairs:enjs:format a)
[%o p={[p='bar' q=[%s p='abc']] [p='baz' q=[%b p=%.y]] [p='foo' q=[%n p=~.123]]}]
> (en:json:html (pairs:enjs:format a))
'{"foo":123,"baz":true,"bar":"abc"}'

++tape:enjs:format

String from tape

Converts a into a json string.

Accepts

a is a tape.

Produces

A json string.

Source

++ tape
|= a=^tape
^- json
[%s (crip a)]

Examples

> (tape:enjs:format "foo")
[%s p='foo']
> (en:json:html (tape:enjs:format "foo"))
'"foo"'

++wall:enjs:format

String from wall

Converts a to a json string, separating lines with newline characters.

Accepts

a is a wall, which is a (list tape).

Produces

A json string.

Source

++ wall
|= a=^wall
^- json
(tape (of-wall a))

Examples

> (wall:enjs:format ~["foo" "bar" "baz"])
[%s p='foo\0abar\0abaz\0a']
> (en:json:html (wall:enjs:format ~["foo" "bar" "baz"]))
'"foo\\nbar\\nbaz\\n"'

++ship:enjs:format

String* from ship

Convert ship a to a json string*.

Note: Currently this produces a json number rather than string, but with the ship name rendered as text rather than a number. This is for Landscape performance reasons and may be reverted at some point.

Accepts

a is a @p.

Produces

A json string number but with the @p rendered as text rather than a number.

Source

++ ship
|= a=^ship
^- json
[%n (rap 3 '"' (rsh [3 1] (scot %p a)) '"' ~)]

Examples

> (ship:enjs:format our)
[%n p=~."zod"]
> (en:json:html (ship:enjs:format our))
'"zod"'

++numb:enjs:format

Number from unsigned

Convert a to a json number.

Accepts

a is a @u

Produces

A json number.

Source

++ numb
|= a=@u
^- json
:- %n
?: =(0 a) '0'
%- crip
%- flop
|- ^- ^tape
?:(=(0 a) ~ [(add '0' (mod a 10)) $(a (div a 10))])

Examples

> (numb:enjs:format 123)
[%n p=~.123]
> (numb:enjs:format 0xffff)
[%n p=~.65535]
> (en:json:html (numb:enjs:format 123))
'123'

++sect:enjs:format

Seconds timestamp

Convert time a to a Unix seconds timestamp in a json number.

Accepts

a is a @da.

Produces

A json number.

Source

++ sect
|= a=^time
(numb (unt:chrono:userlib a))

Examples

> (sect:enjs:format now)
[%n p=~.1630407271]
> (en:json:html (sect:enjs:format now))
'1630407290'

++time:enjs:format

Millisecond timestamp

Convert time a to a Unix milliseconds timestamp in a json number.

Accepts

a is a @da.

Produces

A json number.

Source

++ time
|= a=^time
(numb (unm:chrono:userlib a))

Examples

> (time:enjs:format now)
[%n p=~.1630407451204]
> (en:json:html (time:enjs:format now))
'1630407462905'

++path:enjs:format

String from path

Encode path a in a json string.

Accepts

a is a path

Produces

A json string.

Source

++ path
|= a=^path
^- json
[%s (spat a)]

Examples

> (path:enjs:format /foo/bar/baz)
[%s p='/foo/bar/baz']
> (en:json:html (path:enjs:format /foo/bar/baz))
'"/foo/bar/baz"'

++tank:enjs:format

Tank as string array

Convert tank a into a json array of strings. The tank is passed through +wash with a maximum width of 80 characters specified, so may be split into multiple strings if it's too wide.

Accepts

a is a tank

Produces

A json array of strings.

Source

++ tank
|= a=^tank
^- json
[%a (turn (wash [0 80] a) tape)]

Examples

> =tan rose+[[" " "[" "]"] ~[leaf+"foo" leaf+"bar" leaf+"baz"]]
> (tank:enjs:format tan)
[%a p=~[[%s p='[foo bar baz]']]]
> (en:json:html (tank:enjs:format tan))
'["[foo bar baz]"]'
> =tan rose+[[" " "[" "]"] ~[leaf+"aaaaaaaaaaaaaaaaaaaaa" leaf+"bbbbbbbbbbbbbbbbbbb" leaf+"ccccccccccccccccccc" leaf+"dddddddddddddddddd"]]
> (en:json:html (tank:enjs:format tan))
'["[ aaaaaaaaaaaaaaaaaaaaa"," bbbbbbbbbbbbbbbbbbb"," ccccccccccccccccccc"," dddddddddddddddddd","]"]'
Edit this page on GitHub

Last modified October 8, 2023