Как работает FormFieldMagnet в спрей?

Question

Я ясно понимаю, как работают легкие магниты в Spray, но все преобразования и импликации в FieldDefMagnet просто ударяют мои мозги. Вот часть из sources:

def formField(fdm: FieldDefMagnet): fdm.Out = fdm() 

trait FieldDefMagnet { 
    type Out 
    def apply(): Out 
} 
object FieldDefMagnet { 
    implicit def apply[T](value: T)(implicit fdm2: FieldDefMagnet2[T]) = new FieldDefMagnet { 
    type Out = fdm2.Out 
    def apply() = fdm2(value) 
    } 
} 
trait FieldDefMagnet2[T] { 
    type Out 
    def apply(value: T): Out 
} 
object FieldDefMagnet2 { 
    implicit def apply[A, B](implicit fdma: FieldDefMagnetAux[A, B]) = new FieldDefMagnet2[A] { 
    type Out = B 
    def apply(value: A) = fdma(value) 
    } 
} 

trait FieldDefMagnetAux[A, B] extends (A ⇒ B) 

Так что, когда я называю, например, formField("name") scalac обертывания "name" в FieldDefMagnet.apply("name"), но как другие implicits выбраны и применены?

Answer 1

Да, начинается, как вы говорите, с FieldDefMagnet.apply, а затем продолжает искать невязки метода apply и так далее для всей цепочки имплицитов.

Грубо говоря, FieldDefMagnet - это 1) значение, аннотированное с 2) неявной функциональностью и 3) тип возврата из функциональности.

FieldDefMagnet2 - это просто неявная функциональность с типом для возвращаемого типа.

FieldDefMagnetAux предлагает простой синтаксис для типа Out. Она также может быть записана в виде (и, возможно, мы должны это сделать)

type FieldDefMagnetAux[A, B] = FieldDefMagnet2[A] { type Out = B } 

Эта структура в основном необходимы для руководства вывода типа таким образом, что делает компилятор SCALA Infer большинство аргументов типа.

Все «интересные» вещи происходят в FieldDefMagnetAux, где для разных типов типов ввода вычисляется соответствующая функциональность.

EDIT: Для того, чтобы увидеть его в действии рассмотреть вопрос о расширении formField("name"), который расширяется в

formField(
    FieldDefMagnet.apply[String]("name")(
     FieldDefMagnet2.apply[String, Directive1[String]](
     FieldDefMagnetAux.forString(
      Deserializer.fromRequestUnmarshaller[spray.http.HttpForm](
      Deserializer.fromMessageUnmarshaller[spray.http.HttpForm](
       Deserializer.formUnmarshaller(
       Deserializer.UrlEncodedFormDataUnmarshaller, Deserializer.MultipartFormDataUnmarshaller))), 
      FormFieldConverter.dualModeFormFieldConverter[String](
      Deserializer.liftToSourceOption[String, String](
       Deserializer.fromFunction2Converter[String, String](Predef.conforms[String])), 
      Deserializer.liftFromEntityOptionUnmarshaller[String](
       Deserializer.liftToSourceOption[spray.http.HttpEntity, String](
       Deserializer.StringUnmarshaller)))))))