You've already forked training_material
mirror of
https://github.com/AdaCore/training_material.git
synced 2026-02-12 13:08:57 -08:00
40 lines
969 B
ReStructuredText
40 lines
969 B
ReStructuredText
******************
|
|
Pattern Matching
|
|
******************
|
|
|
|
.. container:: PRELUDE BEGIN
|
|
|
|
.. container:: PRELUDE ROLES
|
|
|
|
.. role:: ada(code)
|
|
:language: Ada
|
|
|
|
.. role:: C(code)
|
|
:language: C
|
|
|
|
.. role:: cpp(code)
|
|
:language: C++
|
|
|
|
.. role:: rust(code)
|
|
:language: Rust
|
|
|
|
.. container:: PRELUDE SYMBOLS
|
|
|
|
.. |rightarrow| replace:: :math:`\rightarrow`
|
|
.. |forall| replace:: :math:`\forall`
|
|
.. |exists| replace:: :math:`\exists`
|
|
.. |equivalent| replace:: :math:`\iff`
|
|
.. |le| replace:: :math:`\le`
|
|
.. |ge| replace:: :math:`\ge`
|
|
.. |lt| replace:: :math:`<`
|
|
.. |gt| replace:: :math:`>`
|
|
.. |checkmark| replace:: :math:`\checkmark`
|
|
|
|
.. container:: PRELUDE END
|
|
|
|
.. include:: 080_pattern_matching/01_match.rst
|
|
.. include:: 080_pattern_matching/02_destructuring_structs.rst
|
|
.. include:: 080_pattern_matching/03_destructuring_enums.rst
|
|
.. include:: 080_pattern_matching/04_let_control_flow.rst
|
|
.. include:: 080_pattern_matching/99_lab.rst
|