f-algebra-gen
Version 0.1.0.2 revision 0 uploaded by bolt12.
Package meta
- Synopsis
- Generate a special f-algebra combinator from any data type.
- Description
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 base.
- Author
- Armando Santos
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- https://github.com/bolt12/f-algebra-gen
- Maintainer
- armandoifsantos@gmail.com
- Package URL
- n/a
- Stability
- n/a