• Home
• dev.continuously.libretto
• libretto-core_3
• 0.3.2
• source code
• Comonoid.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.Comonoid.scala Maven / Gradle / Ivy

package libretto.cats

import libretto.lambda.MonoidalCategory
import libretto.util.Equal

/** Witnesses that `A` is a comonoid object
 *  in the monoidal category `->` with monoidal product `**` and unit object `One`.
 */
trait Comonoid[->[_, _], **[_, _], One, A] extends Cosemigroup[->, **, A] with Affine[->, One, A] {
  override def cat: MonoidalCategory[->, **, One]

  def counit: A -> One

  override def discard: A -> One =
    counit

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

    Equal(
      andThen(this.split, par(counit, id[A])),
      introFst,
    )

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

    Equal(
      andThen(this.split, par(id[A], counit)),
      introSnd,
    )
}