Type Members
-
implicit final
class
HasSyntax[Self <: Has[_]] extends AnyVal
-
-
type
MustHave[A, B] = <:<[A, Has[B]]
-
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R, s: S, t: T, u: U, v: V)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N], arg14: zio.Tagged[O], arg15: zio.Tagged[P], arg16: zio.Tagged[Q], arg17: zio.Tagged[R], arg18: zio.Tagged[S], arg19: zio.Tagged[T], arg20: zio.Tagged[U], arg21: zio.Tagged[V]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N] with Has[O] with Has[P] with Has[Q] with Has[R] with Has[S] with Has[T] with Has[U] with Has[V]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R, s: S, t: T, u: U)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N], arg14: zio.Tagged[O], arg15: zio.Tagged[P], arg16: zio.Tagged[Q], arg17: zio.Tagged[R], arg18: zio.Tagged[S], arg19: zio.Tagged[T], arg20: zio.Tagged[U]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N] with Has[O] with Has[P] with Has[Q] with Has[R] with Has[S] with Has[T] with Has[U]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R, s: S, t: T)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N], arg14: zio.Tagged[O], arg15: zio.Tagged[P], arg16: zio.Tagged[Q], arg17: zio.Tagged[R], arg18: zio.Tagged[S], arg19: zio.Tagged[T]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N] with Has[O] with Has[P] with Has[Q] with Has[R] with Has[S] with Has[T]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R, s: S)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N], arg14: zio.Tagged[O], arg15: zio.Tagged[P], arg16: zio.Tagged[Q], arg17: zio.Tagged[R], arg18: zio.Tagged[S]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N] with Has[O] with Has[P] with Has[Q] with Has[R] with Has[S]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N], arg14: zio.Tagged[O], arg15: zio.Tagged[P], arg16: zio.Tagged[Q], arg17: zio.Tagged[R]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N] with Has[O] with Has[P] with Has[Q] with Has[R]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N], arg14: zio.Tagged[O], arg15: zio.Tagged[P], arg16: zio.Tagged[Q]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N] with Has[O] with Has[P] with Has[Q]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N], arg14: zio.Tagged[O], arg15: zio.Tagged[P]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N] with Has[O] with Has[P]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N], arg14: zio.Tagged[O]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N] with Has[O]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M, N](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M], arg13: zio.Tagged[N]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M] with Has[N]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L, M](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L], arg12: zio.Tagged[M]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L] with Has[M]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K, L](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K], arg11: zio.Tagged[L]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K] with Has[L]
-
def
allOf[A, B, C, D, E, F, G, H, I, J, K](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J], arg10: zio.Tagged[K]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J] with Has[K]
-
def
allOf[A, B, C, D, E, F, G, H, I, J](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I], arg9: zio.Tagged[J]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I] with Has[J]
-
def
allOf[A, B, C, D, E, F, G, H, I](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H], arg8: zio.Tagged[I]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H] with Has[I]
-
def
allOf[A, B, C, D, E, F, G, H](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G], arg7: zio.Tagged[H]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G] with Has[H]
-
def
allOf[A, B, C, D, E, F, G](a: A, b: B, c: C, d: D, e: E, f: F, g: G)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F], arg6: zio.Tagged[G]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F] with Has[G]
-
def
allOf[A, B, C, D, E, F](a: A, b: B, c: C, d: D, e: E, f: F)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E], arg5: zio.Tagged[F]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E] with Has[F]
-
def
allOf[A, B, C, D, E](a: A, b: B, c: C, d: D, e: E)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D], arg4: zio.Tagged[E]): Has[A] with Has[B] with Has[C] with Has[D] with Has[E]
-
def
allOf[A, B, C, D](a: A, b: B, c: C, d: D)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C], arg3: zio.Tagged[D]): Has[A] with Has[B] with Has[C] with Has[D]
-
def
allOf[A, B, C](a: A, b: B, c: C)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B], arg2: zio.Tagged[C]): Has[A] with Has[B] with Has[C]
-
def
allOf[A, B](a: A, b: B)(implicit arg0: zio.Tagged[A], arg1: zio.Tagged[B]): Has[A] with Has[B]
-
def
apply[A](a: A)(implicit arg0: zio.Tagged[A]): Has[A]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
scoped[A](f: (A) ⇒ A)(implicit arg0: zio.Tagged[A]): Scoped[A]
-
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