CalamityCommands.Internal.RunIntoM

Something for converting polysemy actions into monadic actions

Documentation

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

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