Append

zio.schema.Append
See theAppend companion trait
object Append extends AppendLowPriority

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Append.type

Members list

Type members

Types

type WithOut[EnumType, Left, Right, Out0] = Append[EnumType, Left, Right] { type Out = Out0; }

Implicits

Implicits

implicit def AppendCons[A, T <: Aux[Z], Z, That <: Aux[Z]](implicit append: Append[Z, T, That]): WithOut[Z, Cons[A, T, Z], That, Cons[A, Out, Z]]

Inherited implicits

implicit def AppendEmptyLeft[T <: Aux[Z], Z]: WithOut[Z, Empty[Z], T, T]

Attributes

Inherited from:
AppendLowPriority2
implicit def AppendEmptyRight[T <: Aux[Z], Z]: WithOut[Z, T, Empty[Z], T]

Attributes

Inherited from:
AppendLowPriority