Strong

Формальное определение

Strong

- сила в объединении. Strong расширяет Profunctor и добавляет операции first и second, добавляющие заданное значение слева или справа от функции A =>: B => (A, C) =>: (B, C) или A =>: B => (C, A) =>: (C, B).

Strong

должен удовлетворять следующим законам:

при отображении функции swap слева и справа на second получим first: dimap(second)(_.swap)(_.swap) == first
верно и обратное: dimap(first)(_.swap)(_.swap) == second
lmap fst == rmap fst . first'
и lmap snd == rmap snd . second'
lmap (second f) . first == rmap (second f) . first
и lmap (first f) . second == rmap (first f) . second
first' . first' == dimap assoc unassoc . first', где assoc ((a,b),c) = (a,(b,c)) и unassoc (a,(b,c)) = ((a,b),c)
и second' . second' == dimap unassoc assoc . second'

Определение в виде кода на Scala

trait Strong[=>:[_, _]] extends Profunctor[=>:]:
  def first[A, B, C](fa: A =>: B): (A, C) =>: (B, C)

  def second[A, B, C](fa: A =>: B): (C, A) =>: (C, B) =
    dimap[(A, C), (B, C), (C, A), (C, B)](first(fa))(_.swap)(_.swap)

Примеры

Функция от одной переменной

given Strong[Function1] with
  override def mapfst[A, B, C](fab: A => B)(f: C => A): C => B = f andThen fab

  override def mapsnd[A, B, C](fab: A => B)(f: B => C): A => C = fab andThen f

  override def first[A, B, C](fa: A => B): ((A, C)) => (B, C) = (a, c) => (fa(a), c)

  override def second[A, B, C](fa: A => B): ((C, A)) => (C, B) = (c, a) => (c, fa(a))

Реализация

Реализация в Cats

import cats.*, cats.data.*, cats.syntax.all.*

lazy val f = (_:Int) + 1
lazy val f_first = f.first[Int]
f_first((1, 1))
// res0: (Int, Int) = (2, 1)

lazy val f_second = f.second[Int]
f_second((1, 1))
// res1: (Int, Int) = (1, 2)

Реализация в ScalaZ

import scalaz.*
import Scalaz.*

val plus1 = (_: Int) + 1

plus1.first apply (7 -> "abc")    // (8,abc)
plus1.second apply ("def" -> 14)  // (def,15)

Ссылки:

scalabook