/claim https://github.com/zio/zio-blocks/issues/518

Summary

This PR implements the Into[A, B] and As[A, B] type classes for type-safe schema evolution, featuring automatic macro derivation for both Scala 2 and Scala 3.

Deliverables

  • Into[A, B] trait and macro (Scala 2.13 & 3.x)
  • As[A, B] trait and macro (Scala 2.13 & 3.x)
  • Comprehensive test suite covering products, coproducts, and collections
  • Runtime validation for numeric narrowing and opaque types

Verification

Tests passed on both versions.

Demo Video

https://github.com/user-attachments/assets/7b0ee121-fd1e-4c25-ab44-0ce057f0a4e0

Claim

Total prize pool $2,500
Total paid $0
Status Pending
Submitted December 25, 2025
Last updated December 25, 2025

Contributors

NA

Naman Nogya

@nogyanaman

100%

Sponsors

ZI

ZIO

@ZIO

$2,500