Safe Haskell	None
Language	Haskell2010

DBus.Types

Synopsis

Documentation

dbusLogger :: String Source

logDebug :: String -> IO () Source

logWarning :: String -> IO () Source

logError :: String -> IO () Source

data ObjectPath Source

Constructors

ObjectPath
Fields opAbsolute :: Bool opParts :: [Text]

Instances

Eq ObjectPath
Data ObjectPath
Ord ObjectPath
Show ObjectPath
IsString ObjectPath
Representable ObjectPath
Typeable * ObjectPath
type RepType ObjectPath = DBusSimpleType TypeObjectPath

type InterfaceName = Text Source

type MemberName = Text Source

opNode :: ObjectPath -> ObjectPath Source

opPath :: ObjectPath -> ObjectPath Source

newtype Signature Source

Constructors

Signature
Fields fromSignature :: [DBusType]

Instances

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

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

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
Data DBusSimpleType
Read DBusSimpleType
Show DBusSimpleType
Typeable * DBusSimpleType
SingI DBusSimpleType TypeSignature
SingI DBusSimpleType TypeObjectPath
SingI DBusSimpleType TypeString
SingI DBusSimpleType TypeUnixFD
SingI DBusSimpleType TypeDouble
SingI DBusSimpleType TypeUInt64
SingI DBusSimpleType TypeInt64
SingI DBusSimpleType TypeUInt32
SingI DBusSimpleType TypeInt32
SingI DBusSimpleType TypeUInt16
SingI DBusSimpleType TypeInt16
SingI DBusSimpleType TypeBoolean
SingI DBusSimpleType TypeByte
SEq DBusSimpleType (KProxy DBusSimpleType)
PEq DBusSimpleType (KProxy DBusSimpleType)
SDecide DBusSimpleType (KProxy DBusSimpleType)
SingKind DBusSimpleType (KProxy DBusSimpleType)
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictEntrySym0
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictSym0
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627472196TSym0
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627472186TSym0
SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) DBusSimpleTypeSym0
SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) Let1627472175TSym0
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictEntrySym1
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictSym1
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627472196TSym1
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627472186TSym1
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
type (:==) DBusSimpleType a0 b0 = Equals_1627467044 a0 b0
type Apply DBusType DBusSimpleType DBusSimpleTypeSym0 l0 = DBusSimpleTypeSym1 l0
type Apply DBusType DBusSimpleType Let1627472175TSym0 l0 = Let1627472175TSym1 l0
type DemoteRep DBusSimpleType (KProxy DBusSimpleType) = DBusSimpleType
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictEntrySym0 l0 = TypeDictEntrySym1 l0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictSym0 l0 = TypeDictSym1 l0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627472196TSym0 l0 = Let1627472196TSym1 l0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627472186TSym0 l0 = Let1627472186TSym1 l0

ppSimpleType :: DBusSimpleType -> String Source

data DBusType Source

Constructors

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

Instances

Eq DBusType
Data DBusType
Read DBusType
Show DBusType
Typeable * DBusType
SingI DBusType TypeUnit
SingI DBusType TypeVariant
SEq DBusType (KProxy DBusType)
PEq DBusType (KProxy DBusType)
SDecide DBusType (KProxy DBusType)
SingI [DBusType] n0 => SingI DBusType (TypeStruct n)
SingI DBusType n0 => SingI DBusType (TypeArray n)
SingI DBusSimpleType n0 => SingI DBusType (DBusSimpleType n)
SingKind DBusType (KProxy DBusType)
(SingI DBusSimpleType n0, SingI DBusType n1) => SingI DBusType (TypeDictEntry n n)
(SingI DBusSimpleType n0, SingI DBusType n1) => SingI DBusType (TypeDict n n)
Typeable ([DBusType] -> *) SignalDescription
SuppressUnusedWarnings (TyFun [DBusType] DBusType -> *) TypeStructSym0
SuppressUnusedWarnings (TyFun DBusType [DBusType] -> *) FlattenRepTypeSym0
SuppressUnusedWarnings (TyFun DBusType DBusType -> *) TypeArraySym0
SuppressUnusedWarnings (TyFun DBusType DBusType -> *) Let1627472180TSym0
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictEntrySym0
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictSym0
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627472196TSym0
SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627472186TSym0
SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) DBusSimpleTypeSym0
SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) Let1627472175TSym0
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictEntrySym1
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictSym1
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627472196TSym1
SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627472186TSym1
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
type (:==) DBusType a0 b0 = Equals_1627467051 a0 b0
type Apply DBusType DBusType TypeArraySym0 l0 = TypeArraySym1 l0
type Apply DBusType DBusType Let1627472180TSym0 l0 = Let1627472180TSym1 l0
type Apply DBusType DBusSimpleType DBusSimpleTypeSym0 l0 = DBusSimpleTypeSym1 l0
type Apply DBusType DBusSimpleType Let1627472175TSym0 l0 = Let1627472175TSym1 l0
type Apply DBusType DBusType (TypeDictEntrySym1 l1) l0 = TypeDictEntrySym2 l1 l0
type Apply DBusType DBusType (TypeDictSym1 l1) l0 = TypeDictSym2 l1 l0
type Apply DBusType DBusType (Let1627472196TSym1 l1) l0 = Let1627472196TSym2 l1 l0
type Apply DBusType DBusType (Let1627472186TSym1 l1) l0 = Let1627472186TSym2 l1 l0
type DemoteRep DBusType (KProxy DBusType) = DBusType
type Apply DBusType [DBusType] TypeStructSym0 l0 = TypeStructSym1 l0
type Apply [DBusType] DBusType FlattenRepTypeSym0 l0 = FlattenRepTypeSym1 l0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictEntrySym0 l0 = TypeDictEntrySym1 l0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictSym0 l0 = TypeDictSym1 l0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627472196TSym0 l0 = Let1627472196TSym1 l0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627472186TSym0 l0 = Let1627472186TSym1 l0

