Safe Haskell	None
Language	Haskell2010

DBus

Contents

Connection management
Message handling
Signals
Representable Types
DBus specific types
Methods
Properties
Introspection
Message Bus
Re-exports

Synopsis

Connection management

data DBusConnection Source

data ConnectionType Source

Which Bus to connect to

Constructors

System	The well-known system bus. First the environmental variable DBUS_SYSTEM_BUS_ADDRESS is checked and if it doesn't exist the address unix:path=/var/run/dbus/system_bus_socket is used
Session	The well-known session bus. Refers to the address stored in the environmental variable DBUS_SESSION_BUS_ADDRESS
Address String	The bus at the give addresss

connectBus Source

Arguments

:: ConnectionType	Bus to connect to
-> MethodCallHandler	Handler for incoming method calls
-> SignalHandler	Handler for incoming signals
-> IO DBusConnection

Create a new connection to a message bus

makeServer :: ConnectionType -> Objects -> IO DBusConnection Source

type MethodCallHandler = DBusConnection -> MessageHeader -> [SomeDBusValue] -> IO () Source

type SignalHandler = DBusConnection -> MessageHeader -> [SomeDBusValue] -> IO () Source

checkAlive :: DBusConnection -> IO Bool Source

Check whether connection is alive

waitFor :: DBusConnection -> IO () Source

Wait until connection is closed

Message handling

objectRoot :: Objects -> Handler Source

Create a message handler that dispatches matches to the methods in a root object

ignore :: Monad m => t -> t1 -> t2 -> m () Source

Ignore all incoming messages/signals

Signals

data MatchRule Source

Constructors

MatchRule
Fields mrType :: Maybe MessageType mrSender :: Maybe Text mrInterface :: Maybe Text mrMember :: Maybe Text mrPath :: Maybe (Bool, ObjectPath) mrDestination :: Maybe Text mrArgs :: [(Int, Text)] mrArgPaths :: [(Int, Text)] mrArg0namespace :: Maybe Text mrEavesdrop :: Maybe Bool

Instances

Monoid MatchRule Source

data Signal a Source

Constructors

Signal
Fields signalPath :: ObjectPath signalInterface :: InterfaceName signalMember :: MemberName signalBody :: DBusArguments a

Instances

SingI [DBusType] a => Show (Signal a) Source

data SignalDescription a Source

Constructors

SignalDescription
Fields signalDPath :: ObjectPath signalDInterface :: InterfaceName signalDMember :: MemberName signalDArguments :: ArgumentDescription (ArgParity a)

Instances

Eq (SignalDescription a) Source
SingI [DBusType] a => Show (SignalDescription a) Source

data SomeSignalDescription where Source

Constructors

SSD :: forall a. SingI a => SignalDescription a -> SomeSignalDescription

Instances

Eq SomeSignalDescription Source
Show SomeSignalDescription Source

matchAll :: MatchRule Source

matchSignal :: Signal a -> MatchRule -> Bool Source

Match a Signal against a rule. The argN, argNPath and arg0namespace parameter are ignored at the moment

addMatch :: (MonadIO m, MonadThrow m) => MatchRule -> DBusConnection -> m () Source

Add a match rule

removeMatch :: (MonadIO m, MonadThrow m) => MatchRule -> DBusConnection -> m () Source

Remove a match rule

addSignalHandler :: MatchSignal -> MatchRule -> (SomeSignal -> IO ()) -> DBusConnection -> IO () Source

Add a match rule for the given signal specification and call function on all incoming matching signals

signalChan :: MatchSignal -> DBusConnection -> IO (TChan SomeSignal) Source

Add a match rule for the given signal specification and put all incoming signals into the TChan

handleSignal :: Representable a => SignalDescription (FlattenRepType (RepType a)) -> Maybe Text -> MatchRule -> (a -> IO ()) -> DBusConnection -> IO () Source

