mirror of
https://github.com/sayo-hs/heftia.git
synced 2024-11-23 02:42:06 +03:00
[fix] Update package description in .cabal.
This commit is contained in:
parent
b33822bddf
commit
cb1e5f970c
@ -3,7 +3,7 @@ name: heftia-effects
|
||||
version: 0.5.0.0
|
||||
|
||||
-- A short (one-line) description of the package.
|
||||
synopsis: higher-order effects done right
|
||||
synopsis: higher-order algebraic effects done right
|
||||
|
||||
-- A longer description of the package.
|
||||
description:
|
||||
|
@ -3,21 +3,15 @@ name: heftia
|
||||
version: 0.4.0.0
|
||||
|
||||
-- A short (one-line) description of the package.
|
||||
synopsis: higher-order effects done right
|
||||
synopsis: higher-order algebraic effects done right
|
||||
|
||||
-- A longer description of the package.
|
||||
description:
|
||||
Heftia is an extensible effects library that generalizes "Algebraic Effects and Handlers" to higher-order effects, providing users with maximum flexibility and delivering standard and reasonable speed.
|
||||
In its generalization, the focus is on ensuring predictable results based on simple, consistent semantics, while preserving soundness.
|
||||
.
|
||||
Please refer to the [Haddock documentation](https://hackage.haskell.org/package/heftia-0.4.0.0/docs/Control-Monad-Hefty.html) for usage and semantics.
|
||||
For information on performance, please refer to [performance.md](https://github.com/sayo-hs/heftia/blob/v0.4.0/benchmark/performance.md).
|
||||
.
|
||||
The library allows the following effects with well-defined semantics:
|
||||
.
|
||||
* Coroutines
|
||||
* Non-deterministic computations
|
||||
* `MonadUnliftIO`
|
||||
Please refer to the [Haddock documentation](https://hackage.haskell.org/package/heftia-0.5.0.0/docs/Control-Monad-Hefty.html) for usage and semantics.
|
||||
For information on performance, please refer to [performance.md](https://github.com/sayo-hs/heftia/blob/v0.5.0/benchmark/performance.md).
|
||||
.
|
||||
This library is inspired by the paper:
|
||||
.
|
||||
|
Loading…
Reference in New Issue
Block a user