urbit/pkg/arvo/lib/hall-json.hoon

606 lines
16 KiB
Plaintext
Raw Normal View History

2017-10-12 13:30:16 +03:00
::
:::: /lib/hall-json/hoon
2017-10-12 13:30:16 +03:00
::
/- hall
=, hall
2017-10-12 13:30:16 +03:00
::
|_ bol/bowl:gall
2018-05-25 01:39:56 +03:00
++ en-tape ::: sur to tape
|%
2018-05-25 01:39:56 +03:00
++ circ ::: circle
|= a/circle
:(weld (scow %p hos.a) "/" (trip nom.a))
::
2018-05-25 01:39:56 +03:00
++ rang ::: range
|= a/range
?~ a ~
;: weld
"/" (scow hed.u.a)
?~ tal.u.a ~
(scow u.tal.u.a)
==
::
2018-05-25 01:39:56 +03:00
++ sorc ::: source
|= a/source
(weld (circ cir.a) (rang ran.a))
--
::
2018-05-25 01:39:56 +03:00
++ de-tape ::: tape to sur (parse)
|%
2018-05-25 01:39:56 +03:00
++ circ ::: circle
;~((glue net) ;~(pfix sig fed:ag) urs:ab)
::
2017-12-13 00:28:56 +03:00
++ pont
;~ pfix net
2017-12-13 00:28:56 +03:00
%+ sear
|= a/coin
^- (unit place)
?+ a ~
[%$ %da @da] `p.a
[%$ %ud @ud] `p.a
==
2017-12-13 00:28:56 +03:00
nuck:so
==
::
2017-12-13 00:28:56 +03:00
++ sorc
;~(plug circ (punt ;~(plug pont (punt pont))))
--
::
2018-05-25 01:39:56 +03:00
++ enjs ::: sur to json
=, enjs:format
2017-10-12 13:30:16 +03:00
|%
::TODO these first few should probably make their way
:: into the stdlib...
2018-05-25 01:39:56 +03:00
++ sa ::: set as array
|* {a/(set) b/$-(* json)}
^- json
[%a (turn ~(tap in a) b)]
::
2018-05-25 01:39:56 +03:00
++ mo ::: map as object
|* {a/(map) b/$-(* @t) c/$-(* json)}
^- json
=- (pairs (turn ~(tap by a) -))
|* {k/* v/*} [(b k) (c v)]
::
2018-05-25 01:39:56 +03:00
++ lank ::: tank as string arr
|= a/tank
^- json
a+(turn (wash [0 80] a) tape)
::
2018-05-25 01:39:56 +03:00
++ dank ::: tank
|= a/tank
?: ?=($leaf -.a) (frond %leaf (tape p.a))
:: TODO: No idea what a plum is, but it was recently added
::
?: ?=($plum -.a) (frond %plum [%o ~])
%+ frond -.a
%- pairs
?- -.a
$palm
:+ :- %style
%- pairs :~
mid+(tape p.p.a)
cap+(tape q.p.a)
open+(tape r.p.a)
close+(tape s.p.a)
==
lines+a+(turn q.a dank)
~
$rose
:+ :- %style
%- pairs :~
mid+(tape p.p.a)
open+(tape q.p.a)
close+(tape r.p.a)
==
lines+a+(turn q.a dank)
~
==
::
2018-05-25 01:39:56 +03:00
++ cord ::: string from cord
|= a/@t
s+a
::
2018-05-25 01:39:56 +03:00
++ mabe ::: null or value
|* {a/(unit) b/$-(* json)}
^- json
?~(a ~ (b u.a))
::
2018-05-25 01:39:56 +03:00
::: ||
::: || %query-models
::: ||
::: models relating to queries, their results and updates.
::+|
::
2018-05-25 01:39:56 +03:00
++ pici ::: prize-client
2017-11-16 18:36:34 +03:00
|= a/prize-client
^- json
%- pairs :~
:- %gys
=- (pairs ~(tap by (~(run by gys.a) -)))
|=((set (set circle)) (sa +< audi))
::
nis+(mo nis.a (cury scot %p) cord)
==
::
2018-05-25 01:39:56 +03:00
++ ruci ::: rumor-client
2017-11-16 18:36:34 +03:00
|= a/rumor-client
2017-10-24 18:24:04 +03:00
^- json
%+ frond -.a
?- -.a
$glyph (digy +.a)
$nick (dini +.a)
==
::
2018-05-25 01:39:56 +03:00
++ pack ::: package
|= a/package
^- json
%- pairs :~
nes+a+(turn nes.a enve) ::TODO maybe map
cos+(loby cos.a)
pes+(crow pes.a)
==
::
2018-05-25 01:39:56 +03:00
++ digy ::: diff-glyph
2017-10-24 18:24:04 +03:00
|= a/diff-glyph
^- json
%- pairs :~
bin+b+bin.a
gyf+s+gyf.a
aud+(audi aud.a)
==
::
2018-05-25 01:39:56 +03:00
++ dini ::: diff-nick
2017-10-24 18:24:04 +03:00
|= a/diff-nick
^- json
(pairs who+(ship who.a) nic+s+nic.a ~)
::
2018-05-25 01:39:56 +03:00
++ ruso ::: rumor-story
2017-10-24 18:24:04 +03:00
|= a/rumor-story
^- json
%+ frond -.a
?+ -.a !!
$new (conf cof.a)
:: $bear not needed
$config (pairs cir+(circ cir.a) dif+(dico dif.a) ~)
$status %- pairs :~
cir+(circ cir.a)
who+(ship who.a)
dif+(disa dif.a)
==
$remove b+&
$gram (enve nev.a)
==
::
2018-05-25 01:39:56 +03:00
++ dico ::: diff-config
2017-10-24 18:24:04 +03:00
|= a/diff-config
^- json
%+ frond -.a
?- -.a
$full (conf cof.a)
$source (pairs add+b+add.a src+(sorc src.a) ~)
$caption s+cap.a
$usage (pairs add+b+add.a tas+(sa tas.a cord) ~)
2017-10-24 18:24:04 +03:00
$filter (filt fit.a)
$secure s+sec.a
$permit (pairs add+b+add.a sis+(sa sis.a ship) ~)
$remove b+&
$read (numb red.a)
2017-10-24 18:24:04 +03:00
==
::
2018-05-25 01:39:56 +03:00
++ disa ::: diff-status
2017-10-24 18:24:04 +03:00
|= a/diff-status
^- json
%+ frond -.a
?- -.a
$full (stat sat.a)
$presence s+pec.a
$human (dihu dif.a)
$remove b+&
==
::
2018-05-25 01:39:56 +03:00
++ dihu ::: diff-human
2017-10-24 18:24:04 +03:00
|= a/diff-human
^- json
%+ frond -.a
?- -.a
$full (huma man.a)
$handle (frond %han (mabe han.a cord))
$true (frond %tru (mabe tru.a trun))
==
::
2018-05-25 01:39:56 +03:00
::: ||
::: || %circles
::: ||
::: messaging targets and their metadata
::+|
::
2018-05-25 01:39:56 +03:00
++ circ ::: circle
|= a/circle
^- json
s+(crip (circ:en-tape a))
::
2018-05-25 01:39:56 +03:00
++ loby ::: lobby
|= a/lobby
%- pairs :~
loc+(conf loc.a)
rem+(mo rem.a (cork circ:en-tape crip) conf)
==
::
2018-05-25 01:39:56 +03:00
++ conf ::: config
|= a/config
^- json
%- pairs :~
src+(sa src.a sorc)
cap+s+cap.a
tag+(sa tag.a cord)
fit+(filt fit.a)
con+(cont con.a)
red+(numb red.a)
==
::
2018-05-25 01:39:56 +03:00
++ sorc ::: source
|= a/source
^- json
s+(crip (sorc:en-tape a))
::
2018-05-25 01:39:56 +03:00
++ filt ::: filter
|= a/filter
^- json
(pairs cas+b+cas.a utf+b+utf.a ~)
::
2018-05-25 01:39:56 +03:00
++ cont ::: control
|= a/control
^- json
2017-11-01 22:24:11 +03:00
(pairs sec+s+sec.a sis+(sa sis.a ship) ~)
::
2018-05-25 01:39:56 +03:00
++ crow ::: crowd
|= a/crowd
^- json
%- pairs :~
loc+(grop loc.a)
rem+(mo rem.a (cork circ:en-tape crip) grop)
==
::
2018-05-25 01:39:56 +03:00
++ grop ::: group
|= a/group
^- json
(mo a (cury scot %p) stat)
::
2018-05-25 01:39:56 +03:00
++ stat ::: status
|= a/status
^- json
(pairs pec+s+pec.a man+(huma man.a) ~)
::
2018-05-25 01:39:56 +03:00
++ huma ::: human
|= a/human
^- json
(pairs han+(mabe han.a cord) tru+(mabe tru.a trun) ~)
::
2018-05-25 01:39:56 +03:00
++ trun ::: truename
|= a/truename
^- json
(pairs fir+s+fir.a mid+(mabe mid.a cord) las+s+las.a ~)
::
2018-05-25 01:39:56 +03:00
::: ||
::: || %message-data
::: ||
::: structures for containing main message data
::+|
::
2018-05-25 01:39:56 +03:00
++ enve ::: envelope
|= a/envelope
^- json
(pairs num+(numb num.a) gam+(gram gam.a) ~)
::
2018-05-25 01:39:56 +03:00
++ gram ::: telegram
|= a/telegram
^- json
%- pairs :~
aut+(ship aut.a)
::TODO can we avoid this code duplication somehow?
uid+s+(scot %uv uid.a)
aud+(audi aud.a)
wen+(time wen.a)
sep+(spec sep.a)
==
::
2018-05-25 01:39:56 +03:00
++ thot ::: thought
|= a/thought
^- json
%- pairs :~
uid+s+(scot %uv uid.a)
aud+(audi aud.a)
wen+(time wen.a)
sep+(spec sep.a)
==
::
2018-05-25 01:39:56 +03:00
++ spec ::: speech
|= a/speech
^- json
:: only %url has just a single piece of data.
?: ?=($url -.a)
(frond %url s+(crip (apix:en-purl:html url.a)))
%+ frond -.a
%- pairs
?- -.a
$lin ~[pat+b+pat.a msg+s+msg.a]
$exp ~[exp+s+exp.a res+a+(turn res.a lank)]
$ire ~[top+s+(scot %uv top.a) sep+(spec sep.a)] ::TODO @uv as number?
$fat ~[tac+(atta tac.a) sep+(spec sep.a)]
$inv ~[inv+b+inv.a cir+(circ cir.a)]
$app ~[app+s+app.a sep+(spec sep.a)]
==
::
2018-05-25 01:39:56 +03:00
++ atta ::: attache
|= a/attache
^- json
%+ frond -.a
?- -.a
$name (pairs nom+s+nom.a tac+(atta tac.a) ~)
$text s+(of-wain:format +.a)
$tank a+(turn +.a lank)
==
::
2018-05-25 01:39:56 +03:00
::: ||
::: || %message-metadata
::: ||
::: structures for containing message metadata
::+|
::
2018-05-25 01:39:56 +03:00
++ audi ::: audience
|= a/audience
^- json
(sa a circ)
2017-10-12 13:30:16 +03:00
--
::
2018-05-25 01:39:56 +03:00
++ dejs ::: json to sur
2017-10-12 13:30:16 +03:00
=, dejs-soft:format
|%
::TODO these first few should maybe make their way
:: into the stdlib...
2018-05-25 01:39:56 +03:00
++ re ::: recursive reparsers
|* {gar/* sef/_|.(fist)}
|= jon/json
^- (unit _gar)
=- ~! gar ~! (need -) -
((sef) jon)
::
2018-05-25 01:39:56 +03:00
++ as ::: array as set
2017-10-12 13:30:16 +03:00
|* a/fist
(cu ~(gas in *(set _(need *a))) (ar a))
::
2018-05-25 01:39:56 +03:00
++ dank ::: tank
2017-10-12 13:30:16 +03:00
^- $-(json (unit tank))
%+ re *tank |. ~+
2017-10-12 13:30:16 +03:00
%- of :~
leaf+sa
palm+(ot style+(ot mid+sa cap+sa open+sa close+sa ~) lines+(ar dank) ~)
rose+(ot style+(ot mid+sa open+sa close+sa ~) lines+(ar dank) ~)
==
::
2018-05-25 01:39:56 +03:00
::: ||
::: || %query-models
::: ||
::: models relating to queries, their results and updates.
::+|
2017-10-12 13:30:16 +03:00
::
2018-05-25 01:39:56 +03:00
++ pici ::: prize-client
2017-11-16 18:36:34 +03:00
^- $-(json (unit prize-client))
%- ot :~
gys+(om (as (as circ)))
nis+(op fed:ag so)
==
::
2018-05-25 01:39:56 +03:00
++ ruci ::: rumor-client
2017-11-16 18:36:34 +03:00
^- $-(json (unit rumor-client))
2017-10-24 18:24:04 +03:00
%- of :~
glyph+digy
nick+dini
==
::
2018-05-25 01:39:56 +03:00
++ pack ::: package
^- $-(json (unit package))
%- ot :~
nes+(ar enve)
cos+loby
pes+crow
==
::
2018-05-25 01:39:56 +03:00
++ digy ::: diff-glyph
2017-10-24 18:24:04 +03:00
^- $-(json (unit diff-glyph))
(ot bin+bo gyf+so aud+audi ~)
::
2018-05-25 01:39:56 +03:00
++ dini ::: diff-nick
2017-10-24 18:24:04 +03:00
^- $-(json (unit diff-nick))
(ot who+(su fed:ag) nic+so ~)
::
2018-05-25 01:39:56 +03:00
++ ruso ::: rumor-story
2017-10-24 18:24:04 +03:00
^- $-(json (unit rumor-story))
%- of :~
new+conf
:: bear not needed
config+(ot cir+circ dif+dico ~)
status+(ot cir+circ who+(su fed:ag) dif+disa ~)
remove+ul
gram+(ot src+circ nev+enve ~)
2017-10-24 18:24:04 +03:00
==
::
2018-05-25 01:39:56 +03:00
++ dico ::: diff-config
2017-10-24 18:24:04 +03:00
^- $-(json (unit diff-config))
%- of :~
full+conf
source+(ot add+bo src+sorc ~)
usage+(ot add+bo tas+(as so) ~)
2017-10-24 18:24:04 +03:00
caption+so
filter+filt
secure+secu
permit+(ot add+bo sis+(as (su fed:ag)) ~)
remove+ul
==
::
2018-05-25 01:39:56 +03:00
++ disa ::: diff-status
2017-10-12 13:30:16 +03:00
^- $-(json (unit diff-status))
%- of :~
full+(ot pec+pres man+huma ~)
presence+pres
2017-10-12 13:30:16 +03:00
human+dihu
remove+ul
==
::
2018-05-25 01:39:56 +03:00
++ dihu ::: diff-human
2017-10-12 13:30:16 +03:00
^- $-(json (unit diff-human))
%- of :~
full+huma
handle+(mu so)
true+(mu trun)
2017-10-12 13:30:16 +03:00
==
::
2018-05-25 01:39:56 +03:00
::: ||
::: || %circles
::: ||
::: messaging targets and their metadata.
2017-10-12 13:30:16 +03:00
::+|
::
::TODO maybe just an object?
2018-05-25 01:39:56 +03:00
++ circ ::: circle
^- $-(json (unit circle))
(su circ:de-tape)
::
2018-05-25 01:39:56 +03:00
++ loby ::: lobby
^- $-(json (unit lobby))
(ot loc+conf rem+(op circ:de-tape conf) ~)
::
2018-05-25 01:39:56 +03:00
++ conf ::: config
^- $-(json (unit config))
%- ot :~
src+(as sorc)
cap+so
tag+(as so)
fit+filt
con+cont
red+ni
==
::
::TODO maybe just an object?
2018-05-25 01:39:56 +03:00
++ sorc ::: source
^- $-(json (unit source))
(su sorc:de-tape)
::
2018-05-25 01:39:56 +03:00
++ filt ::: filter
^- $-(json (unit filter))
(ot cas+bo utf+bo ~)
2017-10-12 13:30:16 +03:00
::
2018-05-25 01:39:56 +03:00
++ cont ::: control
^- $-(json (unit control))
(ot sec+secu sis+(as (su fed:ag)) ~)
::
2018-05-25 01:39:56 +03:00
++ secu ::: security
^- $-(json (unit security))
2018-09-05 02:23:24 +03:00
(su (perk %channel %village %journal %mailbox %custom ~))
::
2018-05-25 01:39:56 +03:00
++ crow ::: crowd
^- $-(json (unit crowd))
(ot loc+grop rem+(op circ:de-tape grop) ~)
::
2018-05-25 01:39:56 +03:00
++ grop ::: group
^- $-(json (unit group))
(op fed:ag stat)
::
2018-05-25 01:39:56 +03:00
++ stat ::: status
^- $-(json (unit status))
(ot pec+pres man+huma ~)
::
2018-05-25 01:39:56 +03:00
++ pres ::: presence
^- $-(json (unit presence))
(su (perk %gone %idle %hear %talk ~))
2017-10-12 13:30:16 +03:00
::
2018-05-25 01:39:56 +03:00
++ huma ::: human
2017-10-12 13:30:16 +03:00
^- $-(json (unit human))
(ot han+(mu so) tru+(mu trun) ~)
2017-10-12 13:30:16 +03:00
::
2018-05-25 01:39:56 +03:00
++ trun ::: truename
2017-10-12 13:30:16 +03:00
^- $-(json (unit truename))
(ot fir+so mid+(mu so) las+so ~)
::
2018-05-25 01:39:56 +03:00
::: ||
::: || %message-data
::: ||
::: structures for containing main message data.
2017-10-12 13:30:16 +03:00
::+|
::
2018-05-25 01:39:56 +03:00
++ enve ::: envelope
^- $-(json (unit envelope))
(ot num+ni gam+gram ~)
::
2018-05-25 01:39:56 +03:00
++ gram ::: telegram
^- $-(json (unit telegram))
%- ot :~
aut+(su fed:ag)
::TODO can we do anything about this duplication?
uid+seri
aud+audi
wen+di
sep+spec
==
::
2018-05-25 01:39:56 +03:00
++ thot ::: thought
2017-10-12 13:30:16 +03:00
^- $-(json (unit thought))
%- ot :~
uid+seri
aud+audi
wen+di
sep+spec
==
::
2018-05-25 01:39:56 +03:00
++ spec ::: speech
^- $-(json (unit speech))
%+ re *speech |. ~+
%- of :~
lin+(ot pat+bo msg+so ~)
url+(su aurf:de-purl:html)
exp+eval
ire+(ot top+seri sep+spec ~)
fat+(ot tac+atta sep+spec ~)
inv+(ot inv+bo cir+circ ~)
app+(ot app+so sep+spec ~)
==
2017-10-12 13:30:16 +03:00
::
2018-05-25 01:39:56 +03:00
++ eval ::: %exp speech
::: extract contents of an %exp speech, evaluating
::: the {exp} if there is no {res} yet.
::
|= a/json
^- (unit {cord (list tank)})
=+ exp=((ot exp+so ~) a)
?~ exp ~
:+ ~ u.exp
=+ res=((ot res+(ar dank) ~) a)
?^ res u.res
p:(mule |.([(sell (slap !>(..^zuse) (ream u.exp)))]~)) ::TODO oldz
::
2018-05-25 01:39:56 +03:00
++ atta ::: attache
2017-10-12 13:30:16 +03:00
^- $-(json (unit attache))
%+ re *attache |. ~+
2017-10-12 13:30:16 +03:00
%- of :~
name+(ot nom+so tac+atta ~)
text+(cu to-wain:format so)
2017-10-12 13:30:16 +03:00
tank+(ar dank)
==
::
2018-05-25 01:39:56 +03:00
::: ||
::: || %message-metadata
::: ||
2017-10-12 13:30:16 +03:00
:: structures for containing message metadata.
::+|
::
2018-05-25 01:39:56 +03:00
++ seri ::: serial
2017-10-12 13:30:16 +03:00
^- $-(json (unit serial))
(ci (slat %uv) so)
::
2018-05-25 01:39:56 +03:00
++ audi ::: audience
2017-10-12 13:30:16 +03:00
^- $-(json (unit audience))
(as circ)
2017-10-12 13:30:16 +03:00
--
--