t

scalaz

# Density 

### Companion object Density

#### trait Density[F[_], Y] extends AnyRef

Density is Left Kan Extension where both Functors are the same.

Self Type
Density[F, Y]
Source
Density.scala

Linear Supertypes
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. Density
2. AnyRef
3. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Type Members

1. trait DensityLaw extends AnyRef
2. abstract type X

### Abstract Value Members

1. abstract def f: (F[X]) ⇒ Y
2. abstract val fb: F[X]

### Concrete Value Members

1. final def !=(arg0: Any)
Definition Classes
AnyRef → Any
2. final def ##(): Int
Definition Classes
AnyRef → Any
3. final def ==(arg0: Any)
Definition Classes
AnyRef → Any
4. final def asInstanceOf[T0]: T0
Definition Classes
Any
5. def clone()
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
6. def densityLaw
8. def densityToCoyoneda: Coyoneda[F, X]
9. def densityToLan: Lan[F, F, Y]

Density is left Kan extension of a Functor F along itself (Lan f f).

Density is left Kan extension of a Functor F along itself (Lan f f).

lanToDensity(d.densityToLan) == d lanToDensity(l).densityToLan == l

10. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
11. def equals(arg0: Any)
Definition Classes
AnyRef → Any
12. def finalize(): Unit
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
13. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
14. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
15. final def isInstanceOf[T0]
Definition Classes
Any
16. def lowerDensity(implicit C: Cobind[F]): F[Y]

The natural isomorphism between a Comonad F and the Density F.

The natural isomorphism between a Comonad F and the Density F.

d.lowerDensity andThen liftDensity = d

17. def map[A](fab: (Y) ⇒ A): Density[F, A]
18. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
19. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
20. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
21. def runDensity: Y
22. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
23. def toString()
Definition Classes
AnyRef → Any
24. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
25. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
26. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@native() @throws( ... )