Zap

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. implicit def comonadMonadZap[F[_], G[_]](implicit d: Zap[F, G], G: Functor[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

9. 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

10. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

12. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

13. implicit def functorPairsZap[F1[_], F2[_], G1[_], G2[_]](implicit zf: Zap[F1, F2], zg: Zap[G1, G2]): Zap[[α]F1[G1[α]], [α]F2[G2[α]]]

    Definition Classes

    ZapInstances

14. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

15. def hashCode(): Int

    Definition Classes

    AnyRef → Any

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

    The identity functor annihilates itself.

    The identity functor annihilates itself.

    Definition Classes

    ZapInstances

17. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

18. implicit def monadComonadZap[F[_], G[_]](implicit d: Zap[F, G], F: Functor[F]): 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

19. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

20. final def notify(): Unit

    Definition Classes

    AnyRef

21. final def notifyAll(): Unit

    Definition Classes

    AnyRef

22. 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

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

    Definition Classes

    AnyRef

24. def toString(): String

    Definition Classes

    AnyRef → Any

25. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

27. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )