Merge pull request #4626 from unalos/4625
Documentation for partial, covering and total.
commit4594f925a995c7c7606a9b4583ca09662ca66451
authorNiklas Larsson <metaniklas@gmail.com>
dateWed 26 Dec 2018, 14:30 (8 years ago)
parentbe439046237e19
docs/reference/syntax-guide.rst+6
@@ -390,6 +390,12 @@ Totality
390390 partial
391391 covering
392392
393+Sets explicitly to which extent pattern matching is terminating and/or
394+exhaustive. A ``partial`` pattern matching makes no assumption. A ``covering``
395+pattern matching ensures that pattern matching is exhaustive on its clauses.
396+Furthermore, a ``total`` pattern matching enforces both exhaustivity and
397+termination of the evaluation of its clauses.
398+
393399Implicit Coercion
394400^^^^^^^^^^^^^^^^^
395401