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]
Versions [faq] 0.1.0.0, 0.1.1.0, 0.1.1.2
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 Tue Jan 8 19:14:06 UTC 2019
Distributions NixOS:0.1.1.2
Downloads 575 total (37 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-01-08 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for yaya-unsafe-0.1.1.0

[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.