Up – typing » Typing » Type_classes

Module `Typing.Type_classes`

Check class definitions are well-formed (using the function definitions to check the function calls in methods)

val type_class_defns : Parsing.Parsed_ast.class_defn list -> Parsing.Parsed_ast.function_defn list -> Typed_ast.class_defn list Core.Or_error.t