package Ġcom . github . spe ky . core . specification Ċ Ċ import Ġcom . github . spe ky . core . Lens Ċ Ċ /** Ċ Ġ* ĠA Ġ[ Decorator ] Ġthat Ġdecor ate Ġ[ source ] Ġand Ġadd ĠSelect Ġexpression Ġto Ġthat . Ċ Ġ* Ċ Ġ* Ġ@ property Ġsource Ġ[ Source ] Ġspecification Ġto Ġdecor ate Ċ Ġ*/ Ċ sealed Ġclass ĠSelected < T > Ġprivate Ġconstructor ( val Ġsource : ĠSource < T >) Ġ: ĊĠ ĠDecor ator < T >( source ), ĠFilter able With Order able < T , ĠSelected < T >> Ġ{ ĊĊĠ Ġ/** ĊĠĠ Ġ* ĠLike Ġ< code > Select Ġ* Ġfrom Ġtable Ġas Ġalias </ code >. ĊĠĠ Ġ*/ ĊĠ Ġclass ĠAll < T >( source : ĠSource < T >) Ġ: ĠSelected < T >( source ) ĊĊĠ Ġ/** ĊĠĠ Ġ* ĠLike Ġ< code > Select Ġalias . column 1 , Ġalias . column 2 Ġfrom Ġtable Ġas Ġalias </ code > Ġin Ġsql . ĊĠĠ Ġ* ĊĠĠ Ġ* Ġ@ property Ġl enses Ġa Ġset Ġof Ġall Ġselected Ġproperty ĊĠĠ Ġ*/ ĊĠ Ġclass ĠSome < T >( source : ĠSource < T >, Ġval Ġl enses : ĠSet < Lens < *, ĠT >>) Ġ: ĠSelected < T >( source ) Ċ } Ċ