ppType :: DBusType -> String Source

data Parity Source

Constructors

Null
Arg Parity

Instances

Eq Parity
Data Parity
Show Parity
Typeable * Parity
SingI Parity Null
SEq Parity (KProxy Parity)
PEq Parity (KProxy Parity)
SingI Parity n0 => SingI Parity (Arg n)
SingKind Parity (KProxy Parity)
Typeable (Parity -> *) ArgumentDescription
SuppressUnusedWarnings (TyFun Parity Parity -> *) ArgSym0
data Sing Parity where SNull :: (~) Parity z Null => Sing Parity z SArg :: (~) Parity z (Arg n) => Sing Parity n -> Sing Parity z
type (:==) Parity a0 b0 = Equals_1627467093 a0 b0
type Apply Parity Parity ArgSym0 l0 = ArgSym1 l0
type DemoteRep Parity (KProxy Parity) = Parity

type TypeByteSym0 = TypeByte Source

type TypeBooleanSym0 = TypeBoolean Source

type TypeInt16Sym0 = TypeInt16 Source

type TypeUInt16Sym0 = TypeUInt16 Source

type TypeInt32Sym0 = TypeInt32 Source

type TypeUInt32Sym0 = TypeUInt32 Source

type TypeInt64Sym0 = TypeInt64 Source

type TypeUInt64Sym0 = TypeUInt64 Source

type TypeDoubleSym0 = TypeDouble Source

type TypeUnixFDSym0 = TypeUnixFD Source

type TypeStringSym0 = TypeString Source

type TypeObjectPathSym0 = TypeObjectPath Source

type TypeSignatureSym0 = TypeSignature Source

type SDBusSimpleType z = Sing z Source

type DBusSimpleTypeSym1 t = DBusSimpleType t Source

data DBusSimpleTypeSym0 l Source

Constructors

forall arg . (KindOf (Apply DBusSimpleTypeSym0 arg) ~ KindOf (DBusSimpleTypeSym1 arg)) => DBusSimpleTypeSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) DBusSimpleTypeSym0
type Apply DBusType DBusSimpleType DBusSimpleTypeSym0 l0 = DBusSimpleTypeSym1 l0

type TypeArraySym1 t = TypeArray t Source

data TypeArraySym0 l Source

Constructors

forall arg . (KindOf (Apply TypeArraySym0 arg) ~ KindOf (TypeArraySym1 arg)) => TypeArraySym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusType DBusType -> *) TypeArraySym0
type Apply DBusType DBusType TypeArraySym0 l0 = TypeArraySym1 l0

type TypeStructSym1 t = TypeStruct t Source

data TypeStructSym0 l Source

Constructors

forall arg . (KindOf (Apply TypeStructSym0 arg) ~ KindOf (TypeStructSym1 arg)) => TypeStructSym0KindInference

Instances

SuppressUnusedWarnings (TyFun [DBusType] DBusType -> *) TypeStructSym0
type Apply DBusType [DBusType] TypeStructSym0 l0 = TypeStructSym1 l0

