| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bluetooth.Internal.Types
Contents
- (</>) :: Text -> Text -> Text
- parentPath :: Text -> Text
- data UUID = UUID UUID
- baseUUID :: String
- data Any where
- MkAny :: forall a. Representable a => a -> Any
- data WithObjectPath a = WOP {}
- class HasPath s a | s -> a where
- class HasValue s a | s -> a where
- type AnyDBusDict = TypeDict TypeString TypeVariant
- data Descriptor = Descriptor {}
- data AdvertisingPacketType
- data CharacteristicProperty
- chrPropPairs :: [(CharacteristicProperty, Text)]
- data CharacteristicOptions = CharacteristicOptions {}
- class HasOffset s a | s -> a where
- type CharacteristicBS = Characteristic ByteString
- data Characteristic typ = Characteristic {
- characteristicUuid :: UUID
- characteristicProperties :: [CharacteristicProperty]
- characteristicReadValue :: Maybe (Handler typ)
- characteristicWriteValue :: Maybe (typ -> Handler Bool)
- class HasProperties s a | s -> a where
- class HasReadValue s a | s -> a where
- class HasUuid s a | s -> a where
- class HasWriteValue s a | s -> a where
- characteristicIsNotifying :: UUID -> MVar Bool
- objectPathOf :: UUID -> IORef (Maybe ObjectPath)
- characteristicObjectPath :: ObjectPath -> Int -> ObjectPath
- data Service = Service {}
- class HasCharacteristics s a | s -> a where
- data Application = Application {}
- class HasServices s a | s -> a where
- serviceObjectPath :: ObjectPath -> Int -> ObjectPath
- data AdvertisementType
- data Advertisement = Advertisement {}
- class HasIncludeTxPower s a | s -> a where
- class HasManufacturerData s a | s -> a where
- class HasServiceData s a | s -> a where
- class HasServiceUUIDs s a | s -> a where
- class HasSolicitUUIDs s a | s -> a where
- class HasType_ s a | s -> a where
- data Connection = Connection {
- dbusConn :: DBusConnection
- addObject :: ObjectPath -> Object -> IO ()
- connectionName :: Connection -> Text
- connect :: IO Connection
- data Error
- newtype BluetoothM a = BluetoothM (ReaderT Connection (ExceptT Error IO) a)
- runBluetoothM :: BluetoothM a -> Connection -> IO (Either Error a)
- toBluetoothM :: (Connection -> IO (Either MethodError a)) -> BluetoothM a
- data ApplicationRegistered = ApplicationRegistered
- data Status
Documentation
parentPath :: Text -> Text Source #
UUID
UUIDs, used for services and characteristics.
Unofficial UUIDs will have 128-bits, and will look this:
d45e83fb-c772-459e-91a8-43cbf1443af4
Official UUIDs will have either 32 or 16 bits.
See ITU-T Rec. X.677 for more information on the format and generation of these UUIDs. You can use the Online UUID Generator to generate UUIDs.
Instances
| Eq UUID Source # | |
| Ord UUID Source # | |
| Show UUID Source # | |
| IsString UUID Source # | |
| Generic UUID Source # | |
| Representable UUID Source # | |
| Random UUID Source # | |
| HasUuid Service UUID Source # | |
| HasSolicitUUIDs Advertisement [UUID] Source # | |
| HasServiceUUIDs Advertisement [UUID] Source # | |
| HasServiceData Advertisement (Map UUID ByteString) Source # | |
| HasUuid (Characteristic typ0) UUID Source # | |
| type Rep UUID Source # | |
| type RepType UUID Source # | |
Any
A Haskell existential type corresponding to DBus' Variant.
Constructors
| MkAny :: forall a. Representable a => a -> Any |
data WithObjectPath a Source #
Constructors
| WOP | |
Fields | |
Instances