Documentation

A class for containers that may or may not be merged.

If the container is capable of multi-path execution, then the tryMergeWithStrategy function should merge the paths according to the supplied strategy.

If the container is not capable of multi-path execution, then the tryMergeWithStrategy function should be equivalent to id.

Note that this will not necessarily do a recursive merge for the elements.

Try to merge the container with the root strategy.

Alias for a monad type that has TryMerge.

Wrap a value in the applicative functor and propagate the type's root merge strategy.

Equivalent to mrgSingleWithStrategy rootStrategy.

>>> mrgSingle "a" :: Union SymInteger
{a}

Wrap a value in the applicative functor and capture the Mergeable knowledge.

>>> mrgSingleWithStrategy rootStrategy "a" :: Union SymInteger
{a}

Note: Be careful to call this directly from your code. The supplied merge strategy should be consistent with the type's root merge strategy, or some internal invariants would be broken and the program can crash.

This function is to be called when the Mergeable constraint can not be resolved, e.g., the merge strategy for the contained type is given with Mergeable1. In other cases, mrgPure is usually a better alternative.

Convert a value to symbolic value and wrap it with a mergeable container.

This is a synonym for toUnionSym.

Convert a value to symbolic value and wrap it with a mergeable container.

This is a synonym for toUnionSym.