scala - How can I alias a covariant generic type parameter -

-

निम्न कोड संकलित नहीं होता है (स्काला 2.11 में): 

  केस वर्ग कोवेरियंटक्लास [ + आर] (मूल्य: आर) {प्रकार टी = आर डीएफ़ मिलते हैं: आर = मान} वस्तु मुख्य {डीईफ़ मुख्य (एजीआर: एरे [स्ट्रिंग]): यूनिट = {प्रिंट्लएन (कोवेरियंटक्लास [स्ट्रिंग] ("हैलो")। )}}

त्रुटि संदेश है: 

  त्रुटि: (4, 8) संप्रभु प्रकार आर अपरिवर्तनीय स्थिति में टाइप प्रकार आर प्रकार टी प्रकार में होता है टी = आर ^

मैं एक सह प्रकार प्रकार पैरामीटर क्यों नहीं कह सकता? अगर मैं लाइन टाइप T = R को निकालता हूं, तो कोड को संकलित करता है और हैलो प्रिंट करता है, इसलिए उपनाम समस्या लगता है दुर्भाग्य से, इसका मतलब है कि मैं अधिक जटिल प्रकारों के लिए एक उपनाम नहीं बना सकता, उदाहरण के लिए, प्रकार टी = सूची [आर] या तो संकलित नहीं करता है, हालांकि सूची सह-संबंध है।

से:

एक प्रकार का दायां हाथ उपनाम हमेशा अपरिवर्तनीय स्थिति में होता है।

इसका अर्थ है कि आप उपनाम T नहीं बना सकते और दाईं ओर एक प्रकार का प्रकार R निर्दिष्ट कर सकते हैं -हाथ की तरफ। वही सूची [आर] पर लागू होता है, क्योंकि यह भी संप्रदाय है।

आप कर सकते हैं , हालांकि टाइप पैरामीटर के साथ एक प्रकार के उपनाम प्रदान करते हैं: < / P> 

  केस वर्ग CovariantClass [+ R] (मान: आर) {प्रकार टी [+ आर] = सूची [आर] डीईएफ़ मिल: आर = मान}
<पी > यदि आप खुद को टाइप पैरामीटर R उपनाम के लिए चाहते हैं, तो आपको शायद पहले स्थान पर कुछ और नाम देना चाहिए।


Comments

Post a Comment

Popular posts from this blog

c# - SignalR: "Protocol error: Unknown transport." when navigating to hub -

-
Image
I am trying to use the ASP.NET signal for the first time - here's what I did: created a new web Has been added to the project and the following signal R packages: I have created the following category: [Hub-name ("chat")] Public class ChatHub: Hub {Public Zero Halo () {Clients.All.hello ( ); }} and the following startup configuration: public partial class startup {public zero configuration (IAppBuilder app) {configure (app); App.MapSignalR (); }} However, whenever I navigate localhost: (port) / api / signalr / chat I get the following error: Protocol error: Unknown transport. I am running a new browser and trying different people so remove it from the API / URL, and just use the localhost: (potter) / signaller / Chat
Read more

c# - WPF Expander overlay used in ItemsControl -

-
I've been searching for a while, but all the solutions I can only deal with parts of my issue. With an item control, which includes the expansion, upon expansion, the content of the extensioner should be shown as an item which is overlapping the other item in the item control and not taking them down. The following XAML-code is actually a big problem: the content of the expansion does not overlap other objects but is hidden behind them, I think it is because of ZIndex because the following in ItemsControl Items are added after expander content. I managed to set a single spreader's ZIndex 99 style triggers, but it appears to be very complicated and error-prone solution any thoughts? & lt; Window x: orbit = "wpfTest.MainWindow" xmlns = "http://schemas.microsoft.com/winfx/2006/xaml/presentation" xmlns: x = "http://schemas.microsoft.com/winfx/2006/ Xaml "title =" main window "height =" 350 "width =" 525 "...
Read more

class - Kivy: how to instantiate a dynamic classes in python -

-
Using KV lang on my Python code, I have taken a hard time trying to instantiate a dynamic class, the following Consider the code: My test.kv file looks like this: & lt; MyPopup @ popup: Title: 'Hello' size_hunt: (1, .6) Grid layout: ID: RouteGrid column: 2 padding: ['8dp', '4dp', '8dp', '4dp'] Difference: '8dp' label: text: 'some text here' button: text: 'OK' On_press: do_something () & lt; MyGrid & gt;: Rows: 1 Button: Text: 'Show Popup' on_press: root.pop.show () Then import Kivy.app into my test.py: I get the following error: raise Factory Exception ('Uncount Class' '% name) kivy.factory.FactoryException: Unknown class Can anyone tell me how to do this properly, what do I remember? If you need more information please let me know Thank you. Takes a call to the factory before the KV file is loaded, so you want the class to Are not yet in existence. As long as no clas...
Read more