Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe HaskellSafe-Infered

Top.Solver.SwitchCombinator

Contents

Description

 

Synopsis

Documentation

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

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.