Next: Introduction, Previous: (dir), Up: (dir) [Contents][Index]
This is the promise Reference Manual, version 1.0.0, generated automatically by Declt version 3.0 "Montgomery Scott" on Sun May 15 05:52:37 2022 GMT+0.
• Introduction | What promise is all about | |
• Systems | The systems documentation | |
• Files | The files documentation | |
• Packages | The packages documentation | |
• Definitions | The symbols documentation | |
• Indexes | Concepts, functions, variables and data types |
## About Promise This library implements a basic promise datastructure, which is useful for dealing with asynchronous behaviours. Importantly, this library does not use any other libraries or frameworks, and instead leaves the execution and state transition of promise objects in your control, making it easy to integrate. Additionally, and somewhat uncommonly for promises, this library offers timeouts, to avoid deadlocks or excessive garbage when dealing with systems that are unreliable or unstable. ## How To For the purpose of this tutorial we assume that ``org.shirakumo.promise`` has a local nickname of ``promise``. Constructing a promise can be done in a variety of ways, with the most basic being ``make`` and the shorthand ``with-promise``. :: common lisp (promise:make) ; => #(promise:with-promise (succeed fail) (with-some-async-thing (result) (succeed result))) ; => # :: Each promise can also have a ``lifetime`` attached that says after how long the promise should automatically time out. This is useful to deal with unreliability issues and get the system unstuck. By default no lifetime is assigned and the promise lives forever. Typically the promise should be succeeded or failed by calling the supplied functions in the constructor after some asynchronous operation completes. However, you can also manually force the state transition outside of the closure by using ``succeed``, ``fail``, and ``timeout``. You can chain promises together using ``after``, ``then``, ``handle``, ``finally``, ``all``, ``any``, and ``->``. :: common lisp (promise:after * :success (lambda (value) (print value))) ; => # :: All of these functions return a new promise that encompasses some new promise about the combined state. See the respective documentation strings. If you're a user of a system that uses these promises, the above is all you should need to know about. If you're implementing an async event loop yourself and want to offer promises to the user, you should make sure to regularly call ``tick-all`` with the current universal-time timestamp. This will make sure to update promises and call handlers if necessary. You can also manually tick a promise with ``tick`` if necessary. While a promise is in the ``pending`` state, it is registered globally to allow ``tick-all`` to function without needing an extra way to track the object. Once the promise changes to a done state and all of its handlers have run with ``tick``, it is unregistered. Should your system somehow get stuck with promises that don't clear away, you can forcefully deregister all promises with ``clear``. Note that this is dangerous and usually not what you want outside of testing.
Next: Files, Previous: Introduction, Up: Top [Contents][Index]
The main system appears first, followed by any subsystem dependency.
• The promise system |
Nicolas Hafner <shinmera@tymoon.eu>
Nicolas Hafner <shinmera@tymoon.eu>
(:git "https://github.com/shinmera/promise.git")
zlib
A small, independent promise library for asynchronous frameworks
1.0.0
documentation-utils
promise.asd (file)
Files are sorted by type and then listed depth-first from the systems components trees.
• Lisp files |
• The promise.asd file | ||
• The promise/package.lisp file | ||
• The promise/promise.lisp file | ||
• The promise/documentation.lisp file |
Next: The promise/package․lisp file, Previous: Lisp files, Up: Lisp files [Contents][Index]
promise.asd
promise (system)
Next: The promise/promise․lisp file, Previous: The promise․asd file, Up: Lisp files [Contents][Index]
promise (system)
package.lisp
Next: The promise/documentation․lisp file, Previous: The promise/package․lisp file, Up: Lisp files [Contents][Index]
package.lisp (file)
promise (system)
promise.lisp
Previous: The promise/promise․lisp file, Up: Lisp files [Contents][Index]
promise.lisp (file)
promise (system)
documentation.lisp
Next: Definitions, Previous: Files, Up: Top [Contents][Index]
Packages are listed by definition order.
• The org.shirakumo.promise package |
package.lisp (file)
common-lisp
Definitions are sorted by export status, category, package, and then by lexicographic order.
• Exported definitions | ||
• Internal definitions |
Next: Internal definitions, Previous: Definitions, Up: Definitions [Contents][Index]
• Exported macros | ||
• Exported functions | ||
• Exported structures |
Next: Exported functions, Previous: Exported definitions, Up: Exported definitions [Contents][Index]
Shorthand macro to chain promise construction functions together.
Example:
(-> (make)
(after :success ...)
(then (v) ...)
(handle (e) ...)
(finally ...))
See PROMISE
promise.lisp (file)
Shorthand macro for EACH.
See EACH
promise.lisp (file)
Shorthand for MAKE with an initialisation function.
SUCCEED and FAIL are variable names bound to the respective functions
to manage the promise’s state. The names are both bound as a variable
and bound as a function for convenience.
See MAKE
promise.lisp (file)
Next: Exported structures, Previous: Exported macros, Up: Exported definitions [Contents][Index]
Perform an action after the promise has reached a particular state.
Returns a new promise that encapsulates whether the attached handlers
have successfully run or not. If one of the handlers is called and
successfully returns, the new promise proceeds*. If a handler signals
an error, the new promise fails.
If the promise is already done, the respective handler function is
/still/ called asynchronously!
*When the new promise proceeds with a value from the handler, it acts
differently depending on the returned value. If the value is another
PROMISE, the new promise is linked to the returned promise, updating
its state in accordance with the returned promise. If the value is
any other type, the new promise is instead simply moved into its
SUCCESS state.
See PROMISE
See THEN
See HANDLE
See FINALLY
See ALL
See ANY
promise.lisp (file)
Returns a promise that succeeds if all PROMISES succeed.
See PROMISE
promise.lisp (file)
Returns a promise that succeeds if at least one PROMISE succeeds.
See PROMISE
promise.lisp (file)
Clear all known promises out of the system.
You should only use this if you have promises that are "stuck" and
you don’t care if they are resolved or not.
See TICK-ALL
promise.lisp (file)
Returns whether the promise is "done".
A promise is considered done if it is not in the pending state, meaning if it is in either success, failure, or timeout satte.
See PROMISE
promise.lisp (file)
Iterate over a sequence, calling FUNCTION for each element.
If FUNCTION returns a promise, iteration is suspended until the
promise succeeds. Should FUNCTION ever error, or a promise it returns
fail, the iteration is cancelled.
Returns a promise that encapsulates whether the sequence has
successfully been iterated through.
See ITERATE
See DO-PROMISED
promise.lisp (file)
Moves the promise to the failed state if possible, using the given error.
If the promise is timed out, nothing happens. If the promise is
already failed or succeeded, an error is signalled.
Returns the promise.
See PROMISE
promise.lisp (file)
Shorthand for attaching a handler that’s called when the promise is done.
The passed function should take no arguments.
See HANDLE
promise.lisp (file)
Shorthand for attaching a failure handler.
See HANDLE
promise.lisp (file)
Create a promise that can iterate using the provided iteration functions.
This works as follows: START is used as the starting state of the
iteration. Then, until END-P on the current state returns T, promises
are generated. Each time calling CUR-FUN with the state to retrieve
the iteration element. And STEP-FUN with the state to retrieve the
successor state. FUNCTION is then called with the iteration
element. If FUNCTION returns a promise, the next iteration is chained
to the completion of that promise. If not, the next iteration is
chained immediately.
The promise returned by this function will only succeed once the
iteration has completed.
See PROMISE
See EACH
promise.lisp (file)
Creates a new promise.
The CONSTRUCTOR, if passed, should be a function of two arguments. The
two arguments are a succeed and fail function of one argument
respectively, which you should call once the promise should be
succeeded or failed, passing along the respective value if any.
Note that you can also force the returned promise into a state outside
of using the two functions passed into the constructor, by using the
manual state transition functions SUCCEED, FAIL, TIMEOUT.
The LIFETIME should be a positive REAL that determines the maximum
number of seconds the promise is considered "live" for. If the
promise is TICKed after LIFETIME seconds have passed, it will be moved
to the TIMEOUT state. Lifetimes are useful to avoid a computation
getting stuck on a promise that might never be fulfilled due to
reliability issues in the system.
See PROMISE
promise.lisp (file)
Create a dummy promise.
This is the same as using MAKE. If SUCCESS or FAILURE are passed
respectively, the success/failure function is called immediately with
the given value from the argument.
See MAKE
promise.lisp (file)
Returns the current state of the promise.
See PROMISE
promise.lisp (file)
(setf state) (function)
promise.lisp (file)
state (function)
Moves the promise to the succeeded state if possible, using the given value.
If the promise is timed out, nothing happens. If the promise is
already failed or succeeded, an error is signalled.
Returns the promise.
See PROMISE
promise.lisp (file)
Shorthand for attaching a success handler.
See AFTER
promise.lisp (file)
Ticks the promise to check its timeout or process handlers.
If the promise is done, all respective handlers for the promise’s
state are called and popped off the promise’s handler stack.
Afterwards the promise is removed from the global registry.
If the promise is pending, its timeout is checked against the given
TIME (which should be a universal-time timestamp) and if timed out, is
moved to the TIMEOUT state, then immediately proceeding as above.
See PROMISE
See TICK-ALL
promise.lisp (file)
Calls TICK on all registered promises.
If there were any promises to tick, T is returned, otherwise NIL.
See PROMISE
See TICK
promise.lisp (file)
Moves the promise to the timed-out state if possible.
If the promise is timed out, nothing happens. If the promise is
already failed or succeeded, an error is signalled.
Returns the promise.
See PROMISE
promise.lisp (file)
Previous: Exported functions, Up: Exported definitions [Contents][Index]
Represents a promise for a future value.
A promise can be in four different states:
:PENDING – The promise should be resolved in the future.
:SUCCESS – The promise has successfully resolved and is done.
:FAILURE – The promise has failed to resolved properly and is done.
:TIMEOUT – The promise did not resolve in time and is done.
A promise can only be moved to one of the latter three states. Once
done, it cannot be "re-armed". Attempting to chain another handler
onto a promise that is done will cause the handler to fire immediately
or not at all, depending on the type of handler. In that case the
handler will be called synchronously (!) If a handler is attached to a
pending promise, the handler will be called asynchronously whenever
the promise moves to the requested state and TICK is called.
Handlers can be attached to a promise through AFTER.
A promise can be manually forced into one of its other states through
SUCCEED, FAIL, and TIMEOUT.
Once a promise has been constructed, it is registered globally so it
can be ticked through TICK-ALL. Once a promise has resolved and all
its handlers have been processed through TICK, it is deregistered
again, freeing it for collection.
Note that this global registration means that you MUST always resolve
a promise, or in the very least always set a lifetime, or the promise
will stick around in the image as garbage forever.
See STATE
See SUCCEED
See FAIL
See TIMEOUT
See MAKE
See PEND
See TICK
See TICK-ALL
See AFTER
See DONE-P
promise.lisp (file)
structure-object (structure)
print-object (method)
symbol
:pending
state (function)
(setf state) (function)
(unsigned-byte 64)
0
deadline (function)
(setf deadline) (function)
value (function)
(setf value) (function)
list
on-success (function)
(setf on-success) (function)
list
on-failure (function)
(setf on-failure) (function)
list
on-timeout (function)
(setf on-timeout) (function)
Previous: Exported definitions, Up: Definitions [Contents][Index]
• Internal special variables | ||
• Internal macros | ||
• Internal functions |
Next: Internal macros, Previous: Internal definitions, Up: Internal definitions [Contents][Index]
promise.lisp (file)
Next: Internal functions, Previous: Internal special variables, Up: Internal definitions [Contents][Index]
promise.lisp (file)
Previous: Internal macros, Up: Internal definitions [Contents][Index]
promise.lisp (file)
promise.lisp (file)
promise.lisp (file)
promise.lisp (file)
promise.lisp (file)
promise.lisp (file)
promise.lisp (file)
promise.lisp (file)
promise.lisp (file)
promise.lisp (file)
Previous: Definitions, Up: Top [Contents][Index]
• Concept index | ||
• Function index | ||
• Variable index | ||
• Data type index |
Next: Function index, Previous: Indexes, Up: Indexes [Contents][Index]
Jump to: | F L P |
---|
Jump to: | F L P |
---|
Next: Variable index, Previous: Concept index, Up: Indexes [Contents][Index]
Jump to: | %
(
-
A C D E F H I M O P R S T V W |
---|
Jump to: | %
(
-
A C D E F H I M O P R S T V W |
---|
Next: Data type index, Previous: Function index, Up: Indexes [Contents][Index]
Jump to: | *
D O S V |
---|
Jump to: | *
D O S V |
---|
Previous: Variable index, Up: Indexes [Contents][Index]
Jump to: | O P S |
---|
Jump to: | O P S |
---|