supermanue

final class DoobiePersistenceService(tnx: Transactor[Task]) extends StoragePort {
  import DoobiePersistenceService._

  override def create(user: User): IO[AppError, User] =
    SQL
      .create(UserStored.fromDomainUser(user))
      .run
      .transact(tnx)
      .foldM(err => IO.fail(DBError(err.getMessage)), _ => IO.succeed(user))
      

supermanue

val live: ZLayer[DBTransactor, Throwable, UserPersistence] =
  ZLayer.fromService(new DoobiePersistenceService(_))
  
val transactorLive: ZLayer[Has[DbConfig] with Blocking, Throwable, DBTransactor] =
  ZLayer.fromManaged(for {
    config     <- configuration.dbConfig.toManaged_
    connectEC  <- ZIO.descriptor.map(_.executor.asEC).toManaged_
    blockingEC <- blocking.blocking { ZIO.descriptor.map(_.executor.asEC) }.toManaged_
    transactor <- mkTransactor(config, connectEC, blockingEC)
  } yield transactor)

supermanue

object DoobiePersistenceServiceTest extends DefaultRunnableSpec {

  def beforeEach: ZIO[DBTransactor, Throwable, Unit] = dropUserTable.flatMap(_ => createUserTable)

  def spec: ZSpec[TestEnvironment, Failure] =
    suite("DoobiePersistenceService unit test")(
      testM("GET should return a UserNotFound if the element does not exist") {
        for {
          _        <- beforeEach
          notFound <- RIO.accessM[UserPersistence](_.get.get(100).either)

supermanue

case class Person(name: String, surname: String)

def getPerson(name: String, surname: String): Person = ???

val person = Person("manuel", "rodriguez")

getPerson(person.surname, person.name)
//doesn't find anything because name and surname are in wrong order

supermanue

case class Person(name: Name, surname: Surname)

def getPerson(name: Name, surname: Surname)

val person = Person("manuel", "Rodriguez")

getPerson(person.surname, person.name)
//DOES NOT COMPILE, THANK YOU GODS OF SCALA

getPerson(person.name, person.surname)

supermanue

type Tagged[U] = { type Tag = U }
type @@[T, U]  = T with Tagged[U]

trait NameTag
trait SurnameTag

type Name    = String @@ NameTag
type Surname = String @@ SurnameTag

(...)