Record

zio.blocks.schema.comptime.Allows.Record
sealed abstract class Record[A <: Structural] extends Structural

Matches a record (case class / product type) whose every field satisfies A. Vacuously true for zero-field records (case objects / enum singletons).

Type parameters

A

The constraint that every field of the record must satisfy.

Attributes

Source
Allows.scala
Graph
Supertypes
class Structural
class Object
trait Matchable
class Any
In this article