Network.DBus.Value

Documentation

data Endianness

Constructors

LittleEndian

BigEndian

Instances

Show Endianness

class (Eq a, Show a, Typeable a) => DValue a where

Methods

dtype :: a -> DType

alignment :: a -> Bytes

serializer :: a -> Serializer

deserializer :: Deserializer a

Instances

DValue Bool

DValue Char

DValue Double

DValue Int16

DValue Int32

DValue Int64

DValue Word8

DValue Word16

DValue Word32

DValue Word64

DValue Signature

DValue Variant

DValue DString

DValue ObjectPath

DValue a => DValue [a]

(DValue a, DValue b) => DValue (a, b)

(DBasicTypedValue k, DValue v) => DValue (Map k v)

(DValue a, DValue b, DValue c) => DValue (a, b, c)

(DValue a, DValue b, DValue c, DValue d) => DValue (a, b, c, d)

(DValue a, DValue b, DValue c, DValue d, DValue e) => DValue (a, b, c, d, e)

class (DValue a, Ord a) => DBasicTypedValue a where

Methods

dbasictype :: a -> DBasicType

Instances

DBasicTypedValue Bool

DBasicTypedValue Char

DBasicTypedValue Double

DBasicTypedValue Int16

DBasicTypedValue Int32

DBasicTypedValue Int64

DBasicTypedValue Word8

DBasicTypedValue Word16

DBasicTypedValue Word32

DBasicTypedValue Word64

DBasicTypedValue Signature

DBasicTypedValue DString

DBasicTypedValue ObjectPath

data ObjectPath

Instances

Eq ObjectPath

Ord ObjectPath

Show ObjectPath

Typeable ObjectPath

DBasicTypedValue ObjectPath

DValue ObjectPath

mkObjectPath :: Monad m => String -> m ObjectPath

getPath :: ObjectPath -> String

data DString

Instances

Eq DString

Ord DString

Show DString

Typeable DString

DBasicTypedValue DString

DValue DString

mkDString :: Monad m => String -> m DString

mkDString0 :: String -> DString

getString :: DString -> String

data Variant

Constructors

forall v . DValue v => Variant

Fields

unVariant :: v

Instances

Eq Variant

Show Variant

Typeable Variant

DValue Variant

fromVariant :: Typeable a => Variant -> Maybe a

type Bytes = Int

type Serializer = ReaderT Endianness (StateT Bytes PutM) ()

runSerializer :: Endianness -> Serializer -> ByteString

advanceBy :: Bytes -> Serializer

padTo :: Bytes -> Serializer

type Deserializer a = ReaderT Endianness Get a

runDeserializer :: Endianness -> Deserializer a -> ByteString -> a

skipTo :: Bytes -> Deserializer ()

deserializeAs :: Signature -> Deserializer [Variant]