| |||||||||||||||
| |||||||||||||||
Description | |||||||||||||||
Synopsis | |||||||||||||||
| |||||||||||||||
Documentation | |||||||||||||||
| |||||||||||||||
Anamorphisms are a generalized form of unfoldr | |||||||||||||||
| |||||||||||||||
Generalized anamorphisms allow you to work with a monad given a distributive law | |||||||||||||||
| |||||||||||||||
The distributive law for the identity monad | |||||||||||||||
| |||||||||||||||
| |||||||||||||||
| |||||||||||||||
A higher-order anamorphism for constructing higher order functors. | |||||||||||||||
| |||||||||||||||
| |||||||||||||||
Produced by Haddock version 2.4.2 |