haskell - How to convert a data type into a MonadState -

-

मेरे पास इन प्रकार हैं: 

  डेटा ट्री ए = शाखा (ट्री ए) ए ( पेड़ ए) | लीफ डेरिविंग (ईक, ऑर्ड, शो) न्यूटाइप राज्य का ए = स्टेट '{runState' :: (एस, गणना) - & gt; (ए, एस, गणना)}

इन उदाहरणों के साथ: 

  उदाहरण मोनद (राज्य का) उदाहरण मोनैडास्टेट (राज्य)   
 और मुझे फ़ंक्शन बनाने की आवश्यकता है  
  label :: MonadState m int = & gt; ट्री ए - & gt; एम (पेड़ (इंट, ए))  
 
 लेकिन मुझे नहीं पता कि मैं कैसे एक पेड़ को  state ' में परिवर्तित कर सकता हूं।

आपको अपने राज्य मूल्य को ट्री को बदलने की आवश्यकता नहीं है, आपको लेबलिंग प्रक्रिया के प्रत्येक चरण पर int के राज्यपूर्ण मूल्य का उपयोग करना होगा इसके लिए, आपको संभवतः 

  getLabelAndIncr :: MonadState m int = & gt; एम + आईटी मिलेल और एंड्रॉक्ट = चालू करें & lt; - $ चालू करें + वर्तमान रिटर्न चालू करें

फिर अपने label फ़ंक्शन में आप ऐसा कुछ कर सकते हैं

< प्री> label :: MonadState m int = & gt; ट्री ए - & gt; मी (पेड़ (इंट, ए)) लेबल = लीफ लेब लेबल (शाखा के बायीं नोड दाएं) = आई एल एंड एलटी; - getLabelAndInc नईनोड = (एल, नोड) नई लेफ्ट और एलटी; - ??? न्यूराइट और लेफ्टिनेंट; - ??? वापस $ branch newLeft newNode newRight

आपको यह पता लगाना होगा कि ??? में क्या होता है, मैं यह सब एक को हल करने नहीं जा रहा हूँ आपके लिए, लेकिन यह काफी सीधा व्यायाम होना चाहिए। यहाँ क्या हो रहा है यह है कि getLabelAndIncr का उपयोग करने के लिए वर्तमान लेबल मान हो जाता है, फिर राज्य में बढ़ी गई मान संग्रहीत करता है फिर एक नया नोड मान बनाया गया है जिसे उस लेबल से टैग किया गया है, बाएं और दायें शाखाएं अपने टैग प्राप्त कर लेती हैं, और एक नया पेड़ लौटाया गया है, जो अब लेबल है राज्य का प्रकार हर बार एक ही रहता है, जो कि मोनादस्टेट एम इंट द्वारा तय किया गया है, जो कहता है कि m एक राज्यपूर्ण मोनद है जो हमेशा है एक राज्य मान जो Int है।


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