Bluetooth.Internal.Errors

Documentation

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

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

newtype Handler errs a

Constructors

Handler

Fields

• getReadValue :: ExceptT Text IO a

Instances

Monad (Handler errs)

Methods

(>>=) :: Handler errs a -> (a -> Handler errs b) -> Handler errs b

(>>) :: Handler errs a -> Handler errs b -> Handler errs b

return :: a -> Handler errs a

fail :: String -> Handler errs a

Functor (Handler errs)

Methods

fmap :: (a -> b) -> Handler errs a -> Handler errs b

(<$) :: a -> Handler errs b -> Handler errs a

Applicative (Handler errs)

Methods

pure :: a -> Handler errs a

(<*>) :: Handler errs (a -> b) -> Handler errs a -> Handler errs b

(*>) :: Handler errs a -> Handler errs b -> Handler errs b

(<*) :: Handler errs a -> Handler errs b -> Handler errs a

MonadIO (Handler errs)

Methods

liftIO :: IO a -> Handler errs a

IsElem ((* -> *) -> Constraint) (ThrowsInvalidValueLength *) errs => ThrowsInvalidValueLength * (Handler errs)

Methods

errInvalidValueLength :: m a

IsElem ((* -> *) -> Constraint) (ThrowsNotSupported *) errs => ThrowsNotSupported * (Handler errs)

Methods

errNotSupported :: m a

IsElem ((* -> *) -> Constraint) (ThrowsNotAuthorized *) errs => ThrowsNotAuthorized * (Handler errs)

Methods

errNotAuthorized :: m a

IsElem ((* -> *) -> Constraint) (ThrowsNotPermitted *) errs => ThrowsNotPermitted * (Handler errs)

Methods

errNotPermitted :: m a

IsElem ((* -> *) -> Constraint) (ThrowsInProgress *) errs => ThrowsInProgress * (Handler errs)

Methods

errInProgress :: m a

IsElem ((* -> *) -> Constraint) (ThrowsFailed *) errs => ThrowsFailed * (Handler errs)

Methods

errFailed :: m a

HasWriteValue (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

Methods

writeValue :: Lens' (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

HasReadValue (Characteristic typ0) (Maybe (ReadValueM typ0))

Methods

readValue :: Lens' (Characteristic typ0) (Maybe (ReadValueM typ0))

type family IsElem (x :: k) (list :: [k]) :: Constraint where ...

Asserts that an error type is an element of a list.

example :: ThrowsFailed `IsElem` errs => Handler errs ()
example
 = errFailed "Every attempt is a wholly new start, and a different kind of failure"

Since: 0.1.2.0

Equations

IsElem x (x ': xs) = ()

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

class ThrowsFailed m where

Minimal complete definition

errFailed

Methods

errFailed :: m a

Instances

IsElem ((* -> *) -> Constraint) (ThrowsFailed *) errs => ThrowsFailed * (Handler errs)

Methods

errFailed :: m a

HasWriteValue (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

Methods

writeValue :: Lens' (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

HasReadValue (Characteristic typ0) (Maybe (ReadValueM typ0))

Methods

readValue :: Lens' (Characteristic typ0) (Maybe (ReadValueM typ0))

class ThrowsInProgress m where

Minimal complete definition

errInProgress

Methods

errInProgress :: m a

Instances

IsElem ((* -> *) -> Constraint) (ThrowsInProgress *) errs => ThrowsInProgress * (Handler errs)

Methods

errInProgress :: m a

HasWriteValue (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

Methods

writeValue :: Lens' (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

HasReadValue (Characteristic typ0) (Maybe (ReadValueM typ0))

Methods

readValue :: Lens' (Characteristic typ0) (Maybe (ReadValueM typ0))

class ThrowsNotPermitted m where

Minimal complete definition

errNotPermitted

Methods

errNotPermitted :: m a

Instances

IsElem ((* -> *) -> Constraint) (ThrowsNotPermitted *) errs => ThrowsNotPermitted * (Handler errs)

Methods

errNotPermitted :: m a

HasWriteValue (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

Methods

writeValue :: Lens' (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

HasReadValue (Characteristic typ0) (Maybe (ReadValueM typ0))

Methods

readValue :: Lens' (Characteristic typ0) (Maybe (ReadValueM typ0))

class ThrowsNotAuthorized m where

Minimal complete definition

errNotAuthorized

Methods

errNotAuthorized :: m a

Instances

IsElem ((* -> *) -> Constraint) (ThrowsNotAuthorized *) errs => ThrowsNotAuthorized * (Handler errs)

Methods

errNotAuthorized :: m a

HasWriteValue (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

Methods

writeValue :: Lens' (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

HasReadValue (Characteristic typ0) (Maybe (ReadValueM typ0))

Methods

readValue :: Lens' (Characteristic typ0) (Maybe (ReadValueM typ0))

class ThrowsNotSupported m where

Minimal complete definition

errNotSupported

Methods

errNotSupported :: m a

Instances

IsElem ((* -> *) -> Constraint) (ThrowsNotSupported *) errs => ThrowsNotSupported * (Handler errs)

Methods

errNotSupported :: m a

HasWriteValue (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

Methods

writeValue :: Lens' (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

HasReadValue (Characteristic typ0) (Maybe (ReadValueM typ0))

Methods

readValue :: Lens' (Characteristic typ0) (Maybe (ReadValueM typ0))

class ThrowsInvalidValueLength m where

Minimal complete definition

errInvalidValueLength

Methods

errInvalidValueLength :: m a

Instances

IsElem ((* -> *) -> Constraint) (ThrowsInvalidValueLength *) errs => ThrowsInvalidValueLength * (Handler errs)

Methods

errInvalidValueLength :: m a

HasWriteValue (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))

Methods

writeValue :: Lens' (Characteristic typ0) (Maybe (typ0 -> WriteValueM Bool))