zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/AssociativeBoth

AssociativeBoth

zio.prelude.AssociativeBoth
See theAssociativeBoth companion trait
object AssociativeBoth extends AssociativeBothLowPriority

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply[F[_]](implicit associativeBoth: AssociativeBoth[F]): AssociativeBoth[F]

Summons an implicit AssociativeBoth[F].

Summons an implicit AssociativeBoth[F].

Attributes

def compose[F[_] : AssociativeBoth, G[_] : AssociativeBoth](implicit evidence$1: AssociativeBoth[F], evidence$2: AssociativeBoth[G], f: Covariant[F], g: Covariant[G]): AssociativeBoth[{ type lambda = [A] =>> F[G[A]]; }#<none>] & Covariant[{ type lambda = [A] =>> F[G[A]]; }#<none>]
def mapN[F[_] : Covariant, A0, A1, B](a0: F[A0], a1: F[A1])(f: (A0, A1) => B): F[B]

Combines 2 F values using the provided function f.

Combines 2 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, B](a0: F[A0], a1: F[A1], a2: F[A2])(f: (A0, A1, A2) => B): F[B]

Combines 3 F values using the provided function f.

Combines 3 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3])(f: (A0, A1, A2, A3) => B): F[B]

Combines 4 F values using the provided function f.

Combines 4 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4])(f: (A0, A1, A2, A3, A4) => B): F[B]

Combines 5 F values using the provided function f.

Combines 5 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5])(f: (A0, A1, A2, A3, A4, A5) => B): F[B]

Combines 6 F values using the provided function f.

Combines 6 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6])(f: (A0, A1, A2, A3, A4, A5, A6) => B): F[B]

Combines 7 F values using the provided function f.

Combines 7 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7])(f: (A0, A1, A2, A3, A4, A5, A6, A7) => B): F[B]

Combines 8 F values using the provided function f.

Combines 8 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8) => B): F[B]

Combines 9 F values using the provided function f.

Combines 9 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) => B): F[B]

Combines 10 F values using the provided function f.

Combines 10 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) => B): F[B]

Combines 11 F values using the provided function f.

Combines 11 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) => B): F[B]

Combines 12 F values using the provided function f.

Combines 12 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) => B): F[B]

Combines 13 F values using the provided function f.

Combines 13 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) => B): F[B]

Combines 14 F values using the provided function f.

Combines 14 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) => B): F[B]

Combines 15 F values using the provided function f.

Combines 15 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) => B): F[B]

Combines 16 F values using the provided function f.

Combines 16 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => B): F[B]

Combines 17 F values using the provided function f.

Combines 17 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) => B): F[B]

Combines 18 F values into a tuple in maps the result with the provided function.

Combines 18 F values into a tuple in maps the result with the provided function.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) => B): F[B]

Combines 19 F values using the provided function f.

Combines 19 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) => B): F[B]

Combines 20 F values using the provided function f.

Combines 20 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19], a20: F[A20])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20) => B): F[B]

Combines 21 F values using the provided function f.

Combines 21 F values using the provided function f.

Attributes

def mapN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19], a20: F[A20], a21: F[A21])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21) => B): F[B]

Combines 22 F values using the provided function f.

Combines 22 F values using the provided function f.

Attributes

def tupleN[F[_] : Covariant, A0, A1](a0: F[A0], a1: F[A1]): F[(A0, A1)]

Combines 2 F values into a tuple.

Combines 2 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2](a0: F[A0], a1: F[A1], a2: F[A2]): F[(A0, A1, A2)]

Combines 3 F values into a tuple.

Combines 3 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3]): F[(A0, A1, A2, A3)]

Combines 4 F values into a tuple.

Combines 4 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4]): F[(A0, A1, A2, A3, A4)]

Combines 5 F values into a tuple.

Combines 5 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5]): F[(A0, A1, A2, A3, A4, A5)]

Combines 6 F values into a tuple.

Combines 6 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6]): F[(A0, A1, A2, A3, A4, A5, A6)]

Combines 7 F values into a tuple.

Combines 7 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7]): F[(A0, A1, A2, A3, A4, A5, A6, A7)]

Combines 8 F values into a tuple.

Combines 8 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8)]

Combines 9 F values into a tuple.

Combines 9 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9)]

Combines 10 F values into a tuple.

Combines 10 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10)]

Combines 11 F values into a tuple.

Combines 11 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11)]

Combines 12 F values into a tuple.

Combines 12 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12)]

Combines 13 F values into a tuple.

Combines 13 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13)]

Combines 14 F values into a tuple.

Combines 14 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14)]

Combines 15 F values into a tuple.

Combines 15 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15)]

Combines 16 F values into a tuple.

Combines 16 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16)]

Combines 17 F values into a tuple.

Combines 17 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17)]

Combines 18 F values into a tuple.

Combines 18 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18)]

Combines 19 F values into a tuple.

Combines 19 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19)]

Combines 20 F values into a tuple.

Combines 20 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19], a20: F[A20]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20)]

Combines 21 F values into a tuple.

Combines 21 F values into a tuple.

Attributes

