Plow.Throwing

Documentation

newtype Thrower m a

Constructors

Thrower (forall b. a -> m b)

Instances

Contravariant (Thrower m)

Defined in Plow.Throwing

Methods

contramap :: (a' -> a) -> Thrower m a -> Thrower m a'

(>$) :: b -> Thrower m b -> Thrower m a

throwWith :: Thrower m a -> a -> m b

withTracer :: Monad m => Tracer m a -> Thrower m a -> Thrower m a