Free rigid selective functors.
Moduleselective-0.7.0.1Haskell2010
Control.Selective.Rigid.Freer
This is a library for selective applicative functors, or just selective functors for short, an abstraction between applicative functors and monads, introduced in this paper: https://dl.acm.org/doi/10.1145/3341694.
This module defines freer rigid selective functors. Rigid selective
functors are those that satisfy the property <*> = apS. Compared to the
"free" construction from Control.Selective.Rigid.Free, this "freer"
construction does not require the underlying base data type to be a functor.
Synopsis
- data Select
- value liftSelect
- value getPure
- value getEffects
- value getNecessaryEffect
- value runSelect
- value foldSelect
- Packageselective-0.7.0.1
- Exports7
- LanguageHaskell2010
- LicenceMIT
- SourceFreer.hs
Free rigid selective functors
Lift a functor into a free selective computation.
Static analysis
Extract the resulting value if there are no necessary effects.
Collect all possible effects in the order they appear in a free selective computation.
Extract the necessary effect from a free selective computation. Note: there can be at most one effect that is statically guaranteed to be necessary.
Given a natural transformation from f to g, this gives a canonical
natural transformation from Select f to g.
Concatenate all effects of a free selective computation.