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

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

java - how to parse a JSON string into ObjectNode in Jackson? -

-
First of all, can anyone explain, what is the difference between the object node and the jesenand, and where did they use it? Then what can I do if I want to convert a JSON string to ObjectNode? You can: object mapper mapper = new object On mapper (); JsonNode realObj = mapper.valueToTree ("{\" k1 \ ": \" v1 \ "}") JsonNode is a super class of this object node. You can find differences in the API.
Read more

objective c - How to open front/back camera at the same time in iOS developing? -

-
I want to use the front and rear camera at the same time in iOS development: when I take a photo back After the camera, the front camera can be opened and another can take a photo. By the way, these two photos are in a picture: vertical arrangement. Has anyone done this before? UIImagePickerController to take the picture, and to determine which camera is used Is in. / P> To merge the pictures, I found an example through search (its recommendation in the future)
Read more