Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type ReadValueM a = Handler `[ThrowsFailed, ThrowsInProgress, ThrowsNotPermitted, ThrowsNotAuthorized, ThrowsNotSupported]` a Source
type WriteValueM a = Handler `[ThrowsFailed, ThrowsInProgress, ThrowsNotPermitted, ThrowsInvalidValueLength, ThrowsNotAuthorized, ThrowsNotSupported]` a Source
Handler | |
|
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
class ThrowsFailed m where Source
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
errInProgress :: m a Source
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
errNotPermitted :: m a Source
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
errNotAuthorized :: m a Source
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
errNotSupported :: m a Source
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
errInvalidValueLength :: m a Source
IsElem ((* -> *) -> Constraint) (ThrowsInvalidValueLength *) errs => ThrowsInvalidValueLength * (Handler errs) Source | |
HasWriteValue (Characteristic typ) (Maybe (typ -> WriteValueM Bool)) Source |