zio.blocks.combinators

This object was generated by sbt-buildinfo.

Attributes

Source: BuildInfo.scala
Supertypes: trait Singleton

trait Product

trait Mirror

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all
Self type: BuildInfo.type

Typeclass describing the element type produced by sequential concatenation of values of type L and R.

The derivation rules — implemented per platform — are:

same type: keep that type;
subtype + supertype: keep the supertype;
siblings sharing a unique meaningful common supertype (e.g. Dog and Cat extending sealed Animal): keep that supertype (a supertype is ''meaningful'' when it is not a noise type such as Any, AnyRef, AnyVal, Object, Product, or Serializable);
otherwise: widen disjoint values into Either[L, R] on Scala 2 (or produce the native union L | R on Scala 3).

Stream.concat uses isIdentityLike to decide whether it can reuse elements as-is or must wrap/project them through left and right.

Union operations: combining values into flat union types and separating them.

The Unions module provides a unified typeclass Unions[L, R] that both combines an Either[L, R] into a union type L | R and separates it back.