Documentation
numClasses :: [Id]Source
stdClasses :: [Id]Source
candidates :: ClassEnv -> Ambiguity -> [Type]Source
withDefaults :: Monad m => ([Ambiguity] -> [Type] -> a) -> ClassEnv -> [Tyvar] -> [Pred] -> m aSource
restricted :: [Impl] -> BoolSource