Map each element of a structure to a monadic action, evaluate these
actions from left to right, and collect the results. For a version
that ignores the results see mapM_.
Examples
mapM is literally a traverse with a type signature
restricted to Monad. Its implementation may be more efficient
due to additional power of Monad.
Map each element of a structure to a monadic action, evaluate these
actions from left to right, and ignore the results. For a version that
doesn't ignore the results see mapM.
mapM_ is just like traverse_, but specialised to monadic
actions.
Unpack a GVariant into a Map. Notice that this assumes
that all the elements in the GVariant array of
GVariantDictEntry are of the same type, which is not necessary
for a generic GVariant, so this is somewhat restrictive. For
the general case it is necessary to use gvariantToList plus
gvariantToDictEntry directly.