使用斯拉拉箭頭組合？

Question

我有兩個功能。

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

    def applyDiscount(billable: Billable) : 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(_)) 
    } 

Answer 1

什麼你（簡化）是：

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

我能想到的杜安的幾種方法g這個。我覺得我的選擇是：

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

或者也：

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

然而，有可能是一個pointfree方式 - 雖然未必如此，當然

• lift是方法Function1W將函數提升到函子M的域中
• second是MAB的方法，它應用功能下降的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>