Language.PureScript.TypeChecker

typeCheckModule

checkNewtype