Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class IsMethod f where
- type ArgTypes f :: [DBusType]
- type ResultType f :: [DBusType]
- toMethod :: f -> MethodWrapper (ArgTypes f) (ResultType f)
- class RepMethod f where
- type RepMethodArgs f :: [DBusType]
- type RepMethodValue f :: [DBusType]
- repMethod :: f -> MethodWrapper (RepMethodArgs f) (RepMethodValue f)
- 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])
Documentation
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
methodSignature :: Method -> ([DBusType], [DBusType]) Source
methodName :: Method -> Text Source
argDescriptions :: ArgumentDescription n -> ArgumentDescription n1 -> ([Text], [Text]) Source