Logs: freenode/#haskell
| 2020-10-25 19:30:57 | × | xff0x quits (~fox@2001:1a81:53a8:4d00:58d7:4c60:2850:2b9a) (Ping timeout: 260 seconds) |
| 2020-10-25 19:31:17 | → | xff0x joins (~fox@2001:1a81:53a8:4d00:58d7:4c60:2850:2b9a) |
| 2020-10-25 19:31:49 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 260 seconds) |
| 2020-10-25 19:32:31 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 2020-10-25 19:33:05 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-10-25 19:33:55 | × | Slava_ quits (~textual@2a02:8308:89:8a00:60b8:4360:168d:7891) (Quit: Textual IRC Client: www.textualapp.com) |
| 2020-10-25 19:34:17 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 2020-10-25 19:34:19 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-25 19:34:28 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2020-10-25 19:34:35 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-25 19:34:36 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-25 19:34:36 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-25 19:34:37 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2020-10-25 19:38:02 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 2020-10-25 19:38:17 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 2020-10-25 19:39:27 | × | coot quits (~coot@37.30.54.23.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-10-25 19:44:25 | × | solonarv quits (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 2020-10-25 19:45:41 | × | bartemius quits (~bartemius@109.252.20.20) (Remote host closed the connection) |
| 2020-10-25 19:47:12 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 2020-10-25 19:48:57 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-10-25 19:50:13 | × | mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 258 seconds) |
| 2020-10-25 19:50:31 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 2020-10-25 19:52:25 | × | kish` quits (~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds) |
| 2020-10-25 19:53:02 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-wxrumdfneplzxysw) |
| 2020-10-25 19:53:43 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-10-25 19:56:58 | hackage | tasty-test-reporter 0.1.1.4 - Producing JUnit-style XML test reports. https://hackage.haskell.org/package/tasty-test-reporter-0.1.1.4 (JasperWoudenberg) |
| 2020-10-25 19:57:27 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-10-25 19:58:27 | → | damianfral3 joins (~damianfra@25.red-176-87-152.dynamicip.rima-tde.net) |
| 2020-10-25 19:59:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-25 19:59:58 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-zxfqxxqfurbfpbil) |
| 2020-10-25 20:01:37 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-10-25 20:01:41 | × | damianfral2 quits (~damianfra@41.red-2-143-79.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2020-10-25 20:02:01 | → | dcoutts__ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-10-25 20:02:01 | → | acidjnk_new joins (~acidjnk@p200300d0c7237822f9c109cfb48a3b3a.dip0.t-ipconnect.de) |
| 2020-10-25 20:02:22 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 2020-10-25 20:02:43 | → | alp joins (~alp@2a01:e0a:58b:4920:784c:efeb:64e7:4755) |
| 2020-10-25 20:03:06 | × | m4lvin quits (~m4lvin@w4eg.de) (Quit: m4lvin) |
| 2020-10-25 20:03:09 | → | rprije joins (~rprije@194-193-168-77.tpgi.com.au) |
| 2020-10-25 20:03:28 | → | m4lvin joins (~m4lvin@w4eg.de) |
| 2020-10-25 20:05:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-25 20:05:12 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-10-25 20:05:46 | × | MarcelineVQ quits (~anja@198.254.202.72) (Remote host closed the connection) |
| 2020-10-25 20:05:57 | × | dcoutts quits (~duncan@unaffiliated/dcoutts) (Ping timeout: 244 seconds) |
| 2020-10-25 20:07:30 | → | MarcelineVQ joins (~anja@198.254.202.72) |
| 2020-10-25 20:08:43 | → | cebola joins (~cebola@2804:14d:149a:a093:90f7:1d75:5efb:291d) |
| 2020-10-25 20:09:43 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-25 20:10:34 | → | Neo-- joins (~neo@188-230-154-134.dynamic.t-2.net) |
| 2020-10-25 20:10:54 | <ixlun> | Is it possible to pattern match on a partially applied Value constructor? |
| 2020-10-25 20:11:54 | × | silver quits (~silver@37.214.78.15) (Quit: rakede) |
| 2020-10-25 20:16:49 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-10-25 20:17:37 | × | knupfer quits (~Thunderbi@200116b82c71d20065b6e371541db8cc.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-10-25 20:19:53 | <opqdonut> | ixlun: no |
| 2020-10-25 20:20:21 | → | Katarushisu0 joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) |
| 2020-10-25 20:20:38 | <geekosaur> | that sounds confused. a partially applied constructor is a function, not a value, so no pattern matching |
| 2020-10-25 20:20:45 | × | Katarushisu quits (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2020-10-25 20:20:45 | Katarushisu0 | is now known as Katarushisu |
| 2020-10-25 20:20:55 | <ixlun> | I thought as much |
| 2020-10-25 20:21:08 | <ixlun> | It probably smacks of bad design if I'm running into that problem |
| 2020-10-25 20:21:14 | <geekosaur> | you do not have a thing of type Value to pattern match on, you have a (something -> Value) |
| 2020-10-25 20:21:27 | × | maroloccio quits (~marolocci@2a02:8084:221:ce00:164f:8aff:fed8:411d) (Ping timeout: 260 seconds) |
| 2020-10-25 20:21:27 | × | unlink2 quits (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-25 20:21:39 | → | unlink2 joins (~unlink2@p200300ebcf11fb00fde4d6d3674a285c.dip0.t-ipconnect.de) |
| 2020-10-25 20:25:32 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection) |
| 2020-10-25 20:28:02 | × | ggole quits (~ggole@2001:8003:8119:7200:a5f2:b2c5:4f40:8dbb) (Quit: Leaving) |
| 2020-10-25 20:28:18 | → | knupfer joins (~Thunderbi@200116b82c71d200e80f0b710cfaea74.dip.versatel-1u1.de) |
| 2020-10-25 20:28:43 | × | Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 260 seconds) |
| 2020-10-25 20:32:31 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds) |
| 2020-10-25 20:33:22 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Quit: hyiltiz) |
| 2020-10-25 20:33:27 | → | edwinb joins (sid69486@gateway/web/irccloud.com/x-uzgutqxewvyjtsgl) |
| 2020-10-25 20:34:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-25 20:34:28 | hackage | telegram-bot-simple 0.3.2 - Easy to use library for building Telegram bots. https://hackage.haskell.org/package/telegram-bot-simple-0.3.2 (swamp_agr) |
| 2020-10-25 20:35:01 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-10-25 20:36:20 | <ixlun> | Can anyone think of a nicer way to write this function? https://termbin.com/i0im |
| 2020-10-25 20:36:33 | <ixlun> | It feels like there should be a nicer way than what I'm doing. |
| 2020-10-25 20:38:26 | × | knupfer quits (~Thunderbi@200116b82c71d200e80f0b710cfaea74.dip.versatel-1u1.de) (Quit: knupfer) |
| 2020-10-25 20:38:51 | → | Katarushisu2 joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) |
| 2020-10-25 20:38:57 | × | Katarushisu quits (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-10-25 20:38:57 | Katarushisu2 | is now known as Katarushisu |
| 2020-10-25 20:38:58 | → | knupfer joins (~Thunderbi@200116b82c71d200cd35ec8a81b15c72.dip.versatel-1u1.de) |
| 2020-10-25 20:38:58 | × | knupfer quits (~Thunderbi@200116b82c71d200cd35ec8a81b15c72.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-25 20:39:44 | → | knupfer joins (~Thunderbi@200116b82c71d200b8dd51f3930eb6d6.dip.versatel-1u1.de) |
| 2020-10-25 20:39:48 | × | knupfer quits (~Thunderbi@200116b82c71d200b8dd51f3930eb6d6.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-25 20:39:58 | → | knupfer joins (~Thunderbi@200116b82c71d20049f91a3ba27fa966.dip.versatel-1u1.de) |
| 2020-10-25 20:40:17 | × | knupfer quits (~Thunderbi@200116b82c71d20049f91a3ba27fa966.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-25 20:40:26 | → | knupfer joins (~Thunderbi@200116b82c71d200ec6abffdba51d2d7.dip.versatel-1u1.de) |
| 2020-10-25 20:40:28 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:e9e0:8366:ee4d:bc13) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-25 20:40:35 | × | cebola quits (~cebola@2804:14d:149a:a093:90f7:1d75:5efb:291d) (Remote host closed the connection) |
| 2020-10-25 20:43:27 | × | knupfer quits (~Thunderbi@200116b82c71d200ec6abffdba51d2d7.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-25 20:43:36 | → | knupfer joins (~Thunderbi@200116b82c71d20080137923f6f9d501.dip.versatel-1u1.de) |
| 2020-10-25 20:43:47 | × | knupfer quits (~Thunderbi@200116b82c71d20080137923f6f9d501.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-25 20:44:48 | → | britva joins (~britva@2a02:aa13:7240:2980:b0bb:4de0:a28f:1dc2) |
| 2020-10-25 20:45:05 | → | knupfer joins (~Thunderbi@200116b82c71d20009c5aa276259fd3f.dip.versatel-1u1.de) |
| 2020-10-25 20:46:14 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-eeknnrhdpwmbpqai) |
| 2020-10-25 20:46:21 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-25 20:47:05 | × | knupfer quits (~Thunderbi@200116b82c71d20009c5aa276259fd3f.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-25 20:47:16 | → | knupfer joins (~Thunderbi@200116b82c71d2004843f5ff50854077.dip.versatel-1u1.de) |
| 2020-10-25 20:47:18 | × | knupfer quits (~Thunderbi@200116b82c71d2004843f5ff50854077.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-25 20:47:29 | → | knupfer joins (~Thunderbi@200116b82c71d2003159e759ac520288.dip.versatel-1u1.de) |
| 2020-10-25 20:47:29 | × | knupfer quits (~Thunderbi@200116b82c71d2003159e759ac520288.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-25 20:47:53 | → | knupfer joins (~Thunderbi@200116b82c71d2006d9811fe8b243fd8.dip.versatel-1u1.de) |
All times are in UTC.