Task succeeding with a value of type 'a or failing with an error object of type 'e

succeed a Task which immediately succeeds with value a.

Same as succeed.

fail e Task which immediately fails with the error e.

result res Task which immediately succeeds or fails depending on res

The effect of the function is described by the code

    match res with
    | Ok a    -> succeed a
    | Error e -> fail e

task >>= f

First execute task. If it fails then the function fails. If task succeeds with the result a then execute the task f a.

More convenient syntax for the monadic bind operator (>>=).

The code

    let* a = task in
    f a

is equivalent to

    task >>= f

With the let* operator it is more convenient to chain tasks.

    let* a = t1 in
    let* b = t2 a in
    let* c = t3 a b in
    ...
    return f a b c ...

map f task Map the success result of task via the function f.

make_succeed f task

Convert the task which might fail into a task which always succeeds by converting the positive or negative result via the function f into a new result.

parallel accu_start accumulate task_list

Run all the tasks in the task list in parallel. Collect the results of the individual tasks via the function accumulate into the accumulator. If all tasks of the list have finished, return the accumulator.

Note that the tasks of the list do not return errors. If they can have errors then make_succeed can be used to encode the error into the result type 'a.

log_string str Write str to the console.

log_value v Write the javascript object v to the console.

send_to_javascript value Send the javascript object value to the surrounding javascript world.

focus id Put the dom element with id into focus.

blur id Unfocus the dom element with id.

sleep millis a Sleep for millis milliseconds and then return a.

Examples:

    let* _ = sleep 1000 () in       (* sleep 1000 milliseconds *)
    task                            (* and then execute [task] *)

    let* a = task1 >>= sleep 1000   (* excute [task1] and return result
                                       [a] after 1000 milliseconds *)
    in
    task2 a                         (* then execute [task2 a] *)

next_tick a Return a in the next tick of the event loop.

Example: Execute task in the next round of the event loop.

    let* _ = next_tick () in
    task

Get the current time.

Get the current time zone.

random ran Execute the random generator rand and return the generated random value.

http_text method url headers body

Make a http method request to url with headers and body. Expect the response as a string.

Method is one of GET, POST, DELETE, ... .

The headers and the body can be empty.

http_json method url headers body decoder Same as http_text but the response is expected as a valid json string which is converted to a javascript object and decoded by decoder.