Documentation

runSemToM :: forall m r a. (Monad m, Member (Final m) r) => Sem r a -> Sem r (m (Maybe a)) Source #

bindSemToM :: forall m r p a. (Monad m, Member (Final m) r) => (p -> Sem r a) -> Sem r (p -> m (Maybe a)) Source #