Safe Haskell | None |
---|---|
Language | Haskell98 |
Type class entailment
- entails :: Environment -> ModuleName -> [TypeClassDictionaryInScope] -> (Qualified ProperName, [Type]) -> Bool -> Check Expr
Documentation
entails :: Environment -> ModuleName -> [TypeClassDictionaryInScope] -> (Qualified ProperName, [Type]) -> Bool -> Check Expr Source
Check that the current set of type class dictionaries entail the specified type class goal, and, if so, return a type class dictionary reference.