Add a match rule (computed from the SignalDescription) and install a handler that tries to convert the Signal's body and passes it to the callback

Representable Types

class SingI (RepType a) => Representable a where Source

Class of types that can be represented in the D-Bus type system.

The toRep and fromRep functions form a Prism and should follow the "obvious" laws:

```
fromRep (toRep x) == Just x
```
```
fmap toRep (fromRep x) =<= Just x
```

(where x =<= y iff x is Nothing or x == y)

All DBusValues represent themselves and instances for the following "canonical" pairs are provided

Haskell type => D-Bus type

WordX and IntX => UIntX and IntX respectively (for X in {16, 32, 64})
Bool => Boolean
Word8 => Byte
Double => Double
Text => String
ObjectPath => ObjectPath
DBusType => Signature
[a] => Array of a (for Representable a)
ByteString => Array of Byte
Tuples up to length 20 => Structs of equal length where each of the members is itself Representable
Map => Dict where the keys can be represented by a DBusSimpleType

An instance for String is impossible because it conflicts with the instance for lists (use Text instead)

Also note that no Representable instances are provided for Int, Integer and Float.

You can automatically derive an instance for your own Types with makeRepresentable

Associated Types

type RepType a :: DBusType Source

The DBusType that represents this type

Methods

toRep :: a -> DBusValue (RepType a) Source

Conversion from Haskell to D-Bus types

fromRep :: DBusValue (RepType a) -> Maybe a Source

Conversion from D-Bus to Haskell types.

Instances

Representable HeaderField Source
Representable HeaderFields Source
Representable Flags Source
Representable MessageType Source
Representable MessageHeader Source

type family FlattenRepType a :: [DBusType] Source

Equations

FlattenRepType TypeUnit = `[]`
FlattenRepType (TypeStruct ts) = ts
FlattenRepType (DBusSimpleType wild_1627489505) = Apply (Apply (:$) (Let1627489513TSym1 wild_1627489505)) `[]`
FlattenRepType (TypeArray wild_1627489503) = Apply (Apply (:$) (Let1627489518TSym1 wild_1627489503)) `[]`
FlattenRepType (TypeDict wild_1627489499 wild_1627489501) = Apply (Apply (:$) (Let1627489524TSym2 wild_1627489499 wild_1627489501)) `[]`
FlattenRepType (TypeDictEntry wild_1627489495 wild_1627489497) = Apply (Apply (:$) (Let1627489534TSym2 wild_1627489495 wild_1627489497)) `[]`
FlattenRepType TypeVariant = Apply (Apply (:$) Let1627489542TSym0) `[]`

makeRepresentable :: Name -> Q [Dec] Source

makeRepresentableTuple :: Int -> Q Dec Source

DBus specific types

DBus Values

data DBusValue :: DBusType -> * where Source

Constructors

DBVByte :: Word8 -> DBusValue (DBusSimpleType TypeByte)
DBVBool :: Bool -> DBusValue (DBusSimpleType TypeBoolean)
DBVInt16 :: Int16 -> DBusValue (DBusSimpleType TypeInt16)
DBVUInt16 :: Word16 -> DBusValue (DBusSimpleType TypeUInt16)
DBVInt32 :: Int32 -> DBusValue (DBusSimpleType TypeInt32)
DBVUInt32 :: Word32 -> DBusValue (DBusSimpleType TypeUInt32)
DBVInt64 :: Int64 -> DBusValue (DBusSimpleType TypeInt64)
DBVUInt64 :: Word64 -> DBusValue (DBusSimpleType TypeUInt64)
DBVDouble :: Double -> DBusValue (DBusSimpleType TypeDouble)
DBVUnixFD :: Word32 -> DBusValue (DBusSimpleType TypeUnixFD)
DBVString :: Text -> DBusValue (DBusSimpleType TypeString)
DBVObjectPath :: ObjectPath -> DBusValue (DBusSimpleType TypeObjectPath)
DBVSignature :: [DBusType] -> DBusValue (DBusSimpleType TypeSignature)
DBVVariant :: SingI t => DBusValue t -> DBusValue TypeVariant
DBVArray :: [DBusValue a] -> DBusValue (TypeArray a)
DBVByteArray :: ByteString -> DBusValue (TypeArray (DBusSimpleType TypeByte))
DBVStruct :: DBusStruct ts -> DBusValue (TypeStruct ts)
DBVDict :: [(DBusValue (DBusSimpleType k), DBusValue v)] -> DBusValue (TypeDict k v)
DBVUnit :: DBusValue TypeUnit

