syntax - Is it possible to use guards in function definition in idris? -

-

हैस्केल में, एक लिख सकता है: 

  containsTen :: Num a = & gt; ईक ए = & gt; [ए] - & gt; बूल में शामिल हैं ten (x: y: xs) | X + y == 10 = सत्य | अन्यथा = गलत

क्या आईडीआरसी में कोई समकक्ष लिखना संभव है, इसे ifThenElse के साथ किए बिना (मेरा असली मामला ऊपर एक से अधिक जटिल है)? < / P>

इड्रिस के पास पैकेट गार्ड नहीं हैं, जैसा कि हैक्लेल में ठीक है। के साथ खंड है जो वाक्यविन्यास रूप से समान है (लेकिन अधिक शक्तिशाली क्योंकि यह निर्भर प्रकारों की उपस्थिति में मिलान का समर्थन करता है): 

  इसमें शामिल हैं: संख्या = = एक सूची - & gt; बूल में टीन (एक्स :: यू :: एक्सएस) के साथ (एक्स + वाई) हैं | 10 = सच | _ = ग़लत

आप अनुभाग 7 दृश्य और "के साथ" नियम पर एक नज़र डाल सकते हैं।


Comments

Post a Comment

Popular posts from this blog

Folder list php -

-
I want to list folder names in the list. There is a file to show the folder name. There is already a problem, please do a test. Another code would be OK. & lt ;? Php function getFileList ($ folder name, $ fileType = "") {if (substr ($ folderName, strlen ($ folderName) - 1)! = "/") {$ Folder name. = '/'; } Foreach (Globe ($ folderName. '*'. $ FileType) $ filename) {if_dir ($ filename)) {$ type = 'folder'; } And {$ type = 'file'; } Echo str_replace ($ folderName, '', $ filename. ' '); }} // call function getFileList ('folder name'); // List of all files? & Gt; & Lt; Select class = "form" name = "userlevel" size = "1" & gt; & Lt; Option value = "& lt ;? php getFileList ('theme') ;? & gt;" & Gt; فولدر 1 & lt; / Options & gt; & Lt; Option value = "& lt ;? php getFileList ('theme') ;? & gt;" ...
Read more

GO: Serve static pages -

-
I'm trying to display a static page with Go. Go: Package main import "net / http" function main () {fs: = http.FileServer (http.Dir ("static / house")) Http: .handle ("/", fs) http.ListenAndServe (": 4747", zero)} directory: project / stable home Html edit.html project.go When I run it, the web page displays links to edit.html and home.html instead of displaying a static page from home.html is. What am I doing wrong. Is this the best way to serve files? I know that there are other ways like From the HTML / templates package, but I'm not sure what is the difference between each of these methods and when. Thanks! fancy main () {http.Handle ("/", http.FileServer (Http) .ir ("static")) http.ListenAndServe (": 4747", zero)} You do not need static / home , just Static . and when you do not have index.html in / static , the directory instead Content appears. Just change the name of...
Read more

python - Why can't I destroy my StaticText in wxPython? -

-
I am trying to remove statattext from the list and I get an error: AttributeError: 'tuple' object Not attribute 'deleted' I can not seem to find a way around it. My code: import wx square orange (wx.frame): def __init __ (self, guardian, id): wx.frame .__ init __ (self, guardian, id, 'test ', Size = (300,300) self.frame = wx.Panel (self) subtract = wx.Button (self.frame, label =' - ', pos = (80,200), size = (30,30)) self. Bind (wx .EVT_BUTTON, self.sub, subtract) self.trying = [] self.Something = 0 def sub (self, event): for zip (self.trying): i.Destroy () self.something + = 1 self .trying.append (wx.StaticText (self.frame, -1, str (self.something), pos = (200,200)) self.trying.append (wx.StaticText (self.frame, -1, str) (Self). (Some), pos = (250,200)) if __name__ == '__ main__': app = wx.PySimpleApp () window = orange (parent = none, id = -1) and Show () app.MainLoop () I am really confused why the static text is in a tuple, thanks ...
Read more