Module

Pipes.Internal

#Proxy

data Proxy :: Type -> Type -> Type -> Type -> (Type -> Type) -> Type -> Typedata Proxy a' a b' b m r

Constructors

Instances

#observe

observe :: forall m a' a b' b r. Monad m => Proxy a' a b' b m r -> Proxy a' a b' b m r

#X

newtype X

Constructors

#closed

closed :: forall a. X -> a

Modules