jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

document ; vs , for generic params (#17192)

Browse source
This commit is contained in:
Timothee Cour 2021-02-26 07:14:25 -08:00 • committed by GitHub
commit e9f12dd89e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
doc/manual.rst
View file

@ -4805,7 +4805,6 @@ The following example shows how a generic binary tree can be modeled:
The ``T`` is called a `generic type parameter`:idx: or The ``T`` is called a `generic type parameter`:idx: or
a `type variable`:idx:. a `type variable`:idx:.
Is operator Is operator
----------- -----------
@ -4861,6 +4860,12 @@ more complex type classes:
for key, value in fieldPairs(rec): for key, value in fieldPairs(rec):
echo key, " = ", value echo key, " = ", value
Type constraints on generic parameters can be grouped with `,` and propagation
stops with `;`, similarly to parameters for macros and templates:
.. code-block:: nim
proc fn1[T; U, V: SomeFloat]() = discard # T is unconstrained
template fn2(t; u, v: SomeFloat) = discard # t is unconstrained
Whilst the syntax of type classes appears to resemble that of ADTs/algebraic data Whilst the syntax of type classes appears to resemble that of ADTs/algebraic data
types in ML-like languages, it should be understood that type classes are static types in ML-like languages, it should be understood that type classes are static