sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-30 10:59:09 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update README.md.

Browse Source
This commit is contained in:
Yamada Ryo 2024-07-06 20:57:12 +09:00
commit 0aa83fc716
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@ -3,8 +3,7 @@
[![Hackage](https://img.shields.io/hackage/v/heftia.svg?logo=haskell&label=heftia)](https://hackage.haskell.org/package/heftia) [![Hackage](https://img.shields.io/hackage/v/heftia.svg?logo=haskell&label=heftia)](https://hackage.haskell.org/package/heftia)
[![Hackage](https://img.shields.io/hackage/v/heftia-effects.svg?logo=haskell&label=heftia-effects)](https://hackage.haskell.org/package/heftia-effects) [![Hackage](https://img.shields.io/hackage/v/heftia-effects.svg?logo=haskell&label=heftia-effects)](https://hackage.haskell.org/package/heftia-effects)
Heftia, a composition of hefty trees and co-Yoneda, is a higher-order effects Heftia is a higher-order effects version of Freer.
version of Freer.
The paper The paper
* Casper Bach Poulsen and Cas van der Rest. 2023. Hefty Algebras: Modular * Casper Bach Poulsen and Cas van der Rest. 2023. Hefty Algebras: Modular
@ -18,10 +17,6 @@ allowing for a straightforward treatment of higher-order effects.
This library offers Heftia monads and Freer monads, encoded into data This library offers Heftia monads and Freer monads, encoded into data
types in several ways to enable tuning in pursuit of high performance. types in several ways to enable tuning in pursuit of high performance.
Additionally, it's designed to operate as a handler system based
on [`classy-effects`](https://github.com/sayo-hs/classy-effects), which aims to
standardize and unify the definitions of effects in Haskell.
Compared to existing Effect System libraries in Haskell that handle higher-order effects, this Compared to existing Effect System libraries in Haskell that handle higher-order effects, this
library's approach allows for a more effortless and flexible handling of higher-order effects. Here library's approach allows for a more effortless and flexible handling of higher-order effects. Here
are some examples: are some examples:
@ -76,7 +71,7 @@ are some examples:
Furthermore, the structure of Heftia is theoretically straightforward, with ad-hoc elements being Furthermore, the structure of Heftia is theoretically straightforward, with ad-hoc elements being
eliminated. eliminated.
Heftia is the second objective of the [Sayo Project](https://github.com/sayo-hs). Heftia is the current main focus of the [Sayo Project](https://github.com/sayo-hs).
## Documentation ## Documentation
Examples with explanations can be found in the [docs/examples/](docs/examples/) directory. Examples with explanations can be found in the [docs/examples/](docs/examples/) directory.