a package:compdata

Convert a monadic algebra into an ordinary algebra with a monadic carrier.

Construct an anamorphism from the given coalgebra.

Shortcut fusion variant of ana.

Construct a monadic anamorphism from the given monadic coalgebra.

Construct an apomorphism from the given r-coalgebra.

Construct a monadic apomorphism from the given monadic r-coalgebra.

This function applies a whole context into another context.

This function applies the given term homomorphism to a term/context.

Apply a term homomorphism recursively to a term/context. This is a top-down variant of appHom.

Apply a monadic term homomorphism recursively to a term/context.

Apply a monadic term homomorphism recursively to a term/context. This a top-down variant of appHomM.

This function applies a signature function to the given context.

This function applies a signature function to the given context. This is a top-down variant of appSigFun.

This function applies a monadic signature function to the given context.

This function applies a monadic signature function to the given context. This is a top-down variant of appSigFunM.

This function applies a signature function to the given context.

Annotate each node of a term with a constant value.

This function computes the arguments of a functorial value.

A generator for values of the given type. It is worth spending time thinking about what sort of test data you want - good generators are often the difference between finding bugs and not finding them. You can use sample, label and classify to check the quality of your test data. There is no generic arbitrary implementation included because we don't know how to make a high-quality one. If you want one, consider using the testing-feat or generic-random packages. The QuickCheck manual goes into detail on how to write good generators. Make sure to look at it, especially if your type is recursive!

This function provides the name and the arity of the given data constructor.

This function abstracts away newtype declaration, it turns them into data declarations.