Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class IsMethod f where
- type ArgTypes f :: [DBusType]
- type ResultType f :: [DBusType]
- class RepMethod f where
- type RepMethodArgs f :: [DBusType]
- type RepMethodValue f :: [DBusType]
- 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 a -> ArgumentDescription b -> ([Text], [Text])
Documentation
class IsMethod f where Source #
IsMethod is a Helper class to create MethodWrappers without having to explicitly unwrap all the function arguments.
toMethod :: f -> MethodWrapper (ArgTypes f) (ResultType f) Source #
class RepMethod f where Source #
type RepMethodArgs f :: [DBusType] Source #
type RepMethodValue f :: [DBusType] Source #
repMethod :: f -> MethodWrapper (RepMethodArgs f) (RepMethodValue f) Source #
Representable t => RepMethod (IO t) Source # | |
(RepMethod b, Representable a) => RepMethod (a -> b) Source # | |
Representable t => RepMethod (MethodHandlerT IO t) Source # | |
runMethodW :: SingI at => MethodWrapper at rt -> [SomeDBusValue] -> Maybe (MethodHandlerT IO (DBusArguments rt)) Source #
runMethodW' :: Sing at -> [SomeDBusValue] -> MethodWrapper at rt -> Maybe (MethodHandlerT IO (DBusArguments rt)) Source #
methodWSignature :: (SingI at, SingI rt) => MethodWrapper (at :: [DBusType]) (rt :: [DBusType]) -> ([DBusType], [DBusType]) Source #
runMethod :: Method -> [SomeDBusValue] -> Maybe (MethodHandlerT IO SomeDBusArguments) Source #
methodName :: Method -> Text Source #
argDescriptions :: ArgumentDescription a -> ArgumentDescription b -> ([Text], [Text]) Source #