Discussions

• 1 You must be logged in to vote

  🙏

  Can't get implication to work

  mwisnicki asked Feb 23, 2026 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  RefinedType with generic parameter

  mwisnicki asked Feb 18, 2026 in Q&A · Answered

  

  

  4
• 3 You must be logged in to vote

  💬

  FYI Scala compiler non-termination bug filed related to Iron refined types

  benhutchison started Nov 25, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Discussion & example code for potential Iron+CatsEffect+CatsMTL integration

  benhutchison started Sep 8, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Update to iron patch release 3.0.4 from 3.0.3 results in compilation errors

  rolman243 started Aug 7, 2025 in General

  

  

  2
• 1 You must be logged in to vote

  🙏

  How expressive are Iron’s refinement types?

  GunpowderGuy asked Jul 22, 2025 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  "Tagged" Transparent New-Types are a distinct use-case that would benefit from mention in the documentation imho

  benhutchison started Feb 6, 2025 in General · Closed

  

  

  5
• 1 You must be logged in to vote

  💬

  Next release?

  FrancisToth started Feb 4, 2025 in General · Closed

  

  

  2
• 1 You must be logged in to vote

  🙏

  Using Iron for newtypes to get a compile error when using A in place of B

  Anoia asked Jul 31, 2024 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Is it possible to use type parameters together with refineOption?

  kurnevsky asked Jul 14, 2024 in Q&A · Closed · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  How do I validate a single type for multiple constraints?

  i-am-the-slime asked Jun 27, 2024 in Q&A · Closed · Answered

  

  

  5
• 1 You must be logged in to vote

  🙏

  Generating Avro4s.Schema fails

  bug Something isn't working

  rolman243 asked Jun 23, 2024 in Q&A · Closed · Answered

  

  

  5
• 1 You must be logged in to vote

  💬

  Sorted Sequences

  benhutchison started Jun 13, 2024 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  🙏

  Define a Subset of a Scala 3 Enumeration

  pme123 asked May 15, 2024 in Q&A · Closed · Answered

  

  

  4
• 2 You must be logged in to vote

  🙏

  How to improve Open API documentation in Tapir

  pme123 asked May 5, 2024 in Q&A · Closed · Unanswered

  

  

  3
• 1 You must be logged in to vote

  💡

  Better runtime errors for refined types

  Iltotore started Mar 18, 2024 in Ideas · Closed

  

  

  0
• 1 You must be logged in to vote

  🙏

  Question on Tapir Integration

  cosmir17 asked May 10, 2023 in Q&A · Closed · Answered

  

  

  

  

  4
• 2 You must be logged in to vote

  💡

  Way to improve RefinedTypeOps?

  rlemaitre started Feb 26, 2024 in Ideas · Closed

  

  

  2
• 1 You must be logged in to vote

  🙏

  "Unreachable case" pattern matching with an Option of List

  avella2409 asked Dec 12, 2023 in Q&A · Closed · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  How would I go about implementing ValidBigDecimal for String?

  KaranAhlawat asked Nov 4, 2023 in Q&A · Closed · Answered

  

  

  4
• 1 You must be logged in to vote

  💬

  Anyone using this with doobie?

  rparree started Oct 27, 2023 in General · Closed

  

  

  2
• 2 You must be logged in to vote

  🙌

  Using iron as a newtype

  chuwy started Jun 3, 2023 in Show and tell · Closed

  

  

  8
• 1 You must be logged in to vote

  🙏

  How to refine for ValidUUID?

  sergeda asked Jun 15, 2023 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  📣

  v2.0.0

  Iltotore announced Jan 29, 2023 in Announcements · Closed

  

  

  0
• 1 You must be logged in to vote

  💬

  Adding gvolpe/trading to README

  Iltotore started Jan 11, 2023 in General · Closed

  

  

  1