Composable sử dụng scalaz Arrow?

Question

Tôi có hai chức năng.

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

    def applyDiscount(billable: Billable) : Billable 

Làm thế nào tôi có thể soạn những cái mà tôi có một chức năng duy nhất của (DateTime, Invoice, Thành viên, tham khảo) => (Hành động, Iterable [Có thể thanh toán])

Đây là mans cách kém những gì tôi muốn

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

những gì bạn đã (đơn giản hóa) là:

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

tôi có thể nghĩ ra một số cách doin g này. Tôi nghĩ rằng sở thích của tôi là:

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

Hoặc thêm:

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

Tuy nhiên, có thể là một cách pointfree - mặc dù không nhất thiết phải như vậy, tất nhiên

• lift là một phương pháp trên Function1W nâng chức năng vào lĩnh vực của functor M
• second là phương pháp trên MAB áp dụng chức năng ở phía bên tay phải của Bifunctor
• :-> là một phương pháp có sẵn cho Bifunctors biểu thị ứng dụng của hàm trên rh.

EDIT-missingfaktor dường như là đúng khi nói f andThen g.lift[M].second công trình:

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>