type TypeDictSym2 t t = TypeDict t t Source

data TypeDictSym1 l l Source

Constructors

forall arg . (KindOf (Apply (TypeDictSym1 l) arg) ~ KindOf (TypeDictSym2 l arg)) => TypeDictSym1KindInference

Instances

SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictSym1
type Apply DBusType DBusType (TypeDictSym1 l1) l0 = TypeDictSym2 l1 l0

data TypeDictSym0 l Source

Constructors

forall arg . (KindOf (Apply TypeDictSym0 arg) ~ KindOf (TypeDictSym1 arg)) => TypeDictSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictSym0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictSym0 l0 = TypeDictSym1 l0

type TypeVariantSym0 = TypeVariant Source

type TypeDictEntrySym2 t t = TypeDictEntry t t Source

data TypeDictEntrySym1 l l Source

Constructors

forall arg . (KindOf (Apply (TypeDictEntrySym1 l) arg) ~ KindOf (TypeDictEntrySym2 l arg)) => TypeDictEntrySym1KindInference

Instances

SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) TypeDictEntrySym1
type Apply DBusType DBusType (TypeDictEntrySym1 l1) l0 = TypeDictEntrySym2 l1 l0

data TypeDictEntrySym0 l Source

Constructors

forall arg . (KindOf (Apply TypeDictEntrySym0 arg) ~ KindOf (TypeDictEntrySym1 arg)) => TypeDictEntrySym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) TypeDictEntrySym0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType TypeDictEntrySym0 l0 = TypeDictEntrySym1 l0

type TypeUnitSym0 = TypeUnit Source

type SDBusType z = Sing z Source

type NullSym0 = Null Source

type ArgSym1 t = Arg t Source

data ArgSym0 l Source

Constructors

forall arg . (KindOf (Apply ArgSym0 arg) ~ KindOf (ArgSym1 arg)) => ArgSym0KindInference

Instances

SuppressUnusedWarnings (TyFun Parity Parity -> *) ArgSym0
type Apply Parity Parity ArgSym0 l0 = ArgSym1 l0

type SParity z = Sing z Source

type family Equals_1627467093 a b :: Bool Source

Equations

Equals_1627467093 Null Null = TrueSym0
Equals_1627467093 (Arg a) (Arg b) = (:==) a b
Equals_1627467093 (a :: Parity) (b :: Parity) = FalseSym0

type family Equals_1627467051 a b :: Bool Source

Equations

Equals_1627467051 (DBusSimpleType a) (DBusSimpleType b) = (:==) a b
Equals_1627467051 (TypeArray a) (TypeArray b) = (:==) a b
Equals_1627467051 (TypeStruct a) (TypeStruct b) = (:==) a b
Equals_1627467051 (TypeDict a a) (TypeDict b b) = (:&&) ((:==) a b) ((:==) a b)
Equals_1627467051 TypeVariant TypeVariant = TrueSym0
Equals_1627467051 (TypeDictEntry a a) (TypeDictEntry b b) = (:&&) ((:==) a b) ((:==) a b)
Equals_1627467051 TypeUnit TypeUnit = TrueSym0
Equals_1627467051 (a :: DBusType) (b :: DBusType) = FalseSym0

type Let1627472175T wild_1627472167 = Apply DBusSimpleTypeSym0 wild_1627472167 Source

type Let1627472175TSym1 t = Let1627472175T t Source

data Let1627472175TSym0 l Source

Constructors

forall arg . (KindOf (Apply Let1627472175TSym0 arg) ~ KindOf (Let1627472175TSym1 arg)) => Let1627472175TSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) Let1627472175TSym0
type Apply DBusType DBusSimpleType Let1627472175TSym0 l0 = Let1627472175TSym1 l0

type Let1627472180T wild_1627472165 = Apply TypeArraySym0 wild_1627472165 Source

type Let1627472180TSym1 t = Let1627472180T t Source

data Let1627472180TSym0 l Source

Constructors

forall arg . (KindOf (Apply Let1627472180TSym0 arg) ~ KindOf (Let1627472180TSym1 arg)) => Let1627472180TSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusType DBusType -> *) Let1627472180TSym0
type Apply DBusType DBusType Let1627472180TSym0 l0 = Let1627472180TSym1 l0

type Let1627472186T wild_1627472161 wild_1627472163 = Apply (Apply TypeDictSym0 wild_1627472161) wild_1627472163 Source

type Let1627472186TSym2 t t = Let1627472186T t t Source

