"Show"ing records with Unicode (Haskell) -


if run following haskell code:

data r = r {μ :: double} deriving show  main = print $ show $ r 3

we get:

"r {\956 = 3.0}"

what way handle unicode names showing?

print . show show whatever you're printing twice! type signature of print tells you:

 print :: show => -> io ()

so can print instantiates show directly. print . show not necessary!

if show char, escape code non-ascii stuff — design decision. if take 'show'able data type , first use show on it, you're printing not data type itself, string representation given data type's show instance.


Comments

Post a Comment

Popular posts from this blog

java - How to specify maven bin in eclipse maven plugin? -

i have eclipse maven plugin coming on centos. how can execute maven command on linx like: mvn clean package [abigail@localhost ~]$ mvn bash: mvn: command not found how should specify path executable of maven plugin in eclipse? or have install maven seperately？ thanks. eclipse (m2e) have bundled central parts of maven inside eclipse plugin, why not detected, , not usable. investigation find correct way bootstrap it, have create launcher file manually. if want run maven outside of eclipse, far better off standalone version of maven. mvn command bootstrap maven runtime system correctly, , secondly, able use advice concerning use of maven. maven binaries quite stable, wouldn't need upgrade upgrade eclipse. you can subsequently switch eclipse use external installation if prefer.
Read more

Error while updating a record in APEX screen -

while updating record using mru failing below error. 1 error has occurred current version of data in database has changed since user initiated update process. current row version identifier = "c5f3645b026aa5646c00dc7b631c4d19" application row version identifier = "6a9323b62f641015fa4601421dfb03de" (row 1) this strange because not see change in data @ backend. any highly appreciated. thanks. aj
Read more

javascript - Jquery show_hide, what to add in order to make the page scroll to the bottom of the hidden field once button is clicked -

i have button on website when clicked, reveals map. button can seen when page first loads up, when clicked, section holding map slides open , goes out of screen since page loads @ top (normal). want page scroll down bottom of div select when button pushed, if map out of screen. if page scrolled down, , clicks show map button, don't want page jump bottom of map. i tried figure out myself, no luck. seasoned jquery coders able give me guidance? many thanks! map = mapdiv.gmap3("get"); infobox = new infobox({ pixeloffset: new google.maps.size(-220, -310), closeboxurl: '', enableeventpropagation: true }); mapdiv.delegate('.infobox .close','click',function () { infobox.close(); }); jquery(".slidingdiv").hide(); jquery(".show_hide").show(); jquery('.show_hide').click(function(){ lastcenter=map.getcenter(); jquery(".slidingdiv...
Read more