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