Module
Pipes.Internal
- Package
- purescript-pipes
- Repository
- felixschl/purescript-pipes
#Proxy Source
data Proxy :: Type -> Type -> Type -> Type -> (Type -> Type) -> Type -> Type
data Proxy a' a b' b m r
Constructors
Request a' (a -> Proxy a' a b' b m r)
Respond b (b' -> Proxy a' a b' b m r)
M (m (Proxy a' a b' b m r))
Pure r
Instances
(Monad m) => Functor (Proxy a' a b' b m)
(Monad m) => Apply (Proxy a' a b' b m)
(Monad m) => Applicative (Proxy a' a b' b m)
(Monad m) => Bind (Proxy a' a b' b m)
(Monad m) => Monad (Proxy a' a b' b m)
(Monad m, Monoid r) => Monoid (Proxy a' a b' b m r)
(Monad m, Semigroup r) => Semigroup (Proxy a' a b' b m r)
MonadTrans (Proxy a' a b' b)
MFunctor (Proxy a' a b' b)
MMonad (Proxy a' a b' b)
(MonadEffect m) => MonadEffect (Proxy a' a b' b m)
(MonadAff m) => MonadAff (Proxy a' a b' b m)
(MonadAsk r m) => MonadAsk r (Proxy a' a b' b m)
(MonadReader r m) => MonadReader r (Proxy a' a b' b m)
(MonadState s m) => MonadState s (Proxy a' a b' b m)
(Monoid w, MonadTell w m) => MonadTell w (Proxy a' a b' b m)
(Monoid w, MonadWriter w m) => MonadWriter w (Proxy a' a b' b m)
(MonadPlus m) => Alt (Proxy a' a b' b m)
(MonadPlus m) => Plus (Proxy a' a b' b m)
(MonadPlus m) => Alternative (Proxy a' a b' b m)
(MonadThrow e m) => MonadThrow e (Proxy a' a b' b m)
(MonadError e m) => MonadError e (Proxy a' a b' b m)
(Monad m) => MonadRec (Proxy a' a b' b m)