Concat

zio.blocks.combinators.Concat
See theConcat companion trait
object Concat

Attributes

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

Members list

Type members

Types

type WithOut[L, R, O] = Concat[L, R] { type Out = O; }

Convenience alias for a Concat instance with a fixed output type.

Convenience alias for a Concat instance with a fixed output type.

Type parameters

L

left element type

O

concat output type

R

right element type

Attributes

Source
Concat.scala

Implicits

Implicits

implicit val bothNothing: WithOut[Nothing, Nothing, Nothing]

Attributes

Source
Concat.scala
implicit def leftNothing[R]: WithOut[Nothing, R, R]

Attributes

Source
Concat.scala
implicit def rightNothing[L]: WithOut[L, Nothing, L]

Attributes

Source
Concat.scala

Inherited implicits

implicit def derive[L, R]: WithOut[L, R, L | R]

Attributes

Inherited from:
ConcatCompanionPlatform (hidden)
Source
ConcatCompanionPlatform.scala
implicit def same[A]: WithOut[A, A, A]

Identity concatenation for equal element types. Kept in shared bytecode so Scala 3 consumers of a Scala 2-built dependency do not need to expand the Scala-version-specific derivation macro merely to concatenate equal types.

Identity concatenation for equal element types. Kept in shared bytecode so Scala 3 consumers of a Scala 2-built dependency do not need to expand the Scala-version-specific derivation macro merely to concatenate equal types.

Attributes

Inherited from:
EqualTypeConcat (hidden)
Source
Concat.scala