Copyright | Will Thompson and Iñaki García Etxebarria |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria |
Safe Haskell | None |
Language | Haskell2010 |
GAsyncResult
provides a base class for implementing asynchronous function results.
Asynchronous operations are broken up into two separate operations
which are chained together by a GAsyncReadyCallback
. To begin
an asynchronous operation, provide a GAsyncReadyCallback
to the
asynchronous function. This callback will be triggered when the
operation has completed, and must be run in a later iteration of
the thread-default main context (see
mainContextPushThreadDefault
) from where the operation was
initiated. It will be passed a GAsyncResult
instance filled with the
details of the operation's success or failure, the object the asynchronous
function was started for and any error codes returned. The asynchronous
callback function is then expected to call the corresponding _finish()
function, passing the object the function was called for, the
GAsyncResult
instance, and (optionally) an error
to grab any
error conditions that may have occurred.
The _finish()
function for an operation takes the generic result
(of type GAsyncResult
) and returns the specific result that the
operation in question yields (e.g. a FileEnumerator
for a
"enumerate children" operation). If the result or error status of the
operation is not needed, there is no need to call the _finish()
function; GIO will take care of cleaning up the result and error
information after the GAsyncReadyCallback
returns. You can pass
NULL
for the GAsyncReadyCallback
if you don't need to take any
action at all after the operation completes. Applications may also
take a reference to the GAsyncResult
and call _finish()
later;
however, the _finish()
function may be called at most once.
Example of a typical asynchronous operation flow:
c code
void _theoretical_frobnitz_async (Theoretical *t, GCancellable *c, GAsyncReadyCallback cb, gpointer u); gboolean _theoretical_frobnitz_finish (Theoretical *t, GAsyncResult *res, GError **e); static void frobnitz_result_func (GObject *source_object, GAsyncResult *res, gpointer user_data) { gboolean success = FALSE; success = _theoretical_frobnitz_finish (source_object, res, NULL); if (success) g_printf ("Hurray!\n"); else g_printf ("Uh oh!\n"); ... } int main (int argc, void *argv[]) { ... _theoretical_frobnitz_async (theoretical_data, NULL, frobnitz_result_func, NULL); ... }
The callback for an asynchronous operation is called only once, and is
always called, even in the case of a cancelled operation. On cancellation
the result is a G_IO_ERROR_CANCELLED
error.
I/O Priority
Many I/O-related asynchronous operations have a priority parameter,
which is used in certain cases to determine the order in which
operations are executed. They are not used to determine system-wide
I/O scheduling. Priorities are integers, with lower numbers indicating
higher priority. It is recommended to choose priorities between
G_PRIORITY_LOW
and G_PRIORITY_HIGH
, with G_PRIORITY_DEFAULT
as a default.
Synopsis
- newtype AsyncResult = AsyncResult (ManagedPtr AsyncResult)
- class (GObject o, IsDescendantOf AsyncResult o) => IsAsyncResult o
- toAsyncResult :: (MonadIO m, IsAsyncResult o) => o -> m AsyncResult
- asyncResultGetSourceObject :: (HasCallStack, MonadIO m, IsAsyncResult a) => a -> m (Maybe Object)
- asyncResultGetUserData :: (HasCallStack, MonadIO m, IsAsyncResult a) => a -> m (Ptr ())
- asyncResultIsTagged :: (HasCallStack, MonadIO m, IsAsyncResult a) => a -> Ptr () -> m Bool
- asyncResultLegacyPropagateError :: (HasCallStack, MonadIO m, IsAsyncResult a) => a -> m ()
Exported types
newtype AsyncResult Source #
Memory-managed wrapper type.
Instances
Eq AsyncResult Source # | |
Defined in GI.Gio.Interfaces.AsyncResult (==) :: AsyncResult -> AsyncResult -> Bool # (/=) :: AsyncResult -> AsyncResult -> Bool # | |
GObject AsyncResult Source # | |
Defined in GI.Gio.Interfaces.AsyncResult | |
ManagedPtrNewtype AsyncResult Source # | |
Defined in GI.Gio.Interfaces.AsyncResult | |
TypedObject AsyncResult Source # | |
Defined in GI.Gio.Interfaces.AsyncResult | |
HasParentTypes AsyncResult Source # | |
Defined in GI.Gio.Interfaces.AsyncResult | |
IsGValue (Maybe AsyncResult) Source # | Convert |
Defined in GI.Gio.Interfaces.AsyncResult gvalueGType_ :: IO GType # gvalueSet_ :: Ptr GValue -> Maybe AsyncResult -> IO () # gvalueGet_ :: Ptr GValue -> IO (Maybe AsyncResult) # | |
type ParentTypes AsyncResult Source # | |
Defined in GI.Gio.Interfaces.AsyncResult |
class (GObject o, IsDescendantOf AsyncResult o) => IsAsyncResult o Source #
Type class for types which can be safely cast to AsyncResult
, for instance with toAsyncResult
.
Instances
(GObject o, IsDescendantOf AsyncResult o) => IsAsyncResult o Source # | |
Defined in GI.Gio.Interfaces.AsyncResult |
toAsyncResult :: (MonadIO m, IsAsyncResult o) => o -> m AsyncResult Source #
Cast to AsyncResult
, for types for which this is known to be safe. For general casts, use castTo
.
Methods
Click to display all available methods, including inherited ones
Methods
bindProperty, bindPropertyFull, forceFloating, freezeNotify, getv, isFloating, isTagged, legacyPropagateError, notify, notifyByPspec, ref, refSink, runDispose, stealData, stealQdata, thawNotify, unref, watchClosure.
Getters
getData, getProperty, getQdata, getSourceObject, getUserData.
Setters
getSourceObject
asyncResultGetSourceObject Source #
:: (HasCallStack, MonadIO m, IsAsyncResult a) | |
=> a |
|
-> m (Maybe Object) | Returns: a new reference to the source
object for the |
Gets the source object from a AsyncResult
.
getUserData
asyncResultGetUserData Source #
:: (HasCallStack, MonadIO m, IsAsyncResult a) | |
=> a |
|
-> m (Ptr ()) | Returns: the user data for |
Gets the user data from a AsyncResult
.
isTagged
:: (HasCallStack, MonadIO m, IsAsyncResult a) | |
=> a |
|
-> Ptr () |
|
-> m Bool | Returns: |
Checks if res
has the given sourceTag
(generally a function
pointer indicating the function res
was created by).
Since: 2.34
legacyPropagateError
asyncResultLegacyPropagateError Source #
:: (HasCallStack, MonadIO m, IsAsyncResult a) | |
=> a |
|
-> m () | (Can throw |
If res
is a SimpleAsyncResult
, this is equivalent to
simpleAsyncResultPropagateError
. Otherwise it returns
FALSE
.
This can be used for legacy error handling in async *_finish()
wrapper functions that traditionally handled SimpleAsyncResult
error returns themselves rather than calling into the virtual method.
This should not be used in new code; AsyncResult
errors that are
set by virtual methods should also be extracted by virtual methods,
to enable subclasses to chain up correctly.
Since: 2.34