DBus.Method

Documentation

class IsMethod f where

IsMethod is a Helper class to create MethodWrappers without having to explicitly unwrap all the function arguments.

Associated Types

type ArgTypes f :: [DBusType]

type ResultType f :: [DBusType]

Methods

toMethod :: f -> MethodWrapper (ArgTypes f) (ResultType f)

Instances

SingI [DBusType] t => IsMethod (IO (DBusArguments t))

(IsMethod f, SingI DBusType t) => IsMethod (DBusValue t -> f)

SingI [DBusType] t => IsMethod (MethodHandlerT IO (DBusArguments t))

class RepMethod f where

Associated Types

type RepMethodArgs f :: [DBusType]

type RepMethodValue f :: [DBusType]

Methods

repMethod :: f -> MethodWrapper (RepMethodArgs f) (RepMethodValue f)

Instances

Representable t => RepMethod (IO t)

(RepMethod b, Representable a) => RepMethod (a -> b)

Representable t => RepMethod (MethodHandlerT IO t)

runMethodW :: SingI at => MethodWrapper at rt -> [SomeDBusValue] -> Maybe (MethodHandlerT IO (DBusArguments rt))

runMethodW' :: Sing at -> [SomeDBusValue] -> MethodWrapper at rt -> Maybe (MethodHandlerT IO (DBusArguments rt))

methodWSignature :: (SingI at, SingI rt) => MethodWrapper (at :: [DBusType]) (rt :: [DBusType]) -> ([DBusType], [DBusType])

runMethod :: Method -> [SomeDBusValue] -> Maybe (MethodHandlerT IO SomeDBusArguments)

methodSignature :: Method -> ([DBusType], [DBusType])

methodName :: Method -> Text

argDescriptions :: ArgumentDescription n -> ArgumentDescription n1 -> ([Text], [Text])