- Companion
- class
Implicits
Inherited implicits
implicit
A cofree comonad and a free monad annihilate each other
A cofree comonad and a free monad annihilate each other
- Inherited from
- 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.
- Inherited from
- ZapInstances
implicit
def functorPairsZap[F1[_], F2[_], G1[_], G2[_]](implicit zf: Zap[F1, F2], zg: Zap[G1, G2]): Zap[[α] =>> F1[G1[α]], [α] =>> F2[G2[α]]]
- Inherited from
- ZapInstances
implicit
The identity functor annihilates itself.
The identity functor annihilates itself.
- Inherited from
- ZapInstances
implicit
A free monad and a cofree comonad annihilate each other
A free monad and a cofree comonad annihilate each other
- Inherited from
- ZapInstances
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.
- Inherited from
- ZapInstances