zio-schema
API
Generated with
zio-schema/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 Serializable
trait Product
trait Equals
trait Migration
class Object
trait Matchable
class Any
Show all

Members list

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