f-algebra-gen: Generate a special f-algebra combinator from any data type.
This library provides a function to generate a special f-algebra combinator from any data type (GADTs are not currently supported).
This was inspired by the recursion-schemes library where they have a function to automagically generate a base functor. Although, this new base functor data type has custom constructors and to define the *-morphism algebras turns into boring pattern matching.
So, this library provides a function called
makeCombinator that produces a
nice combinator to deal with data types as they were defined in terms of Pairs
( (,) ) and Sums (
Either). With this nice combinator we are able to view a
data type as its equivalent categorical isomorphism and manipulate it with an
interface similar as the
either function provided from
[Skip to Readme]
[Index] [Quick Jump]
- f-algebra-gen-0.1.0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
For package maintainers and hackage trustees
|Versions [RSS]||0.1.0.0, 0.1.0.1, 0.1.0.2|
|Dependencies||base (>=4.12 && <4.13), template-haskell (>=126.96.36.199 && <2.16) [details]|
|Uploaded||by bolt12 at 2019-07-19T15:14:37Z|
|Downloads||1212 total (8 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2019-07-19 [all 1 reports]