- class Message a where
- messageTypeCode :: a -> Word8
- messageHeaderFields :: a -> [HeaderField]
- messageFlags :: a -> Set Flag
- messageBody :: a -> [Variant]
- data Flag
- data HeaderField
- data MethodCall = MethodCall {}
- data MethodReturn = MethodReturn {}
- data Error = Error {
- errorName :: ErrorName
- errorSerial :: Serial
- errorDestination :: Maybe BusName
- errorFlags :: Set Flag
- errorBody :: [Variant]
- data Signal = Signal {}
- data ReceivedMessage
- receivedSerial :: ReceivedMessage -> Serial
- receivedSender :: ReceivedMessage -> Maybe BusName
- marshal :: Message a => Endianness -> Serial -> a -> ByteString
- unmarshal :: Monad m => (Word32 -> m ByteString) -> m (Either String ReceivedMessage)
Message structure and fields
messageTypeCode :: a -> Word8Source
messageHeaderFields :: a -> [HeaderField]Source
messageFlags :: a -> Set FlagSource
messageBody :: a -> [Variant]Source
data HeaderField Source
Message types
Method calls
Method returns
Errors
Error | |
|
Signals
Signal | |
|
Received messages
data ReceivedMessage Source
(Un)marshaling
marshal :: Message a => Endianness -> Serial -> a -> ByteStringSource
unmarshal :: Monad m => (Word32 -> m ByteString) -> m (Either String ReceivedMessage)Source