# 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 `base`

.

[Skip to Readme]

Versions [RSS] [faq] | 0.1.0.0, 0.1.0.1, 0.1.0.2 |
---|---|

Change log | CHANGELOG.md |

Dependencies | base (==4.12.*), template-haskell (>=2.5.0.0 && <2.16) [details] |

License | MIT |

Author | Armando Santos |

Maintainer | armandoifsantos@gmail.com |

Category | Data |

Home page | https://github.com/bolt12/f-algebra-gen |

Uploaded | by bolt12 at 2019-07-19T15:14:37Z |

Distributions | NixOS:0.1.0.2 |

Downloads | 991 total (8 in the last 30 days) |

Rating | (no votes yet) [estimated by Bayesian average] |

Your Rating | |

Status | Docs available [build log] Last success reported on 2019-07-19 [all 1 reports] |

## Downloads

- f-algebra-gen-0.1.0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)