Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Type-level function to extract underlying server monad
Documentation
newtype Send method m a Source #
Route response type. It encodes the route method in the type and which monad is used and which type the response has.
The repsonse value is usually one of two cases:
Resp media a
-- for routes which always produce a valueRespOr media err a
- for routes that can also produce an error or value.
See the class IsResp
for more details on response types.
Instances
MonadTrans (Send method :: (Type -> Type) -> Type -> Type) Source # | |
Defined in Mig.Core.Types.Route | |
MonadIO m => MonadIO (Send method m) Source # | |
Defined in Mig.Core.Types.Route | |
Applicative m => Applicative (Send method m) Source # | |
Defined in Mig.Core.Types.Route pure :: a -> Send method m a # (<*>) :: Send method m (a -> b) -> Send method m a -> Send method m b # liftA2 :: (a -> b -> c) -> Send method m a -> Send method m b -> Send method m c # (*>) :: Send method m a -> Send method m b -> Send method m b # (<*) :: Send method m a -> Send method m b -> Send method m a # | |
Functor m => Functor (Send method m) Source # | |
Monad m => Monad (Send method m) Source # | |
(MonadIO m, IsResp a, IsMethod method) => ToRoute (Send method m a) Source # | |
Defined in Mig.Core.Class.Route |