Iron Modules

Find documentation about Iron's external modules.

These modules are mostly "support"/"interoperability" modules to provide out of the box features to make Iron work seamlessly with other ecosystems.

Official modules

• Borer: Typeclass instances for refinement types.
• Cats: Typeclass instances and accumulative refinement methods.
• Circe: Typeclass instances for refinement types.
• Ciris: Typeclass instances for refinement types.
• Decline: Typeclass instances for refinement types.
• Doobie: Typeclass instances for refinement types.
• Jsoniter: Typeclass instances for refinement types.
• ScalaCheck: Typeclass instances for refinement types.
• uPickle: Typeclass instances for refinement types.
• ZIO: Accumulative refinement method.
• ZIO-Json: Typeclass instances for refinement types.

External modules

• Tapir: Typeclass instances for refinement types.