Scala PartialFunctions from concrete

Question

Esiste un modo rapido per utilizzare come funzione concreta (di tipo, ad esempio, (A) => B) come PartialFunction[A, B]? La sintassi più concisa che conosco è:

(a: A) => a match { case obj => func(obj) } 

Esiste una conversione implicita da nessuna parte, qualcosa di simile:

implicit def funcAsPartial[A, B](func: A => B) = new PartialFunction[A, B] { 

    def isDefinedAt(a: A) = true 
    def apply(a: A) = func(a) 

} 

Credo che ho appena scritto quello che stavo cercando, ma fa questo già esiste in le librerie Scala?

Answer 1

Fare questo con una conversione implicita è pericoloso, per lo stesso motivo che (A) => B non deve ereditare da PartialFunction[A, B]. Cioè, il contratto di PartialFunction garantisce che puoi tranquillamente * chiamare apply ovunque isDefinedAt restituisce true. Il contratto di Function1 non offre tale garanzia.

La conversione implicita genererà una funzione Partial che viola il contratto se la si applica a una funzione che non è definita ovunque. Al contrario, utilizzare un magnaccia per fare la conversione esplicita:

implicit def funcAsPartial[A, B](f: A => B) = new { 
    /** only use if `f` is defined everywhere */ 
    def asPartial(): PartialFunction[A, B] = { 
     case a => f(a) 
    } 

    def asPartial(isDefinedAt: A => Boolean): PartialFunction[A, B] = { 
     case a if isDefinedAt(a) => f(a) 
    } 
} 

// now you can write 
val f = (i: Int) => i * i 

val p = f.asPartial // defined on all integers 
val p2 = f.asPartial(_ > 0) // defined only on positive integers 

* Come discusso nei commenti, che potrebbero non essere del tutto chiaro che cosa "sicurezza": qui. Il mio modo di pensare è che una funzione Partial dichiara esplicitamente il proprio dominio nel seguente senso preciso: se isDefinedAt restituisce true per un valore x, allora apply(x) può essere valutato in un modo coerente con l'intento dell'autore della funzione. Che non implichi che apply(x) non genererà un'eccezione, ma semplicemente che l'eccezione faceva parte del progetto della funzione (e dovrebbe essere documentata).

Answer 2

No, ho provato a trovarne uno qualche mese fa e ho finito per scrivere il mio che è essenzialmente uguale al tuo.