The latest version of heftia is 0.5.0.0-0.
heftia
Version 0.1.0.0 revision 0 uploaded by YamadaRyo.
Package meta
- Synopsis
- Higher-order version of Freer.
- Description
Heftia, a composition of hefty trees and co-Yoneda, is a higher-order effects version of Freer.
The paper
Casper Bach Poulsen and Cas van der Rest. 2023. Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. Proc. ACM Program. Lang. 7, POPL, Article 62 (January 2023), 31 pages. https://doi.org/10.1145/3571255
inspires this library. Hefty trees, proposed by the above paper, are extensions of free monads, allowing for a straightforward treatment of higher-order effects.
This library provides Heftia monads and Freer monads, encoded into data types in several ways to enable tuning in pursuit of high performance.
- Author
- Yamada Ryo <ymdfield@outlook.jp>
- Bug reports
- https://github.com/sayo-hs/heftia
- Category
- Control, Monads
- Copyright
- 2023 Yamada Ryo, 2023 Casper Bach Poulsen and Cas van der Rest
- Homepage
- n/a
- Maintainer
- Yamada Ryo <ymdfield@outlook.jp>
- Package URL
- n/a
- Stability
- n/a