DBus.Types

Synopsis

• data ObjectPath = ObjectPath {
  • opAbsolute :: Bool
  • opParts :: [Text]
  }
• newtype Signature = Signature {
  • fromSignature :: [DBusType]
  }
• objectPath :: Text -> ObjectPath
• objectPathToText :: ObjectPath -> Text
• stripObjectPrefix :: ObjectPath -> ObjectPath -> Maybe ObjectPath
• isPathPrefix :: ObjectPath -> ObjectPath -> Bool
• isRoot :: ObjectPath -> Bool
• isEmpty :: ObjectPath -> Bool
• data DBusSimpleType
  • = TypeByte
  • | TypeBoolean
  • | TypeInt16
  • | TypeUInt16
  • | TypeInt32
  • | TypeUInt32
  • | TypeInt64
  • | TypeUInt64
  • | TypeDouble
  • | TypeUnixFD
  • | TypeString
  • | TypeObjectPath
  • | TypeSignature
• ppSimpleType :: DBusSimpleType -> String
• data DBusType
  • = DBusSimpleType DBusSimpleType
  • | TypeArray DBusType
  • | TypeStruct [DBusType]
  • | TypeDict DBusSimpleType DBusType
  • | TypeVariant
  • | TypeDictEntry DBusSimpleType DBusType
  • | TypeUnit
• ppType :: DBusType -> String
• data Parity
  • = Null
  • | Arg Parity
• type family ArgsOf x :: Parity
• data MethodDescription parity where
  • :-> :: Text -> MethodDescription n -> MethodDescription (Arg n)
  • Result :: Text -> MethodDescription Null
• type SDBusSimpleType z = Sing z
• type SDBusType z = Sing z
• type SParity z = Sing z
• data DBusStruct where
  • StructSingleton :: DBusValue a -> DBusStruct `[a]`
  • StructCons :: DBusValue a -> DBusStruct as -> DBusStruct (a : as)
• data SomeDBusStruct where
  • SDBS :: SingI ts => DBusStruct ts -> SomeDBusStruct
• showStruct :: Sing a -> DBusStruct a -> String
• data DBusValue where
  • DBVByte :: Word8 -> DBusValue (DBusSimpleType TypeByte)
  • DBVBool :: Bool -> DBusValue (DBusSimpleType TypeBoolean)
  • DBVInt16 :: Int16 -> DBusValue (DBusSimpleType TypeInt16)
  • DBVUInt16 :: Word16 -> DBusValue (DBusSimpleType TypeUInt16)
  • DBVInt32 :: Int32 -> DBusValue (DBusSimpleType TypeInt32)
  • DBVUInt32 :: Word32 -> DBusValue (DBusSimpleType TypeUInt32)
  • DBVInt64 :: Int64 -> DBusValue (DBusSimpleType TypeInt64)
  • DBVUInt64 :: Word64 -> DBusValue (DBusSimpleType TypeUInt64)
  • DBVDouble :: Double -> DBusValue (DBusSimpleType TypeDouble)
  • DBVUnixFD :: Word32 -> DBusValue (DBusSimpleType TypeUnixFD)
  • DBVString :: Text -> DBusValue (DBusSimpleType TypeString)
  • DBVObjectPath :: ObjectPath -> DBusValue (DBusSimpleType TypeObjectPath)
  • DBVSignature :: [DBusType] -> DBusValue (DBusSimpleType TypeSignature)
  • DBVVariant :: SingI t => DBusValue t -> DBusValue TypeVariant
  • DBVArray :: [DBusValue a] -> DBusValue (TypeArray a)
  • DBVByteArray :: ByteString -> DBusValue (TypeArray (DBusSimpleType TypeByte))
  • DBVStruct :: DBusStruct ts -> DBusValue (TypeStruct ts)
  • DBVDict :: [(DBusValue (DBusSimpleType k), DBusValue v)] -> DBusValue (TypeDict k v)
  • DBVUnit :: DBusValue TypeUnit
• castDBV :: (SingI s, SingI t) => DBusValue s -> Maybe (DBusValue t)
• data SomeDBusValue where
  • DBV :: SingI t => DBusValue t -> SomeDBusValue
• dbusValue :: SingI t => SomeDBusValue -> Maybe (DBusValue t)
• dbusSValue :: SingI t => SomeDBusValue -> Maybe (DBusValue (DBusSimpleType t))
• fromVariant :: SingI t => DBusValue TypeVariant -> Maybe (DBusValue t)
• typeOf :: SingI t => DBusValue t -> DBusType
• class Representable a where
  • type RepType a :: DBusType
  • toRep :: a -> DBusValue (RepType a)
  • fromRep :: DBusValue (RepType a) -> Maybe a
• data MethodWrapper av rv where
  • MReturn :: SingI t => IO (DBusValue t) -> MethodWrapper `[]` t
  • MAsk :: SingI t => (DBusValue t -> MethodWrapper avs rv) -> MethodWrapper (t : avs) rv
• type family ArgParity x :: Parity
• data Method where
  • Method :: (SingI avs, SingI t) => MethodWrapper avs t -> Text -> MethodDescription (ArgParity avs) -> Method
• data Annotation = Annotation {
  • annotationName :: Text
  • annotationValue :: Text
  }
• data Interface = Interface {
  • interfaceName :: Text
  • interfaceMethods :: [Method]
  • interfaceAnnotations :: [Annotation]
  }
• data Object = Object {
  • objectObjectPath :: ObjectPath
  • objectInterfaces :: [Interface]
  • objectSubObjects :: [Object]
  }
• data MsgError = MsgError {
  • errorName :: Text
  • errorText :: Maybe Text
  • errorBody :: [SomeDBusValue]
  }
• data Connection = Connection {
  • primConnection :: ()
  • answerSlots :: TVar (Map Word32 (TMVar (Either MsgError SomeDBusValue)))
  • mainLoop :: ThreadId
  }
• data MethodError
  • = MethodErrorMessage [SomeDBusValue]
  • | MethodSignatureMissmatch SomeDBusValue
• type Serial = Word32
• type Slot = Either [SomeDBusValue] SomeDBusValue -> STM ()
• type AnswerSlots = Map Serial Slot
• data DBusConnection = DBusConnection {
  • dBusCreateSerial :: STM Serial
  • dBusAnswerSlots :: TVar AnswerSlots
  • dBusWriteLock :: TMVar (Builder -> IO ())
  • dBusConnectionName :: Text
  • connectionAliveRef :: TVar Bool
  }

Documentation