hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Router.Types

Documentation

type Application m req res = req -> m (RouteResult res) Source #

data RouterError Source #

Constructors

PathNotFound 
ResourceNotFound 
InvalidRequest Text 
InternalError Text 
Instances
Show RouterError Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

showsPrec :: Int -> RouterError -> ShowS #

show :: RouterError -> String #

showList :: [RouterError] -> ShowS #

IsAppError RouterError Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

makeAppError :: RouterError -> AppError Source #

data RouteResult a Source #

Constructors

Fail RouterError 
FailFatal RouterError 
Route a 
Instances
Monad RouteResult Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

(>>=) :: RouteResult a -> (a -> RouteResult b) -> RouteResult b #

(>>) :: RouteResult a -> RouteResult b -> RouteResult b #

return :: a -> RouteResult a #

fail :: String -> RouteResult a #

Functor RouteResult Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

fmap :: (a -> b) -> RouteResult a -> RouteResult b #

(<$) :: a -> RouteResult b -> RouteResult a #

Applicative RouteResult Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

pure :: a -> RouteResult a #

(<*>) :: RouteResult (a -> b) -> RouteResult a -> RouteResult b #

liftA2 :: (a -> b -> c) -> RouteResult a -> RouteResult b -> RouteResult c #

(*>) :: RouteResult a -> RouteResult b -> RouteResult b #

(<*) :: RouteResult a -> RouteResult b -> RouteResult a #

data RouteResultT m a Source #

Constructors

RouteResultT 

Fields

Instances
MonadTrans RouteResultT Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

lift :: Monad m => m a -> RouteResultT m a #

Monad m => Monad (RouteResultT m) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

(>>=) :: RouteResultT m a -> (a -> RouteResultT m b) -> RouteResultT m b #

(>>) :: RouteResultT m a -> RouteResultT m b -> RouteResultT m b #

return :: a -> RouteResultT m a #

fail :: String -> RouteResultT m a #

Functor m => Functor (RouteResultT m) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

fmap :: (a -> b) -> RouteResultT m a -> RouteResultT m b #

(<$) :: a -> RouteResultT m b -> RouteResultT m a #

Monad m => Applicative (RouteResultT m) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Router.Types

Methods

pure :: a -> RouteResultT m a #

(<*>) :: RouteResultT m (a -> b) -> RouteResultT m a -> RouteResultT m b #

liftA2 :: (a -> b -> c) -> RouteResultT m a -> RouteResultT m b -> RouteResultT m c #

(*>) :: RouteResultT m a -> RouteResultT m b -> RouteResultT m b #

(<*) :: RouteResultT m a -> RouteResultT m b -> RouteResultT m a #

class HasPath t where Source #

Methods

path :: Lens' t Text Source #

Instances
HasPath QueryRequest Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Query.Types

Methods

path :: Lens' QueryRequest Text Source #

HasPath (RoutingTx msg) Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Transaction.Types

Methods

path :: Lens' (RoutingTx msg) Text Source #