fused-effects-0.1.2.1: A fast, flexible, fused effect system.
Control.Effect.Void
data Void (m :: * -> *) k #
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)) #
fmap' :: (a -> b) -> Void m a -> Void m b #
hmap :: (forall x. m x -> n x) -> Void m a -> Void n a #
ret :: a -> VoidC a #
eff :: Void VoidC (VoidC a) -> VoidC a #
fmap :: (a -> b) -> Void m a -> Void m b #
(<$) :: a -> Void m b -> Void m a #
run :: Eff VoidC a -> a #
Run an Eff exhausted of effects to produce its final result value.
Eff
newtype VoidC a #
Constructors
Fields