zio/zio/Has

Has

object Has
Companion:
class
class Object
trait Matchable
class Any
Has.type

Type members

Classlikes

final implicit class HasSyntax[Self <: Has[_]](self: Self) extends AnyVal
abstract class IsHas[-R]
Companion:
object
object IsHas
Companion:
class
abstract class LowPriorityUnionAllImplicits
abstract class LowPriorityUnionImplicits
class Scoped[M](f: M => M)(implicit evidence$255: Tag[M])
abstract class Union[R, R1]
Companion:
object
object Union extends LowPriorityUnionImplicits
Companion:
class
abstract class UnionAll[R, R1]
Companion:
object
object UnionAll extends LowPriorityUnionAllImplicits
Companion:
class

Types

type MustHave[A, B] = A <:< Has[B]

Value members

Concrete methods

def allOf[A : Tag, B : Tag](a: A, b: B): Has[A] & Has[B]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag](a: A, b: B, c: C): Has[A] & Has[B] & Has[C]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag](a: A, b: B, c: C, d: D): Has[A] & Has[B] & Has[C] & Has[D]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag](a: A, b: B, c: C, d: D, e: E): Has[A] & Has[B] & Has[C] & Has[D] & Has[E]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag](a: A, b: B, c: C, d: D, e: E, f: F): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag](a: A, b: B, c: C, d: D, e: E, f: F, g: G): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag, O : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N] & Has[O]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag, O : Tag, P : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N] & Has[O] & Has[P]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag, O : Tag, P : Tag, Q : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N] & Has[O] & Has[P] & Has[Q]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag, O : Tag, P : Tag, Q : Tag, R : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N] & Has[O] & Has[P] & Has[Q] & Has[R]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag, O : Tag, P : Tag, Q : Tag, R : Tag, S : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N] & Has[O] & Has[P] & Has[Q] & Has[R] & Has[S]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag, O : Tag, P : Tag, Q : Tag, R : Tag, S : Tag, T : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N] & Has[O] & Has[P] & Has[Q] & Has[R] & Has[S] & Has[T]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag, O : Tag, P : Tag, Q : Tag, R : Tag, S : Tag, T : Tag, U : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N] & Has[O] & Has[P] & Has[Q] & Has[R] & Has[S] & Has[T] & Has[U]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def allOf[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, F : Tag, G : Tag, H : Tag, I : Tag, J : Tag, K : Tag, L : Tag, M : Tag, N : Tag, O : Tag, P : Tag, Q : Tag, R : Tag, S : Tag, T : Tag, U : Tag, V : Tag](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): Has[A] & Has[B] & Has[C] & Has[D] & Has[E] & Has[F] & Has[G] & Has[H] & Has[I] & Has[J] & Has[K] & Has[L] & Has[M] & Has[N] & Has[O] & Has[P] & Has[Q] & Has[R] & Has[S] & Has[T] & Has[U] & Has[V]

Constructs a new environment holding the specified services.

Constructs a new environment holding the specified services.

def apply[A : Tag](a: A): Has[A]

Constructs a new environment holding the single service.

Constructs a new environment holding the single service.

def scoped[A : Tag](f: A => A): Scoped[A]

Modifies an environment in a scoped way.

Modifies an environment in a scoped way.

{{ Env.scopedLogging { effect } }}

Implicits

Implicits

final implicit def HasSyntax[Self <: Has[_]](self: Self): HasSyntax[Self]