Top.Solver.SwitchCombinator

Documentation

(|>>|) :: ConstraintSolver constraint info -> ConstraintSolver constraint info -> ConstraintSolver constraint info

The first solver is used to solve the constraint set. If this fails (at least one error is returned), then the second solver takes over.

For now, ignore the ambiguous predicate messages that are returned. They are not shown anyway.