Servant.Pipes

This module exports ToSourceIO and FromSourceIO for Proxy and SafeT instances.

Documentation

class PipesToSourceIO m where

Helper class to implement ToSourceIO Proxy instance for various monads.

Methods

pipesToSourceIO :: Proxy X () () b m () -> SourceIO b

Instances

PipesToSourceIO IO

Defined in Servant.Pipes

Methods

pipesToSourceIO :: Proxy X () () b IO () -> SourceIO b

m ~ IO => PipesToSourceIO (SafeT m)

Defined in Servant.Pipes

Methods

pipesToSourceIO :: Proxy X () () b (SafeT m) () -> SourceIO b

Orphan instances

MonadIO m => FromSourceIO a (ListT m a)

Methods

fromSourceIO :: SourceIO a -> IO (ListT m a)

PipesToSourceIO m => ToSourceIO a (ListT m a)

Methods

toSourceIO :: ListT m a -> SourceIO a

(MonadIO m, a' ~ X, a ~ (), b' ~ (), r ~ ()) => FromSourceIO b (Proxy a' a b' b m r)

Methods

fromSourceIO :: SourceIO b -> IO (Proxy a' a b' b m r)

(PipesToSourceIO m, a' ~ X, a ~ (), b' ~ (), r ~ ()) => ToSourceIO b (Proxy a' a b' b m r)

Methods

toSourceIO :: Proxy a' a b' b m r -> SourceIO b