heftia-effects

Release 0.3.1.0

This library is the battery-included version of the heftia package, providing interpreters for standard effects.

Hackage Download

Keywords
effect, library, monads, mpl, program, Propose Tags, heftia, Skip to Readme, , Index, Quick Jump, Control.Effect.Interpreter.Heftia.Concurrent.Timer, Control.Effect.Interpreter.Heftia.Coroutine, Control.Effect.Interpreter.Heftia.Except, Control.Effect.Interpreter.Heftia.Fail, Control.Effect.Interpreter.Heftia.Fresh, Control.Effect.Interpreter.Heftia.Input, Control.Effect.Interpreter.Heftia.KVStore, Control.Effect.Interpreter.Heftia.NonDet, Control.Effect.Interpreter.Heftia.Output, Control.Effect.Interpreter.Heftia.Provider, Control.Effect.Interpreter.Heftia.Provider.Implicit, Control.Effect.Interpreter.Heftia.Reader, Control.Effect.Interpreter.Heftia.Resource, Control.Effect.Interpreter.Heftia.ShiftReset, Control.Effect.Interpreter.Heftia.State, Control.Effect.Interpreter.Heftia.Unlift, Control.Effect.Interpreter.Heftia.Writer, heftia-effects-0.3.1.0.tar.gz, browse, Package description, Package maintainers, YamadaRyo, edit package information , continuation-based semantics, lexi-lambda's eff, https://doi.org/10.1145/3571255, ghc-typelits-knownnat, SemanticsZoo example, example code, complete code, implementation of the elaborator, Sayo Project, heftia-effects/Example/, https://github.com/sayo-hs/HeftWorld, docs-ja/examples/, 1, 2, data-effects, data-effects-th, HFunctor, NOTICE, CONTRIBUTING.md, Hefty Algebras -- The Artifact, https://gist.github.com/ymdryo/6fb2f7f4020c6fcda98ccc67c090dc75
License
MPL-2.0
Install
cabal install heftia-effects-0.3.1.0

Stats

Dependent repositories
0
Total releases
4
Latest release
First release
SourceRank
5

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
0.2.0.0
0.3.0.0
0.3.1.0

Login to resync this project