scalaz-core/scalaz/LeibnizF

LeibnizF

sealed abstract
class LeibnizF[A[_], B[_]]
Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def subst[F[_[_]]](p: F[A]): F[B]

Concrete methods

def apply[X](a: A[X]): B[X]