Morphir Macro ideas

Idea01.scala

trait PersonModule {
  trait Person { def name: String; def age: Int }
}

trait ModuleDef[T] {
  val value: T
}


// val myModule: ModuleDef[PersonModule] =
//  new ModuleDef[PersonModule] {
//    val value: PersonModule = new PersonModule {}
///  }

val myModule: ModuleDef[PersonModule] = moduleDef[PersonModule]

case class Person(name: String, age: Int) extends myModule.MyPerson

Idea02.scala

@Module
trait Math {
  @Native(Morphir.Add)
  def add(a: Int, b: Int)
}

@Module
trait AddressModule {
  case class Address(street: String, zip: Int)
  def addZips(a: Address, b: Address) = a.zip + b.zip
}

@Module
trait PersonModule {
  @ImportModule
  val addressModule: AddressModule
  case class Person(def name: String; address: addressModule.Address)

  @Import Module
  val mathModule: Math
  def addAgeAndZip(p: Person, a: Address) = mathModule.add(a.age, a.zip)
}

val packageBundle: PackageBundle[PersonModule] = makePackageBundle[PersonModule]
// compile with yPreserveTrees