| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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 # | |
Defined in Tendermint.SDK.BaseApp.Router.Types Methods showsPrec :: Int -> RouterError -> ShowS # show :: RouterError -> String # showList :: [RouterError] -> ShowS # | |
| IsAppError RouterError Source # | |
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 # | |
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 # | |
| Functor RouteResult Source # | |
Defined in Tendermint.SDK.BaseApp.Router.Types Methods fmap :: (a -> b) -> RouteResult a -> RouteResult b # (<$) :: a -> RouteResult b -> RouteResult a # | |
| Applicative RouteResult Source # | |
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
| |