Documentation

orThrowErrorEM :: forall e (r :: EffectRow) e' v. Member (Error e :: (Type -> Type) -> Type -> Type) r => Sem r (Either e' v) -> (e' -> e) -> Sem r v #

orThrowErrorM :: forall e (r :: EffectRow) v. Member (Error e :: (Type -> Type) -> Type -> Type) r => Sem r (Maybe v) -> e -> Sem r v #

orThrowError :: forall e (r :: EffectRow) v. Member (Error e :: (Type -> Type) -> Type -> Type) r => Maybe v -> e -> Sem r v #