Instances

Eq (DBusValue t) Source
SingI DBusType t => Show (DBusValue t) Source
(IsMethod f, SingI DBusType t) => IsMethod (DBusValue t -> f) Source
type RepType (DBusValue t) = t Source
type ArgTypes (DBusValue t -> f) = (:) DBusType t (ArgTypes f) Source
type ResultType (DBusValue t -> f) = ResultType f Source

castDBV :: (SingI s, SingI t) => DBusValue s -> Maybe (DBusValue t) Source

data DBusStruct :: [DBusType] -> * where Source

Constructors

StructSingleton :: DBusValue a -> DBusStruct `[a]`
StructCons :: DBusValue a -> DBusStruct as -> DBusStruct (a : as)

Instances

Eq (DBusStruct t) Source
SingI [DBusType] a => Show (DBusStruct a) Source

data SomeDBusValue where Source

Constructors

DBV :: SingI t => DBusValue t -> SomeDBusValue

Instances

Show SomeDBusValue Source

dbusValue :: SingI t => SomeDBusValue -> Maybe (DBusValue t) Source

fromVariant :: SingI t => DBusValue TypeVariant -> Maybe (DBusValue t) Source

Extract a DBusValue from a Variant iff the type matches or return nothing

Signature

data DBusSimpleType Source

Types that are not composite. These can be the keys of a Dict

Constructors

TypeByte
TypeBoolean
TypeInt16
TypeUInt16
TypeInt32
TypeUInt32
TypeInt64
TypeUInt64
TypeDouble
TypeUnixFD
TypeString
TypeObjectPath
TypeSignature

Instances

Eq DBusSimpleType Source
Data DBusSimpleType Source
Read DBusSimpleType Source
Show DBusSimpleType Source
SingI DBusSimpleType TypeByte Source
SingI DBusSimpleType TypeBoolean Source
SingI DBusSimpleType TypeInt16 Source
SingI DBusSimpleType TypeUInt16 Source
SingI DBusSimpleType TypeInt32 Source
SingI DBusSimpleType TypeUInt32 Source
SingI DBusSimpleType TypeInt64 Source
SingI DBusSimpleType TypeUInt64 Source
SingI DBusSimpleType TypeDouble Source
SingI DBusSimpleType TypeUnixFD Source
SingI DBusSimpleType TypeString Source
SingI DBusSimpleType TypeObjectPath Source
SingI DBusSimpleType TypeSignature Source
SEq DBusSimpleType (KProxy DBusSimpleType) Source
PEq DBusSimpleType (KProxy DBusSimpleType) Source
SDecide DBusSimpleType (KProxy DBusSimpleType) Source
SingKind DBusSimpleType (KProxy DBusSimpleType) Source
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictEntrySym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627489534TSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627489524TSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) DBusSimpleTypeSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) Let1627489513TSym0 Source
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictEntrySym1 Source
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictSym1 Source
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627489534TSym1 Source
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627489524TSym1 Source
data Sing DBusSimpleType where STypeByte :: (~) DBusSimpleType z TypeByte => Sing DBusSimpleType z STypeBoolean :: (~) DBusSimpleType z TypeBoolean => Sing DBusSimpleType z STypeInt16 :: (~) DBusSimpleType z TypeInt16 => Sing DBusSimpleType z STypeUInt16 :: (~) DBusSimpleType z TypeUInt16 => Sing DBusSimpleType z STypeInt32 :: (~) DBusSimpleType z TypeInt32 => Sing DBusSimpleType z STypeUInt32 :: (~) DBusSimpleType z TypeUInt32 => Sing DBusSimpleType z STypeInt64 :: (~) DBusSimpleType z TypeInt64 => Sing DBusSimpleType z STypeUInt64 :: (~) DBusSimpleType z TypeUInt64 => Sing DBusSimpleType z STypeDouble :: (~) DBusSimpleType z TypeDouble => Sing DBusSimpleType z STypeUnixFD :: (~) DBusSimpleType z TypeUnixFD => Sing DBusSimpleType z STypeString :: (~) DBusSimpleType z TypeString => Sing DBusSimpleType z STypeObjectPath :: (~) DBusSimpleType z TypeObjectPath => Sing DBusSimpleType z STypeSignature :: (~) DBusSimpleType z TypeSignature => Sing DBusSimpleType z Source
type (:/=) DBusSimpleType x y = Not ((:==) DBusSimpleType x y)
type (:==) DBusSimpleType a0 b0 = Equals_1627483970 a0 b0 Source
type Apply DBusType DBusSimpleType DBusSimpleTypeSym0 l0 = DBusSimpleTypeSym1 l0 Source
type Apply DBusType DBusSimpleType Let1627489513TSym0 l0 = Let1627489513TSym1 l0 Source
type DemoteRep DBusSimpleType (KProxy DBusSimpleType) = DBusSimpleType Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictEntrySym0 l0 = TypeDictEntrySym1 l0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictSym0 l0 = TypeDictSym1 l0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627489534TSym0 l0 = Let1627489534TSym1 l0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627489524TSym0 l0 = Let1627489524TSym1 l0 Source

data DBusType Source

Constructors

DBusSimpleType DBusSimpleType
TypeArray DBusType
TypeStruct [DBusType]
TypeDict DBusSimpleType DBusType
TypeVariant
TypeDictEntry DBusSimpleType DBusType
TypeUnit

Instances

Eq DBusType Source
Data DBusType Source
Read DBusType Source
Show DBusType Source
SingI DBusType TypeVariant Source
SingI DBusType TypeUnit Source
SEq DBusType (KProxy DBusType) Source
PEq DBusType (KProxy DBusType) Source
SDecide DBusType (KProxy DBusType) Source
SingI DBusSimpleType n0 => SingI DBusType (DBusSimpleType n) Source
SingI DBusType n0 => SingI DBusType (TypeArray n) Source
SingI [DBusType] n0 => SingI DBusType (TypeStruct n) Source
SingKind DBusType (KProxy DBusType) Source
(SingI DBusSimpleType n0, SingI DBusType n1) => SingI DBusType (TypeDict n n) Source
(SingI DBusSimpleType n0, SingI DBusType n1) => SingI DBusType (TypeDictEntry n n) Source
SuppressUnusedWarnings (TyFun [DBusType] DBusType -> *) TypeStructSym0 Source
SuppressUnusedWarnings (TyFun DBusType [DBusType] -> *) FlattenRepTypeSym0 Source
SuppressUnusedWarnings (TyFun DBusType DBusType -> *) TypeArraySym0 Source
SuppressUnusedWarnings (TyFun DBusType DBusType -> *) Let1627489518TSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictEntrySym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627489534TSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627489524TSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) DBusSimpleTypeSym0 Source
SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) Let1627489513TSym0 Source
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictEntrySym1 Source
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictSym1 Source
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627489534TSym1 Source
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627489524TSym1 Source
data Sing DBusType where SDBusSimpleType :: (~) DBusType z (DBusSimpleType n) => Sing DBusSimpleType n -> Sing DBusType z STypeArray :: (~) DBusType z (TypeArray n) => Sing DBusType n -> Sing DBusType z STypeStruct :: (~) DBusType z (TypeStruct n) => Sing [DBusType] n -> Sing DBusType z STypeDict :: (~) DBusType z (TypeDict n n) => Sing DBusSimpleType n -> Sing DBusType n -> Sing DBusType z STypeVariant :: (~) DBusType z TypeVariant => Sing DBusType z STypeDictEntry :: (~) DBusType z (TypeDictEntry n n) => Sing DBusSimpleType n -> Sing DBusType n -> Sing DBusType z STypeUnit :: (~) DBusType z TypeUnit => Sing DBusType z Source
type (:/=) DBusType x y = Not ((:==) DBusType x y)
type (:==) DBusType a0 b0 = Equals_1627483977 a0 b0 Source
type Apply DBusType DBusType TypeArraySym0 l0 = TypeArraySym1 l0 Source
type Apply DBusType DBusType Let1627489518TSym0 l0 = Let1627489518TSym1 l0 Source
type Apply DBusType DBusSimpleType DBusSimpleTypeSym0 l0 = DBusSimpleTypeSym1 l0 Source
type Apply DBusType DBusSimpleType Let1627489513TSym0 l0 = Let1627489513TSym1 l0 Source
type Apply DBusType DBusType (TypeDictEntrySym1 l1) l0 = TypeDictEntrySym2 l1 l0 Source
type Apply DBusType DBusType (TypeDictSym1 l1) l0 = TypeDictSym2 l1 l0 Source
type Apply DBusType DBusType (Let1627489534TSym1 l1) l0 = Let1627489534TSym2 l1 l0 Source
type Apply DBusType DBusType (Let1627489524TSym1 l1) l0 = Let1627489524TSym2 l1 l0 Source
type DemoteRep DBusType (KProxy DBusType) = DBusType Source
type Apply DBusType [DBusType] TypeStructSym0 l0 = TypeStructSym1 l0 Source
type Apply [DBusType] DBusType FlattenRepTypeSym0 l0 = FlattenRepTypeSym1 l0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictEntrySym0 l0 = TypeDictEntrySym1 l0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictSym0 l0 = TypeDictSym1 l0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627489534TSym0 l0 = Let1627489534TSym1 l0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627489524TSym0 l0 = Let1627489524TSym1 l0 Source

newtype Signature Source

Constructors

Signature
Fields fromSignature :: [DBusType]

Instances

Eq Signature Source
Show Signature Source
type RepType Signature = DBusSimpleType TypeSignature Source

typeOf :: SingI t => DBusValue t -> DBusType Source

Objects

newtype Object Source

Constructors

Object
Fields interfaces :: Map Text Interface

Instances

Monoid Object Source

data Interface Source

Constructors

Interface
Fields interfaceMethods :: [Method] interfaceAnnotations :: [Annotation] interfaceSignals :: [SomeSignalDescription] interfaceProperties :: [SomeProperty]

Instances

Monoid Interface Source

data ObjectPath Source

Instances

Eq ObjectPath Source
Data ObjectPath Source
Ord ObjectPath Source
Show ObjectPath Source
IsString ObjectPath Source
type RepType ObjectPath = DBusSimpleType TypeObjectPath Source

objectPath :: Text -> ObjectPath Source

Parse an object path. Contrary to the standard, empty path parts are ignored

objectPathToText :: ObjectPath -> Text Source

stripObjectPrefix :: ObjectPath -> ObjectPath -> Maybe ObjectPath Source

isPathPrefix :: ObjectPath -> ObjectPath -> Bool Source

isRoot :: ObjectPath -> Bool Source

isEmpty :: ObjectPath -> Bool Source

Methods

data Method where Source

Constructors

