Logs: freenode/#haskell
| 2021-05-05 06:06:50 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-05 06:07:46 | × | todda7 quits (~torstein@anas10.static.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-05-05 06:11:58 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:9fc4:8832:acfc:57c0) |
| 2021-05-05 06:13:06 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-05 06:13:25 | × | malumore quits (~malumore@151.62.122.2) (Remote host closed the connection) |
| 2021-05-05 06:13:36 | → | bitmagie joins (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) |
| 2021-05-05 06:17:17 | × | bitmagie quits (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-05 06:21:14 | × | xff0x quits (~xff0x@2001:1a81:524c:8600:473c:7269:fd8b:abf4) (Ping timeout: 245 seconds) |
| 2021-05-05 06:21:18 | → | malumore joins (~malumore@151.62.122.2) |
| 2021-05-05 06:22:10 | → | xff0x joins (~xff0x@2001:1a81:524c:8600:8059:c594:bba6:74e) |
| 2021-05-05 06:22:34 | × | JustinCase quits (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds) |
| 2021-05-05 06:24:26 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-05-05 06:26:39 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 06:28:47 | → | knupfer joins (~Thunderbi@200116b82ba4e400a4316c44a93f97e3.dip.versatel-1u1.de) |
| 2021-05-05 06:31:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 06:33:07 | × | knupfer quits (~Thunderbi@200116b82ba4e400a4316c44a93f97e3.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-05 06:33:41 | → | kuribas joins (~user@ptr-25vy0i8zs4ypuosdav0.18120a2.ip6.access.telenet.be) |
| 2021-05-05 06:36:26 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-05-05 06:37:28 | → | FunguyTheMushroo joins (50238d74@116.red-80-35-141.staticip.rima-tde.net) |
| 2021-05-05 06:37:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-05 06:38:06 | ← | FunguyTheMushroo parts (50238d74@116.red-80-35-141.staticip.rima-tde.net) () |
| 2021-05-05 06:39:53 | → | pfurla_ joins (~pfurla@247.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-05-05 06:42:48 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-05 06:46:50 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-05 06:49:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-05-05 06:49:59 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-05 06:53:37 | → | Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-05 06:54:05 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-05 06:55:30 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
| 2021-05-05 06:56:45 | → | shaanjeet15 joins (~kunwar@20.51.250.64) |
| 2021-05-05 06:57:55 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-05 06:58:18 | × | shaanjeet1 quits (~kunwar@20.51.250.64) (Ping timeout: 240 seconds) |
| 2021-05-05 07:02:49 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-05-05 07:02:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-05 07:03:18 | alexander | is now known as Guest24182 |
| 2021-05-05 07:06:28 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 07:09:43 | × | lawt quits (~lawt@2601:200:8101:f140:dea6:32ff:fea1:adfa) (Ping timeout: 260 seconds) |
| 2021-05-05 07:10:14 | → | lawt joins (~lawt@2601:200:8101:f140:dea6:32ff:fea1:adfa) |
| 2021-05-05 07:11:09 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-05 07:14:46 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-05-05 07:19:18 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-gaopgaecslifeogu) (Quit: Connection closed for inactivity) |
| 2021-05-05 07:22:09 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 2021-05-05 07:22:41 | <wrunt> | I'm finding these utilities useful: https://paste.tomsmeding.com/7Yee1X6v |
| 2021-05-05 07:23:14 | <wrunt> | Do they already exist somewhere? Am I somehow abusing runWithReplace? It seems odd... |
| 2021-05-05 07:27:00 | → | JustinCase joins (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-05 07:32:43 | → | z0k joins (~user@115.186.169.61) |
| 2021-05-05 07:34:05 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-05 07:34:50 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-05 07:38:25 | → | fendor joins (~fendor@178.165.128.231.wireless.dyn.drei.com) |
| 2021-05-05 07:39:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 07:40:54 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 07:44:42 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-05 07:47:10 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-05 07:47:43 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-05 07:56:32 | → | enoq joins (~textual@194-208-146-143.lampert.tv) |
| 2021-05-05 07:56:51 | × | EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
| 2021-05-05 08:00:06 | → | Alleria joins (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) |
| 2021-05-05 08:00:29 | Alleria | is now known as Guest65100 |
| 2021-05-05 08:01:17 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-05 08:01:59 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-05 08:02:04 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 08:02:24 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 08:03:02 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-05 08:03:26 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 08:04:33 | × | Guest65100 quits (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-05 08:05:59 | → | bitmagie joins (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) |
| 2021-05-05 08:06:10 | × | bitmagie quits (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-05 08:06:32 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-05 08:08:47 | → | michalz joins (~user@185.246.204.110) |
| 2021-05-05 08:09:57 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-05 08:10:42 | × | zpao quits (~zpao@185.163.110.100) (Remote host closed the connection) |
| 2021-05-05 08:12:18 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-05 08:15:48 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-05 08:15:54 | × | xsperry quits (~as@unaffiliated/xsperry) () |
| 2021-05-05 08:16:19 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-05-05 08:16:24 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 08:17:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-05 08:19:36 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-05 08:20:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit) |
| 2021-05-05 08:20:55 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-05 08:21:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-05 08:22:21 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-05-05 08:23:25 | × | JustinCase quits (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Quit: Leaving) |
| 2021-05-05 08:24:18 | → | CMCDragonkai2 joins (~Thunderbi@60-242-118-130.tpgi.com.au) |
| 2021-05-05 08:24:36 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-05-05 08:25:52 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 2021-05-05 08:26:21 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-05 08:26:37 | → | cprofitt joins (~cprofitt@139.28.218.148) |
| 2021-05-05 08:27:15 | × | CMCDragonkai2 quits (~Thunderbi@60-242-118-130.tpgi.com.au) (Remote host closed the connection) |
| 2021-05-05 08:27:45 | <dminuoso> | wrunt: What is runWithReplace or Adjustable? The latter does not seem to be the one from `keys` |
| 2021-05-05 08:30:18 | × | dminuoso quits (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2021-05-05 08:30:18 | → | dminuoso joins (~dminuoso@unaffiliated/dminuoso) |
| 2021-05-05 08:35:00 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 2021-05-05 08:35:10 | <wrunt> | dminuoso: https://hackage.haskell.org/package/reflex-0.8.1.0/docs/Reflex-Adjustable-Class.html |
| 2021-05-05 08:35:33 | × | malumore quits (~malumore@151.62.122.2) (Remote host closed the connection) |
| 2021-05-05 08:35:43 | → | ania123 joins (5e89ad7c@94.137.173.124) |
| 2021-05-05 08:36:12 | <Cale> | wrunt: Those are definitely strange... |
| 2021-05-05 08:36:50 | → | malumore joins (~malumore@151.62.122.2) |
| 2021-05-05 08:37:07 | <Cale> | You could at least use (pure never) in sequenceEvent |
| 2021-05-05 08:38:09 | <wrunt> | Oh... I was using (pure ()), but decided it didn't really matter what was there as it didn't seem to be used. |
All times are in UTC.