Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : freer-indexed
This package defines "freer indexed monad". It combines the ideas of freer monad and indexed (aka parameterized) monad: Freer Monads, More Extensible Effects Parameterized monads Parameterized Extensible Effects and Session Types It allows defining indexed monadic computations as GADTs without making them into ad-hoc indexed monads, and instead use this data type to convert them into Functor, XApplicative and XMonad instances - see Control.XApplicative and Control.XMonad in this package. This package does not (yet) allow composing these computations. Semantically, these computations could represent type-level state changes of some associated resources, with the first index parameter meaning initial resource state prior to the computation, and the second index - the final resource state, making each computation an edge in the graph of resource state transitions. For XApplicative/XMonad classes all class and additional functions have similar names to standard Applicative/Monad functions, following two naming conventions: function names are prefixed with "x" (for "indeXed") - e.g. xpure, xreturn, xliftM2 etc. operators are postfixed with ":" - e.g. <*>:, >>=:, >=>: etc.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/freer-indexed
Keywords: bsd3, effects, library, haskell, parameterized
License: BSD-3-Clause
Latest release: almost 4 years ago
First release: almost 4 years ago
Downloads: 256 total
Stars: 3 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/epoberezkin
Last synced: 6 days ago