Verhalten in Scalaz nicht verstanden

Question

Eine Frage von einem ScalaZ Neophit hier. Ich verstehe nicht ganz, wie das:

1.some 

oder die Disjunktion bezogen werden:

"Success!".right 

Arbeit. Ich kann keine impliziten Conversions finden, die das obige Verhalten zulassen. Ich weiß, wie man sie benutzt, aber ich interessiere mich für ihre Implementierung. Danke.

Answer 1

Die Klasse die Methode some ist OptionIdOps

final class OptionIdOps[A](self: A) { 
    def some: Option[A] = Some(self) 
} 

Wenn Sie in der Definition betrachten, sehen Sie eine zusätzliche implizite verfügbar für jede Art A zu OptionIdOps innerhalb eines Merkmals Definition enthält:

trait ToOptionIdOps { 
    implicit def ToOptionIdOps[A](a: A) = new OptionIdOps(a) 
} 

So de-facto, tut der Compiler:

val someOfInt = new OptionIdOps(1).some