import neotypes.generic.implicits._ // Provides automatic derivation of ResultMapper for any case class. // Provides automatic derivation of ResultMapper for any case class.
import neotypes.mappers.ResultMapper
import neotypes.model.exceptions.IncoercibleException
import ResultMapper._ // Put all combinators in scope. // Put all combinators in scope.

// Mappers for primitive types.
int
// res0: ResultMapper[Int] = neotypes.mappers.ResultMapper$$anon$1@7b7416d2
string
// res1: ResultMapper[String] = neotypes.mappers.ResultMapper$$anon$1@2b3a5bda

// Mappers for the stdlib data types.
option(int)
// res2: ResultMapper[Option[Int]] = neotypes.mappers.ResultMapper$$anon$1@749c81fe
either(boolean, bytes)
// res3: ResultMapper[Either[Boolean, collection.immutable.ArraySeq[Byte]]] = neotypes.mappers.ResultMapper$$anon$1@658377ce
list(string)
// res4: ResultMapper[List[String]] = neotypes.mappers.ResultMapper$$anon$1@3e9a3f2a
collectAs(collection.immutable.BitSet, int)
// res5: ResultMapper[collection.immutable.BitSet] = neotypes.mappers.ResultMapper$$anon$1@478747a8

// Mappers for tuples.
tuple(int, string)
// res6: ResultMapper[(Int, String)] = neotypes.mappers.ResultMapper$$anon$1@5784add7
tupleNamed("foo" -> int, "bar" -> string)
// res7: ResultMapper[(Int, String)] = neotypes.mappers.ResultMapper$$anon$1@29c78dee

// Mappers for case classes.
final case class Data(foo: Int, bar: String)
product(int, string)(Data.apply)
// res8: ResultMapper[Data] = neotypes.mappers.ResultMapper$$anon$1@46cb9493
productNamed("foo" -> int, "bar" -> string)(Data.apply)
// res9: ResultMapper[Data] = neotypes.mappers.ResultMapper$$anon$1@3b0c31e5
fromFunction(Data.apply _)
// res10: ResultMapper[Data] = neotypes.mappers.ResultMapper$$anon$1@4914d946
fromFunctionNamed("foo", "bar")(Data.apply _)
// res11: ResultMapper[Data] = neotypes.mappers.ResultMapper$$anon$1@5c298577

// Mapper for sealed traits.
sealed trait Problem extends Product with Serializable
object Problem {
  final case class Error(msg: String) extends Problem
  object Error {
    implicit val resultMapper = ResultMapper.productDerive[Error]
  }

  final case class Warning(msg: String) extends Problem
  object Warning {
    implicit val resultMapper = ResultMapper.productDerive[Warning]
  }

  final case object Unknown extends Problem {
    implicit val resultMapper = ResultMapper.constant(this)
  }
}
val mapper = coproduct(strategy = CoproductDiscriminatorStrategy.RelationshipType)(
  "error" -> Problem.Error.resultMapper,
  "warning" -> Problem.Warning.resultMapper,
  "unknown" -> Problem.Unknown.resultMapper
)
// mapper: ResultMapper[Problem] = neotypes.mappers.ResultMapper$$anon$1@46dcfd6d

// Apply custom validations.
final case class Id(int: Int)
object Id {
  def from(int: Int): Option[Id] =
    if (int >= 0) Some(Id(int)) else None
}
int.emap { i =>
  Id.from(i).toRight(
    left = IncoercibleException(s"${i} is not a valid ID because is negative")
  )
}
// res12: ResultMapper[Id] = neotypes.mappers.ResultMapper$$anon$1@1c856f4a

query.query(ResultMapper[T]) // For any type.
query.query(ResultMapper.productDerive[Foo]) // Only for case classes / ADTs.