Bluetooth.Internal.Errors

Documentation

newtype Handler a

Constructors

Handler

Fields

• getReadValue :: ExceptT Text IO a

Instances

Monad Handler

Methods

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

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

return :: a -> Handler a

fail :: String -> Handler a

Functor Handler

Methods

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

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

Applicative Handler

Methods

pure :: a -> Handler a

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

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

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

MonadIO Handler

Methods

liftIO :: IO a -> Handler a

MonadError Text Handler

Methods

throwError :: Text -> Handler a

catchError :: Handler a -> (Text -> Handler a) -> Handler a

Generic (Handler a)

Associated Types

type Rep (Handler a) :: * -> *

Methods

from :: Handler a -> Rep (Handler a) x

to :: Rep (Handler a) x -> Handler a

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

Methods

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

HasReadValue (Characteristic typ0) (Maybe (Handler typ0))

Methods

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

type Rep (Handler a)

type Rep (Handler a) = D1 (MetaData "Handler" "Bluetooth.Internal.Errors" "ble-0.3.2.0-8g0MfVDp1X18yD8EvfH3F8" True) (C1 (MetaCons "Handler" PrefixI True) (S1 (MetaSel (Just Symbol "getReadValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ExceptT Text IO a))))

runHandler :: Handler a -> IO (Either Text a)

errorFailed :: Handler a

Generic failure

errorInProgress :: Handler a

errorNotPermitted :: Handler a

errorNotAuthorized :: Handler a

errorNotSupported :: Handler a

errorInvalidValueLength :: Handler a

Indicates that the argument has invalid length. Should not be used from a read handler