zio-schema
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
zio-schema/zio.schema/Append

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

Concise view

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
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL