- dbus :: QuasiQuoter
- dbusF :: QuasiQuoter
Documentation
A quasi-quoter to convert a function of type [Variant] -> [Variant]
into a
function of a specified static type.
This quasi-quoter takes a signature of the form:
<dbus types> -> <dbus types>
Types on the left of the arrow correspond to argument types, while those on the right are return types.
The result is a combinator which takes any function of type [Variant] -> [Variant], assumes that its arguments and results are of the specified number and types, and returns a function of the corresponding static type.
For example, if f :: [Variant] -> [Variant]
,
[dbus| i s -> s a{uv} |] f
has type
Int -> String -> (String, Map Word32 Variant)
A generalized version of the dbus quasi-quoter which works on functions of
type [Variant] -> f [Variant]
, for any functor f
.