Logs: freenode/#haskell
| 2020-11-04 23:37:01 | <bqv> | (without resorting to templatehaskell, which is probably pretty heatheny :D) |
| 2020-11-04 23:37:07 | <glguy> | The foreign imports will be top-level definitions |
| 2020-11-04 23:37:28 | <glguy> | you can then use the identifiers declared there in your instance declarations |
| 2020-11-04 23:37:47 | <bqv> | so that's a no |
| 2020-11-04 23:37:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-11-04 23:38:00 | hackage | massiv-io 0.4.0.0 - Import/export of Image files into massiv Arrays https://hackage.haskell.org/package/massiv-io-0.4.0.0 (lehins) |
| 2020-11-04 23:38:20 | <bqv> | was hoping for a type parameter'd foreign import |
| 2020-11-04 23:38:40 | <bqv> | actually, might still be able to... |
| 2020-11-04 23:38:49 | <bqv> | who likes void pointers... |
| 2020-11-04 23:40:13 | <monochrom> | I don't see any limitation apart from barely inconvenient syntax. |
| 2020-11-04 23:40:30 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
| 2020-11-04 23:41:36 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-11-04 23:44:10 | → | mmohammadi9812 joins (~mmohammad@2.178.132.235) |
| 2020-11-04 23:44:44 | × | jakob_ quits (~textual@p200300f49f1622005c3255e4d89f5bc8.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…) |
| 2020-11-04 23:45:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-04 23:47:00 | → | jakob_ joins (~textual@p200300f49f1622009d826d3ed3c60d57.dip0.t-ipconnect.de) |
| 2020-11-04 23:49:21 | <xe4> | where can I ask questions about using stylish-haskell with my text editor? |
| 2020-11-04 23:49:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2020-11-04 23:49:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-04 23:50:25 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-11-04 23:52:41 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 256 seconds) |
| 2020-11-04 23:52:55 | × | conal quits (~conal@66.115.157.70) (Quit: Computer has gone to sleep.) |
| 2020-11-04 23:55:01 | × | LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2020-11-04 23:55:51 | × | alp quits (~alp@2a01:e0a:58b:4920:543f:1fa8:3f98:5d73) (Ping timeout: 272 seconds) |
| 2020-11-04 23:56:38 | → | theDon joins (~td@i5E86B1F0.versanet.de) |
| 2020-11-04 23:57:28 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2020-11-04 23:57:45 | × | xff0x quits (~fox@2001:1a81:53f2:500:153c:e136:7dea:e190) (Ping timeout: 272 seconds) |
| 2020-11-04 23:58:08 | → | xff0x joins (~fox@2001:1a81:53f2:500:5f26:7f0a:da68:24d7) |
| 2020-11-04 23:58:25 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-11-04 23:59:27 | × | Entertainment quits (~entertain@104.246.132.210) (Quit: Leaving.) |
| 2020-11-04 23:59:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-05 00:00:01 | × | kest10 quits (~kest10@139.28.218.148) () |
| 2020-11-05 00:00:40 | × | argent0 quits (~argent0@168.227.96.2) (Ping timeout: 246 seconds) |
| 2020-11-05 00:03:53 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-11-05 00:07:29 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-05 00:10:32 | × | ulidtko quits (~ulidtko@193.111.48.79) (Remote host closed the connection) |
| 2020-11-05 00:16:40 | × | Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 2020-11-05 00:17:31 | → | ulidtko joins (~ulidtko@193.111.48.79) |
| 2020-11-05 00:19:48 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-05 00:20:52 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2020-11-05 00:21:14 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-05 00:21:43 | → | Smaczny joins (~Smaczny@185.204.1.185) |
| 2020-11-05 00:21:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-11-05 00:22:18 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-11-05 00:23:25 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-11-05 00:23:57 | → | texasmynsted joins (~texasmyns@185.247.70.76) |
| 2020-11-05 00:25:48 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2020-11-05 00:26:32 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2020-11-05 00:27:50 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-05 00:33:08 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 2020-11-05 00:37:05 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-11-05 00:37:39 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 244 seconds) |
| 2020-11-05 00:37:53 | × | linker_ quits (~linker@185.12.21.77) (Remote host closed the connection) |
| 2020-11-05 00:38:56 | → | master_o joins (50a46f47@80-164-111-71-dynamic.dk.customer.tdc.net) |
| 2020-11-05 00:39:53 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-11-05 00:41:26 | × | xff0x quits (~fox@2001:1a81:53f2:500:5f26:7f0a:da68:24d7) (Ping timeout: 264 seconds) |
| 2020-11-05 00:42:19 | → | xff0x joins (~fox@2001:1a81:53f2:500:7ba4:92a8:6e01:ae71) |
| 2020-11-05 00:42:46 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2020-11-05 00:43:16 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2020-11-05 00:43:28 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ed58:dda3:fd80:2c46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-05 00:45:29 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-05 00:47:05 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 240 seconds) |
| 2020-11-05 00:48:16 | × | catchme quits (uid355354@gateway/web/irccloud.com/x-jjbcbrnidixjkmxm) (Quit: Connection closed for inactivity) |
| 2020-11-05 00:48:34 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.150) |
| 2020-11-05 00:48:57 | → | softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 2020-11-05 00:49:15 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2020-11-05 00:50:11 | → | enva2712 joins (~enva2712@cpe-75-86-42-2.wi.res.rr.com) |
| 2020-11-05 00:51:46 | → | asthasr joins (~asthasr@162.210.29.120) |
| 2020-11-05 00:55:28 | × | asthasr quits (~asthasr@162.210.29.120) (Client Quit) |
| 2020-11-05 00:57:13 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 264 seconds) |
| 2020-11-05 00:57:36 | → | plutoniix joins (~q@175.176.222.7) |
| 2020-11-05 01:00:38 | <fresheyeball> | \q |
| 2020-11-05 01:00:41 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1) |
| 2020-11-05 01:03:34 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 2020-11-05 01:05:19 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-05 01:08:05 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2020-11-05 01:10:35 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-05 01:15:39 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2020-11-05 01:15:56 | × | lucasb quits (uid333435@gateway/web/irccloud.com/x-cbmhwogtcotlrzny) (Quit: Connection closed for inactivity) |
| 2020-11-05 01:17:33 | × | master_o quits (50a46f47@80-164-111-71-dynamic.dk.customer.tdc.net) (Remote host closed the connection) |
| 2020-11-05 01:18:45 | × | dbmikus_ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 2020-11-05 01:20:06 | → | guest115 joins (~user@49.5.6.87) |
| 2020-11-05 01:21:28 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-110-84.w86-212.abo.wanadoo.fr) |
| 2020-11-05 01:21:39 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-104-94.w86-212.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2020-11-05 01:24:07 | <Axman6> | xe4: asking here is fine, but I can't guarantee you'll get a good answer |
| 2020-11-05 01:24:37 | → | Lord_of_Life joins (~Lord@46.217.217.162) |
| 2020-11-05 01:24:38 | × | Lord_of_Life_ quits (~Lord@46.217.221.241) (Ping timeout: 260 seconds) |
| 2020-11-05 01:25:24 | × | darjeeling_ quits (~darjeelin@115.215.43.51) (Ping timeout: 256 seconds) |
| 2020-11-05 01:25:58 | × | crdrost quits (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net) (Quit: Leaving) |
| 2020-11-05 01:26:50 | → | aarvar joins (~foewfoiew@c.24.56.239.179.static.broadstripe.net) |
| 2020-11-05 01:26:55 | ← | aarvar parts (~foewfoiew@c.24.56.239.179.static.broadstripe.net) () |
| 2020-11-05 01:29:46 | → | dbmikus_ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-11-05 01:32:18 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2020-11-05 01:37:20 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-05 01:37:25 | → | Entertainment joins (~entertain@104.246.132.210) |
| 2020-11-05 01:38:06 | × | Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 244 seconds) |
| 2020-11-05 01:39:50 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2020-11-05 01:41:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-05 01:45:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-05 01:50:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
All times are in UTC.