fused-effects-0.1.2.1: A fast, flexible, fused effect system.
Control.Effect.Void
data Void (m :: * -> *) k Source #
Defined in Control.Effect.Void
Methods
handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> Void m (m a) -> Void n (n (f a)) Source #
fmap' :: (a -> b) -> Void m a -> Void m b Source #
hmap :: (forall x. m x -> n x) -> Void m a -> Void n a Source #
ret :: a -> VoidC a Source #
eff :: Void VoidC (VoidC a) -> VoidC a Source #
fmap :: (a -> b) -> Void m a -> Void m b #
(<$) :: a -> Void m b -> Void m a #
run :: Eff VoidC a -> a Source #
Run an Eff exhausted of effects to produce its final result value.
Eff
newtype VoidC a Source #
Constructors
Fields