docs: Update Modules' index page

Iltotore · Dec 27, 2023 · 11c3c3f · 11c3c3f
1 parent 416898e
commit 11c3c3f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docs/_docs/modules/index.md b/docs/_docs/modules/index.md
@@ -11,7 +11,14 @@ These modules are mostly "support"/"interoperability" modules to provide out of
 ## Official modules
 - [Cats](cats.md): Typeclass instances and accumulative refinement methods.
 - [Circe](circe.md): Typeclass instances for refinement types.
+- [Ciris](ciris.md): Typeclass instances for refinement types.
+- [Decline](decline.md): Typeclass instances for refinement types.
+- [Doobie](doobie.md): Typeclass instances for refinement types.
 - [Jsoniter](jsoniter.md): Typeclass instances for refinement types.
 - [ScalaCheck](scalacheck.md): Typeclass instances for refinement types.
 - [ZIO](zio.md): Accumulative refinement method.
 - [ZIO-Json](zio-json.md): Typeclass instances for refinement types.
+
+## External modules
+- [Tapir](https://tapir.softwaremill.com/en/latest/endpoint/integrations.html#iron-integration):
+Typeclass instances for refinement types.