Module
Pipes.Internal
- Package
- purescript-pipes
- Repository
- felixschl/purescript-pipes
#Proxy Source
data Proxy :: Type -> Type -> Type -> Type -> (Type -> Type) -> Type -> Typedata 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)