DBus.Types

Documentation

data ObjectPath

Constructors

ObjectPath

Fields

opAbsolute :: Bool

opParts :: [Text]

Instances

Eq ObjectPath

Data ObjectPath

Show ObjectPath

Typeable ObjectPath

Representable ObjectPath

newtype Signature

Constructors

Signature

Fields

fromSignature :: [DBusType]

Instances

Eq Signature

Show Signature

Representable Signature

objectPath :: Text -> ObjectPath

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

objectPathToText :: ObjectPath -> Text

stripObjectPrefix :: ObjectPath -> ObjectPath -> Maybe ObjectPath

isPathPrefix :: ObjectPath -> ObjectPath -> Bool

isRoot :: ObjectPath -> Bool

isEmpty :: ObjectPath -> Bool

data DBusSimpleType

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

SingKind DBusSimpleType (KProxy DBusSimpleType)

SEq DBusSimpleType (KProxy DBusSimpleType)

ppSimpleType :: DBusSimpleType -> String

data DBusType

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

SingKind DBusType (KProxy DBusType)

SingI [DBusType] n0 => SingI DBusType (TypeStruct n0)

SingI DBusType n0 => SingI DBusType (TypeArray n0)

SingI DBusSimpleType n0 => SingI DBusType (DBusSimpleType n0)

SEq DBusType (KProxy DBusType)

(SingI DBusSimpleType n0, SingI DBusType n1) => SingI DBusType (TypeDictEntry n0 n1)

(SingI DBusSimpleType n0, SingI DBusType n1) => SingI DBusType (TypeDict n0 n1)

ppType :: DBusType -> String

data Parity

Constructors

Null

Arg Parity

Instances

Eq Parity

Data Parity

Show Parity

Typeable Parity

SingI Parity Null

SingKind Parity (KProxy Parity)

SingI Parity n0 => SingI Parity (Arg n0)

SEq Parity (KProxy Parity)

type family ArgsOf x :: Parity

data MethodDescription parity where

Constructors

:-> :: Text -> MethodDescription n -> MethodDescription (Arg n)

Result :: Text -> MethodDescription Null

type SDBusSimpleType z = Sing z

type SDBusType z = Sing z

type SParity z = Sing z

data DBusStruct where

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

Constructors

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

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

data DBusValue where

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 => IsMethod (IO (DBusValue t))

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

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

data SomeDBusValue where

Constructors

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

Instances

Show SomeDBusValue

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

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

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

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

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

class Representable a where

Associated Types

type RepType a :: DBusType

Methods

toRep :: a -> DBusValue (RepType a)

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

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]

(Representable l, Representable r, SingI DBusType (RepType l), SingI DBusType (RepType r)) => Representable (Either l r)

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

(Ord k, Representable k, ~ DBusType (RepType k) (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

Constructors

MReturn :: SingI t => IO (DBusValue t) -> MethodWrapper `[]` t

MAsk :: SingI t => (DBusValue t -> MethodWrapper avs rv) -> MethodWrapper (t : avs) rv

type family ArgParity x :: Parity

data Method where

Constructors

Method :: (SingI avs, SingI t) => MethodWrapper avs t -> Text -> MethodDescription (ArgParity avs) -> Method

Instances

Show Method

data Annotation

Constructors

Annotation

Fields

annotationName :: Text

annotationValue :: Text

Instances

Eq Annotation

Data Annotation

Show Annotation

Typeable Annotation

data Interface

Constructors

Interface

Fields

interfaceName :: Text

interfaceMethods :: [Method]

interfaceAnnotations :: [Annotation]

Instances

Eq Interface

Show Interface

data Object

Constructors

Object

Fields

objectObjectPath :: ObjectPath

objectInterfaces :: [Interface]

objectSubObjects :: [Object]

Instances

Show Object

data MsgError

Constructors

MsgError

Fields

errorName :: Text

errorText :: Maybe Text

errorBody :: [SomeDBusValue]

Instances

Show MsgError

Typeable MsgError

Exception MsgError

Error MsgError

data Connection

Constructors

Connection

Fields

primConnection :: ()

answerSlots :: TVar (Map Word32 (TMVar (Either MsgError SomeDBusValue)))

mainLoop :: ThreadId

data MethodError

Constructors

MethodErrorMessage [SomeDBusValue]

MethodSignatureMissmatch SomeDBusValue

Instances

Show MethodError

Typeable MethodError

Exception MethodError

type Serial = Word32

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

type AnswerSlots = Map Serial Slot

data DBusConnection

Constructors

DBusConnection

Fields

dBusCreateSerial :: STM Serial

dBusAnswerSlots :: TVar AnswerSlots

dBusWriteLock :: TMVar (Builder -> IO ())

dBusConnectionName :: Text

connectionAliveRef :: TVar Bool