core
API
Generated with
core/org.hungerford.generic.schema.product/ConstrUpdateChoice

ConstrUpdateChoice

org.hungerford.generic.schema.product.ConstrUpdateChoice$
See theConstrUpdateChoice companion trait
object ConstrUpdateChoice extends LowPriorityCUCs

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Types

type Aux[RV <: Tuple, NewRV <: Tuple, AF, NewAF, C, NewC] = ConstrUpdateChoice[RV, NewRV, AF, NewAF, C] { type Constr = NewC; }

Givens

Givens

given given_ConstrUpdateChoice_RV_RV_AF_AF_C[RV <: Tuple, AF, C]: given_ConstrUpdateChoice_RV_RV_AF_AF_C[RV, AF, C]

Inherited givens

given given_ConstrUpdateChoice_RV_NewRV_AF_NewAF_C[RV <: Tuple, NewRV <: Tuple, AF, NewAF, C]: given_ConstrUpdateChoice_RV_NewRV_AF_NewAF_C[RV, NewRV, AF, NewAF, C]

Attributes

Inherited from:
LowPriorityCUCs
Generated with