Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Router.Delayed

Synopsis

data Delayed m env req a
runAction :: Delayed (Sem r) env req (Sem r a) -> env -> req -> (a -> Sem r (RouteResult b)) -> Sem r (RouteResult b)
delayedFail :: Monad m => RouterError -> DelayedM m req a
addBody :: Monad m => Delayed m env req (a -> b) -> DelayedM m req a -> Delayed m env req b
addCapture :: Monad m => Delayed m env req (a -> b) -> (captured -> DelayedM m req a) -> Delayed m (captured, env) req b
addParameter :: Monad m => Delayed m env req (a -> b) -> DelayedM m req a -> Delayed m env req b
emptyDelayed :: Monad m => RouteResult a -> Delayed m b req a
withRequest :: Monad m => (req -> DelayedM m req a) -> DelayedM m req a

Documentation

data Delayed m env req a Source #

Instances details

Functor m => Functor (Delayed m env req) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Router.Delayed Methods fmap :: (a -> b) -> Delayed m env req a -> Delayed m env req b # (<$) :: a -> Delayed m env req b -> Delayed m env req a #

runAction :: Delayed (Sem r) env req (Sem r a) -> env -> req -> (a -> Sem r (RouteResult b)) -> Sem r (RouteResult b) Source #

Fail with the option to recover.

addBody :: Monad m => Delayed m env req (a -> b) -> DelayedM m req a -> Delayed m env req b Source #

addCapture :: Monad m => Delayed m env req (a -> b) -> (captured -> DelayedM m req a) -> Delayed m (captured, env) req b Source #

addParameter :: Monad m => Delayed m env req (a -> b) -> DelayedM m req a -> Delayed m env req b Source #

withRequest :: Monad m => (req -> DelayedM m req a) -> DelayedM m req a Source #

Gain access to the incoming request.