Skip to content
scalive
Menu
ConnectingLiveReconnectingOffline
GitHub
o

FormProductValues

object FormProductValues

The only FormProductValues evidence: the values equal the field types.

Defined by scalive.FormProductValues. View source (scalive/api/src/scalive/forms/FormField.scala:37-40)

Givens1

matching

given matching[Domain, Types]: FormProductValues[Domain, Types, Types]

Proves that the part values are exactly the field types.

Defined by scalive.FormProductValues.matching. View source (scalive/api/src/scalive/forms/FormField.scala:39-40)