Scala Monoid Combinator pour les options

Question

Disons que j'ai un trait Monoid comme ci-dessous:

trait Monoid[A] { 
    def combine(a1: A, a2: A): A 
    def identity: A 
} 

Maintenant, si je veux écrire un optionMonoid pour cela, je pourrais l'écrire comme ceci:

val optionMonoid1 = new Monoid[Option[A]] { 
    def combine(a1: Option[A], a2: Option[A2]) a1 orElse a2 
    def identity = None 
} 

Ceci étant donné le fait que je ne sais rien du type interne de l'Option. Mais que se passe-t-il si je veux avoir l'opérateur de la moissonneuse de telle manière que je veux vraiment combiner les types internes dans l'Option?

Answer 1

Une option:

trait Semigroup[A] { 
    def combine(a1: A, a2: A): A 
} 

trait Monoid[A] extends Semigroup[A] { 
    def identity: A 
} 

def optionMonoid2[A](implicit sgA: Semigroup[A]) = new Monoid[Option[A]] { 
    def combine(a1: Option[A], a2: Option[A2]) = (a1, a2) match { 
    case (Some(b1), Some(b2)) => Some(sgA.combine(b1, b2)) 
    case _ => a1.orElse(a2) 
    } 
    def identity = None 
} 

Il est facile de vérifier les lois de monoïdes détiennent.