def tupleN[F[_] : Covariant, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19], a20: F[A20], a21: F[A21]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21)]

Combines 22 F values into a tuple.

Combines 22 F values into a tuple.

Attributes

Implicits

Implicits

implicit val ChunkIdentityBoth: IdentityBoth[Chunk]

The IdentityBoth instance for Chunk.

The IdentityBoth instance for Chunk.

Attributes

implicit def ConstAssociativeBoth[A : Associative]: AssociativeBoth[{ type ConstA = [B] =>> Const[A, B]; }#<none>]

The AssociativeBoth instance for Const.

The AssociativeBoth instance for Const.

Attributes

implicit def EitherFailedIdentityBoth[R]: IdentityBoth[{ type lambda = [l] =>> newtypeF.Type[Either[l, R]]; }#<none>]

The IdentityBoth (and AssociativeBoth) instance for a failed Either

The IdentityBoth (and AssociativeBoth) instance for a failed Either

Attributes

implicit def EitherIdentityBoth[L]: IdentityBoth[{ type lambda = [r] =>> Either[L, r]; }#<none>]

The IdentityBoth (and AssociativeBoth) instance for Either.

The IdentityBoth (and AssociativeBoth) instance for Either.

Attributes

implicit def ExitAssociativeBoth[E]: AssociativeBoth[{ type lambda = [a] =>> Exit[E, a]; }#<none>]

The AssociativeBoth instance for Exit.

The AssociativeBoth instance for Exit.

Attributes

implicit def FiberAssociativeBoth[E]: AssociativeBoth[{ type lambda = [a] =>> Fiber[E, a]; }#<none>]

The AssociativeBoth instance for Fiber.

The AssociativeBoth instance for Fiber.

Attributes

implicit val FutureIdentityBoth: IdentityBoth[Future]

The IdentityBoth (and AssociativeBoth) instance for Future.

The IdentityBoth (and AssociativeBoth) instance for Future.

Attributes

implicit val IdIdentityBoth: IdentityBoth[Id]

The IdentityBoth (and AssociativeBoth) instance for Id.

The IdentityBoth (and AssociativeBoth) instance for Id.

Attributes

implicit val ListIdentityBoth: IdentityBoth[List]

The IdentityBoth (and AssociativeBoth) instance for List.

The IdentityBoth (and AssociativeBoth) instance for List.

Attributes

implicit val NonEmptyChunkAssociativeBoth: AssociativeBoth[NonEmptyChunk]

The AssociativeBoth instance for NonEmptyChunk.

The AssociativeBoth instance for NonEmptyChunk.

Attributes

implicit val OptionIdentityBoth: IdentityBoth[Option]

The IdentityBoth (with AssociativeBoth) instance for Option.

The IdentityBoth (with AssociativeBoth) instance for Option.

Attributes

implicit def ScheduleAndAssociativeBoth[R, E]: AssociativeBoth[{ type lambda = [a] =>> subtypeF.Type[Schedule[R, E, a]]; }#<none>]

The AssociativeBoth instance for And Schedule.

The AssociativeBoth instance for And Schedule.

Attributes

implicit def ScheduleOrAssociativeBoth[R, E]: AssociativeBoth[{ type lambda = [a] =>> subtypeF.Type[Schedule[R, E, a]]; }#<none>]

The AssociativeBoth instance for Or Schedule.

The AssociativeBoth instance for Or Schedule.

Attributes

implicit val TryIdentityBoth: IdentityBoth[Try]

The IdentityBoth (and AssociativeBoth) instance for Try.

The IdentityBoth (and AssociativeBoth) instance for Try.

Attributes

implicit val VectorAssociativeBoth: AssociativeBoth[Vector]

The AssociativeBoth instance for Vector.

The AssociativeBoth instance for Vector.

Attributes

implicit def ZIOCovariantIdentityBoth[R, E]: CovariantIdentityBoth[{ type lambda = [a] =>> ZIO[R, E, a]; }#<none>]

The IdentityBoth instance for ZIO.

The IdentityBoth instance for ZIO.

Attributes

implicit def ZIOFailureIdentityBoth[R, A]: IdentityBoth[{ type lambda = [e] =>> newtypeF.Type[ZIO[R, e, A]]; }#<none>]

The IdentityBoth instance for failed ZIO.

The IdentityBoth instance for failed ZIO.

Attributes

implicit def ZSTMIdentityBoth[R, E]: IdentityBoth[{ type lambda = [a] =>> ZSTM[R, E, a]; }#<none>]

The IdentityBoth instance for ZSTM.

The IdentityBoth instance for ZSTM.

Attributes

implicit def ZSinkAssociativeBoth[R, E, In, L <: In]: AssociativeBoth[{ type lambda = [a] =>> ZSink[R, E, In, L, a]; }#<none>]

The AssociativeBoth instance for ZSink.

The AssociativeBoth instance for ZSink.

Attributes

implicit def ZStreamAssociativeBoth[R, E]: AssociativeBoth[{ type lambda = [a] =>> ZStream[R, E, a]; }#<none>]

The AssociativeBoth instance for ZStream.

The AssociativeBoth instance for ZStream.

Attributes

Inherited implicits

Generated with