yaya-unsafe: Non-total extensions to the Yaya recursion scheme library.

[ agpl, library, recursion ] [ Propose Tags ]

Yaya is designed as a _total_ library. However, it is often expedient to use partial operations in some cases, and this package extends Yaya to provide those operations. It’s in a separate package (and modules) in order to make sure its use is very intentional and also relatively obvious to those reading your code. It’s recommended that you import these modules qualified and, in particular, all the type class instances here have been pulled into a separate module to avoid accidentally bringing them into scope.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.1.1.0, 0.1.1.2, 0.2.0.0, 0.2.0.1, 0.3.3.0, 0.3.3.1, 0.4.0.0 (info)
Change log CHANGELOG.md
Dependencies base (>=4.7 && <5), bifunctors, comonad, either, free, lens, yaya (>=0.1.0) [details]
License AGPL-3.0-only
Copyright 2017 Greg Pfeil
Author Greg Pfeil
Maintainer greg@technomadic.org
Category Recursion
Home page https://github.com/sellout/yaya#readme
Source repo head: git clone https://github.com/sellout/yaya
Uploaded by sellout at 2019-11-08T17:35:22Z
Distributions NixOS:0.2.0.1
Downloads 1861 total (59 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-11-08 [all 1 reports]

Readme for yaya-unsafe-0.1.1.2

[back to package description]

Yaya-Unsafe

Unsafe extensions to the Yaya recursion scheme library.

This includes

  • Recursive instances for lazily-recursive types
  • Corecursive instances for strictly-recursive types
  • operations on trees that can’t be implemented in a total fashion.