Unscoped

zio.blocks.scope.Unscoped
See theUnscoped companion trait
object Unscoped

Companion object providing given instances for common types.

==Adding Custom Instances==

To mark your own type as safe to escape scopes, define a given instance:

case class UserId(value: Long)
object UserId {
 given Unscoped[UserId] = new Unscoped[UserId] {}
}

Only add Unscoped instances for pure data types that don't hold resources. Resource types (streams, connections, handles) should NOT have instances.

Attributes

Companion
trait
Source
Unscoped.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Unscoped.type

Members list

Givens

Givens

given given_Unscoped_A_B: [A : Unscoped, B : Unscoped] => Unscoped[(A, B)]

Attributes

Source
Unscoped.scala
given given_Unscoped_A_B_C: [A : Unscoped, B : Unscoped, C : Unscoped] => Unscoped[(A, B, C)]

Attributes

Source
Unscoped.scala
given given_Unscoped_A_B_C_D: [A : Unscoped, B : Unscoped, C : Unscoped, D : Unscoped] => Unscoped[(A, B, C, D)]

Attributes

Source
Unscoped.scala
given given_Unscoped_Array: [A : Unscoped] => Unscoped[Array[A]]

Attributes

Source
Unscoped.scala
given given_Unscoped_BigDecimal: Unscoped[BigDecimal]

Attributes

Source
Unscoped.scala
given given_Unscoped_BigInt: Unscoped[BigInt]

Attributes

Source
Unscoped.scala
given given_Unscoped_Boolean: Unscoped[Boolean]

Attributes

Source
Unscoped.scala
given given_Unscoped_Byte: Unscoped[Byte]

Attributes

Source
Unscoped.scala
given given_Unscoped_Char: Unscoped[Char]

Attributes

Source
Unscoped.scala
given given_Unscoped_Chunk: [A : Unscoped] => Unscoped[Chunk[A]]

Attributes

Source
Unscoped.scala
given given_Unscoped_Double: Unscoped[Double]

Attributes

Source
Unscoped.scala
given given_Unscoped_Either: [A : Unscoped, B : Unscoped] => Unscoped[Either[A, B]]

Attributes

Source
Unscoped.scala
given given_Unscoped_FiniteDuration: Unscoped[FiniteDuration]

Attributes

Source
Unscoped.scala
given given_Unscoped_Float: Unscoped[Float]

Attributes

Source
Unscoped.scala
given given_Unscoped_IndexedSeq: [A : Unscoped] => Unscoped[IndexedSeq[A]]

Attributes

Source
Unscoped.scala
given given_Unscoped_Int: Unscoped[Int]

Attributes

Source
Unscoped.scala
given given_Unscoped_Iterable: [A : Unscoped] => Unscoped[Iterable[A]]

Attributes

Source
Unscoped.scala
given given_Unscoped_List: [A : Unscoped] => Unscoped[List[A]]

Attributes

Source
Unscoped.scala
given given_Unscoped_Long: Unscoped[Long]

Attributes

Source
Unscoped.scala
given given_Unscoped_Map: [K : Unscoped, V : Unscoped] => Unscoped[Map[K, V]]

Attributes

Source
Unscoped.scala
given given_Unscoped_Option: [A : Unscoped] => Unscoped[Option[A]]

Attributes

Source
Unscoped.scala
given given_Unscoped_Seq: [A : Unscoped] => Unscoped[Seq[A]]

Attributes

Source
Unscoped.scala
given given_Unscoped_Set: [A : Unscoped] => Unscoped[Set[A]]

Attributes

Source
Unscoped.scala
given given_Unscoped_Short: Unscoped[Short]

Attributes

Source
Unscoped.scala
given given_Unscoped_String: Unscoped[String]

Attributes

Source
Unscoped.scala
given given_Unscoped_UUID: Unscoped[UUID]

Attributes

Source
Unscoped.scala
given given_Unscoped_Unit: Unscoped[Unit]

Attributes

Source
Unscoped.scala
given given_Unscoped_Vector: [A : Unscoped] => Unscoped[Vector[A]]

Attributes

Source
Unscoped.scala
given unscopedScalaDuration: Unscoped[Duration]

Attributes

Source
Unscoped.scala

Inherited givens

inline given derived: [A] => Of[A] => Unscoped[A]

Derives Unscoped for case classes, sealed traits, and enums. All fields/cases must have Unscoped instances.

Derives Unscoped for case classes, sealed traits, and enums. All fields/cases must have Unscoped instances.

Uses Mirror.Of[A] constraint so this given is only a candidate for types that have a Mirror (case classes, sealed traits, enums). This allows implicit search to fall through to lower-priority instances for non-Mirror types.

Type parameters

A

the case class, sealed trait, or enum to derive Unscoped for

Attributes

Returns

an Unscoped[A] instance, or a compile error if any constituent type lacks an Unscoped instance

Inherited from:
UnscopedVersionSpecific (hidden)
Source
UnscopedVersionSpecific.scala
given given_Unscoped_Nothing: Unscoped[Nothing]

Attributes

Inherited from:
UnscopedLowPriority (hidden)
Source
Unscoped.scala