Axon.Request.Handler

newtype Handler :: (Type -> Type) -> Type -> Typenewtype Handler m a

Constructors

• Handler (Request -> m (Either ExtractError a))

Instances

• Newtype (Handler m a) _
• (Monad m) => Semigroup (Handler m a)
• (MonadAff m) => RequestHandler (Handler m b) m b

or :: forall m a b r. RequestHandler a m r => RequestHandler b m r => a -> b -> Handler m r

class RequestHandler :: Type -> (Type -> Type) -> Type -> Constraintclass (MonadAff m) <= RequestHandler a m b | a -> b m where

Members

• toHandler :: a -> Handler m b
• invokeHandler :: a -> Request -> m (Either ExtractError b)

Instances

• (MonadAff m) => RequestHandler (Handler m b) m b
• (MonadAff m, RequestHandler f m b, RequestParts a) => RequestHandler (a -> f) m b
• (MonadAff m) => RequestHandler (m a) m a