Control.Effect.Fail.Internal

Documentation

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

Constructors

Fail String

Instances

Effect Fail

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))

HFunctor Fail

Defined in Control.Effect.Fail.Internal

Methods

fmap' :: (a -> b) -> Fail m a -> Fail m b

hmap :: (forall x. m x -> n x) -> Fail m a -> Fail n a

Functor (Fail m)

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)

Defined in Control.Effect.Fail

Methods

ret :: a -> FailC m a

eff :: (Fail :+: sig) (FailC m) (FailC m a) -> FailC m a