transient: Making composable programs with multithreading, events and distributed computing

[ concurrency, control, library, mit ] [ Propose Tags ]

See In this release distributed primitives have been moved to the transient-universe package, and web primitives have been moved to the ghcjs-hplay package.

[Skip to Readme]
Versions [faq],,,,,,, 0.1.1, 0.3, 0.4.0, 0.4.1, 0.4.2,, 0.4.4,, 0.5.1, 0.5.3, 0.5.4, 0.5.5, 0.5.6, 0.5.8, 0.5.9,,,,, 0.6.3
Change log
Dependencies base (>4 && <5), bytestring, containers, directory, mtl, random, stm, time, transformers [details]
License MIT
Author Alberto G. Corona
Category Control
Home page
Bug tracker
Source repo head: git clone
Uploaded by AlbertoCorona at Sat Mar 4 00:13:36 UTC 2017
Distributions NixOS:0.6.3
Downloads 10259 total (514 in the last 30 days)
Rating 2.5 (votes: 3) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2017-03-04 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for transient-0.5.1

[back to package description]

NOTE: distributed computing and web primitives have been moved to transient-universe and ghcjs-hplay transient ========= One of the biggest dreams of software engineering is unrestricted composability. This may be put in these terms: let ap1 and ap2 two applications with arbitrary complexity, with all effects including multiple threads, asynchronous IO, indeterminism, events and perhaps, distributed computing. Then the combinations: - ap1 <|> ap2 -- Alternative expression - ap1 >>= \x -> ap2 -- monadic sequence - ap1 <> ap2 -- monoidal expression - (,) <$> ap1 <*> ap2 -- Applicative expression are possible if the types match, and generate new applications that are composable as well. Transient does exactly that. The operators <|> and <> can be used for concurrency, the operator <|> can be used for parallelism and >>= for sequencing of threads and/or distributed processes. So even in the presence of these effects and others, everything is composable. For this purpose transient is an extensible effects monad with all major effects and primitives for parallelism, events, asynchronous IO, early termination, non-determinism logging and distributed computing. Since it is possible to extend it with more effects without adding monad transformers, the composability is assured. Documentation ============= The Wiki is more user oriented My video sessions in not intended as tutorials or presentations, but show some of the latest features running. The articles are more technical: