From 82aa1565a9b38bbe330aef39b256ea4e5a579fb7 Mon Sep 17 00:00:00 2001 From: Julian Fleischer Date: Sun, 27 Mar 2022 10:22:34 +0200 Subject: [PATCH] Update doctoc --- README.md | 1 + docs/case_guards.md | 8 ++++++++ 2 files changed, 9 insertions(+) diff --git a/README.md b/README.md index 4558cc9..a77327e 100644 --- a/README.md +++ b/README.md @@ -95,6 +95,7 @@ if match(f, Arguments(int, float) & Returns(int)): - [`Check(predicate)`](#checkpredicate) - [`InstanceOf(*types)`](#instanceoftypes) - [`SubclassOf(*types)`](#subclassoftypes) + - [`Parameters(...)`](#parameters) - [`Arguments(*types)`](#argumentstypes) - [`Returns(type)`](#returnstype) - [`Transformed(function, pattern)`](#transformedfunction-pattern) diff --git a/docs/case_guards.md b/docs/case_guards.md index 80bc03b..32e1dd7 100644 --- a/docs/case_guards.md +++ b/docs/case_guards.md @@ -1,3 +1,11 @@ + + +**Table of Contents** *generated with [DocToc](https://github.com/thlorenz/doctoc)* + +- [Case guards](#case-guards) + + + # Case guards ```python