ki-effectful: Adaptation of the ki library for the effectful ecosystem.

[ concurrency, library, mit ] [ Propose Tags ]

Adaptation of the ki library for the effectful ecosystem.

[Skip to Readme]


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],
Change log
Dependencies base (<5), effectful-core (>=1.0 && <3.0), ki (>=1.0 && <1.1), stm (>=2.5 && <2.6) [details]
License MIT
Copyright 2022 Red Hat
Author Tristan de Cacqueray
Category Concurrency
Home page
Bug tracker
Source repo head: git clone
Uploaded by TristanCacqueray at 2023-01-29T15:39:01Z
Distributions NixOS:
Downloads 88 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-01-29 [all 1 reports]

Readme for ki-effectful-

[back to package description]


Build Status Hackage License: MIT


A StructuredConcurrency effect for the effectful ecosystem.

How to use

This library exposes the following elements:

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


runStructuredConcurrency :: IOE :> es => Eff (StructuredConcurrency : es) a -> Eff es a
  • The ki api lifted to Eff using the effect local rep to store the scope:


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