Documentation

type ExternalIO (m :: Type -> Type) = MonadIO m #

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