Safe Haskell	None
Language	Haskell2010

Control.Effect.Fail.Internal

Documentation

newtype Fail (m :: * -> *) k Source #

Constructors

Instances

Effect Fail Source #
Instance details Defined in Control.Effect.Fail.Internal Methods handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> Fail m (m a) -> Fail n (n (f a)) Source #
HFunctor Fail Source #
Instance details Defined in Control.Effect.Fail.Internal Methods fmap' :: (a -> b) -> Fail m a -> Fail m b Source # hmap :: (forall x. m x -> n x) -> Fail m a -> Fail n a Source #
Functor (Fail m) Source #
Instance details Defined in Control.Effect.Fail.Internal Methods fmap :: (a -> b) -> Fail m a -> Fail m b # (<$) :: a -> Fail m b -> Fail m a #
(Carrier sig m, Effect sig) => Carrier (Fail :+: sig) (FailC m) Source #
Instance details Defined in Control.Effect.Fail Methods ret :: a -> FailC m a Source # eff :: (Fail :+: sig) (FailC m) (FailC m a) -> FailC m a Source #