• Home
• dev.continuously.libretto
• libretto-core_3
• 0.3.2
• source code
• Cosemigroup.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

libretto.cats.Cosemigroup.scala Maven / Gradle / Ivy

package libretto.cats

import libretto.lambda.SemigroupalCategory
import libretto.util.Equal

trait Cosemigroup[->[_, _], **[_, _], A] {
  def cat: SemigroupalCategory[->, **]

  def split: A -> (A ** A)

  def law_coAssociativity: Equal[ A -> ((A ** A) ** A) ] =
    val c = cat
    import c.*

    Equal(
      andThen(split, par(split, id[A])),
      andThen(andThen(split, par(id[A], split)), assocRL),
    )
}