patternia/mkdocs.yml at main · sentomk/patternia · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
site_name: Patternia
site_url: https://sentomk.github.io/patternia/
site_author: Y.F. Guo
site_description: "Patternia — expressive pattern matching for modern C++."

repo_name: sentomk/patternia
repo_url: https://github.com/sentomk/patternia

theme:
  name: material
  language: en

  palette:
    - scheme: slate
      primary: custom
      accent: custom
      media: "(prefers-color-scheme: dark)"
  custom_dir: docs/overrides

  logo: assets/favicon.svg
  logo_dark: assets/favicon.svg
  favicon: assets/favicon.svg

  font:
    text: Inter
    code: "JetBrains Mono"

  features:
    # Navigation
    - navigation.instant
    - navigation.tabs
    - navigation.sections
    - navigation.top
    - navigation.footer
    - toc.follow
    - toc.integrate

    # Search
    - search.suggest
    - search.highlight
    - search.share

    # Code
    - content.code.copy

extra_css:
  - overrides/styles.css

extra:
  copyright: "© 2025 Patternia — express logic beautifully."

markdown_extensions:
  # basic extensions
  - admonition
  - toc:
      permalink: true
  - tables
  - attr_list

  # code highlight
  - codehilite:
      guess_lang: false

  # powerful markdown super-set
  - pymdownx.superfences
  - pymdownx.highlight
  - pymdownx.details
  - pymdownx.inlinehilite
  - pymdownx.tabbed
  - pymdownx.arithmatex
  - pymdownx.snippets
  - pymdownx.magiclink
  - pymdownx.critic
  - pymdownx.keys

nav:
  - Home: index.md

  - Tutorials:
      - From Control Flow to Pattern Matching: tutorials/from-control-flow.md
      - Pattern Matching in Other Languages: tutorials/other-languages.md
      - Custom Predicate Guards: tutorials/predicate-guards.md
      - Example - Policy Constraint Matching: tutorials/policy-constraint.md
      - Example - Geometric Constraint Matching: tutorials/sphere-constraint.md

  - Guide:
      - Getting Started: guide/getting-started.md
      - Installation: guide/installation.md

  - API:
      - api.md

  - Performance:
      - Overview: performance/index.md
      - v0.9.3: performance/v0.9.3.md
      - v0.8.2: performance/v0.8.2.md
      - v0.8.0: performance/v0.8.0.md

  - Changelog:
      - Releases: changelog/releases.md
      - v0.9.4: changelog/v0.9.4.md
      - v0.9.3: changelog/v0.9.3.md
      - v0.9.2: changelog/v0.9.2.md
      - v0.9.1: changelog/v0.9.1.md
      - v0.9.0: changelog/v0.9.0.md
      - v0.8.5: changelog/v0.8.5.md
      - v0.8.3: changelog/v0.8.3.md
      - v0.8.2: changelog/v0.8.2.md
      - v0.8.0: changelog/v0.8.0.md

  - Roadmap: roadmap.md