repo_freek.scala

import cats.data.Xor
import freek._

sealed trait Account

trait Repository {
  sealed trait Repo[A]
  
  case class Query(no: String) extends Repo[Xor[String, Account]]
  case class Store(account: Account) extends Repo[Xor[String, Account]]
  case class Delete(no: String) extends Repo[Xor[String, Unit]]

  def query(no: String) = Query(no)
  def store(account: Account) = Store(account)
  def delete(no: String) = Delete(no)
  
  // How do I write this function here ?
  def update(no: String, f: Account => Account) = ???
}