Control.Effects.Early

Documentation

module Control.Effects

data Early a

Instances

Monad m => MonadEffect (Early a) (ExceptT a m)

Methods

effect :: proxy (Early a) -> EffectMsg (Early a) -> ExceptT a m (EffectRes (Early a))

type EffectRes (Early a)

type EffectRes (Early a) = Void

type EffectMsg (Early a)

type EffectMsg (Early a) = a

earlyReturn :: forall a b m. MonadEffect (Early a) m => a -> m b

Allows you to return early from a function. Make sure you handleEarly to get the actual result out

handleEarly :: Monad m => ExceptT a m a -> m a

Get the result from a computation. Either the early returned one, or the regular result.