| ||||||||

| ||||||||

Description | ||||||||

An implementation of the free monad of a functor, used in (at the least) futumorphisms and chronomorphisms in Control.Recursion | ||||||||

Synopsis | ||||||||

| ||||||||

Documentation | ||||||||

| ||||||||

| ||||||||

| ||||||||

| ||||||||

The catamorphism for the free monad | ||||||||

| ||||||||

Lifts a distributive law of h over f to a distributive
law of Free h over f
| ||||||||

Produced by Haddock version 2.3.0 |