Control.Monad.Ology.General.Coroutine

Documentation

class Monad m => MonadCoroutine m where

Monads in which one can do coroutines.

Methods

coroutineSuspend :: ((p -> m q) -> m r) -> CoroutineT p q m r

Instances

MonadCoroutine IO

Uses threads.

Defined in Control.Monad.Ology.General.Coroutine

Methods

coroutineSuspend :: ((p -> IO q) -> IO r) -> CoroutineT p q IO r

(MonadTransUnlift t, MonadCoroutine m, MonadTunnelIO m, Monad (t m)) => MonadCoroutine (t m)

Defined in Control.Monad.Ology.General.Coroutine

Methods

coroutineSuspend :: ((p -> t m q) -> t m r) -> CoroutineT p q (t m) r

type With (m :: k -> Type) (t :: Type) = forall (r :: k). (t -> m r) -> m r

A type synoynm for a common pattern for closing opened resources, e.g. withFile, withBinaryFile, etc.

unpickWith :: forall m a. MonadCoroutine m => With m a -> m (a, m ())

pickWith :: forall m a. Monad m => m (a, m ()) -> With m a