final case class MapSchema[K, V](ks: Schema[K], vs: Schema[V], annotations: Chunk[Any] = Chunk.empty) extends Collection[Map[K, V], (K, V)] with Product with Serializable
- Self Type
- MapSchema[K, V]
- Alphabetic
- By Inheritance
- MapSchema
- Serializable
- Serializable
- Product
- Equals
- Collection
- Schema
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new MapSchema(ks: Schema[K], vs: Schema[V], annotations: Chunk[Any] = Chunk.empty)
Type Members
- type Accessors[Lens[_, _], Prism[_, _], Traversal[_, _]] = Traversal[Map[K, V], (K, V)]
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
<*>[B](that: Schema[B]): Schema[(Map[K, V], B)]
A symbolic operator for zip.
-
def
<+>[B](that: Schema[B]): Schema[Either[Map[K, V], B]]
A symbolic operator for orElseEither.
A symbolic operator for orElseEither.
- Definition Classes
- Schema
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
?: Schema[Option[Map[K, V]]]
A symbolic operator for optional.
-
def
annotate(annotation: Any): MapSchema[K, V]
Returns a new schema that with
annotation -
val
annotations: Chunk[Any]
Chunk of annotations for this schema
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
ast: SchemaAst
- Definition Classes
- Schema
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
coerce[B](newSchema: Schema[B]): Either[String, Schema[B]]
Convert to Schema[B] iff B and A are homomorphic.
Convert to Schema[B] iff B and A are homomorphic.
This can be used to e.g convert between a case class and it's "generic" representation as a ListMap[String,_]
- Definition Classes
- Schema
-
def
defaultValue: Either[String, Map[K, V]]
The default value for a
Schemaof typeA. -
def
diff(thisValue: Map[K, V], thatValue: Map[K, V], differ: Option[Differ[Map[K, V]]] = None): Diff[Map[K, V]]
Performs a diff between thisValue and thatValue.
Performs a diff between thisValue and thatValue. See zio.schema.Differ for details on the default diff algorithms.
A custom zio.schema.Differ can be supplied if the default behavior is not acceptable.
- Definition Classes
- Schema
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fromDynamic(value: DynamicValue): Either[String, Map[K, V]]
- Definition Classes
- Schema
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val ks: Schema[K]
- def makeAccessors(b: AccessorBuilder): Traversal[Map[K, V], (K, V)]
-
def
migrate[B](newSchema: Schema[B]): Either[String, (Map[K, V]) ⇒ Either[String, B]]
Generate a homomorphism from A to B iff A and B are homomorphic
Generate a homomorphism from A to B iff A and B are homomorphic
- Definition Classes
- Schema
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
optional: Schema[Option[Map[K, V]]]
Returns a new schema that modifies the type produced by this schema to be optional.
Returns a new schema that modifies the type produced by this schema to be optional.
- Definition Classes
- Schema
-
def
orElseEither[B](that: Schema[B]): Schema[Either[Map[K, V], B]]
Returns a new schema that combines this schema and the specified schema together, modeling their either composition.
Returns a new schema that combines this schema and the specified schema together, modeling their either composition.
- Definition Classes
- Schema
-
def
ordering: Ordering[Map[K, V]]
- Definition Classes
- Schema
-
def
patch(oldValue: Map[K, V], diff: Diff[Map[K, V]]): Either[String, Map[K, V]]
Patch value with a Diff.
Patch value with a Diff.
- Definition Classes
- Schema
-
def
repeated: Schema[Chunk[Map[K, V]]]
- Definition Classes
- Schema
-
def
serializable: Schema[Schema[Map[K, V]]]
- Definition Classes
- Schema
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toDynamic(value: Map[K, V]): DynamicValue
- Definition Classes
- Schema
-
def
toSemiDynamic: Schema[(Map[K, V], Schema[Map[K, V]])]
- Definition Classes
- Schema
-
def
transform[B](f: (Map[K, V]) ⇒ B, g: (B) ⇒ Map[K, V])(implicit loc: SourceLocation): Schema[B]
Transforms this
Schema[A]into aSchema[B], by supplying two functions that can transform betweenAandB, without possibility of failure.Transforms this
Schema[A]into aSchema[B], by supplying two functions that can transform betweenAandB, without possibility of failure.- Definition Classes
- Schema
-
def
transformOrFail[B](f: (Map[K, V]) ⇒ Either[String, B], g: (B) ⇒ Either[String, Map[K, V]])(implicit loc: SourceLocation): Schema[B]
Transforms this
Schema[A]into aSchema[B], by supplying two functions that can transform betweenAandB(possibly failing in some cases).Transforms this
Schema[A]into aSchema[B], by supplying two functions that can transform betweenAandB(possibly failing in some cases).- Definition Classes
- Schema
- val vs: Schema[V]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
zip[B](that: Schema[B]): Schema[(Map[K, V], B)]
Returns a new schema that combines this schema and the specified schema together, modeling their tuple composition.
Returns a new schema that combines this schema and the specified schema together, modeling their tuple composition.
- Definition Classes
- Schema