| Safe Haskell | Safe-Inferred |
|---|
Control.SafeAccess
- ensureAccess :: MonadSafeAccess m d => d -> m ()
- newtype Capability d = MkCapability {
- runCapability :: d -> AccessDecision
- type Capabilities d = [Capability d]
- data AccessDecision
- newtype SafeAccessT d m a = SafeAccessT {
- runSafeAccessT :: Capabilities d -> m (Either d a)
- class AccessDescriptor d where
- descrMsg :: String -> d
- class (AccessDescriptor d, Monad m) => MonadSafeAccess m d where
- getCapabilities :: m (Capabilities d)
- denyAccess :: d -> m ()
- liftErrorT :: ErrorT d m a -> SafeAccessT d m a
Documentation
ensureAccess :: MonadSafeAccess m d => d -> m ()Source
Check that the access is legal or make the monad "fail".
newtype Capability d Source
Allow things to be accessed. See ensureAccess.
d is the type describing an access.
Constructors
| MkCapability | |
Fields
| |
type Capabilities d = [Capability d]Source
data AccessDecision Source
Control the decision process.
The constructors are ordered by prevalence. For instance, if two capabilities
respectively return AccessGranted and AccessDenied,
the final decision will be AccessDenied.
Constructors
| AccessDeniedSoft | No but another |
| AccessGranted | Final yes (see explanation) |
| AccessDenied | Final no |
Instances
| Eq AccessDecision | |
| Show AccessDecision |
newtype SafeAccessT d m a Source
A simple monad (transformer) to ensure that data are accessed legitimately.
The return value is either the description of an access having been denied (left) or the result of the normal computation (right).
Constructors
| SafeAccessT | |
Fields
| |
Instances
| MonadTrans (SafeAccessT d) | |
| (AccessDescriptor d, Monad m) => Monad (SafeAccessT d m) | |
| Functor f => Functor (SafeAccessT d f) | |
| Applicative f => Applicative (SafeAccessT d f) | |
| (AccessDescriptor d, MonadIO m) => MonadIO (SafeAccessT d m) | |
| (AccessDescriptor d, Monad m) => MonadSafeAccess (SafeAccessT d m) d |
class AccessDescriptor d whereSource
It is needed by fail on SafeAccessT to put the string into the Either d a returned.
class (AccessDescriptor d, Monad m) => MonadSafeAccess m d whereSource
Instances
| (AccessDescriptor d, Monad m) => MonadSafeAccess (SafeAccessT d m) d |
liftErrorT :: ErrorT d m a -> SafeAccessT d m aSource
Lift an action from ErrorT to SafeAccessT.