Logs: freenode/#haskell
| 2020-10-19 01:01:09 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:a53c:4941:44e2:1e75) |
| 2020-10-19 01:01:56 | → | jedws joins (~jedws@121.209.161.98) |
| 2020-10-19 01:01:59 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2020-10-19 01:03:12 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-19 01:03:56 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-10-19 01:04:40 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-mvchipvwhunlklgp) |
| 2020-10-19 01:06:29 | → | isovector1 joins (~isovector@172.103.217.169.cable.tpia.cipherkey.com) |
| 2020-10-19 01:07:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-19 01:08:34 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds) |
| 2020-10-19 01:09:46 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 256 seconds) |
| 2020-10-19 01:11:24 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 2020-10-19 01:11:32 | × | son0p quits (~son0p@181.136.122.143) (Remote host closed the connection) |
| 2020-10-19 01:13:35 | → | et09 joins (~et09@unaffiliated/endolphin) |
| 2020-10-19 01:13:40 | → | djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 2020-10-19 01:16:59 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:706d:285c:8b0:9b3d) |
| 2020-10-19 01:18:32 | → | nbloomf_ joins (~nbloomf@76.217.43.73) |
| 2020-10-19 01:18:35 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-10-19 01:18:58 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-19 01:19:09 | → | da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com) |
| 2020-10-19 01:19:57 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2020-10-19 01:21:32 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:706d:285c:8b0:9b3d) (Ping timeout: 260 seconds) |
| 2020-10-19 01:24:40 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2020-10-19 01:25:40 | → | s00pcan joins (~chris@107.181.165.217) |
| 2020-10-19 01:27:26 | → | Whez joins (~textual@2a01:e0a:21f:1060:45e3:a6ce:25be:e68) |
| 2020-10-19 01:27:30 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-19 01:30:57 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2020-10-19 01:33:15 | → | Sgeo_ joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-19 01:34:21 | → | avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-19 01:34:41 | × | Whez quits (~textual@2a01:e0a:21f:1060:45e3:a6ce:25be:e68) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-10-19 01:36:44 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2020-10-19 01:38:03 | → | Sgeo__ joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-19 01:39:11 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-19 01:39:25 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2020-10-19 01:41:19 | × | Sgeo_ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2020-10-19 01:41:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-19 01:42:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-19 01:43:02 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-19 01:43:24 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-19 01:43:24 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-19 01:43:24 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-19 01:47:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-19 01:48:06 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2020-10-19 01:51:31 | → | thir joins (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de) |
| 2020-10-19 01:54:18 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2020-10-19 01:57:44 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-19 02:00:03 | × | thir quits (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-19 02:00:03 | × | xff0x quits (~fox@2001:1a81:53f8:9f00:7c69:3a05:36cd:a9b4) (Ping timeout: 260 seconds) |
| 2020-10-19 02:01:29 | → | lkurusa joins (~lkurusa@fedora/Levex) |
| 2020-10-19 02:01:53 | → | xff0x joins (~fox@2001:1a81:522e:d900:5958:18c9:b577:aea) |
| 2020-10-19 02:02:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2020-10-19 02:03:54 | <gnumonik> | Is ((LitP . stringL $ "Foo") : [VarP . mkName $ "xs" ]) the TH Pat the corresponds to ("Foo":xs), or am I doing that wrong? |
| 2020-10-19 02:06:37 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-19 02:06:57 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-10-19 02:07:26 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-19 02:07:41 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-10-19 02:07:47 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2020-10-19 02:08:12 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-19 02:08:30 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-10-19 02:09:00 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-19 02:09:18 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-10-19 02:09:49 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-19 02:12:58 | × | nbloomf_ quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-19 02:14:30 | → | thir joins (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de) |
| 2020-10-19 02:15:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-19 02:18:05 | <koz_> | gnumonik: No, because that should type as Q Expr, but what you have types as Q [Expr] I believe. |
| 2020-10-19 02:18:10 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 246 seconds) |
| 2020-10-19 02:19:53 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:5538:baf2:3212:5e91) (Quit: oisdk) |
| 2020-10-19 02:20:03 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (Remote host closed the connection) |
| 2020-10-19 02:20:03 | × | ByronJohnson quits (~bairyn@unaffiliated/bob0) (Remote host closed the connection) |
| 2020-10-19 02:20:16 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2020-10-19 02:20:44 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-10-19 02:20:59 | × | theDon quits (~td@muedsl-82-207-238-112.citykom.de) (Ping timeout: 260 seconds) |
| 2020-10-19 02:21:24 | <gnumonik> | er I forgot the ListP at the beginning. But wouldn't it just be a [Pat] as written? If I don't return it, it's not in the Q monad yet right? (Obviously I have to do that eventually to do anything useful with it) |
| 2020-10-19 02:21:54 | → | mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 2020-10-19 02:21:57 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-19 02:21:57 | <koz_> | Oh, yeah, good point. |
| 2020-10-19 02:21:59 | <koz_> | But you get the idea. |
| 2020-10-19 02:22:11 | <koz_> | You want an application of the (:) constructor. |
| 2020-10-19 02:22:19 | ← | JordiGH parts (jordi@octave/developer/JordiGH) ("Leaving") |
| 2020-10-19 02:22:41 | → | theDon joins (~td@muedsl-82-207-238-239.citykom.de) |
| 2020-10-19 02:23:57 | → | ransom joins (~c4264035@2601:285:201:6720:b13f:d296:8a17:c389) |
| 2020-10-19 02:26:11 | × | avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-19 02:27:01 | → | plutoniix joins (~q@node-uhv.pool-125-24.dynamic.totinternet.net) |
| 2020-10-19 02:27:07 | × | texasmynsted quits (688c3593@104.140.53.147) (Remote host closed the connection) |
| 2020-10-19 02:28:32 | → | avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-19 02:29:02 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (hitchcock.freenode.net (Nickname regained by services))) |
| 2020-10-19 02:29:08 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-19 02:30:05 | × | ephemera_ quits (~E@122.34.1.187) (Ping timeout: 240 seconds) |
| 2020-10-19 02:31:31 | × | ransom quits (~c4264035@2601:285:201:6720:b13f:d296:8a17:c389) (Quit: Textual IRC Client: www.textualapp.com) |
| 2020-10-19 02:31:46 | × | m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 256 seconds) |
| 2020-10-19 02:32:19 | → | ephemera_ joins (~E@122.34.1.187) |
| 2020-10-19 02:39:34 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-19 02:41:05 | → | drbean joins (~drbean@TC210-63-209-157.static.apol.com.tw) |
| 2020-10-19 02:43:56 | <proofofme> | `print =<< Streams.toList is` After this portion mentioned in mysql-haskell, how can I grab individual columns? So for example, how could I print just some field called 'field', for example? |
| 2020-10-19 02:44:24 | <koz_> | That will dump _everything ever_ to stdout. |
| 2020-10-19 02:44:30 | <koz_> | You most probably do _not_ want that. |
| 2020-10-19 02:44:38 | <koz_> | It will also materialize your entire stream into memory first. |
| 2020-10-19 02:44:43 | <proofofme> | correct, just a couple of fields |
| 2020-10-19 02:44:46 | <koz_> | You most probably _also_ do not want _that_. |
| 2020-10-19 02:45:00 | <koz_> | So I would suggest looking at the type of stream it returns, and at the io-streams docs. |
All times are in UTC.