ki-effectful

A StructuredConcurrency effect for the effectful ecosystem.

This library exposes the following elements:

• StructuredConcurrency — The type-level effect that you can declare in your type signatures.

example:

runStructuredConcurrency :: IOE :> es => Eff (StructuredConcurrency : es) a -> Eff es a

• The ki api lifted to Eff:

example:

scoped :: StructuredConcurrency :> es => (Scope -> Eff es a) -> Eff es a
fork :: StructuredConcurrency :> es =>   Scope -> Eff es a -> Eff es (Thread a)

• Similarly to the Concurrent effect, StructuredConcurrency also enables atomically to perform STM transaction.