Documentation

Imports duals from other modules via the var created by exportDuals in that other module.

Creates a value that can be referenced in other modules to load the duals defined in this module. Should be used at the bottom of any module that uses this module.

The empty set of duals, should only be used to initalize the duals for Prelude.

Returns a type that is the dual of the input type.

Convert an expression to its dual (i.e., an implementation for the dual of the input expression’s type)

Given a class, creates a new class that represents its dual, with the list containing name mappings of methods to their duals.

Creates both the original declaration and its dual. Should only work for declarations that introduce exactly one top-level name.

Indicate that two names are duals of each other.

Indicates that some name represents the dual of itself (e.g., Functor).

This provides a mapping one way, but not the other. Useful for aliased functions (return) and overconstrained versions (e.g., mapping `traverse ↔ distribute` but also `mapM → distribute`).