- data Type
- = DBusBoolean
- | DBusByte
- | DBusInt16
- | DBusInt32
- | DBusInt64
- | DBusWord16
- | DBusWord32
- | DBusWord64
- | DBusDouble
- | DBusString
- | DBusSignature
- | DBusObjectPath
- | DBusVariant
- | DBusArray Type
- | DBusDictionary Type Type
- | DBusStructure [Type]
- typeCode :: Type -> Text
- data Variant
- class Variable a where
- toVariant :: a -> Variant
- fromVariant :: Variant -> Maybe a
- variantType :: Variant -> Type
- data Signature
- signatureTypes :: Signature -> [Type]
- strSignature :: Signature -> Text
- mkSignature :: Text -> Maybe Signature
- mkSignature_ :: Text -> Signature
- data ObjectPath
- strObjectPath :: ObjectPath -> Text
- mkObjectPath :: Text -> Maybe ObjectPath
- mkObjectPath_ :: Text -> ObjectPath
- data Array
- arrayType :: Array -> Type
- arrayItems :: Array -> [Variant]
- toArray :: Variable a => Type -> [a] -> Maybe Array
- fromArray :: Variable a => Array -> Maybe [a]
- arrayFromItems :: Type -> [Variant] -> Maybe Array
- arrayToBytes :: Array -> Maybe ByteString
- arrayFromBytes :: ByteString -> Array
- data Dictionary
- dictionaryItems :: Dictionary -> [(Variant, Variant)]
- dictionaryKeyType :: Dictionary -> Type
- dictionaryValueType :: Dictionary -> Type
- toDictionary :: (Variable a, Variable b) => Type -> Type -> Map a b -> Maybe Dictionary
- fromDictionary :: (Variable a, Ord a, Variable b) => Dictionary -> Maybe (Map a b)
- dictionaryFromItems :: Type -> Type -> [(Variant, Variant)] -> Maybe Dictionary
- dictionaryToArray :: Dictionary -> Array
- arrayToDictionary :: Array -> Maybe Dictionary
- data Structure = Structure [Variant]
- data BusName
- strBusName :: BusName -> Text
- mkBusName :: Text -> Maybe BusName
- mkBusName_ :: Text -> BusName
- data InterfaceName
- strInterfaceName :: InterfaceName -> Text
- mkInterfaceName :: Text -> Maybe InterfaceName
- mkInterfaceName_ :: Text -> InterfaceName
- data ErrorName
- strErrorName :: ErrorName -> Text
- mkErrorName :: Text -> Maybe ErrorName
- mkErrorName_ :: Text -> ErrorName
- data MemberName
- strMemberName :: MemberName -> Text
- mkMemberName :: Text -> Maybe MemberName
- mkMemberName_ :: Text -> MemberName
Available types
typeCode :: Type -> TextSource
Every type has an associated type code; a textual representation of the type, useful for debugging.
Variants
Variant
s may contain any other built-in D-Bus value. Besides
representing native VARIANT
values, they allow type-safe storage and
deconstruction of heterogeneous collections.
variantType :: Variant -> TypeSource
Every variant is strongly-typed; that is, the type of its contained value is known at all times. This function retrieves that type, so that the correct cast can be used to retrieve the value.
Signatures
signatureTypes :: Signature -> [Type]Source
strSignature :: Signature -> TextSource
mkSignature :: Text -> Maybe SignatureSource
mkSignature_ :: Text -> SignatureSource
Object paths
data ObjectPath Source
Arrays
arrayType :: Array -> TypeSource
This is the type contained within the array, not the type of the array itself.
arrayItems :: Array -> [Variant]Source
Dictionaries
dictionaryItems :: Dictionary -> [(Variant, Variant)]Source
toDictionary :: (Variable a, Variable b) => Type -> Type -> Map a b -> Maybe DictionarySource
fromDictionary :: (Variable a, Ord a, Variable b) => Dictionary -> Maybe (Map a b)Source
dictionaryFromItems :: Type -> Type -> [(Variant, Variant)] -> Maybe DictionarySource
Structures
Names
Bus names
strBusName :: BusName -> TextSource
mkBusName_ :: Text -> BusNameSource
Interface names
data InterfaceName Source
Error names
strErrorName :: ErrorName -> TextSource
mkErrorName :: Text -> Maybe ErrorNameSource
mkErrorName_ :: Text -> ErrorNameSource
Member names
data MemberName Source