Documentation

type ExternalIO m = MonadIO m #

runExternalIO :: (ExternalIO m, Members [Embed m, Log] effs) => SpecPaths -> Sem (External : effs) a -> Sem effs a #