data Let1627472186TSym1 l l Source

Constructors

forall arg . (KindOf (Apply (Let1627472186TSym1 l) arg) ~ KindOf (Let1627472186TSym2 l arg)) => Let1627472186TSym1KindInference

Instances

SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627472186TSym1
type Apply DBusType DBusType (Let1627472186TSym1 l1) l0 = Let1627472186TSym2 l1 l0

data Let1627472186TSym0 l Source

Constructors

forall arg . (KindOf (Apply Let1627472186TSym0 arg) ~ KindOf (Let1627472186TSym1 arg)) => Let1627472186TSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627472186TSym0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627472186TSym0 l0 = Let1627472186TSym1 l0

type Let1627472196T wild_1627472157 wild_1627472159 = Apply (Apply TypeDictEntrySym0 wild_1627472157) wild_1627472159 Source

type Let1627472196TSym2 t t = Let1627472196T t t Source

data Let1627472196TSym1 l l Source

Constructors

forall arg . (KindOf (Apply (Let1627472196TSym1 l) arg) ~ KindOf (Let1627472196TSym2 l arg)) => Let1627472196TSym1KindInference

Instances

SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627472196TSym1
type Apply DBusType DBusType (Let1627472196TSym1 l1) l0 = Let1627472196TSym2 l1 l0

data Let1627472196TSym0 l Source

Constructors

forall arg . (KindOf (Apply Let1627472196TSym0 arg) ~ KindOf (Let1627472196TSym1 arg)) => Let1627472196TSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627472196TSym0
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627472196TSym0 l0 = Let1627472196TSym1 l0

type Let1627472204T = TypeVariantSym0 Source

type Let1627472204TSym0 = Let1627472204T Source

type family FlattenRepType a :: [DBusType] Source

Equations

FlattenRepType TypeUnit = `[]`
FlattenRepType (TypeStruct ts) = ts
FlattenRepType (DBusSimpleType wild_1627472167) = Apply (Apply (:$) (Let1627472175TSym1 wild_1627472167)) `[]`
FlattenRepType (TypeArray wild_1627472165) = Apply (Apply (:$) (Let1627472180TSym1 wild_1627472165)) `[]`
FlattenRepType (TypeDict wild_1627472161 wild_1627472163) = Apply (Apply (:$) (Let1627472186TSym2 wild_1627472161 wild_1627472163)) `[]`
FlattenRepType (TypeDictEntry wild_1627472157 wild_1627472159) = Apply (Apply (:$) (Let1627472196TSym2 wild_1627472157 wild_1627472159)) `[]`
FlattenRepType TypeVariant = Apply (Apply (:$) Let1627472204TSym0) `[]`

type FlattenRepTypeSym1 t = FlattenRepType t Source

data FlattenRepTypeSym0 l Source

Constructors

forall arg . (KindOf (Apply FlattenRepTypeSym0 arg) ~ KindOf (FlattenRepTypeSym1 arg)) => FlattenRepTypeSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusType [DBusType] -> *) FlattenRepTypeSym0
type Apply [DBusType] DBusType FlattenRepTypeSym0 l0 = FlattenRepTypeSym1 l0

sFlattenRepType :: forall t. Sing t -> Sing (Apply FlattenRepTypeSym0 t) Source

flattenRepType :: DBusType -> [DBusType] 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
(Functor m, Monad m) => Alternative (MethodHandlerT m)
Monad m => Monad (MethodHandlerT m)
Functor m => Functor (MethodHandlerT m)
Monad m => MonadPlus (MethodHandlerT m)
(Monad m, Functor m) => Applicative (MethodHandlerT m)
MonadIO m => MonadIO (MethodHandlerT m)
Representable t => RepMethod (MethodHandlerT IO t)
SingI [DBusType] t => IsMethod (MethodHandlerT IO (DBusArguments t))
type RepMethodArgs (MethodHandlerT IO t) = [] DBusType
type RepMethodValue (MethodHandlerT IO t) = FlattenRepType (RepType t)
type ArgTypes (MethodHandlerT IO (DBusArguments ts)) = [] DBusType
type ResultType (MethodHandlerT IO (DBusArguments ts)) = ts

methodError :: Monad m => MsgError -> MethodHandlerT m a Source

catchMethodError :: Monad m => MethodHandlerT m a -> (MsgError -> MethodHandlerT m a) -> MethodHandlerT m a Source

runMethodHandlerT :: MethodHandlerT m a -> m (Either MsgError a, [SomeSignal]) Source

