Documentation

tryDefaulting :: WantedConstraints -> TcS WantedConstraints #

tryDefaultingForAmbiguityCheck :: WantedConstraints -> TcS WantedConstraints #

isInteractiveClass :: Bool -> Class -> Bool #

isNumClass :: Bool -> Class -> Bool #