Logs: freenode/#haskell
| 2021-03-17 03:48:47 | × | dfeuer quits (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-03-17 03:52:41 | × | solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-03-17 03:56:11 | <fen> | cheers |
| 2021-03-17 04:02:22 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-17 04:02:35 | → | longtran joins (465f9847@cpe-70-95-152-71.san.res.rr.com) |
| 2021-03-17 04:08:16 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-03-17 04:08:32 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-17 04:08:37 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-03-17 04:08:40 | fiddlerwoaroof_ | is now known as fiddlerwoaroof |
| 2021-03-17 04:11:04 | × | molehillish quits (~molehilli@ip98-167-226-26.ph.ph.cox.net) (Remote host closed the connection) |
| 2021-03-17 04:12:45 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-17 04:14:20 | → | plutoniix joins (~q@184.82.210.215) |
| 2021-03-17 04:16:02 | → | kilolympus joins (~kilolympu@5.151.5.181) |
| 2021-03-17 04:17:26 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2021-03-17 04:21:37 | <koz_> | How does one get hold of the State# s needed to call newByteArray#? |
| 2021-03-17 04:21:37 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-17 04:21:48 | → | shad0w_ joins (a0ca25d0@160.202.37.208) |
| 2021-03-17 04:22:12 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-17 04:25:07 | → | cur8or joins (~cur8or@72canterbury.cybersmart.co.za) |
| 2021-03-17 04:26:19 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2021-03-17 04:26:46 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-03-17 04:27:16 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-uojiocmqissodtcu) |
| 2021-03-17 04:28:06 | → | Shiranai joins (beed0de4@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.228) |
| 2021-03-17 04:31:43 | <glguy> | koz_, generally there's not a good reason for you to do that, to see how you can look at what the primitive package does |
| 2021-03-17 04:31:50 | <glguy> | If you can just use that package you should |
| 2021-03-17 04:31:57 | <koz_> | glguy: Noted, and thanks! |
| 2021-03-17 04:32:16 | <koz_> | I actually need this because I'm writing something back-ended by ByteArray#. |
| 2021-03-17 04:33:33 | × | cur8or quits (~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 244 seconds) |
| 2021-03-17 04:33:52 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-17 04:35:27 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-17 04:36:14 | <Axman6> | you kist write functions that accept a State# s and return (# State# s, a #) IIRC |
| 2021-03-17 04:36:15 | <emmanuel_erc> | Hello there.... for normal typeclasses it is generally possible to convert some it to the equivalent function dictionary (e.g. the Eq, or Ord typeclass) |
| 2021-03-17 04:36:27 | <emmanuel_erc> | However, what if the typeclass has an associated type or data? |
| 2021-03-17 04:36:46 | <emmanuel_erc> | Is it possible to do the conversion as well in that instance? |
| 2021-03-17 04:37:09 | <c_wraith> | you convert it into a dictionary and define type/data instances outside of the dictionary. |
| 2021-03-17 04:37:35 | <c_wraith> | There's no requirement that type families or data families be tied to a class |
| 2021-03-17 04:37:36 | × | ph88_ quits (~ph88@2a02:8109:9e00:7e5c:85cc:3a34:36cf:1a53) (Ping timeout: 265 seconds) |
| 2021-03-17 04:38:26 | → | ejjfunky joins (7da36f81@125.163.111.129) |
| 2021-03-17 04:38:41 | <emmanuel_erc> | c_wraith: I guess I was overthinking it. I thought GHC did something else sosphicated when compiling typeclass definitions that have associated types/datum |
| 2021-03-17 04:38:48 | <emmanuel_erc> | s/datum/data/ |
| 2021-03-17 04:39:21 | <c_wraith> | nah. it's really that easy |
| 2021-03-17 04:40:02 | <emmanuel_erc> | I guess it's better when GHC does it, since it does the bookkeeping for you. |
| 2021-03-17 04:40:15 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-17 04:40:19 | <c_wraith> | yeah, it makes sure you don't forget stuff |
| 2021-03-17 04:40:40 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-17 04:41:12 | × | Shiranai quits (beed0de4@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.228) (Quit: Connection closed) |
| 2021-03-17 04:41:54 | × | minoru_shiraeesh quits (~shiraeesh@46.34.206.65) (Ping timeout: 246 seconds) |
| 2021-03-17 04:45:26 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 260 seconds) |
| 2021-03-17 04:47:59 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-03-17 04:47:59 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-17 04:48:18 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-17 04:48:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-17 04:48:45 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-17 04:48:54 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-17 04:53:35 | × | ejjfunky quits (7da36f81@125.163.111.129) (Quit: Connection closed) |
| 2021-03-17 04:54:29 | × | astroanax quits (astroanax@gateway/shell/ircnow/x-soogubkvrbnfsoqt) (Quit: quit) |
| 2021-03-17 04:54:47 | × | longtran quits (465f9847@cpe-70-95-152-71.san.res.rr.com) (Quit: Connection closed) |
| 2021-03-17 04:57:25 | → | ejjfunky joins (7da36f81@125.163.111.129) |
| 2021-03-17 04:57:58 | → | monochrom joins (trebla@216.138.220.146) |
| 2021-03-17 04:59:27 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-17 05:00:12 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-17 05:00:35 | Alleria | is now known as Guest19377 |
| 2021-03-17 05:02:23 | → | astroanax joins (astroanax@gateway/shell/ircnow/x-ugavefgpyfztxwoh) |
| 2021-03-17 05:02:57 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-17 05:04:33 | × | Guest19377 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 256 seconds) |
| 2021-03-17 05:04:34 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-17 05:05:27 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 2021-03-17 05:07:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-03-17 05:18:15 | → | Alleria__ joins (~textual@zrcout.mskcc.org) |
| 2021-03-17 05:22:34 | × | Alleria__ quits (~textual@zrcout.mskcc.org) (Ping timeout: 245 seconds) |
| 2021-03-17 05:22:34 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-17 05:22:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-17 05:23:00 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-17 05:25:24 | → | theDon joins (~td@94.134.91.246) |
| 2021-03-17 05:30:15 | → | Alleria__ joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-17 05:31:11 | × | theDon quits (~td@94.134.91.246) (Ping timeout: 256 seconds) |
| 2021-03-17 05:31:59 | × | Wuzzy quits (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-17 05:32:14 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 2021-03-17 05:32:19 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-17 05:32:37 | → | theDon joins (~td@94.134.91.246) |
| 2021-03-17 05:34:15 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) |
| 2021-03-17 05:34:54 | × | Alleria__ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds) |
| 2021-03-17 05:37:45 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-17 05:41:50 | × | jonatan quits (~nate@h77-53-70-163.cust.a3fiber.se) (Quit: leaving) |
| 2021-03-17 05:42:37 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-17 05:43:05 | → | bobweb joins (ac3810b1@172.56.16.177) |
| 2021-03-17 05:43:08 | × | tanuki quits (~quassel@173.168.154.189) (Ping timeout: 256 seconds) |
| 2021-03-17 05:43:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-17 05:44:50 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-03-17 05:45:55 | → | forgottenone joins (~forgotten@176.42.16.24) |
| 2021-03-17 05:46:35 | → | MahmoudMAZOUZ[m] joins (mazouzmaen@gateway/shell/matrix.org/x-stmztyxtngssovxi) |
| 2021-03-17 05:48:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-17 05:50:20 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-17 05:52:33 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 245 seconds) |
| 2021-03-17 05:52:52 | × | carlomagno quits (~cararell@148.87.23.5) (Quit: Leaving.) |
| 2021-03-17 05:54:09 | <bobweb> | Hi. Learning about monoids from the Haskell Book chapter 15 and I have this problem: https://paste.tomsmeding.com/i4Z3VUm5 Please help if you can. Thank you. |
| 2021-03-17 05:54:14 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2021-03-17 05:55:24 | <koz_> | You're using 'Only 1'. However, the literal '1' can have many types. |
| 2021-03-17 05:56:03 | <koz_> | At least I think that's what it's complaining about. |
| 2021-03-17 05:56:10 | <koz_> | Hard to see without more context. |
All times are in UTC.