Method :: (SingI avs, SingI ts) => MethodWrapper avs ts -> Text -> ArgumentDescription (ArgParity avs) -> ArgumentDescription (ArgParity ts) -> Method

data MethodWrapper av rv where Source

Constructors

MReturn :: SingI ts => MethodHandlerT IO (DBusArguments ts) -> MethodWrapper `[]` ts
MAsk :: SingI t => (DBusValue t -> MethodWrapper avs rv) -> MethodWrapper (t : avs) rv

data ArgumentDescription parity where Source

Constructors

(:>) :: Text -> ArgumentDescription n -> ArgumentDescription (Arg n) infixr 0
Done :: ArgumentDescription Null

Instances

Show (ArgumentDescription n) Source

repMethod :: RepMethod f => f -> MethodWrapper (RepMethodArgs f) (RepMethodValue f) Source

callMethod Source

Arguments

:: (Representable args, Representable ret)
=> Text	Entity to send the message to
-> ObjectPath	Object
-> Text	Interface
-> Text	Member (method) to call
-> args	Arguments
-> [Flag]	Method call flags
-> DBusConnection	Connection to send the call over
-> IO (Either MethodError ret)

Synchronously call a method.

This is the "cooked" version of callMethod''. It automatically converts arguments and returns values.

If the returned value's type doesn't match the expected type a MethodSignatureMissmatch is returned

You can pass in and extract multiple arguments and return values with types that are represented by DBus Structs (e.g. tuples). More specifically, multiple arguments/return values are handled in the following way:

If the method returns multiple values and the RepType of the expected return value is a struct it tries to match up the arguments with the struct fields
If the method returns a single struct and the RepType is a struct it will try to match up those two
If the RepType of the expected return value is not a struct it will only match if the method returned exactly one value and those two match up (as per normal)

This means that if the RepType of the expected return value is a struct it might be matched in two ways: Either by the method returning multiple values or the method returning a single struct. At the moment there is no way to exclude either

callMethod' Source

Arguments

:: Text	Entity to send the message to
-> ObjectPath	Object
-> Text	Interface
-> Text	Member (method) name
-> [SomeDBusValue]	Arguments
-> [Flag]	Method call flags
-> DBusConnection	Connection to send the call over
-> IO (STM (Either [SomeDBusValue] [SomeDBusValue]))

Asychronously call a method.

This is the "raw" version of callMethod. It doesn't do argument conversion.

call :: (Representable ret, Representable args) => MethodDescription (FlattenRepType (RepType args)) (FlattenRepType (RepType ret)) -> Text -> args -> [Flag] -> DBusConnection -> IO (Either MethodError ret) Source

callAsync :: (Representable args, Representable ret) => MethodDescription (FlattenRepType (RepType args)) (FlattenRepType (RepType ret)) -> Text -> args -> [Flag] -> DBusConnection -> IO (STM (Either MethodError ret)) Source

fromResponse :: Representable a => Either [SomeDBusValue] [SomeDBusValue] -> Either MethodError a Source

Try to convert the response to a method call top Haskell types

data MsgError Source

Constructors

MsgError
Fields errorName :: Text errorText :: Maybe Text errorBody :: [SomeDBusValue]

Instances

Show MsgError Source
Exception MsgError Source

data MethodError Source

Constructors

MethodErrorMessage [SomeDBusValue]
MethodSignatureMissmatch [SomeDBusValue]

Instances

Show MethodError Source
Exception MethodError Source

newtype MethodHandlerT m a Source

A Transformer for (IO) actions that might want to send a signal.

Constructors

MHT
Fields unMHT :: ExceptT MsgError (WriterT [SomeSignal] m) a

Instances

