调用依赖于布尔值的双函子的“侧”函数

Question

如果我有一个Bifunctor[A,A] bf实例、一个函数f : A => A和一个Boolean值p

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)
}

我怎样才能说得更简洁(而且更有表现力)？基本上，我试图在依赖某个谓词的双函子(例如Tuple2)的一侧调用一个函数。如果谓词为真，我希望映射LHS和RHS (如果为false )

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

​

考虑到我想使用元组(相对于更一般的Bifunctor__)，我似乎能够使用http://scalaz.googlecode.com/svn/continuous/latest/browse.sxr/scalaz/example/ExampleArrow.scala.html，如下所示

​

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

也没那么好：

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)

更好一点：

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)

一些Haskell，只是为了语言嫉妒：

calc p = if p then first else second

Answer 2

编辑:修正为返回(A,A)而不是A

也许我遗漏了什么，但这不就是临时变量的作用吗？使用普通Scala元组：

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

或

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

Answer 3

这种变化在[医]阿波卡利西氏液上起作用吗？

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)

注意:我没有用斯卡拉兹测试这个。