Module

Hyper.Middleware

Package: purescript-hyper
Repository: owickstrom/hyper

#Middleware Source

newtype Middleware m i o a

Constructors

Middleware (i -> m (Tuple a o))

Instances

(Monad m) => IxMonadMiddleware (Middleware m)
(Monad m) => IxApplicative (Middleware m)
(Monad m) => IxBind (Middleware m)
(Monad m) => IxApply (Middleware m)
(Monad m) => IxFunctor (Middleware m)
(Monad m) => IxMonad (Middleware m)
(Monad m) => Functor (Middleware m i i)
(Monad m) => Apply (Middleware m i i)
(Monad m) => Applicative (Middleware m i i)
(Monad m) => Bind (Middleware m i i)
(Monad m, Applicative m) => Monad (Middleware m i i)
(MonadEffect m) => MonadEffect (Middleware m i i)
(MonadAff m) => MonadAff (Middleware m i i)

#evalMiddleware Source

evalMiddleware :: forall a o i m. Functor m => Middleware m i o a -> i -> m o

#hoistMiddleware Source

hoistMiddleware :: forall a o i g f. (f ~> g) -> Middleware f i o a -> Middleware g i o a

#runMiddleware Source

runMiddleware :: forall a o i m. Middleware m i o a -> i -> m (Tuple a o)

#lift' Source

lift' :: forall a i m. Monad m => m a -> Middleware m i i a

Re-exports from Control.Monad.Indexed.Qualified

#discard Source

discard :: forall z y x b a m. IxBind m => IxDiscard a => m x y a -> (a -> m y z b) -> m x z b

#bind Source

bind :: forall z y x b a m. IxMonad m => m x y a -> (a -> m y z b) -> m x z b