- data Type
- = TypeBoolean
- | TypeWord8
- | TypeWord16
- | TypeWord32
- | TypeWord64
- | TypeInt16
- | TypeInt32
- | TypeInt64
- | TypeDouble
- | TypeString
- | TypeSignature
- | TypeObjectPath
- | TypeVariant
- | TypeArray Type
- | TypeDictionary Type Type
- | TypeStructure [Type]
- data Signature
- signature :: Text -> Maybe Signature
- signature_ :: Text -> Signature
- signatureText :: Signature -> Text
- signatureTypes :: Signature -> [Type]
- class IsVariant a => IsValue a
- class IsValue a => IsAtom a
- typeOf :: IsValue a => a -> Type
- data Variant
- class IsVariant a where
- toVariant :: a -> Variant
- fromVariant :: Variant -> Maybe a
- variantType :: Variant -> Type
- data ObjectPath
- objectPath :: Text -> Maybe ObjectPath
- objectPath_ :: Text -> ObjectPath
- objectPathText :: ObjectPath -> Text
- data InterfaceName
- interfaceName :: Text -> Maybe InterfaceName
- interfaceName_ :: Text -> InterfaceName
- interfaceNameText :: InterfaceName -> Text
- data MemberName
- memberName :: Text -> Maybe MemberName
- memberName_ :: Text -> MemberName
- memberNameText :: MemberName -> Text
- data ErrorName
- errorName :: Text -> Maybe ErrorName
- errorName_ :: Text -> ErrorName
- errorNameText :: ErrorName -> Text
- data BusName
- busName :: Text -> Maybe BusName
- busName_ :: Text -> BusName
- busNameText :: BusName -> Text
- data Structure
- data Array
- data Dictionary
- structureItems :: Structure -> [Variant]
- arrayItems :: Array -> [Variant]
- dictionaryItems :: Dictionary -> [(Variant, Variant)]
Documentation
signature_ :: Text -> SignatureSource
signatureText :: Signature -> TextSource
signatureTypes :: Signature -> [Type]Source
class IsVariant a => IsValue a Source
IsValue Bool | |
IsValue Double | |
IsValue Int16 | |
IsValue Int32 | |
IsValue Int64 | |
IsValue Word8 | |
IsValue Word16 | |
IsValue Word32 | |
IsValue Word64 | |
IsValue String | |
IsValue ByteString | |
IsValue ByteString | |
IsValue Text | |
IsValue Text | |
IsValue ObjectPath | |
IsValue Variant | |
IsValue Signature | |
IsValue a => IsValue [a] | |
IsValue a => IsValue (Vector a) | |
(IsValue a1, IsValue a2) => IsValue (a1, a2) | |
(Ord k, IsAtom k, IsValue v) => IsValue (Map k v) | |
(IsValue a1, IsValue a2, IsValue a3) => IsValue (a1, a2, a3) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4) => IsValue (a1, a2, a3, a4) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5) => IsValue (a1, a2, a3, a4, a5) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6) => IsValue (a1, a2, a3, a4, a5, a6) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7) => IsValue (a1, a2, a3, a4, a5, a6, a7) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7, IsValue a8) => IsValue (a1, a2, a3, a4, a5, a6, a7, a8) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7, IsValue a8, IsValue a9) => IsValue (a1, a2, a3, a4, a5, a6, a7, a8, a9) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7, IsValue a8, IsValue a9, IsValue a10) => IsValue (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7, IsValue a8, IsValue a9, IsValue a10, IsValue a11) => IsValue (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7, IsValue a8, IsValue a9, IsValue a10, IsValue a11, IsValue a12) => IsValue (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7, IsValue a8, IsValue a9, IsValue a10, IsValue a11, IsValue a12, IsValue a13) => IsValue (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7, IsValue a8, IsValue a9, IsValue a10, IsValue a11, IsValue a12, IsValue a13, IsValue a14) => IsValue (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) | |
(IsValue a1, IsValue a2, IsValue a3, IsValue a4, IsValue a5, IsValue a6, IsValue a7, IsValue a8, IsValue a9, IsValue a10, IsValue a11, IsValue a12, IsValue a13, IsValue a14, IsValue a15) => IsValue (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) |
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.
data ObjectPath Source
objectPath :: Text -> Maybe ObjectPathSource
objectPath_ :: Text -> ObjectPathSource
data InterfaceName Source
data MemberName Source
memberName :: Text -> Maybe MemberNameSource
memberName_ :: Text -> MemberNameSource
errorName_ :: Text -> ErrorNameSource
errorNameText :: ErrorName -> TextSource
busNameText :: BusName -> TextSource
structureItems :: Structure -> [Variant]Source
arrayItems :: Array -> [Variant]Source
dictionaryItems :: Dictionary -> [(Variant, Variant)]Source