fused-effects-0.2.0.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
(>>=) :: VoidC a -> (a -> VoidC b) -> VoidC b #
(>>) :: VoidC a -> VoidC b -> VoidC b #
return :: a -> VoidC a #
fail :: String -> VoidC a #
fmap :: (a -> b) -> VoidC a -> VoidC b #
(<$) :: a -> VoidC b -> VoidC a #
pure :: a -> VoidC a #
(<*>) :: VoidC (a -> b) -> VoidC a -> VoidC b #
liftA2 :: (a -> b -> c) -> VoidC a -> VoidC b -> VoidC c #
(*>) :: VoidC a -> VoidC b -> VoidC b #
(<*) :: VoidC a -> VoidC b -> VoidC a #