DBus.Object

Documentation

class IsMethod f where

Associated Types

type ArgTypes f :: [DBusType]

type ResultType f :: DBusType

Methods

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

Instances

SingI DBusType t => IsMethod (IO (DBusValue t))

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

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, SingI DBusType (RepType t)) => RepMethod (IO t)

(RepMethod b, Representable a, SingI DBusType (RepType a)) => RepMethod (a -> b)

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

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

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

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

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

methodName :: Method -> Text

argDescriptions :: MethodDescription t -> ([Text], Text)

findObject :: ObjectPath -> Object -> Maybe Object

callAtPath :: Object -> ObjectPath -> Text -> Text -> [SomeDBusValue] -> Either MsgError (IO SomeDBusValue)