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

Safe HaskellSafe-Infered

Top.Implementation.TypeGraph.ApplyHeuristics

Description

 

Documentation

applyHeuristics :: HasTypeGraph m info => (Path (EdgeId, info) -> [Heuristic info]) -> m [ErrorInfo info]Source

predicatePath :: (HasQual m info, HasTypeGraph m info) => m (Path (EdgeId, PathStep info))Source

expandPath :: HasTypeGraph m info => TypeGraphPath info -> m (Path (EdgeId, info))Source