Safe Haskell	Trustworthy
Language	Haskell2010

Pipes.Internal

Contents

Internal

Description

This is an internal module, meaning that it is unsafe to import unless you understand the risks.

This module provides a fast implementation by weakening the monad transformer laws. These laws do not hold if you can pattern match on the constructors, as the following counter-example illustrates:

lift . return = M . return . Pure

return = Pure

lift . return /= return

You do not need to worry about this if you do not import this module, since the other modules in this library do not export the constructors or export any functions which can violate the monad transformer laws.

Synopsis

data Proxy a' a b' b m r
- = 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
unsafeHoist :: Functor m => (forall x. m x -> n x) -> Proxy a' a b' b m r -> Proxy a' a b' b n r
observe :: Monad m => Proxy a' a b' b m r -> Proxy a' a b' b m r
type X = Void
closed :: X -> a

Internal

data Proxy a' a b' b m r Source #

A Proxy is a monad transformer that receives and sends information on both an upstream and downstream interface.

The type variables signify:

a' and a - The upstream interface, where (a')s go out and (a)s come in
b' and b - The downstream interface, where (b)s go out and (b')s come in
m - The base monad
r - The return value

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

Instances details

MonadWriter w m => MonadWriter w (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods writer :: (a0, w) -> Proxy a' a b' b m a0 # tell :: w -> Proxy a' a b' b m () # listen :: Proxy a' a b' b m a0 -> Proxy a' a b' b m (a0, w) # pass :: Proxy a' a b' b m (a0, w -> w) -> Proxy a' a b' b m a0 #
MonadState s m => MonadState s (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods get :: Proxy a' a b' b m s # put :: s -> Proxy a' a b' b m () # state :: (s -> (a0, s)) -> Proxy a' a b' b m a0 #
MonadReader r m => MonadReader r (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods ask :: Proxy a' a b' b m r # local :: (r -> r) -> Proxy a' a b' b m a0 -> Proxy a' a b' b m a0 # reader :: (r -> a0) -> Proxy a' a b' b m a0 #
MonadError e m => MonadError e (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods throwError :: e -> Proxy a' a b' b m a0 # catchError :: Proxy a' a b' b m a0 -> (e -> Proxy a' a b' b m a0) -> Proxy a' a b' b m a0 #
MFunctor (Proxy a' a b' b :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pipes.Internal Methods hoist :: forall m n (b0 :: k). Monad m => (forall a0. m a0 -> n a0) -> Proxy a' a b' b m b0 -> Proxy a' a b' b n b0 #
MMonad (Proxy a' a b' b) Source #
Instance details Defined in Pipes.Internal Methods embed :: forall (n :: Type -> Type) m b0. Monad n => (forall a0. m a0 -> Proxy a' a b' b n a0) -> Proxy a' a b' b m b0 -> Proxy a' a b' b n b0 #
MonadTrans (Proxy a' a b' b) Source #
Instance details Defined in Pipes.Internal Methods lift :: Monad m => m a0 -> Proxy a' a b' b m a0 #
Functor m => Monad (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods (>>=) :: Proxy a' a b' b m a0 -> (a0 -> Proxy a' a b' b m b0) -> Proxy a' a b' b m b0 # (>>) :: Proxy a' a b' b m a0 -> Proxy a' a b' b m b0 -> Proxy a' a b' b m b0 # return :: a0 -> Proxy a' a b' b m a0 #
Functor m => Functor (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods fmap :: (a0 -> b0) -> Proxy a' a b' b m a0 -> Proxy a' a b' b m b0 # (<$) :: a0 -> Proxy a' a b' b m b0 -> Proxy a' a b' b m a0 #
MonadFail m => MonadFail (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods fail :: String -> Proxy a' a b' b m a0 #
Functor m => Applicative (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods pure :: a0 -> Proxy a' a b' b m a0 # (<>) :: Proxy a' a b' b m (a0 -> b0) -> Proxy a' a b' b m a0 -> Proxy a' a b' b m b0 # liftA2 :: (a0 -> b0 -> c) -> Proxy a' a b' b m a0 -> Proxy a' a b' b m b0 -> Proxy a' a b' b m c # (>) :: Proxy a' a b' b m a0 -> Proxy a' a b' b m b0 -> Proxy a' a b' b m b0 # (<*) :: Proxy a' a b' b m a0 -> Proxy a' a b' b m b0 -> Proxy a' a b' b m a0 #
MonadIO m => MonadIO (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods liftIO :: IO a0 -> Proxy a' a b' b m a0 #
MonadThrow m => MonadThrow (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods throwM :: Exception e => e -> Proxy a' a b' b m a0 #
MonadCatch m => MonadCatch (Proxy a' a b' b m) Source #
Instance details Defined in Pipes.Internal Methods catch :: Exception e => Proxy a' a b' b m a0 -> (e -> Proxy a' a b' b m a0) -> Proxy a' a b' b m a0 #
(Functor m, Semigroup r) => Semigroup (Proxy a' a b' b m r) Source #
Instance details Defined in Pipes.Internal Methods (<>) :: Proxy a' a b' b m r -> Proxy a' a b' b m r -> Proxy a' a b' b m r # sconcat :: NonEmpty (Proxy a' a b' b m r) -> Proxy a' a b' b m r # stimes :: Integral b0 => b0 -> Proxy a' a b' b m r -> Proxy a' a b' b m r #
(Functor m, Monoid r, Semigroup r) => Monoid (Proxy a' a b' b m r) Source #
Instance details Defined in Pipes.Internal Methods mempty :: Proxy a' a b' b m r # mappend :: Proxy a' a b' b m r -> Proxy a' a b' b m r -> Proxy a' a b' b m r # mconcat :: [Proxy a' a b' b m r] -> Proxy a' a b' b m r #

unsafeHoist :: Functor m => (forall x. m x -> n x) -> Proxy a' a b' b m r -> Proxy a' a b' b n r Source #

unsafeHoist is like hoist, but faster.

This is labeled as unsafe because you will break the monad transformer laws if you do not pass a monad morphism as the first argument. This function is safe if you pass a monad morphism as the first argument.

observe :: Monad m => Proxy a' a b' b m r -> Proxy a' a b' b m r Source #

The monad transformer laws are correct when viewed through the observe function:

observe (lift (return r)) = observe (return r)

observe (lift (m >>= f)) = observe (lift m >>= lift . f)

This correctness comes at a small cost to performance, so use this function sparingly.

This function is a convenience for low-level pipes implementers. You do not need to use observe if you stick to the safe API.

type X = Void Source #

The empty type, used to close output ends

closed :: X -> a Source #

Use closed to "handle" impossible outputs