MonadTrans MethodHandlerT Source
Monad m => Monad (MethodHandlerT m) Source
Functor m => Functor (MethodHandlerT m) Source
Monad m => Applicative (MethodHandlerT m) Source
(Functor m, Monad m) => Alternative (MethodHandlerT m) Source
Monad m => MonadPlus (MethodHandlerT m) Source
MonadThrow m => MonadThrow (MethodHandlerT m) Source
MonadCatch m => MonadCatch (MethodHandlerT m) Source
MonadIO m => MonadIO (MethodHandlerT m) Source
Representable t => RepMethod (MethodHandlerT IO t) Source
SingI [DBusType] t => IsMethod (MethodHandlerT IO (DBusArguments t)) Source
type RepMethodArgs (MethodHandlerT IO t) = [] DBusType Source
type RepMethodValue (MethodHandlerT IO t) = FlattenRepType (RepType t) Source
type ArgTypes (MethodHandlerT IO (DBusArguments ts)) = [] DBusType Source
type ResultType (MethodHandlerT IO (DBusArguments ts)) = ts Source

data MethodDescription args rets where Source

Constructors

MD :: ObjectPath -> Text -> Text -> ArgumentDescription (ArgParity args) -> ArgumentDescription (ArgParity rets) -> MethodDescription args rets
Fields methodObjectPath :: ObjectPath methodInterface :: Text methodMember :: Text methodArgs :: ArgumentDescription (ArgParity args) methodResult :: ArgumentDescription (ArgParity rets)

Instances

Show (MethodDescription args rets) Source

data SomeMethodDescription where Source

Constructors

SMD :: (SingI args, SingI rets) => MethodDescription args rets -> SomeMethodDescription

Properties

data Property t where Source

Constructors

Property :: forall t. SingI t => ObjectPath -> Text -> Text -> Maybe (MethodHandlerT IO (DBusValue t)) -> Maybe (DBusValue t -> MethodHandlerT IO Bool) -> PropertyEmitsChangedSignal -> Property t
Fields propertyPath :: ObjectPath propertyInterface :: Text propertyName :: Text propertyGet :: Maybe (MethodHandlerT IO (DBusValue t)) propertySet :: Maybe (DBusValue t -> MethodHandlerT IO Bool) propertyEmitsChangedSignal :: PropertyEmitsChangedSignal

data SomeProperty where Source

Constructors

SomeProperty :: forall t. SingI t => Property t -> SomeProperty
Fields fromSomeProperty :: Property t

data PropertyEmitsChangedSignal Source

Constructors

PECSTrue
PECSInvalidates
PECSFalse

data RemoteProperty a Source

Constructors

RP
Fields rpEntity :: Text rpObject :: ObjectPath rpInterface :: Text rpName :: Text

Instances

Eq (RemoteProperty k a) Source
Show (RemoteProperty k a) Source

propertyChanged :: (MonadIO m, Representable a) => Property (RepType a) -> a -> MethodHandlerT m () Source

emitPropertyChanged :: Representable a => Property (RepType a) -> a -> DBusConnection -> IO () Source

getProperty :: Representable a => RemoteProperty (RepType a) -> DBusConnection -> IO (Either MethodError a) Source

setProperty :: Representable a => RemoteProperty (RepType a) -> a -> DBusConnection -> IO (Either MethodError ()) Source

handlePropertyChanged :: Representable a => RemoteProperty (RepType a) -> (Maybe a -> IO ()) -> DBusConnection -> IO () Source

mkProperty :: Representable a => ObjectPath -> Text -> Text -> Maybe (MethodHandlerT IO a) -> Maybe (a -> MethodHandlerT IO Bool) -> PropertyEmitsChangedSignal -> Property (RepType a) Source

Create a property from a getter and a setter. It will emit a PropertyChanged signal when the setter is called. To change this behaviour modify the propertyEmitsChangedSignal field

mkTVarProperty :: Representable a => ObjectPath -> Text -> Text -> PropertyAccess -> PropertyEmitsChangedSignal -> TVar a -> Property (RepType a) Source

Make a property out of a TVar. The property is considered changed on every outside set, no matter if the updated value is actually different from the old one