We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a0820a7 commit 58d2049Copy full SHA for 58d2049
docs/_docs/reference/experimental/typeclasses.md
@@ -344,7 +344,9 @@ GivenSig ::= GivenType ['as' id] ([‘=’ Expr] | TemplateBody)
344
| ConstrApps ['as' id] TemplateBody
345
GivenType ::= AnnotType {id [nl] AnnotType}
346
347
-TypeParamBounds ::= TypeBounds [‘:’ ContextBounds]
+TypeDef ::= id [TypeParamClause] {FunParamClause} TypeAndCtxBounds
348
+TypeParamBounds ::= TypeAndCtxBounds
349
+TypeAndCtxBounds ::= TypeBounds [‘:’ ContextBounds]
350
ContextBounds ::= ContextBound | '{' ContextBound {',' ContextBound} '}'
351
ContextBound ::= Type ['as' id]
352
```
0 commit comments