scalaz-core/scalaz/LeibnizF

LeibnizF

object LeibnizF
Companion
class
class Object
trait Matchable
class Any

Type members

Types

type =~=[A[_], B[_]] = LeibnizF[A, B]

Value members

Concrete methods

def symm[A[_], B[_]](f: LeibnizF[A, B]): LeibnizF[B, A]

Equality is symmetric

Equality is symmetric

def trans[A[_], B[_], C[_]](f: LeibnizF[B, C], g: LeibnizF[A, B]): LeibnizF[A, C]

Equality is transitive

Equality is transitive

Implicits

Implicits

implicit
def refl[A[_]]: LeibnizF[A, A]

Equality is reflexive

Equality is reflexive