Documentation

runSemToIO :: forall r a. Member (Final IO) r => Sem r a -> Sem r (IO (Maybe a)) Source #

bindSemToIO :: forall r p a. Member (Final IO) r => (p -> Sem r a) -> Sem r (p -> IO (Maybe a)) Source #