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

package libretto.util

/** Used to document laws in a typechecked manner. The purpose of expression `Equal(f, g)` is just to ensure
  * that `f` and `g` compile and are of the same type.
  */
case class Equal[A](a1: A, a2: A)