Skip to main content

JSON

GEODIST​

geodist(Record x, Record y) -> Number
STABLE

Get the distance in meter between Google Maps locations x and y

GEO_COORDINATE​

geo_coordinate(Record r) -> Vector of Number
STABLE

Convert a Google Maps loction r to a coordinate vector

GEO_LOCATION​

geo_location(Vector v) -> Record
STABLE

Convert a coordinate vector 'v' on format [lng, lat] into a Google Maps

location

JSON:FILE_STREAM​

json:file_stream(Charstring file) -> Stream of Json
STABLE

Stream of JSON objects in file

JSON:LOAD​

json:load(Charstring model, Charstring file) -> Charstring
STABLE

Load exported functions from JSON file in model

JSON:POPEN​

json:popen(Charstring cmd) -> Record
STABLE

No description.

JSON:REQUEST​

json:request(Charstring url) -> Json
STABLE

Read a JSON object from REST server in url

JSON:SAMPLE​

json:sample(Charstring url, Number period) -> Stream of Json
STABLE

Read a JSON object from REST server in url every period seconds

JSON:SERIAL_STREAM​

json:serial_stream(Charstring sn, Integer br) -> Stream
STABLE

json stream from serial port named sp with baud rate br

json:serial_stream(Charstring sn, Integer br, Charstring flow_control, Integer data_bits, Integer stop_bits, Integer parity) -> Stream
STABLE

json stream from serial port named sp with baud rate br

JSON:SOCKET_STREAM​

json:socket_stream(Charstring host, Integer sp, Object request) -> Stream
STABLE

json stream from port sp on host

json:socket_stream(Charstring host, Integer sp) -> Stream
STABLE

json stream from port sp on host

JSON:STRINGIFY​

json:stringify(Object o) -> Charstring
STABLE

No description.

JSON:UNLOAD​

json:unload(Vector of Function fnol, Charstring model, Charstring file) -> Charstring
STABLE

Unload functions fnol into JSON file in model

json:unload(Charstring fn, Charstring model, Charstring file) -> Charstring
STABLE

Unload function named fn as JSON file in model on server

JSON:UNSTRINGIFY​

json:unstringify(Charstring string) -> Json
STABLE

No description.

JSON:UNSTRINGIFY_RECORD​

json:unstringify_record(Charstring string) -> Record
STABLE

No description.

JSON:WRITE_FILE​

json:write_file(Charstring file, Stream s) -> Charstring
STABLE

Write elements in stream s into file in JSON format

json:write_file(Charstring file, Bag b) -> Charstring
STABLE

Write elements in bag b into file in JSON format

LABEL_VECTOR​

label_vector(Vector labels, Vector values) -> Record
STABLE

Label the elements in vector v with corresponding labels

MAKE_RECORD​

make_record(Vector v) -> Record
STABLE

Construct a record from a vector v of keys followed by values

MERGE​

merge(Record x, Record y) -> Record
STABLE

Combine records x and y

PUT_RECORD​

put_record(Record r, Charstring k, Object v) -> Record
STABLE

Set value of key k in record r to value v

RECORDOF​

recordof(Bag of (Object, Object)) -> Record
STABLE

Construct a record from a bag of attribute/value pairs b

RECORD_LENGTH​

record_length(Record r) -> Integer
STABLE

The number of key/value pairs in a record r

RECORD_VECTOR​

record_vector(Record r) -> Vector v
STABLE

No description.

VREF​

vref(Record r, Object k) -> Object
STABLE

Same as r[k] access value of key k in record r