Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Rpc.Server.Internal.Monad
Synopsis
- class Has field env where
- obtain :: env -> field
- type MonadRpc e (m :: Type -> Type) = (Has (Tracer m String) e, Has LocalNodeConnectInfo e, HasCallStack, MonadReader e m, MonadUnliftIO m)
- grab :: (Has field env, MonadReader env m) => m field
- putTrace :: (Has (Tracer m t) e, MonadReader e m) => t -> m ()
Documentation
class Has field env where Source #
Provides a value of type field
from the value env
Used in conjunction with 'MonadReader env m' allows to easily access fields from the environment.
type MonadRpc e (m :: Type -> Type) = (Has (Tracer m String) e, Has LocalNodeConnectInfo e, HasCallStack, MonadReader e m, MonadUnliftIO m) Source #
grab :: (Has field env, MonadReader env m) => m field Source #
Obtain the field from the environment
putTrace :: (Has (Tracer m t) e, MonadReader e m) => t -> m () Source #
Using tracer from the environment, print the trace