- data Atom
- class Variable a => Atomic a where
- fromAtom :: Variable a => Atom -> Maybe a
- atomSignature :: Atom -> Signature
- atomType :: Atom -> Type
- atomToVariant :: Atom -> Variant
- atomFromVariant :: Variant -> Maybe Atom
- data Variant
- class Variable a where
- defaultSignature :: a -> Signature
- toVariant :: a -> Variant
- fromVariant :: Variant -> Maybe a
- variantSignature :: Variant -> Signature
- variantType :: Variant -> Type
- data Array
- toArray :: Variable a => [a] -> Maybe Array
- fromArray :: Variable a => Array -> Maybe [a]
- arrayItems :: Array -> [Variant]
- arrayFromItems :: Signature -> [Variant] -> Maybe Array
- arraySignature :: Array -> Signature
- data Dictionary
- toDictionary :: (Atomic a, Variable b) => [(a, b)] -> Maybe Dictionary
- fromDictionary :: (Atomic a, Variable b) => Dictionary -> Maybe [(a, b)]
- dictionaryItems :: Dictionary -> [(Atom, Variant)]
- dictionaryFromItems :: Signature -> Signature -> [(Atom, Variant)] -> Maybe Dictionary
- dictionarySignature :: Dictionary -> Signature
- data Structure = Structure [Variant]
- structureSignature :: Structure -> Signature
- data Endianness
- data InterfaceName
- mkInterfaceName :: String -> Maybe InterfaceName
- mkInterfaceName' :: String -> InterfaceName
- strInterfaceName :: InterfaceName -> String
- data BusName
- mkBusName :: String -> Maybe BusName
- mkBusName' :: String -> BusName
- strBusName :: BusName -> String
- data MemberName
- mkMemberName :: String -> Maybe MemberName
- mkMemberName' :: String -> MemberName
- strMemberName :: MemberName -> String
- data ErrorName
- mkErrorName :: String -> Maybe ErrorName
- mkErrorName' :: String -> ErrorName
- strErrorName :: ErrorName -> String
- data ObjectPath
- mkObjectPath :: String -> Maybe ObjectPath
- mkObjectPath' :: String -> ObjectPath
- strObjectPath :: ObjectPath -> String
- newtype Serial = Serial Word32
- nextSerial :: Serial -> Serial
- firstSerial :: Serial
- data Signature
- data Type
- = BooleanT
- | ByteT
- | Int16T
- | UInt16T
- | Int32T
- | UInt32T
- | Int64T
- | UInt64T
- | DoubleT
- | StringT
- | ObjectPathT
- | SignatureT
- | ArrayT Type
- | DictionaryT Type Type
- | StructureT [Type]
- | VariantT
- signatureTypes :: Signature -> [Type]
- mkSignature :: String -> Maybe Signature
- mkSignature' :: String -> Signature
- strSignature :: Signature -> String
- typeString :: Type -> String
Atoms
atomSignature :: Atom -> SignatureSource
atomToVariant :: Atom -> VariantSource
Containers
Variants
defaultSignature :: a -> SignatureSource
toVariant :: a -> VariantSource
fromVariant :: Variant -> Maybe aSource
variantType :: Variant -> TypeSource
Arrays
arrayItems :: Array -> [Variant]Source
Dictionaries
toDictionary :: (Atomic a, Variable b) => [(a, b)] -> Maybe DictionarySource
fromDictionary :: (Atomic a, Variable b) => Dictionary -> Maybe [(a, b)]Source
dictionaryItems :: Dictionary -> [(Atom, Variant)]Source
dictionaryFromItems :: Signature -> Signature -> [(Atom, Variant)] -> Maybe DictionarySource
Structures
Endianness
Names
Interface names
data InterfaceName Source
Bus names
mkBusName' :: String -> BusNameSource
strBusName :: BusName -> StringSource
Member names
data MemberName Source
Error names
Object paths
data ObjectPath Source
Message serials
nextSerial :: Serial -> SerialSource
Signatures
signatureTypes :: Signature -> [Type]Source
typeString :: Type -> StringSource