heftia

Release 0.1.0.0

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.

Hackage Download

Keywords
library, monads, mpl, Propose Tags, https://doi.org/10.1145/3571255, Skip to Readme, heftia-0.1.0.0.tar.gz, browse, Package description, Package maintainers, YamadaRyo, edit package information , classy-effects, complete code, implementation of the elaborator, Example 3 - Delimited Continuation, Sayo Project, docs/examples/, NOTICE, CONTRIBUTING.md
License
MPL-2.0
Install
cabal install heftia-0.1.0.0

Stats

Dependent repositories
0
Total releases
1
Latest release
First release
SourceRank
3

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Releases

0.1.0.0

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2023-09-18 06:44:20 UTC

Login to resync this project