SOF question 2018 May 19 , Scala

Language: Layout:

//'Rextester' class is the entry point for your code.
//Don't declare a package.
//scala 2.11.7

// mit akarok?
// definiálni egy paraméter és egy return type-t (case class)
// erre létrehozni egy függvényt f(p:Par):Res - 
// ami függ a View-től (meg kell adnom a view-t explicite? 
// vagy azt kitalálja a Par-ből ?) 
// ehhez kell két type class, az egyik a konverzióhoz (ami
// elérhető mind a szerver, mind a kliens oldalról és auto-
// matikusan van generálva a circe-vel)
// a másik meg a szerver oldali függvény implementálásához
// azaz két type class kell, amikben a dependent függvény 
// típusok meg vannak adva

object Rextester extends App {
    println("Hello, World!3")
 }

trait Dep[C]{
type A
type B
}

trait View1
trait View2

object Dep{

type Aux[C0, A0, B0]=  Dep[C0] {type A=A0; type B= B0}

implicit object DepInstanceView1  extends  Dep[View1] {
type A=String
type B=Int
} 
}

trait ServerSideFun[C]
{
   def f[A,B] (a:A)(implicit aux:Dep.Aux[C,A,B]):B
}

object ServerSideFun {
  implicit object View1Conv extends ServerSideFun[View1]{
    def f[A, B] (a:A)(implicit aux:Dep.Aux[View1,A,B]):B = 42
  }
}

//bla
//blabla

[ + ] Show input
Compilation time: 0.63 sec, absolute service time: 0,71 sec