斯卡拉含半幺群Combinator的对期权

Question

比方说，我有如下一个Monoid特点：

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

现在，如果我想要写这个的optionMonoid，我可以写这样的：

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

这给了我一个事实，即对Option中的内部类型一无所知。但是如果我想以这样的方式组合运算符，那么我想要真正地将Option中的内部类型组合起来呢？

Answer 1

一个选项：

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 
} 

很容易验证独异的法律持有。