ble-0.1.0.0: Bluetooth Low Energy (BLE) peripherals

Safe Haskell	None
Language	Haskell2010

Bluetooth.Internal.Errors

Documentation

type ReadValueM a = Handler `[ThrowsFailed, ThrowsInProgress, ThrowsNotPermitted, ThrowsNotAuthorized, ThrowsNotSupported]` a Source

type WriteValueM a = Handler `[ThrowsFailed, ThrowsInProgress, ThrowsNotPermitted, ThrowsInvalidValueLength, ThrowsNotAuthorized, ThrowsNotSupported]` a Source

newtype Handler errs a Source

Constructors

Handler
Fields getReadValue :: ExceptT Text IO a

Instances

IsElem ((* -> ) -> Constraint) (ThrowsInvalidValueLength ) errs => ThrowsInvalidValueLength * (Handler errs) Source
IsElem ((* -> ) -> Constraint) (ThrowsNotSupported ) errs => ThrowsNotSupported * (Handler errs) Source
IsElem ((* -> ) -> Constraint) (ThrowsNotAuthorized ) errs => ThrowsNotAuthorized * (Handler errs) Source
IsElem ((* -> ) -> Constraint) (ThrowsNotPermitted ) errs => ThrowsNotPermitted * (Handler errs) Source
IsElem ((* -> ) -> Constraint) (ThrowsInProgress ) errs => ThrowsInProgress * (Handler errs) Source
IsElem ((* -> ) -> Constraint) (ThrowsFailed ) errs => ThrowsFailed * (Handler errs) Source
Monad (Handler errs) Source
Functor (Handler errs) Source
Applicative (Handler errs) Source
MonadIO (Handler errs) Source
HasWriteValue (Characteristic typ) (Maybe (typ -> WriteValueM Bool)) Source
HasReadValue (Characteristic typ) (Maybe (ReadValueM typ)) Source

type family IsElem x list :: Constraint Source

Equations

IsElem x (x : xs) = ()
IsElem x (y : xs) = IsElem x xs

class ThrowsFailed m where Source

Methods

errFailed :: m a Source

Instances

IsElem ((* -> ) -> Constraint) (ThrowsFailed ) errs => ThrowsFailed * (Handler errs) Source
HasWriteValue (Characteristic typ) (Maybe (typ -> WriteValueM Bool)) Source
HasReadValue (Characteristic typ) (Maybe (ReadValueM typ)) Source

class ThrowsInProgress m where Source

Methods

errInProgress :: m a Source

Instances

IsElem ((* -> ) -> Constraint) (ThrowsInProgress ) errs => ThrowsInProgress * (Handler errs) Source
HasWriteValue (Characteristic typ) (Maybe (typ -> WriteValueM Bool)) Source
HasReadValue (Characteristic typ) (Maybe (ReadValueM typ)) Source

class ThrowsNotPermitted m where Source

Methods

errNotPermitted :: m a Source

Instances

IsElem ((* -> ) -> Constraint) (ThrowsNotPermitted ) errs => ThrowsNotPermitted * (Handler errs) Source
HasWriteValue (Characteristic typ) (Maybe (typ -> WriteValueM Bool)) Source
HasReadValue (Characteristic typ) (Maybe (ReadValueM typ)) Source

class ThrowsNotAuthorized m where Source

Methods

errNotAuthorized :: m a Source

Instances

IsElem ((* -> ) -> Constraint) (ThrowsNotAuthorized ) errs => ThrowsNotAuthorized * (Handler errs) Source
HasWriteValue (Characteristic typ) (Maybe (typ -> WriteValueM Bool)) Source
HasReadValue (Characteristic typ) (Maybe (ReadValueM typ)) Source

class ThrowsNotSupported m where Source

Methods

errNotSupported :: m a Source

Instances

IsElem ((* -> ) -> Constraint) (ThrowsNotSupported ) errs => ThrowsNotSupported * (Handler errs) Source
HasWriteValue (Characteristic typ) (Maybe (typ -> WriteValueM Bool)) Source
HasReadValue (Characteristic typ) (Maybe (ReadValueM typ)) Source

class ThrowsInvalidValueLength m where Source

Methods

errInvalidValueLength :: m a Source

Instances

IsElem ((* -> ) -> Constraint) (ThrowsInvalidValueLength ) errs => ThrowsInvalidValueLength * (Handler errs) Source
HasWriteValue (Characteristic typ) (Maybe (typ -> WriteValueM Bool)) Source