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 Source
Data ObjectPath Source
Ord ObjectPath Source
Show ObjectPath Source
IsString ObjectPath Source
type RepType ObjectPath = DBusSimpleType TypeObjectPath Source

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 Source
Show Signature Source
type RepType Signature = DBusSimpleType TypeSignature 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

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

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

ppType :: DBusType -> String Source

data Parity Source

Constructors

Null
Arg Parity

Instances

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

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 = (Sing :: DBusSimpleType -> *) 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 Source
type Apply DBusType DBusSimpleType DBusSimpleTypeSym0 l0 = DBusSimpleTypeSym1 l0 Source

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 Source
type Apply DBusType DBusType TypeArraySym0 l0 = TypeArraySym1 l0 Source

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 Source
type Apply DBusType [DBusType] TypeStructSym0 l0 = TypeStructSym1 l0 Source

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 Source
type Apply DBusType DBusType (TypeDictSym1 l1) l0 = TypeDictSym2 l1 l0 Source

data TypeDictSym0 l Source

Constructors

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

Instances

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

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 Source
type Apply DBusType DBusType (TypeDictEntrySym1 l1) l0 = TypeDictEntrySym2 l1 l0 Source

data TypeDictEntrySym0 l Source

Constructors

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

Instances

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

type TypeUnitSym0 = TypeUnit Source

type SDBusType = (Sing :: DBusType -> *) 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 Source
type Apply Parity Parity ArgSym0 l0 = ArgSym1 l0 Source

type SParity = (Sing :: Parity -> *) Source

type family Equals_1627484019 a b :: Bool Source

Equations

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

type family Equals_1627483977 a b :: Bool Source

Equations

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

type family Let1627489513T wild_1627489505 Source

Equations

Let1627489513T wild_1627489505 = Apply DBusSimpleTypeSym0 wild_1627489505

type Let1627489513TSym1 t = Let1627489513T t Source

data Let1627489513TSym0 l Source

Constructors

forall arg . (KindOf (Apply Let1627489513TSym0 arg) ~ KindOf (Let1627489513TSym1 arg)) => Let1627489513TSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType DBusType -> *) Let1627489513TSym0 Source
type Apply DBusType DBusSimpleType Let1627489513TSym0 l0 = Let1627489513TSym1 l0 Source

type family Let1627489518T wild_1627489503 Source

Equations

Let1627489518T wild_1627489503 = Apply TypeArraySym0 wild_1627489503

type Let1627489518TSym1 t = Let1627489518T t Source

data Let1627489518TSym0 l Source

Constructors

forall arg . (KindOf (Apply Let1627489518TSym0 arg) ~ KindOf (Let1627489518TSym1 arg)) => Let1627489518TSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusType DBusType -> *) Let1627489518TSym0 Source
type Apply DBusType DBusType Let1627489518TSym0 l0 = Let1627489518TSym1 l0 Source

type family Let1627489524T wild_1627489499 wild_1627489501 Source

Equations

Let1627489524T wild_1627489499 wild_1627489501 = Apply (Apply TypeDictSym0 wild_1627489499) wild_1627489501

type Let1627489524TSym2 t t = Let1627489524T t t Source

data Let1627489524TSym1 l l Source

Constructors

forall arg . (KindOf (Apply (Let1627489524TSym1 l) arg) ~ KindOf (Let1627489524TSym2 l arg)) => Let1627489524TSym1KindInference

Instances

SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627489524TSym1 Source
type Apply DBusType DBusType (Let1627489524TSym1 l1) l0 = Let1627489524TSym2 l1 l0 Source

data Let1627489524TSym0 l Source

Constructors

forall arg . (KindOf (Apply Let1627489524TSym0 arg) ~ KindOf (Let1627489524TSym1 arg)) => Let1627489524TSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627489524TSym0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627489524TSym0 l0 = Let1627489524TSym1 l0 Source

