package Ġde . fl ap do od le . gener ics . union types . k . components Ċ Ċ import Ġde . fl ap do od le . gener ics . union types . k . framework . Component Ċ import Ġde . fl ap do od le . gener ics . union types . k . framework . Has Validation Ċ import Ġde . fl ap do od le . gener ics . union types . k . framework . HasValue Ċ Ċ interface ĠField Factory Ġ{ ĊĠ Ġfun Ġ< T , ĠC > Ġfactory For ( type : ĠClass < out ĠT >): Ġ() Ġ-> ĠC ĊĠĠĠĠĠ Ġwhere ĠC : ĠComponent , ĊĠĠĠĠĠĠĠĠĠĠĠ ĠC : ĠHas Value < T >, ĊĠĠĠĠĠĠĠĠĠĠĠ ĠC : ĠHas Validation Ċ }