root/scalaz/Density/DensityLaw

DensityLaw

trait DensityLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def densityIsLeftKan[A, B](kb: F[A], kba: F[A] => B)(implicit F: Equal[B]): Boolean
def leftKanIsDensity[A, B](fa: F[A], f: F[A] => B)(implicit F: Equal[F[A]]): Boolean