Free selective functors.
Moduleselective-0.7.0.1Haskell2010
Control.Selective.Free
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 free selective functors using the ideas from the Sjoerd Visscher's package 'free-functors': https://hackage.haskell.org/package/free-functors-1.0.1/docs/Data-Functor-HFree.html.
Synopsis
- newtype Select
- value liftSelect
- value getPure
- value getEffects
- value getNecessaryEffects
- value runSelect
- value foldSelect
- Packageselective-0.7.0.1
- Exports7
- LanguageHaskell2010
- LicenceMIT
- SourceFree.hs
Free 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 all necessary effects in the order they appear in a free selective computation.
Given a natural transformation from f to g, this gives a canonical
natural transformation from Select f to g. Note that here we rely on the
fact that g is a lawful selective functor.
Concatenate all effects of a free selective computation.