An alternative Process effect for the effectful ecosystem. While to the Process effect shipped with the effectful library is based on the process package this implementation relies on typed-process instead.

The functions exposed by the Effectful.Process.Typed module are those from System.Process.Typed with the notable difference that they have a TypedProcess :> es constraint. Use runTypedProcess to handle the effect and eliminate the constraint.

import Effectful.Monad import Effectful.Process.Typed main :: IO () main = runEff . runTypedProcess $ true true :: TypedProcess :> es => Eff es () true = Effectful.Process.Typed.runProcess_ $ shell "true"