UnapplyMap

zio.blocks.schema.binding.UnapplyMap
See theUnapplyMap companion object
trait UnapplyMap[X]

Type class that witnesses that a type X is an applied map type M[K, V].

This is used for Scala 2 compatibility when resolving map bindings in a BindingResolver, since Scala 2 cannot express higher-kinded type parameters directly in implicit parameters.

Type parameters

X

The applied type (e.g., Map[String, Int])

Attributes

Companion
object
Source
Unapply.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type K

The key type (e.g., String for Map[String, Int]).

The key type (e.g., String for Map[String, Int]).

Attributes

Source
Unapply.scala
type M[_, _]

The map type constructor (e.g., Map).

The map type constructor (e.g., Map).

Attributes

Source
Unapply.scala
type V

The value type (e.g., Int for Map[String, Int]).

The value type (e.g., Int for Map[String, Int]).

Attributes

Source
Unapply.scala

Value members

Abstract methods

def ev: X =:= M[K, V]

Evidence that X equals M[K, V].

Evidence that X equals M[K, V].

Attributes

Source
Unapply.scala