Zap

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def comonadMonadZap[F[_], G[_]](implicit d: Zap[F, G]): Zap[[β$4$]Cofree[F, β$4$], [β$5$]Free[G, β$5$]]

A cofree comonad and a free monad annihilate each other
A cofree comonad and a free monad annihilate each other

Definition Classes
ZapInstances
implicit def coproductProductZap[F[_], FF[_], G[_], GG[_]](implicit d1: Zap[FF, F], d2: Zap[GG, G]): Zap[[α](FF[α], GG[α]), [α]\/[F[α], G[α]]]

The coproduct of two functors annihilates their product.
The coproduct of two functors annihilates their product.

Definition Classes
ZapInstances
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
implicit val identityZap: Zap[Id.Id, Id.Id]

The identity functor annihilates itself.
The identity functor annihilates itself.

Definition Classes
ZapInstances
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
implicit def monadComonadZap[F[_], G[_]](implicit d: Zap[F, G]): Zap[[β$0$]Free[F, β$0$], [β$1$]Cofree[G, β$1$]]

A free monad and a cofree comonad annihilate each other
A free monad and a cofree comonad annihilate each other

Definition Classes
ZapInstances
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
implicit def productCoproductZap[F[_], FF[_], G[_], GG[_]](implicit d1: Zap[F, FF], d2: Zap[G, GG]): Zap[[α]\/[F[α], G[α]], [α](FF[α], GG[α])]

The product of two functors annihilates their coproduct.
The product of two functors annihilates their coproduct.

Definition Classes
ZapInstances
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait Zap | package scalaz

object Zap extends ZapInstances

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

implicit def comonadMonadZap[F[_], G[_]](implicit d: Zap[F, G]): Zap[[β$4$]Cofree[F, β$4$], [β$5$]Free[G, β$5$]]

implicit def coproductProductZap[F[_], FF[_], G[_], GG[_]](implicit d1: Zap[FF, F], d2: Zap[GG, G]): Zap[[α](FF[α], GG[α]), [α]\/[F[α], G[α]]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

implicit val identityZap: Zap[Id.Id, Id.Id]

final def isInstanceOf[T0]: Boolean

implicit def monadComonadZap[F[_], G[_]](implicit d: Zap[F, G]): Zap[[β$0$]Free[F, β$0$], [β$1$]Cofree[G, β$1$]]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

implicit def productCoproductZap[F[_], FF[_], G[_], GG[_]](implicit d1: Zap[F, FF], d2: Zap[G, GG]): Zap[[α]\/[F[α], G[α]], [α](FF[α], GG[α])]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from ZapInstances

Inherited from AnyRef

Inherited from Any

Ungrouped