data Signal a Source

Constructors

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

Instances

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

data SomeSignal where Source

Constructors

SomeSignal :: SingI a => Signal a -> SomeSignal

Instances

Show SomeSignal

data SignalDescription a Source

Constructors

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

Instances

Eq (SignalDescription a)
SingI [DBusType] a => Show (SignalDescription a)
Typeable ([DBusType] -> *) SignalDescription

signalDArgumentTypes :: SingI ts => SignalDescription ts -> [DBusType] Source

data SomeSignalDescription where Source

Constructors

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

Instances

Eq SomeSignalDescription
Show SomeSignalDescription
Typeable * SomeSignalDescription

type family ArgsOf x :: Parity Source

Equations

ArgsOf (IO x) = Null
ArgsOf (MethodHandlerT IO x) = Null
ArgsOf (a -> b) = Arg (ArgsOf b)

type family ArgParity x :: Parity Source

Equations

ArgParity [] = Null
ArgParity (x : xs) = Arg (ArgParity xs)

data ArgumentDescription parity where Source

Constructors

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

Instances

Show (ArgumentDescription n)
Typeable (Parity -> *) ArgumentDescription

adToList :: ArgumentDescription n -> [Text] Source

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

Constructors

ArgsNil :: DBusArguments []
ArgsCons :: DBusValue a -> DBusArguments as -> DBusArguments (a : as)

Instances

Eq (DBusArguments t)
SingI [DBusType] a => Show (DBusArguments a)
SingI [DBusType] t => IsMethod (IO (DBusArguments t))
SingI [DBusType] t => IsMethod (MethodHandlerT IO (DBusArguments t))
type ArgTypes (IO (DBusArguments ts)) = [] DBusType
type ResultType (IO (DBusArguments ts)) = ts
type ArgTypes (MethodHandlerT IO (DBusArguments ts)) = [] DBusType
type ResultType (MethodHandlerT IO (DBusArguments ts)) = ts

data SomeDBusArguments where Source

Constructors

SDBA :: SingI ts => DBusArguments ts -> SomeDBusArguments

Instances

Show SomeDBusArguments

listToSomeArguments :: [SomeDBusValue] -> SomeDBusArguments Source

argsToValues :: SomeDBusArguments -> [SomeDBusValue] Source

argsToStruct :: DBusArguments (t : ts) -> DBusStruct (t : ts) Source

structToArgs :: DBusStruct ts -> DBusArguments ts Source

maybeArgsToStruct :: (SingI ts, SingI ss) => DBusArguments ts -> Maybe (DBusStruct ss) Source

singletonArg :: DBusValue a -> DBusArguments `[a]` Source

showArgs :: Sing a -> DBusArguments a -> String Source

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

Constructors

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

Instances

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

data SomeDBusStruct where Source

Constructors

SDBS :: SingI ts => DBusStruct ts -> SomeDBusStruct

showStruct :: Sing a -> DBusStruct a -> String Source

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)
SingI DBusType t => Show (DBusValue t)
SingI DBusType t => Representable (DBusValue t)
(IsMethod f, SingI DBusType t) => IsMethod (DBusValue t -> f)
type RepType (DBusValue t) = t
type ArgTypes (DBusValue t -> f) = (:) DBusType t (ArgTypes f)
type ResultType (DBusValue t -> f) = ResultType f

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

data SomeDBusValue where Source

Constructors

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

Instances

Show SomeDBusValue

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

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

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

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

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

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 Bool
Representable Double
Representable Int16
Representable Int32
Representable Int64
Representable Word8
Representable Word16
Representable Word32
Representable Word64
Representable ()
Representable ByteString
Representable Text
Representable Signature
Representable ObjectPath
Representable Endian
Representable HeaderField
Representable HeaderFields
Representable Flags
Representable MessageType
Representable MessageHeader
(Representable a, SingI DBusType (RepType a)) => Representable [a]
SingI DBusType t => Representable (DBusValue t)
(Representable a, Representable b) => Representable (a, b)
(Ord k, Representable k, (~) DBusType (RepType k) (DBusSimpleType r), SingI DBusSimpleType r, Representable v) => Representable (Map k v)
(Representable a, Representable b, Representable c) => Representable (a, b, c)
(Representable a, Representable b, Representable c, Representable d) => Representable (a, b, c, d)
(Representable a, Representable b, Representable c, Representable d, Representable e) => Representable (a, b, c, d, e)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f) => Representable (a, b, c, d, e, f)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g) => Representable (a, b, c, d, e, f, g)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h) => Representable (a, b, c, d, e, f, g, h)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i) => Representable (a, b, c, d, e, f, g, h, i)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j) => Representable (a, b, c, d, e, f, g, h, i, j)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k) => Representable (a, b, c, d, e, f, g, h, i, j, k)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l) => Representable (a, b, c, d, e, f, g, h, i, j, k, l)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r, Representable s) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)
(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r, Representable s, Representable t) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)

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 Method where Source

