scala - View bounds on abstract parameters: a use case concerning ordering -

मेरे पास प्रपत्र का कंटेनर है,

  विशेषता मान {प्रकार आंतरिक निहित Def ऑर्डर: आंतरिक = & gt; ऑर्डरिंग [आंतरिक] डीएफ़ वैल्यू: आंतरिक}   
 मैं आंतरिक प्रकार पर ऑर्डर करने का उपयोग करते हुए मान के एक विशिष्ट उपप्रकार के लिए एक आदेश को परिभाषित करने में सक्षम होना चाहता हूं:  <प्री>  ऑब्जेक्ट वैल्यू {इंटिलेट डीफ़ ऑर्डर [वी एंड लेफ्टिनेंट: वैल्यू:] ऑर्डरिंग [V] = ऑर्डरिंग ((_: ​​V) .value)}   
 हालांकि, कंपाइलर का कहना है कि वी # आंतरिक के लिए कोई निहित आदेश उपलब्ध नहीं है, भले ही इस तरह के आदेश विशेषता में निर्दिष्ट किया गया था।  
 क्या मैं क्या करने की कोशिश कर रहा हूं?   
 
 
 आपको  आंतरिक  पर एक प्रकार की बाधा की आवश्यकता है ताकि यह सुनिश्चित हो सके कि इसकी < कोड> आदेश । यदि आप  मूल्य  को  वर्ग  के रूप में परिभाषित करते हैं तो यह आसान है: सार वर्ग मान [आंतरिक: आदेश] {def value: internal} < / Code>  
 एक विशेषता के रूप में, मुझे विश्वास नहीं है कि इस तरह की एक बाधा को सीधे लागू करना संभव है, लेकिन आपको यह आवश्यक हो सकता है कि एक उपयुक्त  आदेश  दिया जाए:  
  विशेषता मान {प्रकार आंतरिक def मान: आंतरिक अंतर्निहित मान ord: आदेश [आंतरिक]}   
 और  
  वर्ग के रूप में उपयोग करें फू मूल्य {प्रकार आंतरिक = अंतर डीएफ़ मूल्य = 42 अंतर्निहित वाल ord = आदेश [आंतरिक] // आदेश की विधि लागू होती है