packages feed

d-bus 0.1.3.2 → 0.1.3.3

raw patch · 2 files changed

+4/−1 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- DBus: allowReplacement :: RequestNameFlag -> Bool
- DBus: doNotQueue :: RequestNameFlag -> Bool
- DBus: errorBody :: MsgError -> [SomeDBusValue]
- DBus: errorName :: MsgError -> Text
- DBus: errorText :: MsgError -> Maybe Text
- DBus: fromSignature :: Signature -> [DBusType]
- DBus: fromSomeProperty :: SomeProperty -> Property t
- DBus: interfaceAnnotations :: Interface -> [Annotation]
- DBus: interfaceMethods :: Interface -> [Method]
- DBus: interfaceProperties :: Interface -> [SomeProperty]
- DBus: interfaceSignals :: Interface -> [SomeSignalDescription]
- DBus: interfaces :: Object -> Map Text Interface
- DBus: methodArgs :: MethodDescription args rets -> ArgumentDescription (ArgParity args)
- DBus: methodInterface :: MethodDescription args rets -> Text
- DBus: methodMember :: MethodDescription args rets -> Text
- DBus: methodObjectPath :: MethodDescription args rets -> ObjectPath
- DBus: methodResult :: MethodDescription args rets -> ArgumentDescription (ArgParity rets)
- DBus: mrArg0namespace :: MatchRule -> Maybe Text
- DBus: mrArgPaths :: MatchRule -> [(Int, Text)]
- DBus: mrArgs :: MatchRule -> [(Int, Text)]
- DBus: mrDestination :: MatchRule -> Maybe Text
- DBus: mrEavesdrop :: MatchRule -> Maybe Bool
- DBus: mrInterface :: MatchRule -> Maybe Text
- DBus: mrMember :: MatchRule -> Maybe Text
- DBus: mrPath :: MatchRule -> Maybe (Bool, ObjectPath)
- DBus: mrSender :: MatchRule -> Maybe Text
- DBus: mrType :: MatchRule -> Maybe MessageType
- DBus: propertyEmitsChangedSignal :: Property t -> PropertyEmitsChangedSignal
- DBus: propertyGet :: Property t -> Maybe (MethodHandlerT IO (DBusValue t))
- DBus: propertyInterface :: Property t -> Text
- DBus: propertyName :: Property t -> Text
- DBus: propertyPath :: Property t -> ObjectPath
- DBus: propertySet :: Property t -> Maybe (DBusValue t -> MethodHandlerT IO Bool)
- DBus: replaceExisting :: RequestNameFlag -> Bool
- DBus: rpEntity :: RemoteProperty a -> Text
- DBus: rpInterface :: RemoteProperty a -> Text
- DBus: rpName :: RemoteProperty a -> Text
- DBus: rpObject :: RemoteProperty a -> ObjectPath
- DBus: signalBody :: Signal a -> DBusArguments a
- DBus: signalDArguments :: SignalDescription a -> ArgumentDescription (ArgParity a)
- DBus: signalDInterface :: SignalDescription a -> InterfaceName
- DBus: signalDMember :: SignalDescription a -> MemberName
- DBus: signalDPath :: SignalDescription a -> ObjectPath
- DBus: signalInterface :: Signal a -> InterfaceName
- DBus: signalMember :: Signal a -> MemberName
- DBus: signalPath :: Signal a -> ObjectPath
- DBus: unMHT :: MethodHandlerT m a -> ExceptT MsgError (WriterT [SomeSignal] m) a
- DBus.Auth: instance Applicative SASL
- DBus.Auth: instance Functor SASL
- DBus.Auth: instance Functor SASLF
- DBus.Auth: instance Monad SASL
- DBus.Auth: instance MonadError String SASL
- DBus.Auth: instance Show ClientMessage
- DBus.Auth: instance Show ServerMessage
- DBus.Auth: unSASL :: SASL a -> ExceptT String (Free SASLF) a
- DBus.Error: instance Eq DBusError
- DBus.Error: instance Exception DBusError
- DBus.Error: instance Show DBusError
- DBus.Error: instance Typeable DBusError
- DBus.Introspect: iArgumentDirection :: IArgument -> Maybe IDirection
- DBus.Introspect: iArgumentName :: IArgument -> Text
- DBus.Introspect: iArgumentType :: IArgument -> DBusType
- DBus.Introspect: iInterfaceAnnotations :: IInterface -> [Annotation]
- DBus.Introspect: iInterfaceMethods :: IInterface -> [IMethod]
- DBus.Introspect: iInterfaceName :: IInterface -> Text
- DBus.Introspect: iInterfaceProperties :: IInterface -> [IProperty]
- DBus.Introspect: iInterfaceSignals :: IInterface -> [ISignal]
- DBus.Introspect: iMethodAnnotations :: IMethod -> [Annotation]
- DBus.Introspect: iMethodArguments :: IMethod -> [IArgument]
- DBus.Introspect: iMethodName :: IMethod -> Text
- DBus.Introspect: iPropertyAccess :: IProperty -> PropertyAccess
- DBus.Introspect: iPropertyAnnotation :: IProperty -> [Annotation]
- DBus.Introspect: iPropertyName :: IProperty -> Text
- DBus.Introspect: iPropertyType :: IProperty -> DBusType
- DBus.Introspect: iSignalAnnotations :: ISignal -> [Annotation]
- DBus.Introspect: iSignalArguments :: ISignal -> [IArgument]
- DBus.Introspect: iSignalName :: ISignal -> Text
- DBus.Introspect: instance Data IArgument
- DBus.Introspect: instance Data IDirection
- DBus.Introspect: instance Data IInterface
- DBus.Introspect: instance Data IMethod
- DBus.Introspect: instance Data INode
- DBus.Introspect: instance Data IProperty
- DBus.Introspect: instance Data ISignal
- DBus.Introspect: instance Eq IArgument
- DBus.Introspect: instance Eq IDirection
- DBus.Introspect: instance Eq IInterface
- DBus.Introspect: instance Eq IMethod
- DBus.Introspect: instance Eq INode
- DBus.Introspect: instance Eq IProperty
- DBus.Introspect: instance Eq ISignal
- DBus.Introspect: instance Show IArgument
- DBus.Introspect: instance Show IDirection
- DBus.Introspect: instance Show IInterface
- DBus.Introspect: instance Show IMethod
- DBus.Introspect: instance Show INode
- DBus.Introspect: instance Show IProperty
- DBus.Introspect: instance Show ISignal
- DBus.Introspect: instance Typeable IArgument
- DBus.Introspect: instance Typeable IDirection
- DBus.Introspect: instance Typeable IInterface
- DBus.Introspect: instance Typeable IMethod
- DBus.Introspect: instance Typeable INode
- DBus.Introspect: instance Typeable IProperty
- DBus.Introspect: instance Typeable ISignal
- DBus.Introspect: nodeInterfaces :: INode -> [IInterface]
- DBus.Introspect: nodeName :: INode -> Text
- DBus.Introspect: nodeSubnodes :: INode -> [INode]
- DBus.Message: endianessFlag :: MessageHeader -> Endian
- DBus.Message: fields :: MessageHeader -> HeaderFields
- DBus.Message: flags :: MessageHeader -> Flags
- DBus.Message: hFDestination :: HeaderFields -> Maybe Text
- DBus.Message: hFErrorName :: HeaderFields -> Maybe Text
- DBus.Message: hFInterface :: HeaderFields -> Maybe Text
- DBus.Message: hFMember :: HeaderFields -> Maybe Text
- DBus.Message: hFMessageSignature :: HeaderFields -> Maybe Signature
- DBus.Message: hFPath :: HeaderFields -> Maybe ObjectPath
- DBus.Message: hFReplySerial :: HeaderFields -> Maybe Word32
- DBus.Message: hFSender :: HeaderFields -> Maybe Text
- DBus.Message: hFUnixfds :: HeaderFields -> Maybe Word32
- DBus.Message: instance Eq Flag
- DBus.Message: instance Eq Flags
- DBus.Message: instance Eq HeaderField
- DBus.Message: instance Eq HeaderFields
- DBus.Message: instance Eq MessageHeader
- DBus.Message: instance Eq MessageType
- DBus.Message: instance Representable Endian
- DBus.Message: instance Representable Flags
- DBus.Message: instance Representable HeaderField
- DBus.Message: instance Representable HeaderFields
- DBus.Message: instance Representable MessageHeader
- DBus.Message: instance Representable MessageType
- DBus.Message: instance Representable Signature
- DBus.Message: instance Show Flag
- DBus.Message: instance Show Flags
- DBus.Message: instance Show HeaderField
- DBus.Message: instance Show HeaderFields
- DBus.Message: instance Show MessageHeader
- DBus.Message: instance Show MessageType
- DBus.Message: messageLength :: MessageHeader -> Word32
- DBus.Message: messageType :: MessageHeader -> MessageType
- DBus.Message: serial :: MessageHeader -> Word32
- DBus.Message: version :: MessageHeader -> Word8
- DBus.MessageBus: allowReplacement :: RequestNameFlag -> Bool
- DBus.MessageBus: doNotQueue :: RequestNameFlag -> Bool
- DBus.MessageBus: instance Default RequestNameFlag
- DBus.MessageBus: instance Eq StartServiceResult
- DBus.MessageBus: instance Read StartServiceResult
- DBus.MessageBus: instance Show StartServiceResult
- DBus.MessageBus: replaceExisting :: RequestNameFlag -> Bool
- DBus.Method: instance (IsMethod f, SingI t) => IsMethod (DBusValue t -> f)
- DBus.Method: instance (RepMethod b, Representable a) => RepMethod (a -> b)
- DBus.Method: instance Representable t => RepMethod (IO t)
- DBus.Method: instance Representable t => RepMethod (MethodHandlerT IO t)
- DBus.Method: instance Show Method
- DBus.Method: instance SingI t => IsMethod (IO (DBusArguments t))
- DBus.Method: instance SingI t => IsMethod (MethodHandlerT IO (DBusArguments t))
- DBus.Representable: instance (Ord k, Representable k, RepType k ~ 'DBusSimpleType r, SingI r, Representable v) => Representable (Map k v)
- DBus.Representable: instance (Representable a, Representable b) => Representable (a, b)
- DBus.Representable: instance (Representable a, Representable b, Representable c) => Representable (a, b, c)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d) => Representable (a, b, c, d)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e) => Representable (a, b, c, d, e)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f) => Representable (a, b, c, d, e, f)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g) => Representable (a, b, c, d, e, f, g)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h) => Representable (a, b, c, d, e, f, g, h)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i) => Representable (a, b, c, d, e, f, g, h, i)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j) => Representable (a, b, c, d, e, f, g, h, i, j)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k) => Representable (a, b, c, d, e, f, g, h, i, j, k)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l) => Representable (a, b, c, d, e, f, g, h, i, j, k, l)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r, Representable s) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)
- DBus.Representable: instance (Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r, Representable s, Representable t) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)
- DBus.Representable: instance (Representable a, SingI (RepType a)) => Representable [a]
- DBus.Representable: instance Representable ()
- DBus.Representable: instance Representable Bool
- DBus.Representable: instance Representable ByteString
- DBus.Representable: instance Representable Double
- DBus.Representable: instance Representable Int16
- DBus.Representable: instance Representable Int32
- DBus.Representable: instance Representable Int64
- DBus.Representable: instance Representable ObjectPath
- DBus.Representable: instance Representable Text
- DBus.Representable: instance Representable Word16
- DBus.Representable: instance Representable Word32
- DBus.Representable: instance Representable Word64
- DBus.Representable: instance Representable Word8
- DBus.Representable: instance SingI t => Representable (DBusValue t)
- DBus.Scaffold: pdInterface :: PropertyDescription -> Text
- DBus.Scaffold: pdName :: PropertyDescription -> Text
- DBus.Scaffold: pdObjectPath :: PropertyDescription -> Text
- DBus.Scaffold: pdType :: PropertyDescription -> DBusType
- DBus.Signal: instance Monoid MatchRule
- DBus.Signal: mrArg0namespace :: MatchRule -> Maybe Text
- DBus.Signal: mrArgPaths :: MatchRule -> [(Int, Text)]
- DBus.Signal: mrArgs :: MatchRule -> [(Int, Text)]
- DBus.Signal: mrDestination :: MatchRule -> Maybe Text
- DBus.Signal: mrEavesdrop :: MatchRule -> Maybe Bool
- DBus.Signal: mrInterface :: MatchRule -> Maybe Text
- DBus.Signal: mrMember :: MatchRule -> Maybe Text
- DBus.Signal: mrPath :: MatchRule -> Maybe (Bool, ObjectPath)
- DBus.Signal: mrSender :: MatchRule -> Maybe Text
- DBus.Signal: mrType :: MatchRule -> Maybe MessageType
- DBus.Transport: instance Eq TCP
- DBus.Transport: instance Eq TCPFamily
- DBus.Transport: instance Eq TransportType
- DBus.Transport: instance Eq UDS
- DBus.Transport: instance Show TCP
- DBus.Transport: instance Show TCPFamily
- DBus.Transport: instance Show TransportType
- DBus.Transport: instance Show UDS
- DBus.Transport: tcpBind :: TCP -> Maybe ByteString
- DBus.Transport: tcpFamily :: TCP -> Maybe TCPFamily
- DBus.Transport: tcpHost :: TCP -> Maybe ByteString
- DBus.Transport: tcpPort :: TCP -> Maybe Word16
- DBus.Types: Let1627472175TSym0KindInference :: Let1627472175TSym0 l_alod
- DBus.Types: Let1627472180TSym0KindInference :: Let1627472180TSym0 l_aloi
- DBus.Types: Let1627472186TSym0KindInference :: Let1627472186TSym0 l_alop
- DBus.Types: Let1627472186TSym1KindInference :: Let1627472186TSym1 l_alos l_alor
- DBus.Types: Let1627472196TSym0KindInference :: Let1627472196TSym0 l_aloz
- DBus.Types: Let1627472196TSym1KindInference :: Let1627472196TSym1 l_aloC l_aloB
- DBus.Types: annotationName :: Annotation -> Text
- DBus.Types: annotationValue :: Annotation -> Text
- DBus.Types: connectionAliveRef :: DBusConnection -> TVar Bool
- DBus.Types: dBusAnswerSlots :: DBusConnection -> TVar AnswerSlots
- DBus.Types: dBusConnectionName :: DBusConnection -> Text
- DBus.Types: dBusCreateSerial :: DBusConnection -> STM Serial
- DBus.Types: dBusWriteLock :: DBusConnection -> TMVar (Builder -> IO ())
- DBus.Types: data Let1627472175TSym0 l_alod
- DBus.Types: data Let1627472180TSym0 l_aloi
- DBus.Types: data Let1627472186TSym0 l_alop
- DBus.Types: data Let1627472186TSym1 l_alos l_alor
- DBus.Types: data Let1627472196TSym0 l_aloz
- DBus.Types: data Let1627472196TSym1 l_aloC l_aloB
- DBus.Types: dbusPropertySlots :: DBusConnection -> TVar PropertySlots
- DBus.Types: dbusSignalSlots :: DBusConnection -> TVar SignalSlots
- DBus.Types: errorBody :: MsgError -> [SomeDBusValue]
- DBus.Types: errorName :: MsgError -> Text
- DBus.Types: errorText :: MsgError -> Maybe Text
- DBus.Types: fromSignature :: Signature -> [DBusType]
- DBus.Types: fromSomeProperty :: SomeProperty -> Property t
- DBus.Types: instance (Functor m, Monad m) => Alternative (MethodHandlerT m)
- DBus.Types: instance (Monad m, Functor m) => Applicative (MethodHandlerT m)
- DBus.Types: instance (SingI n0, SingI n1) => SingI ('TypeDict n0 n1)
- DBus.Types: instance (SingI n0, SingI n1) => SingI ('TypeDictEntry n0 n1)
- DBus.Types: instance Data Annotation
- DBus.Types: instance Data DBusSimpleType
- DBus.Types: instance Data DBusType
- DBus.Types: instance Data ObjectPath
- DBus.Types: instance Data Parity
- DBus.Types: instance Data PropertyAccess
- DBus.Types: instance Eq (DBusArguments t)
- DBus.Types: instance Eq (DBusStruct t)
- DBus.Types: instance Eq (DBusValue t)
- DBus.Types: instance Eq (RemoteProperty a)
- DBus.Types: instance Eq (SignalDescription a)
- DBus.Types: instance Eq Annotation
- DBus.Types: instance Eq DBusSimpleType
- DBus.Types: instance Eq DBusType
- DBus.Types: instance Eq MatchSignal
- DBus.Types: instance Eq ObjectPath
- DBus.Types: instance Eq Parity
- DBus.Types: instance Eq PropertyAccess
- DBus.Types: instance Eq Signature
- DBus.Types: instance Eq SomeSignalDescription
- DBus.Types: instance Exception MethodError
- DBus.Types: instance Exception MsgError
- DBus.Types: instance Functor m => Functor (MethodHandlerT m)
- DBus.Types: instance IsString ObjectPath
- DBus.Types: instance Monad m => Monad (MethodHandlerT m)
- DBus.Types: instance Monad m => MonadPlus (MethodHandlerT m)
- DBus.Types: instance MonadIO m => MonadIO (MethodHandlerT m)
- DBus.Types: instance MonadTrans MethodHandlerT
- DBus.Types: instance Monoid Interface
- DBus.Types: instance Monoid Object
- DBus.Types: instance Monoid Objects
- DBus.Types: instance Ord MatchSignal
- DBus.Types: instance Ord ObjectPath
- DBus.Types: instance PEq 'KProxy
- DBus.Types: instance Read DBusSimpleType
- DBus.Types: instance Read DBusType
- DBus.Types: instance SDecide 'KProxy
- DBus.Types: instance SEq 'KProxy
- DBus.Types: instance Show (ArgumentDescription n)
- DBus.Types: instance Show (MethodDescription args rets)
- DBus.Types: instance Show (RemoteProperty a)
- DBus.Types: instance Show Annotation
- DBus.Types: instance Show DBusSimpleType
- DBus.Types: instance Show DBusType
- DBus.Types: instance Show MatchSignal
- DBus.Types: instance Show MethodError
- DBus.Types: instance Show MsgError
- DBus.Types: instance Show ObjectPath
- DBus.Types: instance Show Parity
- DBus.Types: instance Show PropertyAccess
- DBus.Types: instance Show Signature
- DBus.Types: instance Show SomeDBusArguments
- DBus.Types: instance Show SomeDBusValue
- DBus.Types: instance Show SomeSignal
- DBus.Types: instance Show SomeSignalDescription
- DBus.Types: instance Show a => Show (Match a)
- DBus.Types: instance SingI 'Null
- DBus.Types: instance SingI 'TypeBoolean
- DBus.Types: instance SingI 'TypeByte
- DBus.Types: instance SingI 'TypeDouble
- DBus.Types: instance SingI 'TypeInt16
- DBus.Types: instance SingI 'TypeInt32
- DBus.Types: instance SingI 'TypeInt64
- DBus.Types: instance SingI 'TypeObjectPath
- DBus.Types: instance SingI 'TypeSignature
- DBus.Types: instance SingI 'TypeString
- DBus.Types: instance SingI 'TypeUInt16
- DBus.Types: instance SingI 'TypeUInt32
- DBus.Types: instance SingI 'TypeUInt64
- DBus.Types: instance SingI 'TypeUnit
- DBus.Types: instance SingI 'TypeUnixFD
- DBus.Types: instance SingI 'TypeVariant
- DBus.Types: instance SingI a => Show (DBusArguments a)
- DBus.Types: instance SingI a => Show (DBusStruct a)
- DBus.Types: instance SingI a => Show (Signal a)
- DBus.Types: instance SingI a => Show (SignalDescription a)
- DBus.Types: instance SingI n0 => SingI ('Arg n0)
- DBus.Types: instance SingI n0 => SingI ('DBusSimpleType n0)
- DBus.Types: instance SingI n0 => SingI ('TypeArray n0)
- DBus.Types: instance SingI n0 => SingI ('TypeStruct n0)
- DBus.Types: instance SingI t => Show (DBusValue t)
- DBus.Types: instance SingKind 'KProxy
- DBus.Types: instance SuppressUnusedWarnings ArgSym0
- DBus.Types: instance SuppressUnusedWarnings DBusSimpleTypeSym0
- DBus.Types: instance SuppressUnusedWarnings FlattenRepTypeSym0
- DBus.Types: instance SuppressUnusedWarnings Let1627472175TSym0
- DBus.Types: instance SuppressUnusedWarnings Let1627472180TSym0
- DBus.Types: instance SuppressUnusedWarnings Let1627472186TSym0
- DBus.Types: instance SuppressUnusedWarnings Let1627472186TSym1
- DBus.Types: instance SuppressUnusedWarnings Let1627472196TSym0
- DBus.Types: instance SuppressUnusedWarnings Let1627472196TSym1
- DBus.Types: instance SuppressUnusedWarnings TypeArraySym0
- DBus.Types: instance SuppressUnusedWarnings TypeDictEntrySym0
- DBus.Types: instance SuppressUnusedWarnings TypeDictEntrySym1
- DBus.Types: instance SuppressUnusedWarnings TypeDictSym0
- DBus.Types: instance SuppressUnusedWarnings TypeDictSym1
- DBus.Types: instance SuppressUnusedWarnings TypeStructSym0
- DBus.Types: instance Typeable Annotation
- DBus.Types: instance Typeable ArgumentDescription
- DBus.Types: instance Typeable DBusSimpleType
- DBus.Types: instance Typeable DBusType
- DBus.Types: instance Typeable MethodError
- DBus.Types: instance Typeable MsgError
- DBus.Types: instance Typeable ObjectPath
- DBus.Types: instance Typeable Parity
- DBus.Types: instance Typeable PropertyAccess
- DBus.Types: instance Typeable SignalDescription
- DBus.Types: instance Typeable SomeSignalDescription
- DBus.Types: interfaceAnnotations :: Interface -> [Annotation]
- DBus.Types: interfaceMethods :: Interface -> [Method]
- DBus.Types: interfaceProperties :: Interface -> [SomeProperty]
- DBus.Types: interfaceSignals :: Interface -> [SomeSignalDescription]
- DBus.Types: interfaces :: Object -> Map Text Interface
- DBus.Types: matchInterface :: MatchSignal -> Maybe Text
- DBus.Types: matchMember :: MatchSignal -> Maybe Text
- DBus.Types: matchPath :: MatchSignal -> Maybe ObjectPath
- DBus.Types: matchSender :: MatchSignal -> Maybe Text
- DBus.Types: methodArgs :: MethodDescription args rets -> ArgumentDescription (ArgParity args)
- DBus.Types: methodInterface :: MethodDescription args rets -> Text
- DBus.Types: methodMember :: MethodDescription args rets -> Text
- DBus.Types: methodObjectPath :: MethodDescription args rets -> ObjectPath
- DBus.Types: methodResult :: MethodDescription args rets -> ArgumentDescription (ArgParity rets)
- DBus.Types: opAbsolute :: ObjectPath -> Bool
- DBus.Types: opParts :: ObjectPath -> [Text]
- DBus.Types: propertyEmitsChangedSignal :: Property t -> PropertyEmitsChangedSignal
- DBus.Types: propertyGet :: Property t -> Maybe (MethodHandlerT IO (DBusValue t))
- DBus.Types: propertyInterface :: Property t -> Text
- DBus.Types: propertyName :: Property t -> Text
- DBus.Types: propertyPath :: Property t -> ObjectPath
- DBus.Types: propertySet :: Property t -> Maybe (DBusValue t -> MethodHandlerT IO Bool)
- DBus.Types: rpEntity :: RemoteProperty a -> Text
- DBus.Types: rpInterface :: RemoteProperty a -> Text
- DBus.Types: rpName :: RemoteProperty a -> Text
- DBus.Types: rpObject :: RemoteProperty a -> ObjectPath
- DBus.Types: signalArgumentName :: SignalArgument -> Text
- DBus.Types: signalArgumentType :: SignalArgument -> DBusType
- DBus.Types: signalBody :: Signal a -> DBusArguments a
- DBus.Types: signalDArguments :: SignalDescription a -> ArgumentDescription (ArgParity a)
- DBus.Types: signalDInterface :: SignalDescription a -> InterfaceName
- DBus.Types: signalDMember :: SignalDescription a -> MemberName
- DBus.Types: signalDPath :: SignalDescription a -> ObjectPath
- DBus.Types: signalInterface :: Signal a -> InterfaceName
- DBus.Types: signalMember :: Signal a -> MemberName
- DBus.Types: signalPath :: Signal a -> ObjectPath
- DBus.Types: type Let1627472175T wild_1627472167_aloa = Apply DBusSimpleTypeSym0 wild_1627472167_aloa
- DBus.Types: type Let1627472175TSym1 t_aloc = Let1627472175T t_aloc
- DBus.Types: type Let1627472180T wild_1627472165_alof = Apply TypeArraySym0 wild_1627472165_alof
- DBus.Types: type Let1627472180TSym1 t_aloh = Let1627472180T t_aloh
- DBus.Types: type Let1627472186T wild_1627472161_alok wild_1627472163_alol = Apply (Apply TypeDictSym0 wild_1627472161_alok) wild_1627472163_alol
- DBus.Types: type Let1627472186TSym2 t_alon t_aloo = Let1627472186T t_alon t_aloo
- DBus.Types: type Let1627472196T wild_1627472157_alou wild_1627472159_alov = Apply (Apply TypeDictEntrySym0 wild_1627472157_alou) wild_1627472159_alov
- DBus.Types: type Let1627472196TSym2 t_alox t_aloy = Let1627472196T t_alox t_aloy
- DBus.Types: type Let1627472204T = TypeVariantSym0
- DBus.Types: type Let1627472204TSym0 = Let1627472204T
- DBus.Types: unMHT :: MethodHandlerT m a -> ExceptT MsgError (WriterT [SomeSignal] m) a
- DBus.Types: unObjects :: Objects -> Map ObjectPath Object
- DBus.Wire: instance Bounded Endian
- DBus.Wire: instance Enum Endian
- DBus.Wire: instance Eq Endian
- DBus.Wire: instance Show Endian
+ DBus: [allowReplacement, replaceExisting, doNotQueue] :: RequestNameFlag -> Bool
+ DBus: [errorBody] :: MsgError -> [SomeDBusValue]
+ DBus: [errorName] :: MsgError -> Text
+ DBus: [errorText] :: MsgError -> Maybe Text
+ DBus: [fromSignature] :: Signature -> [DBusType]
+ DBus: [fromSomeProperty] :: SomeProperty -> Property t
+ DBus: [interfaceAnnotations] :: Interface -> [Annotation]
+ DBus: [interfaceMethods] :: Interface -> [Method]
+ DBus: [interfaceProperties] :: Interface -> [SomeProperty]
+ DBus: [interfaceSignals] :: Interface -> [SomeSignalDescription]
+ DBus: [interfaces] :: Object -> Map Text Interface
+ DBus: [methodArgs] :: MethodDescription args rets -> ArgumentDescription (ArgParity args)
+ DBus: [methodInterface] :: MethodDescription args rets -> Text
+ DBus: [methodMember] :: MethodDescription args rets -> Text
+ DBus: [methodObjectPath] :: MethodDescription args rets -> ObjectPath
+ DBus: [methodResult] :: MethodDescription args rets -> ArgumentDescription (ArgParity rets)
+ DBus: [mrArg0namespace] :: MatchRule -> Maybe Text
+ DBus: [mrArgPaths] :: MatchRule -> [(Int, Text)]
+ DBus: [mrArgs] :: MatchRule -> [(Int, Text)]
+ DBus: [mrDestination] :: MatchRule -> Maybe Text
+ DBus: [mrEavesdrop] :: MatchRule -> Maybe Bool
+ DBus: [mrInterface] :: MatchRule -> Maybe Text
+ DBus: [mrMember] :: MatchRule -> Maybe Text
+ DBus: [mrPath] :: MatchRule -> Maybe (Bool, ObjectPath)
+ DBus: [mrSender] :: MatchRule -> Maybe Text
+ DBus: [mrType] :: MatchRule -> Maybe MessageType
+ DBus: [propertyEmitsChangedSignal] :: Property t -> PropertyEmitsChangedSignal
+ DBus: [propertyGet] :: Property t -> Maybe (MethodHandlerT IO (DBusValue t))
+ DBus: [propertyInterface] :: Property t -> Text
+ DBus: [propertyName] :: Property t -> Text
+ DBus: [propertyPath] :: Property t -> ObjectPath
+ DBus: [propertySet] :: Property t -> Maybe (DBusValue t -> MethodHandlerT IO Bool)
+ DBus: [rpEntity] :: RemoteProperty a -> Text
+ DBus: [rpInterface] :: RemoteProperty a -> Text
+ DBus: [rpName] :: RemoteProperty a -> Text
+ DBus: [rpObject] :: RemoteProperty a -> ObjectPath
+ DBus: [signalBody] :: Signal a -> DBusArguments a
+ DBus: [signalDArguments] :: SignalDescription a -> ArgumentDescription (ArgParity a)
+ DBus: [signalDInterface] :: SignalDescription a -> InterfaceName
+ DBus: [signalDMember] :: SignalDescription a -> MemberName
+ DBus: [signalDPath] :: SignalDescription a -> ObjectPath
+ DBus: [signalInterface] :: Signal a -> InterfaceName
+ DBus: [signalMember] :: Signal a -> MemberName
+ DBus: [signalPath] :: Signal a -> ObjectPath
+ DBus: [unMHT] :: MethodHandlerT m a -> ExceptT MsgError (WriterT [SomeSignal] m) a
+ DBus.Auth: [unSASL] :: SASL a -> ExceptT String (Free SASLF) a
+ DBus.Auth: instance Control.Monad.Error.Class.MonadError GHC.Base.String DBus.Auth.SASL
+ DBus.Auth: instance GHC.Base.Applicative DBus.Auth.SASL
+ DBus.Auth: instance GHC.Base.Functor DBus.Auth.SASL
+ DBus.Auth: instance GHC.Base.Functor DBus.Auth.SASLF
+ DBus.Auth: instance GHC.Base.Monad DBus.Auth.SASL
+ DBus.Auth: instance GHC.Show.Show DBus.Auth.ClientMessage
+ DBus.Auth: instance GHC.Show.Show DBus.Auth.ServerMessage
+ DBus.Error: instance GHC.Classes.Eq DBus.Error.DBusError
+ DBus.Error: instance GHC.Exception.Exception DBus.Error.DBusError
+ DBus.Error: instance GHC.Show.Show DBus.Error.DBusError
+ DBus.Introspect: [iArgumentDirection] :: IArgument -> Maybe IDirection
+ DBus.Introspect: [iArgumentName] :: IArgument -> Text
+ DBus.Introspect: [iArgumentType] :: IArgument -> DBusType
+ DBus.Introspect: [iInterfaceAnnotations] :: IInterface -> [Annotation]
+ DBus.Introspect: [iInterfaceMethods] :: IInterface -> [IMethod]
+ DBus.Introspect: [iInterfaceName] :: IInterface -> Text
+ DBus.Introspect: [iInterfaceProperties] :: IInterface -> [IProperty]
+ DBus.Introspect: [iInterfaceSignals] :: IInterface -> [ISignal]
+ DBus.Introspect: [iMethodAnnotations] :: IMethod -> [Annotation]
+ DBus.Introspect: [iMethodArguments] :: IMethod -> [IArgument]
+ DBus.Introspect: [iMethodName] :: IMethod -> Text
+ DBus.Introspect: [iPropertyAccess] :: IProperty -> PropertyAccess
+ DBus.Introspect: [iPropertyAnnotation] :: IProperty -> [Annotation]
+ DBus.Introspect: [iPropertyName] :: IProperty -> Text
+ DBus.Introspect: [iPropertyType] :: IProperty -> DBusType
+ DBus.Introspect: [iSignalAnnotations] :: ISignal -> [Annotation]
+ DBus.Introspect: [iSignalArguments] :: ISignal -> [IArgument]
+ DBus.Introspect: [iSignalName] :: ISignal -> Text
+ DBus.Introspect: [nodeInterfaces] :: INode -> [IInterface]
+ DBus.Introspect: [nodeName] :: INode -> Text
+ DBus.Introspect: [nodeSubnodes] :: INode -> [INode]
+ DBus.Introspect: instance Data.Data.Data DBus.Introspect.IArgument
+ DBus.Introspect: instance Data.Data.Data DBus.Introspect.IDirection
+ DBus.Introspect: instance Data.Data.Data DBus.Introspect.IInterface
+ DBus.Introspect: instance Data.Data.Data DBus.Introspect.IMethod
+ DBus.Introspect: instance Data.Data.Data DBus.Introspect.INode
+ DBus.Introspect: instance Data.Data.Data DBus.Introspect.IProperty
+ DBus.Introspect: instance Data.Data.Data DBus.Introspect.ISignal
+ DBus.Introspect: instance GHC.Classes.Eq DBus.Introspect.IArgument
+ DBus.Introspect: instance GHC.Classes.Eq DBus.Introspect.IDirection
+ DBus.Introspect: instance GHC.Classes.Eq DBus.Introspect.IInterface
+ DBus.Introspect: instance GHC.Classes.Eq DBus.Introspect.IMethod
+ DBus.Introspect: instance GHC.Classes.Eq DBus.Introspect.INode
+ DBus.Introspect: instance GHC.Classes.Eq DBus.Introspect.IProperty
+ DBus.Introspect: instance GHC.Classes.Eq DBus.Introspect.ISignal
+ DBus.Introspect: instance GHC.Show.Show DBus.Introspect.IArgument
+ DBus.Introspect: instance GHC.Show.Show DBus.Introspect.IDirection
+ DBus.Introspect: instance GHC.Show.Show DBus.Introspect.IInterface
+ DBus.Introspect: instance GHC.Show.Show DBus.Introspect.IMethod
+ DBus.Introspect: instance GHC.Show.Show DBus.Introspect.INode
+ DBus.Introspect: instance GHC.Show.Show DBus.Introspect.IProperty
+ DBus.Introspect: instance GHC.Show.Show DBus.Introspect.ISignal
+ DBus.Message: [endianessFlag] :: MessageHeader -> Endian
+ DBus.Message: [fields] :: MessageHeader -> HeaderFields
+ DBus.Message: [flags] :: MessageHeader -> Flags
+ DBus.Message: [hFDestination] :: HeaderFields -> Maybe Text
+ DBus.Message: [hFErrorName] :: HeaderFields -> Maybe Text
+ DBus.Message: [hFInterface] :: HeaderFields -> Maybe Text
+ DBus.Message: [hFMember] :: HeaderFields -> Maybe Text
+ DBus.Message: [hFMessageSignature] :: HeaderFields -> Maybe Signature
+ DBus.Message: [hFPath] :: HeaderFields -> Maybe ObjectPath
+ DBus.Message: [hFReplySerial] :: HeaderFields -> Maybe Word32
+ DBus.Message: [hFSender] :: HeaderFields -> Maybe Text
+ DBus.Message: [hFUnixfds] :: HeaderFields -> Maybe Word32
+ DBus.Message: [messageLength] :: MessageHeader -> Word32
+ DBus.Message: [messageType] :: MessageHeader -> MessageType
+ DBus.Message: [serial] :: MessageHeader -> Word32
+ DBus.Message: [version] :: MessageHeader -> Word8
+ DBus.Message: instance DBus.Types.Representable DBus.Message.Flags
+ DBus.Message: instance DBus.Types.Representable DBus.Message.HeaderField
+ DBus.Message: instance DBus.Types.Representable DBus.Message.HeaderFields
+ DBus.Message: instance DBus.Types.Representable DBus.Message.MessageHeader
+ DBus.Message: instance DBus.Types.Representable DBus.Message.MessageType
+ DBus.Message: instance DBus.Types.Representable DBus.Types.Signature
+ DBus.Message: instance DBus.Types.Representable DBus.Wire.Endian
+ DBus.Message: instance GHC.Classes.Eq DBus.Message.Flag
+ DBus.Message: instance GHC.Classes.Eq DBus.Message.Flags
+ DBus.Message: instance GHC.Classes.Eq DBus.Message.HeaderField
+ DBus.Message: instance GHC.Classes.Eq DBus.Message.HeaderFields
+ DBus.Message: instance GHC.Classes.Eq DBus.Message.MessageHeader
+ DBus.Message: instance GHC.Classes.Eq DBus.Message.MessageType
+ DBus.Message: instance GHC.Show.Show DBus.Message.Flag
+ DBus.Message: instance GHC.Show.Show DBus.Message.Flags
+ DBus.Message: instance GHC.Show.Show DBus.Message.HeaderField
+ DBus.Message: instance GHC.Show.Show DBus.Message.HeaderFields
+ DBus.Message: instance GHC.Show.Show DBus.Message.MessageHeader
+ DBus.Message: instance GHC.Show.Show DBus.Message.MessageType
+ DBus.MessageBus: [allowReplacement, replaceExisting, doNotQueue] :: RequestNameFlag -> Bool
+ DBus.MessageBus: instance Data.Default.Class.Default DBus.MessageBus.RequestNameFlag
+ DBus.MessageBus: instance GHC.Classes.Eq DBus.MessageBus.StartServiceResult
+ DBus.MessageBus: instance GHC.Read.Read DBus.MessageBus.StartServiceResult
+ DBus.MessageBus: instance GHC.Show.Show DBus.MessageBus.StartServiceResult
+ DBus.Method: instance (DBus.Method.IsMethod f, Data.Singletons.SingI t) => DBus.Method.IsMethod (DBus.Types.DBusValue t -> f)
+ DBus.Method: instance (DBus.Method.RepMethod b, DBus.Types.Representable a) => DBus.Method.RepMethod (a -> b)
+ DBus.Method: instance DBus.Types.Representable t => DBus.Method.RepMethod (DBus.Types.MethodHandlerT GHC.Types.IO t)
+ DBus.Method: instance DBus.Types.Representable t => DBus.Method.RepMethod (GHC.Types.IO t)
+ DBus.Method: instance Data.Singletons.SingI t => DBus.Method.IsMethod (DBus.Types.MethodHandlerT GHC.Types.IO (DBus.Types.DBusArguments t))
+ DBus.Method: instance Data.Singletons.SingI t => DBus.Method.IsMethod (GHC.Types.IO (DBus.Types.DBusArguments t))
+ DBus.Method: instance GHC.Show.Show DBus.Types.Method
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b) => DBus.Types.Representable (a, b)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c) => DBus.Types.Representable (a, b, c)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d) => DBus.Types.Representable (a, b, c, d)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e) => DBus.Types.Representable (a, b, c, d, e)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f) => DBus.Types.Representable (a, b, c, d, e, f)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g) => DBus.Types.Representable (a, b, c, d, e, f, g)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h) => DBus.Types.Representable (a, b, c, d, e, f, g, h)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l, DBus.Types.Representable m) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l, m)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l, DBus.Types.Representable m, DBus.Types.Representable n) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l, DBus.Types.Representable m, DBus.Types.Representable n, DBus.Types.Representable o) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l, DBus.Types.Representable m, DBus.Types.Representable n, DBus.Types.Representable o, DBus.Types.Representable p) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l, DBus.Types.Representable m, DBus.Types.Representable n, DBus.Types.Representable o, DBus.Types.Representable p, DBus.Types.Representable q) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l, DBus.Types.Representable m, DBus.Types.Representable n, DBus.Types.Representable o, DBus.Types.Representable p, DBus.Types.Representable q, DBus.Types.Representable r) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l, DBus.Types.Representable m, DBus.Types.Representable n, DBus.Types.Representable o, DBus.Types.Representable p, DBus.Types.Representable q, DBus.Types.Representable r, DBus.Types.Representable s) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)
+ DBus.Representable: instance (DBus.Types.Representable a, DBus.Types.Representable b, DBus.Types.Representable c, DBus.Types.Representable d, DBus.Types.Representable e, DBus.Types.Representable f, DBus.Types.Representable g, DBus.Types.Representable h, DBus.Types.Representable i, DBus.Types.Representable j, DBus.Types.Representable k, DBus.Types.Representable l, DBus.Types.Representable m, DBus.Types.Representable n, DBus.Types.Representable o, DBus.Types.Representable p, DBus.Types.Representable q, DBus.Types.Representable r, DBus.Types.Representable s, DBus.Types.Representable t) => DBus.Types.Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)
+ DBus.Representable: instance (DBus.Types.Representable a, Data.Singletons.SingI (DBus.Types.RepType a)) => DBus.Types.Representable [a]
+ DBus.Representable: instance (GHC.Classes.Ord k, DBus.Types.Representable k, DBus.Types.RepType k ~ 'DBus.Types.DBusSimpleType r, Data.Singletons.SingI r, DBus.Types.Representable v) => DBus.Types.Representable (Data.Map.Base.Map k v)
+ DBus.Representable: instance DBus.Types.Representable ()
+ DBus.Representable: instance DBus.Types.Representable DBus.Types.ObjectPath
+ DBus.Representable: instance DBus.Types.Representable Data.ByteString.Internal.ByteString
+ DBus.Representable: instance DBus.Types.Representable Data.Text.Internal.Text
+ DBus.Representable: instance DBus.Types.Representable GHC.Int.Int16
+ DBus.Representable: instance DBus.Types.Representable GHC.Int.Int32
+ DBus.Representable: instance DBus.Types.Representable GHC.Int.Int64
+ DBus.Representable: instance DBus.Types.Representable GHC.Types.Bool
+ DBus.Representable: instance DBus.Types.Representable GHC.Types.Double
+ DBus.Representable: instance DBus.Types.Representable GHC.Word.Word16
+ DBus.Representable: instance DBus.Types.Representable GHC.Word.Word32
+ DBus.Representable: instance DBus.Types.Representable GHC.Word.Word64
+ DBus.Representable: instance DBus.Types.Representable GHC.Word.Word8
+ DBus.Representable: instance Data.Singletons.SingI t => DBus.Types.Representable (DBus.Types.DBusValue t)
+ DBus.Scaffold: [pdInterface] :: PropertyDescription -> Text
+ DBus.Scaffold: [pdName] :: PropertyDescription -> Text
+ DBus.Scaffold: [pdObjectPath] :: PropertyDescription -> Text
+ DBus.Scaffold: [pdType] :: PropertyDescription -> DBusType
+ DBus.Signal: [mrArg0namespace] :: MatchRule -> Maybe Text
+ DBus.Signal: [mrArgPaths] :: MatchRule -> [(Int, Text)]
+ DBus.Signal: [mrArgs] :: MatchRule -> [(Int, Text)]
+ DBus.Signal: [mrDestination] :: MatchRule -> Maybe Text
+ DBus.Signal: [mrEavesdrop] :: MatchRule -> Maybe Bool
+ DBus.Signal: [mrInterface] :: MatchRule -> Maybe Text
+ DBus.Signal: [mrMember] :: MatchRule -> Maybe Text
+ DBus.Signal: [mrPath] :: MatchRule -> Maybe (Bool, ObjectPath)
+ DBus.Signal: [mrSender] :: MatchRule -> Maybe Text
+ DBus.Signal: [mrType] :: MatchRule -> Maybe MessageType
+ DBus.Signal: instance GHC.Base.Monoid DBus.Signal.MatchRule
+ DBus.Transport: [tcpBind] :: TCP -> Maybe ByteString
+ DBus.Transport: [tcpFamily] :: TCP -> Maybe TCPFamily
+ DBus.Transport: [tcpHost] :: TCP -> Maybe ByteString
+ DBus.Transport: [tcpPort] :: TCP -> Maybe Word16
+ DBus.Transport: instance GHC.Classes.Eq DBus.Transport.TCP
+ DBus.Transport: instance GHC.Classes.Eq DBus.Transport.TCPFamily
+ DBus.Transport: instance GHC.Classes.Eq DBus.Transport.TransportType
+ DBus.Transport: instance GHC.Classes.Eq DBus.Transport.UDS
+ DBus.Transport: instance GHC.Show.Show DBus.Transport.TCP
+ DBus.Transport: instance GHC.Show.Show DBus.Transport.TCPFamily
+ DBus.Transport: instance GHC.Show.Show DBus.Transport.TransportType
+ DBus.Transport: instance GHC.Show.Show DBus.Transport.UDS
+ DBus.Types: Let1627489513TSym0KindInference :: Let1627489513TSym0 l_apTR
+ DBus.Types: Let1627489518TSym0KindInference :: Let1627489518TSym0 l_apTW
+ DBus.Types: Let1627489524TSym0KindInference :: Let1627489524TSym0 l_apU3
+ DBus.Types: Let1627489524TSym1KindInference :: Let1627489524TSym1 l_apU6 l_apU5
+ DBus.Types: Let1627489534TSym0KindInference :: Let1627489534TSym0 l_apUd
+ DBus.Types: Let1627489534TSym1KindInference :: Let1627489534TSym1 l_apUg l_apUf
+ DBus.Types: [annotationName] :: Annotation -> Text
+ DBus.Types: [annotationValue] :: Annotation -> Text
+ DBus.Types: [connectionAliveRef] :: DBusConnection -> TVar Bool
+ DBus.Types: [dBusAnswerSlots] :: DBusConnection -> TVar AnswerSlots
+ DBus.Types: [dBusConnectionName] :: DBusConnection -> Text
+ DBus.Types: [dBusCreateSerial] :: DBusConnection -> STM Serial
+ DBus.Types: [dBusWriteLock] :: DBusConnection -> TMVar (Builder -> IO ())
+ DBus.Types: [dbusPropertySlots] :: DBusConnection -> TVar PropertySlots
+ DBus.Types: [dbusSignalSlots] :: DBusConnection -> TVar SignalSlots
+ DBus.Types: [errorBody] :: MsgError -> [SomeDBusValue]
+ DBus.Types: [errorName] :: MsgError -> Text
+ DBus.Types: [errorText] :: MsgError -> Maybe Text
+ DBus.Types: [fromSignature] :: Signature -> [DBusType]
+ DBus.Types: [fromSomeProperty] :: SomeProperty -> Property t
+ DBus.Types: [interfaceAnnotations] :: Interface -> [Annotation]
+ DBus.Types: [interfaceMethods] :: Interface -> [Method]
+ DBus.Types: [interfaceProperties] :: Interface -> [SomeProperty]
+ DBus.Types: [interfaceSignals] :: Interface -> [SomeSignalDescription]
+ DBus.Types: [interfaces] :: Object -> Map Text Interface
+ DBus.Types: [matchInterface] :: MatchSignal -> Maybe Text
+ DBus.Types: [matchMember] :: MatchSignal -> Maybe Text
+ DBus.Types: [matchPath] :: MatchSignal -> Maybe ObjectPath
+ DBus.Types: [matchSender] :: MatchSignal -> Maybe Text
+ DBus.Types: [methodArgs] :: MethodDescription args rets -> ArgumentDescription (ArgParity args)
+ DBus.Types: [methodInterface] :: MethodDescription args rets -> Text
+ DBus.Types: [methodMember] :: MethodDescription args rets -> Text
+ DBus.Types: [methodObjectPath] :: MethodDescription args rets -> ObjectPath
+ DBus.Types: [methodResult] :: MethodDescription args rets -> ArgumentDescription (ArgParity rets)
+ DBus.Types: [opAbsolute] :: ObjectPath -> Bool
+ DBus.Types: [opParts] :: ObjectPath -> [Text]
+ DBus.Types: [propertyEmitsChangedSignal] :: Property t -> PropertyEmitsChangedSignal
+ DBus.Types: [propertyGet] :: Property t -> Maybe (MethodHandlerT IO (DBusValue t))
+ DBus.Types: [propertyInterface] :: Property t -> Text
+ DBus.Types: [propertyName] :: Property t -> Text
+ DBus.Types: [propertyPath] :: Property t -> ObjectPath
+ DBus.Types: [propertySet] :: Property t -> Maybe (DBusValue t -> MethodHandlerT IO Bool)
+ DBus.Types: [rpEntity] :: RemoteProperty a -> Text
+ DBus.Types: [rpInterface] :: RemoteProperty a -> Text
+ DBus.Types: [rpName] :: RemoteProperty a -> Text
+ DBus.Types: [rpObject] :: RemoteProperty a -> ObjectPath
+ DBus.Types: [signalArgumentName] :: SignalArgument -> Text
+ DBus.Types: [signalArgumentType] :: SignalArgument -> DBusType
+ DBus.Types: [signalBody] :: Signal a -> DBusArguments a
+ DBus.Types: [signalDArguments] :: SignalDescription a -> ArgumentDescription (ArgParity a)
+ DBus.Types: [signalDInterface] :: SignalDescription a -> InterfaceName
+ DBus.Types: [signalDMember] :: SignalDescription a -> MemberName
+ DBus.Types: [signalDPath] :: SignalDescription a -> ObjectPath
+ DBus.Types: [signalInterface] :: Signal a -> InterfaceName
+ DBus.Types: [signalMember] :: Signal a -> MemberName
+ DBus.Types: [signalPath] :: Signal a -> ObjectPath
+ DBus.Types: [unMHT] :: MethodHandlerT m a -> ExceptT MsgError (WriterT [SomeSignal] m) a
+ DBus.Types: [unObjects] :: Objects -> Map ObjectPath Object
+ DBus.Types: data Let1627489513TSym0 l_apTR
+ DBus.Types: data Let1627489518TSym0 l_apTW
+ DBus.Types: data Let1627489524TSym0 l_apU3
+ DBus.Types: data Let1627489524TSym1 l_apU6 l_apU5
+ DBus.Types: data Let1627489534TSym0 l_apUd
+ DBus.Types: data Let1627489534TSym1 l_apUg l_apUf
+ DBus.Types: instance (Data.Singletons.SingI n0, Data.Singletons.SingI n1) => Data.Singletons.SingI ('DBus.Types.TypeDict n0 n1)
+ DBus.Types: instance (Data.Singletons.SingI n0, Data.Singletons.SingI n1) => Data.Singletons.SingI ('DBus.Types.TypeDictEntry n0 n1)
+ DBus.Types: instance (GHC.Base.Functor m, GHC.Base.Monad m) => GHC.Base.Alternative (DBus.Types.MethodHandlerT m)
+ DBus.Types: instance Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (DBus.Types.MethodHandlerT m)
+ DBus.Types: instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (DBus.Types.MethodHandlerT m)
+ DBus.Types: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (DBus.Types.MethodHandlerT m)
+ DBus.Types: instance Control.Monad.Trans.Class.MonadTrans DBus.Types.MethodHandlerT
+ DBus.Types: instance Data.Data.Data DBus.Types.Annotation
+ DBus.Types: instance Data.Data.Data DBus.Types.DBusSimpleType
+ DBus.Types: instance Data.Data.Data DBus.Types.DBusType
+ DBus.Types: instance Data.Data.Data DBus.Types.ObjectPath
+ DBus.Types: instance Data.Data.Data DBus.Types.Parity
+ DBus.Types: instance Data.Data.Data DBus.Types.PropertyAccess
+ DBus.Types: instance Data.Singletons.Decide.SDecide 'Data.Proxy.KProxy
+ DBus.Types: instance Data.Singletons.Prelude.Eq.PEq 'Data.Proxy.KProxy
+ DBus.Types: instance Data.Singletons.Prelude.Eq.SEq 'Data.Proxy.KProxy
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.Null
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeBoolean
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeByte
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeDouble
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeInt16
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeInt32
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeInt64
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeObjectPath
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeSignature
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeString
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeUInt16
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeUInt32
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeUInt64
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeUnit
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeUnixFD
+ DBus.Types: instance Data.Singletons.SingI 'DBus.Types.TypeVariant
+ DBus.Types: instance Data.Singletons.SingI a => GHC.Show.Show (DBus.Types.DBusArguments a)
+ DBus.Types: instance Data.Singletons.SingI a => GHC.Show.Show (DBus.Types.DBusStruct a)
+ DBus.Types: instance Data.Singletons.SingI a => GHC.Show.Show (DBus.Types.Signal a)
+ DBus.Types: instance Data.Singletons.SingI a => GHC.Show.Show (DBus.Types.SignalDescription a)
+ DBus.Types: instance Data.Singletons.SingI n0 => Data.Singletons.SingI ('DBus.Types.Arg n0)
+ DBus.Types: instance Data.Singletons.SingI n0 => Data.Singletons.SingI ('DBus.Types.DBusSimpleType n0)
+ DBus.Types: instance Data.Singletons.SingI n0 => Data.Singletons.SingI ('DBus.Types.TypeArray n0)
+ DBus.Types: instance Data.Singletons.SingI n0 => Data.Singletons.SingI ('DBus.Types.TypeStruct n0)
+ DBus.Types: instance Data.Singletons.SingI t => GHC.Show.Show (DBus.Types.DBusValue t)
+ DBus.Types: instance Data.Singletons.SingKind 'Data.Proxy.KProxy
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.ArgSym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.DBusSimpleTypeSym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.FlattenRepTypeSym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.Let1627489513TSym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.Let1627489518TSym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.Let1627489524TSym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.Let1627489524TSym1
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.Let1627489534TSym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.Let1627489534TSym1
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.TypeArraySym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.TypeDictEntrySym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.TypeDictEntrySym1
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.TypeDictSym0
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.TypeDictSym1
+ DBus.Types: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings DBus.Types.TypeStructSym0
+ DBus.Types: instance Data.String.IsString DBus.Types.ObjectPath
+ DBus.Types: instance GHC.Base.Functor m => GHC.Base.Functor (DBus.Types.MethodHandlerT m)
+ DBus.Types: instance GHC.Base.Monad m => GHC.Base.Applicative (DBus.Types.MethodHandlerT m)
+ DBus.Types: instance GHC.Base.Monad m => GHC.Base.Monad (DBus.Types.MethodHandlerT m)
+ DBus.Types: instance GHC.Base.Monad m => GHC.Base.MonadPlus (DBus.Types.MethodHandlerT m)
+ DBus.Types: instance GHC.Base.Monoid DBus.Types.Interface
+ DBus.Types: instance GHC.Base.Monoid DBus.Types.Object
+ DBus.Types: instance GHC.Base.Monoid DBus.Types.Objects
+ DBus.Types: instance GHC.Classes.Eq (DBus.Types.DBusArguments t)
+ DBus.Types: instance GHC.Classes.Eq (DBus.Types.DBusStruct t)
+ DBus.Types: instance GHC.Classes.Eq (DBus.Types.DBusValue t)
+ DBus.Types: instance GHC.Classes.Eq (DBus.Types.SignalDescription a)
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.Annotation
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.DBusSimpleType
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.DBusType
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.MatchSignal
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.ObjectPath
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.Parity
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.PropertyAccess
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.Signature
+ DBus.Types: instance GHC.Classes.Eq DBus.Types.SomeSignalDescription
+ DBus.Types: instance GHC.Classes.Ord DBus.Types.MatchSignal
+ DBus.Types: instance GHC.Classes.Ord DBus.Types.ObjectPath
+ DBus.Types: instance GHC.Exception.Exception DBus.Types.MethodError
+ DBus.Types: instance GHC.Exception.Exception DBus.Types.MsgError
+ DBus.Types: instance GHC.Read.Read DBus.Types.DBusSimpleType
+ DBus.Types: instance GHC.Read.Read DBus.Types.DBusType
+ DBus.Types: instance GHC.Show.Show (DBus.Types.ArgumentDescription n)
+ DBus.Types: instance GHC.Show.Show (DBus.Types.MethodDescription args rets)
+ DBus.Types: instance GHC.Show.Show DBus.Types.Annotation
+ DBus.Types: instance GHC.Show.Show DBus.Types.DBusSimpleType
+ DBus.Types: instance GHC.Show.Show DBus.Types.DBusType
+ DBus.Types: instance GHC.Show.Show DBus.Types.MatchSignal
+ DBus.Types: instance GHC.Show.Show DBus.Types.MethodError
+ DBus.Types: instance GHC.Show.Show DBus.Types.MsgError
+ DBus.Types: instance GHC.Show.Show DBus.Types.ObjectPath
+ DBus.Types: instance GHC.Show.Show DBus.Types.Parity
+ DBus.Types: instance GHC.Show.Show DBus.Types.PropertyAccess
+ DBus.Types: instance GHC.Show.Show DBus.Types.Signature
+ DBus.Types: instance GHC.Show.Show DBus.Types.SomeDBusArguments
+ DBus.Types: instance GHC.Show.Show DBus.Types.SomeDBusValue
+ DBus.Types: instance GHC.Show.Show DBus.Types.SomeSignal
+ DBus.Types: instance GHC.Show.Show DBus.Types.SomeSignalDescription
+ DBus.Types: instance GHC.Show.Show a => GHC.Show.Show (DBus.Types.Match a)
+ DBus.Types: instance forall (k :: BOX) (a :: k). GHC.Classes.Eq (DBus.Types.RemoteProperty a)
+ DBus.Types: instance forall (k :: BOX) (a :: k). GHC.Show.Show (DBus.Types.RemoteProperty a)
+ DBus.Types: type Let1627489513TSym1 t_apTQ = Let1627489513T t_apTQ
+ DBus.Types: type Let1627489518TSym1 t_apTV = Let1627489518T t_apTV
+ DBus.Types: type Let1627489524TSym2 t_apU1 t_apU2 = Let1627489524T t_apU1 t_apU2
+ DBus.Types: type Let1627489534TSym2 t_apUb t_apUc = Let1627489534T t_apUb t_apUc
+ DBus.Types: type Let1627489542TSym0 = Let1627489542T
+ DBus.Wire: instance GHC.Classes.Eq DBus.Wire.Endian
+ DBus.Wire: instance GHC.Enum.Bounded DBus.Wire.Endian
+ DBus.Wire: instance GHC.Enum.Enum DBus.Wire.Endian
+ DBus.Wire: instance GHC.Show.Show DBus.Wire.Endian
- DBus: MReturn :: MethodHandlerT IO (DBusArguments ts) -> MethodWrapper [] ts
+ DBus: MReturn :: MethodHandlerT IO (DBusArguments ts) -> MethodWrapper '[] ts
- DBus: RequestNameFlag :: Bool -> Bool -> Bool -> RequestNameFlag
+ DBus: RequestNameFlag :: Bool -> RequestNameFlag
- DBus.Message: fromFlags :: (Bits a, Ord a, Num a) => a -> [Flag]
+ DBus.Message: fromFlags :: (Num a, Ord a, Bits a) => a -> [Flag]
- DBus.MessageBus: RequestNameFlag :: Bool -> Bool -> Bool -> RequestNameFlag
+ DBus.MessageBus: RequestNameFlag :: Bool -> RequestNameFlag
- DBus.Representable: flattenRep :: Representable a => a -> DBusArguments (FlattenRepType (RepType a))
+ DBus.Representable: flattenRep :: (Representable a) => a -> DBusArguments (FlattenRepType (RepType a))
- DBus.Types: ArgsNil :: DBusArguments []
+ DBus.Types: ArgsNil :: DBusArguments '[]
- DBus.Types: MReturn :: MethodHandlerT IO (DBusArguments ts) -> MethodWrapper [] ts
+ DBus.Types: MReturn :: MethodHandlerT IO (DBusArguments ts) -> MethodWrapper '[] ts
- DBus.Types: data ArgSym0 (l_ajs1 :: TyFun Parity Parity)
+ DBus.Types: data ArgSym0 (l_anzU :: TyFun Parity Parity)
- DBus.Types: data DBusSimpleTypeSym0 (l_ajrb :: TyFun DBusSimpleType DBusType)
+ DBus.Types: data DBusSimpleTypeSym0 (l_anz4 :: TyFun DBusSimpleType DBusType)
- DBus.Types: data FlattenRepTypeSym0 (l_alo6 :: TyFun DBusType [DBusType])
+ DBus.Types: data FlattenRepTypeSym0 (l_apTK :: TyFun DBusType [DBusType])
- DBus.Types: data TypeArraySym0 (l_ajre :: TyFun DBusType DBusType)
+ DBus.Types: data TypeArraySym0 (l_anz7 :: TyFun DBusType DBusType)
- DBus.Types: data TypeDictEntrySym0 (l_ajrs :: TyFun DBusSimpleType (TyFun DBusType DBusType -> *))
+ DBus.Types: data TypeDictEntrySym0 (l_anzl :: TyFun DBusSimpleType (TyFun DBusType DBusType -> *))
- DBus.Types: data TypeDictEntrySym1 (l_ajrv :: DBusSimpleType) (l_ajru :: TyFun DBusType DBusType)
+ DBus.Types: data TypeDictEntrySym1 (l_anzo :: DBusSimpleType) (l_anzn :: TyFun DBusType DBusType)
- DBus.Types: data TypeDictSym0 (l_ajrl :: TyFun DBusSimpleType (TyFun DBusType DBusType -> *))
+ DBus.Types: data TypeDictSym0 (l_anze :: TyFun DBusSimpleType (TyFun DBusType DBusType -> *))
- DBus.Types: data TypeDictSym1 (l_ajro :: DBusSimpleType) (l_ajrn :: TyFun DBusType DBusType)
+ DBus.Types: data TypeDictSym1 (l_anzh :: DBusSimpleType) (l_anzg :: TyFun DBusType DBusType)
- DBus.Types: data TypeStructSym0 (l_ajrh :: TyFun [DBusType] DBusType)
+ DBus.Types: data TypeStructSym0 (l_anza :: TyFun [DBusType] DBusType)
- DBus.Types: sFlattenRepType :: Sing t_aloF -> Sing (Apply FlattenRepTypeSym0 t_aloF)
+ DBus.Types: sFlattenRepType :: Sing t_apUj -> Sing (Apply FlattenRepTypeSym0 t_apUj :: [DBusType])
- DBus.Types: type ArgSym1 (t_ajs0 :: Parity) = Arg t_ajs0
+ DBus.Types: type ArgSym1 (t_anzT :: Parity) = Arg t_anzT
- DBus.Types: type DBusSimpleTypeSym1 (t_ajra :: DBusSimpleType) = DBusSimpleType t_ajra
+ DBus.Types: type DBusSimpleTypeSym1 (t_anz3 :: DBusSimpleType) = DBusSimpleType t_anz3
- DBus.Types: type FlattenRepTypeSym1 (t_alo5 :: DBusType) = FlattenRepType t_alo5
+ DBus.Types: type FlattenRepTypeSym1 (t_apTJ :: DBusType) = FlattenRepType t_apTJ
- DBus.Types: type SDBusSimpleType (z_ajr9 :: DBusSimpleType) = Sing z_ajr9
+ DBus.Types: type SDBusSimpleType = (Sing :: DBusSimpleType -> *)
- DBus.Types: type SDBusType (z_ajrx :: DBusType) = Sing z_ajrx
+ DBus.Types: type SDBusType = (Sing :: DBusType -> *)
- DBus.Types: type SParity (z_ajs3 :: Parity) = Sing z_ajs3
+ DBus.Types: type SParity = (Sing :: Parity -> *)
- DBus.Types: type TypeArraySym1 (t_ajrd :: DBusType) = TypeArray t_ajrd
+ DBus.Types: type TypeArraySym1 (t_anz6 :: DBusType) = TypeArray t_anz6
- DBus.Types: type TypeDictEntrySym2 (t_ajrq :: DBusSimpleType) (t_ajrr :: DBusType) = TypeDictEntry t_ajrq t_ajrr
+ DBus.Types: type TypeDictEntrySym2 (t_anzj :: DBusSimpleType) (t_anzk :: DBusType) = TypeDictEntry t_anzj t_anzk
- DBus.Types: type TypeDictSym2 (t_ajrj :: DBusSimpleType) (t_ajrk :: DBusType) = TypeDict t_ajrj t_ajrk
+ DBus.Types: type TypeDictSym2 (t_anzc :: DBusSimpleType) (t_anzd :: DBusType) = TypeDict t_anzc t_anzd
- DBus.Types: type TypeStructSym1 (t_ajrg :: [DBusType]) = TypeStruct t_ajrg
+ DBus.Types: type TypeStructSym1 (t_anz9 :: [DBusType]) = TypeStruct t_anz9

Files

d-bus.cabal view
@@ -1,5 +1,5 @@ name:                d-bus-version:             0.1.3.2+version:             0.1.3.3 synopsis:            Permissively licensed D-Bus client library description:         This library uses modern extensions to the Haskell type system                      (including GADTs, DataKinds and TypeFamilies) and the
src/DBus/Types.hs view
@@ -15,6 +15,7 @@ import           Control.Concurrent.STM import qualified Control.Exception as Ex import           Control.Monad+import           Control.Monad.Catch import           Control.Monad.Except import           Control.Monad.Trans import           Control.Monad.Writer.Strict@@ -185,6 +186,8 @@              , Applicative              , Monad              , MonadIO+             , MonadThrow+             , MonadCatch              )  methodError :: Monad m => MsgError -> MethodHandlerT m a