Constructors

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

Instances

Show Method

data PropertyAccess Source

Constructors

Read
Write
ReadWrite

Instances

Eq PropertyAccess
Data PropertyAccess
Show PropertyAccess
Typeable * PropertyAccess

data PropertyEmitsChangedSignal Source

Constructors

PECSTrue
PECSInvalidates
PECSFalse

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

propertyType :: SingI t => Property t -> DBusType Source

data RemoteProperty a Source

Constructors

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

Instances

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

data Annotation Source

Constructors

Annotation
Fields annotationName :: Text annotationValue :: Text

Instances

Eq Annotation
Data Annotation
Show Annotation
Typeable * Annotation

data SignalArgument Source

Constructors

SignalArgument
Fields signalArgumentName :: Text signalArgumentType :: DBusType

data Interface Source

Constructors

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

Instances

Monoid Interface

newtype Object Source

Constructors

Object
Fields interfaces :: Map Text Interface

Instances

Monoid Object

object :: Text -> Interface -> Object Source

newtype Objects Source

Constructors

Objects
Fields unObjects :: Map ObjectPath Object

Instances

Monoid Objects

root :: ObjectPath -> Object -> Objects Source

data MsgError Source

Constructors

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

Instances

Show MsgError
Exception MsgError
Typeable * MsgError

data MethodError Source

Constructors

MethodErrorMessage [SomeDBusValue]
MethodSignatureMissmatch [SomeDBusValue]

Instances

Show MethodError
Exception MethodError
Typeable * MethodError

type Serial = Word32 Source

type Slot = Either [SomeDBusValue] [SomeDBusValue] -> STM () Source

type AnswerSlots = Map Serial Slot Source

data Match a Source

Constructors

Match a
MatchAny

Instances

Show a => Show (Match a)

checkMatch :: Eq a => Match a -> Match a -> Bool Source

maybeToMatch :: Maybe a -> Match a Source

data MatchSignal Source

Constructors

MatchSignal
Fields matchInterface :: Maybe Text matchMember :: Maybe Text matchPath :: Maybe ObjectPath matchSender :: Maybe Text

Instances

Eq MatchSignal
Ord MatchSignal
Show MatchSignal

anySignal :: MatchSignal Source

type SignalSlots = [((Match Text, Match Text, Match ObjectPath, Match Text), SomeSignal -> IO ())] Source

type PropertySlots = Map (ObjectPath, Text, Text) [Maybe SomeDBusValue -> IO ()] Source

data DBusConnection Source

Constructors

DBusConnection
Fields dBusCreateSerial :: STM Serial dBusAnswerSlots :: TVar AnswerSlots dbusSignalSlots :: TVar SignalSlots dbusPropertySlots :: TVar PropertySlots dBusWriteLock :: TMVar (Builder -> IO ()) dBusConnectionName :: Text connectionAliveRef :: TVar Bool

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)

data SomeMethodDescription where Source

Constructors

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

Equals_1627467044 TypeByte TypeByte = TrueSym0
Equals_1627467044 TypeBoolean TypeBoolean = TrueSym0
Equals_1627467044 TypeInt16 TypeInt16 = TrueSym0
Equals_1627467044 TypeUInt16 TypeUInt16 = TrueSym0
Equals_1627467044 TypeInt32 TypeInt32 = TrueSym0
Equals_1627467044 TypeUInt32 TypeUInt32 = TrueSym0
Equals_1627467044 TypeInt64 TypeInt64 = TrueSym0
Equals_1627467044 TypeUInt64 TypeUInt64 = TrueSym0
Equals_1627467044 TypeDouble TypeDouble = TrueSym0
Equals_1627467044 TypeUnixFD TypeUnixFD = TrueSym0
Equals_1627467044 TypeString TypeString = TrueSym0
Equals_1627467044 TypeObjectPath TypeObjectPath = TrueSym0
Equals_1627467044 TypeSignature TypeSignature = TrueSym0
Equals_1627467044 (a :: DBusSimpleType) (b :: DBusSimpleType) = FalseSym0