Skip to content
scalive
Menu
ConnectingLiveReconnectingOffline
GitHub
o

FormProductNames

object FormProductNames

The only FormProductNames evidence: the names equal the field labels.

Defined by scalive.FormProductNames. View source (scalive/api/src/scalive/forms/FormField.scala:24-27)

Givens1

matching

given matching[Domain, Labels]: FormProductNames[Domain, Labels, Labels]

Proves that the part names are exactly the field labels.

Defined by scalive.FormProductNames.matching. View source (scalive/api/src/scalive/forms/FormField.scala:26-27)