type family Let1627489534T wild_1627489495 wild_1627489497 Source

Equations

Let1627489534T wild_1627489495 wild_1627489497 = Apply (Apply TypeDictEntrySym0 wild_1627489495) wild_1627489497

type Let1627489534TSym2 t t = Let1627489534T t t Source

data Let1627489534TSym1 l l Source

Constructors

forall arg . (KindOf (Apply (Let1627489534TSym1 l) arg) ~ KindOf (Let1627489534TSym2 l arg)) => Let1627489534TSym1KindInference

Instances

SuppressUnusedWarnings (DBusSimpleType -> TyFun DBusType DBusType -> *) Let1627489534TSym1 Source
type Apply DBusType DBusType (Let1627489534TSym1 l1) l0 = Let1627489534TSym2 l1 l0 Source

data Let1627489534TSym0 l Source

Constructors

forall arg . (KindOf (Apply Let1627489534TSym0 arg) ~ KindOf (Let1627489534TSym1 arg)) => Let1627489534TSym0KindInference

Instances

SuppressUnusedWarnings (TyFun DBusSimpleType (TyFun DBusType DBusType -> ) -> ) Let1627489534TSym0 Source
type Apply (TyFun DBusType DBusType -> *) DBusSimpleType Let1627489534TSym0 l0 = Let1627489534TSym1 l0 Source

type family Let1627489542T Source

Equations

Let1627489542T = TypeVariantSym0

type Let1627489542TSym0 = Let1627489542T 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) `[]`

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 Source
type Apply [DBusType] DBusType FlattenRepTypeSym0 l0 = FlattenRepTypeSym1 l0 Source

sFlattenRepType :: forall t. Sing t -> Sing (Apply FlattenRepTypeSym0 t :: [DBusType]) 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 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

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

data SomeSignal where Source

Constructors

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

Instances

Show SomeSignal 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

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

data SomeSignalDescription where Source

Constructors

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

Instances

Eq SomeSignalDescription Source
Show SomeSignalDescription Source

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

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) Source
SingI [DBusType] a => Show (DBusArguments a) Source
SingI [DBusType] t => IsMethod (IO (DBusArguments t)) Source
SingI [DBusType] t => IsMethod (MethodHandlerT IO (DBusArguments t)) Source
type ArgTypes (IO (DBusArguments ts)) = [] DBusType Source
type ResultType (IO (DBusArguments ts)) = ts Source
type ArgTypes (MethodHandlerT IO (DBusArguments ts)) = [] DBusType Source
type ResultType (MethodHandlerT IO (DBusArguments ts)) = ts Source

data SomeDBusArguments where Source

Constructors

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

Instances

Show SomeDBusArguments Source

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) Source
SingI [DBusType] a => Show (DBusStruct a) Source

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) 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 SomeDBusValue where Source

Constructors

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

Instances

Show SomeDBusValue Source

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 HeaderField Source
Representable HeaderFields Source
Representable Flags Source
Representable MessageType Source
Representable MessageHeader Source

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

data PropertyAccess Source

Constructors

Read
Write
ReadWrite

Instances

Eq PropertyAccess Source
Data PropertyAccess Source
Show PropertyAccess Source

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) Source
Show (RemoteProperty k a) Source

data Annotation Source

Constructors

Annotation
Fields annotationName :: Text annotationValue :: Text

Instances

Eq Annotation Source
Data Annotation Source
Show Annotation Source

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 Source

newtype Object Source

Constructors

Object
Fields interfaces :: Map Text Interface

Instances

Monoid Object Source

object :: Text -> Interface -> Object Source

newtype Objects Source

Constructors

Objects
Fields unObjects :: Map ObjectPath Object

Instances

Monoid Objects Source

root :: ObjectPath -> Object -> Objects Source

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

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

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 Source
Ord MatchSignal Source
Show MatchSignal Source

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

data SomeMethodDescription where Source

Constructors

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

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