Module wrapper

Expand description

Wrappers that attach an algebraic structure with a value type.

Structs§

Wrapper: Wrapper that allows to use operators on algebraic types.

Functions§

id: Creates wrapper with identity value for a specific operator.