Documentation for partial, covering and total.
commitbd2fa8d2702a966edf17edb40f7f4ae912a9a903
authorGuillaume Yziquel <guillaume.hj.yziquel@gmail.com>
dateSat 22 Dec 2018, 14:49 (8 years ago)
parentecf297a
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 patterns
395+matching ensures that pattern matching is exhaustive on its clauses.
396+Furthermore, a total pattern matching enforces both exhaustivity and termination
397+of the evaluation of its clauses.
398+
393399Implicit Coercion
394400^^^^^^^^^^^^^^^^^
395401