使用scalaz Arrow可组合?

时间:2011-10-18 17:29:00

标签: scala scalaz

我有两个功能。

  def process(date: DateTime, invoice: Invoice, user: User, reference: Reference) : (Action, Iterable[Billable])

  def applyDiscount(billable: Billable) : Billable

如何组合这些以便我有一个功能(DateTime,Invoice,User,Reference)=> (动作,Iterable [Billable])

这是我想要的穷人方式

  def buildFromInvoice(user: User, order: Invoice, placementDate: DateTime, reference: Reference) = {
    val ab = billableBuilder.fromInvoice(user, order, placementDate, reference)
    (ab._1, ab._2.map(applyDiscount(_))
  }

1 个答案:

答案 0 :(得分:9)

你所拥有的(简化)是:

val f: A => (B, M[C]) //M is a Functor
val g: C => C

我可以想到几种方法。我想我的偏好是:

(a: A) => g.lift[M].second apply f(a)

或者:

(a: A) => f(a) :-> g.lift[M]  

然而,可能有 pointfree 方式 - 当然不一定如此,当然

  • liftFunction1W上的一种方法,它将函数提升到函子M的领域
  • secondMAB上的一种方法,它将功能应用于Bifunctor
  • 的右侧
  • :->Bifunctors可用的方法,表示函数在rhs上的应用。

编辑 - missingfaktor f andThen g.lift[M].second工作时似乎是正确的:

scala> import scalaz._; import Scalaz._
import scalaz._
import Scalaz._

scala> case class A(); case class B(); case class C()
defined class A
defined class B
defined class C

scala> lazy val f: A => (B, List[C]) = sys.error("")
f: A => (B, List[C]) = <lazy>

scala> lazy val g: C => C = sys.error("")
g: C => C = <lazy>

Pointfree:

scala> lazy val h = f andThen g.lift[List].second
h: A => (B, List[C]) = <lazy>