type
Db.builder
(
'kind
, 
'data
, 
'engine
)
=
{ 
string
 
id
, 
(
'data
)
 
read
, 
(
bool
)
 
exists
, 
'kind
 
more
, 
'engine
 
engine
 }
type
Db.path
(
'kind
, 
'data
, 
'engine
)
type =
{ 
(
void
)
 
remove
, 
(
'data
bool
)
 
write
 }
type
Db.ref_path
(
'data
, 
'engine
)
=
Db.path
(
, 
'data
, 
'engine
)
type
Db.t
(
α
)
type
Db.val_path
(
'data
, 
'engine
)
=
Db.path
(
void
, 
'data
, 
'engine
)
Name Summary
<-
Operator for write path.
Checks existence of a path, i.e. a data is present at the given path.
Turns a reference-path into a value-path
Reads the data on the given path.
Removes the data held at a path.
Write data at the given path in the database.

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.