Gọi một hàm trên một "mặt" của một Bifunctor phụ thuộc vào giá trị của một boolean

Question

Nếu tôi có một thể hiện của Bifunctor[A,A] bf, một chức năng f : A => A và một giá trị Booleanp:

def calc[A, F[_,_]: Bifunctor](p: Boolean, bf: F[A, A], f: A => A): F[A, A] = { 
    val BF = implicitly[Bifunctor[F]] 
    BF.bimap(bf, (a : A) => if (p) f(a) else a, (a : A) => if (!p) f(a) else a) 
} 

Làm thế nào tôi có thể đặt điều này chính xác hơn (và rõ ràng)? Về cơ bản, tôi đang cố gọi hàm ở bên cạnh một số bifunctor (ví dụ: Tuple2) phụ thuộc vào một số biến vị ngữ. Nếu vị là đúng, tôi muốn để lập bản đồ LHS và RHS nếu nó sai

val t2 = (1, 2) 
def add4 = (_ : Int) + 4 
calc(true, t2, add4) //should be (5,2) 
calc(false, t2, add4) //should be (1,6) 

---

Cho rằng tôi muốn sử dụng các bộ (như trái ngược với khái quát hơn Bifunctor), tôi dường như có thể sử dụng arrows như sau:

def calc[A](p: Boolean, bf: (A, A), f: A => A): (A, A) 
    = (if (p) f.first[A] else f.second[A]) apply bf 

Answer 1

Không phải tất cả rằng có rất nhiều đẹp hơn:

def calc[A, F[_,_]:Bifunctor](p: Boolean, bf: F[A, A], f: A => A): F[A, A] = 
    (if (p) (bf :-> (_: A => A)) else ((_:A => A) <-: bf))(f) 

Một chút đẹp hơn:

def cond[A:Zero](b: Boolean, a: A) = if (b) a else mzero 

def calc[A, F[_,_]:Bifunctor](p: Boolean, bf: F[A, A], f: Endo[A]): F[A, A] = 
    cond(p, f) <-: bf :-> cond(!p, f) 

Một số Haskell, chỉ dành riêng cho những ghen tị ngôn ngữ:

calc p = if p then first else second 

Answer 2

Edit: cố định để trở (A,A) thay vì A

Có lẽ tôi đang thiếu cái gì, nhưng không phải là những biến tạm thời này là gì? Với Scala tuple thường xuyên:

Some(bf).map(x => if (p) x.copy(_1 = f(x._1)) else x.copy(_2 = f(x._2))).get 

hoặc

{ val (l,r) = bf; if (p) (f(l),r) else (l,f(r)) } 

Answer 3

Liệu sự thay đổi này trên Apocalisp's solution làm việc?

def calc[A, F[_,_]:Bifunctor](p: Boolean, bf: F[A, A], f: A => A): F[A, A] = 
    (if (p) ((_: F[A,A]) :-> f) else (f <-: (_: F[A,A])))(bf) 

Lưu ý: Tôi không kiểm tra điều này với scalaz.