From 11c3c3f9f1b305830d0f511be8009477ae583460 Mon Sep 17 00:00:00 2001 From: Iltotore Date: Wed, 27 Dec 2023 16:07:48 +0100 Subject: [PATCH] docs: Update Modules' index page --- docs/_docs/modules/index.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/_docs/modules/index.md b/docs/_docs/modules/index.md index e91200c7..b7c71b5b 100644 --- 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. \ No newline at end of file