Safe Haskell | None |
---|
Documentation
type ResultType f Source
toMethod :: f -> MethodWrapper (ArgTypes f) (ResultType f)Source
type RepMethodArgs f :: [DBusType]Source
type RepMethodValue f :: DBusTypeSource
repMethod :: f -> MethodWrapper (RepMethodArgs f) (RepMethodValue f)Source
(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))Source
runMethodW' :: Sing at -> [SomeDBusValue] -> MethodWrapper at rt -> Maybe (IO (DBusValue rt))Source
methodWSignature :: (SingI at, SingI rt) => MethodWrapper (at :: [DBusType]) (rt :: DBusType) -> ([DBusType], Maybe DBusType)Source
runMethod :: Method -> [SomeDBusValue] -> Maybe (IO SomeDBusValue)Source
methodName :: Method -> TextSource
argDescriptions :: MethodDescription t -> ([Text], Text)Source
findObject :: ObjectPath -> Object -> Maybe ObjectSource
callAtPath :: Object -> ObjectPath -> Text -> Text -> [SomeDBusValue] -> Either MsgError (IO SomeDBusValue)Source