zio-schema
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
zio-schema/zio.schema.meta/Migration/DecrementDimensions

DecrementDimensions

zio.schema.meta.Migration$.DecrementDimensions
final case class DecrementDimensions(path: NodePath, n: Int) extends Migration

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Migration
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

def migrate(value: DynamicValue): Either[String, DynamicValue]

Attributes

Inherited from:
Migration
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL