o

scalaz

# Codensity 

### Companion class Codensity

#### object Codensity extends CodensityInstances

Source
Codensity.scala
Linear Supertypes
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. Codensity
2. CodensityInstances
3. AnyRef
4. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### 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( ... )
Definition Classes
CodensityInstances

Supposing we have the guarantees of consistency between scalaz.Applicative and scalaz.PlusEmpty for `F`, the scalaz.MonadPlus laws should hold.

8. implicit val codensityTrans
9. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
10. def equals(arg0: Any)
Definition Classes
AnyRef → Any
11. def finalize(): Unit
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
12. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
13. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
14. final def isInstanceOf[T0]
Definition Classes
Any
15. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
16. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
17. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
18. def pureCodensity[F[_], A](a: ⇒ A): Codensity[F, A]
19. def rep[F[_], A](f: F[A])(implicit F: Monad[F]): Codensity[F, A]
20. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
21. def toString()
Definition Classes
AnyRef → Any
22. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
23. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
24. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@native() @throws( ... )