DBus.Method

Documentation

class IsMethod f where

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

Minimal complete definition

toMethod

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))

Associated Types

type ArgTypes (IO (DBusArguments t)) :: [DBusType]

type ResultType (IO (DBusArguments t)) :: [DBusType]

Methods

toMethod :: IO (DBusArguments t) -> MethodWrapper (ArgTypes (IO (DBusArguments t))) (ResultType (IO (DBusArguments t)))

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

Associated Types

type ArgTypes (DBusValue t -> f) :: [DBusType]

type ResultType (DBusValue t -> f) :: [DBusType]

Methods

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

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

Associated Types

type ArgTypes (MethodHandlerT IO (DBusArguments t)) :: [DBusType]

type ResultType (MethodHandlerT IO (DBusArguments t)) :: [DBusType]

Methods

toMethod :: MethodHandlerT IO (DBusArguments t) -> MethodWrapper (ArgTypes (MethodHandlerT IO (DBusArguments t))) (ResultType (MethodHandlerT IO (DBusArguments t)))

class RepMethod f where

Minimal complete definition

repMethod

Associated Types

type RepMethodArgs f :: [DBusType]

type RepMethodValue f :: [DBusType]

Methods

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

Instances

Representable t => RepMethod (IO t)

Associated Types

type RepMethodArgs (IO t) :: [DBusType]

type RepMethodValue (IO t) :: [DBusType]

Methods

repMethod :: IO t -> MethodWrapper (RepMethodArgs (IO t)) (RepMethodValue (IO t))

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

Associated Types

type RepMethodArgs (a -> b) :: [DBusType]

type RepMethodValue (a -> b) :: [DBusType]

Methods

repMethod :: (a -> b) -> MethodWrapper (RepMethodArgs (a -> b)) (RepMethodValue (a -> b))

Representable t => RepMethod (MethodHandlerT IO t)

Associated Types

type RepMethodArgs (MethodHandlerT IO t) :: [DBusType]

type RepMethodValue (MethodHandlerT IO t) :: [DBusType]

Methods

repMethod :: MethodHandlerT IO t -> MethodWrapper (RepMethodArgs (MethodHandlerT IO t)) (RepMethodValue (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 n1 -> ArgumentDescription n -> ([Text], [Text])

Orphan instances

Show Method

Methods

showsPrec :: Int -> Method -> ShowS

show :: Method -> String

showList :: [Method] -> ShowS