Wie konvertiert man A [B [C]] in B [A [C]] wenn A und B Monaden sind?

Question

Ich suche nach einer allgemeineren Lösung, die Monaden (und Monoiden möglicherweise) ausnutzt, um dasselbe zu erreichen wie if(xs.contains(None)) None else Some(xs.flatten) tut für xs des Typs Seq[Option[A]].

Wie kann ich das mit Scalaz tun? Ich fühle mich, als würde ich etwas Offensichtliches vermissen.

Answer 1

Mit zwei Monaden ist beides nicht genug (für M) und mehr als genug (für N) -die bis fügt nicht genug, natürlich, aber wenn M eine Traverse Instanz hat und N hat eine Applicative Instanz, können Sie Verwenden Sie sequence. Zum Beispiel:

import scalaz._, Scalaz._ 

def foo[A](xs: List[Option[A]]): Option[List[A]] = xs.sequence 

Dies hat die Semantik, die Sie wollen. Beachten Sie, dass ich List anstelle von Seq verwende, da Scalaz 7 nicht mehr die erforderliche Traverse Instanz für Seq bereitstellt (obwohl Sie problemlos Ihre eigenen schreiben könnten).

---

Wie Sie bemerkt haben, kompilieren folgendes nicht:

List(Some(1), Some(45)).sequence 

Obwohl es in Ordnung, wenn Sie einen None dort werfen:

scala> List(Some(1), None, Some(45)).sequence 
res0: Option[List[Int]] = None 

Dies liegt daran, der abgeleiteten Typ List(Some(1), Some(45)) wird List[Some[Int]] sein, und wir haben keine Applicative Instanz für Some.

Scalaz bietet eine praktische some Methode, wie Some.apply funktioniert aber gibt Ihnen etwas, das bereits als Option eingegeben ist, so können Sie schreiben folgendes:

scala> List(some(1), some(45)).sequence 
res1: Option[List[Int]] = Some(List(1, 45)) 

keine zusätzliche Eingabe erforderlich.