typed-process-effectful

This library provides 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.


Keywords
library, system, Propose Tags, effectful, process, typed-process, Skip to Readme, Index, Quick Jump, Effectful.Process.Typed, typed-process-effectful-1.0.0.3.tar.gz, browse, Package description, Package maintainers, mmhat, edit package information , 1.0.0.0, 1.0.0.1, 1.0.0.2, 1.0.0.3, System.Process.Typed, effect-system, haskell
License
BSD-3-Clause
Install
cabal install typed-process-effectful-1.0.0.3

Documentation

typed-process-effectful

Description

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.

How to use

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"