Logs: freenode/#haskell
| 2020-10-31 21:18:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2020-10-31 21:18:44 | <comerijn> | ) |
| 2020-10-31 21:18:58 | <hpc> | newtype |
| 2020-10-31 21:19:12 | → | Tario joins (~Tario@200.119.184.3) |
| 2020-10-31 21:19:12 | <comerijn> | I just realised that's wrong, yeah >.> |
| 2020-10-31 21:19:30 | <matthew-> | such a shame this implication is an if, and not an iff ;) |
| 2020-10-31 21:19:33 | <comerijn> | Someone else can figure out what I meant to type :p |
| 2020-10-31 21:19:48 | → | gioyik joins (~gioyik@186.112.105.190) |
| 2020-10-31 21:20:36 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-10-31 21:23:09 | × | hackage quits (mniip@haskell/bot/hackage) (Read error: Connection reset by peer) |
| 2020-10-31 21:23:45 | → | hackage joins (mniip@haskell/bot/hackage) |
| 2020-10-31 21:28:45 | × | bennofs1 quits (~benno@dslb-188-106-255-000.188.106.pools.vodafone-ip.de) (Quit: WeeChat 2.9) |
| 2020-10-31 21:29:27 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-31 21:31:56 | × | machinedgod quits (~machinedg@207.253.244.210) (Remote host closed the connection) |
| 2020-10-31 21:32:03 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-31 21:32:23 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 2020-10-31 21:32:53 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 2020-10-31 21:33:34 | × | chaosmasttter quits (~chaosmast@p200300c4a72dee0155b8dce6c2fd4efc.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 2020-10-31 21:34:18 | <jackdk> | Is anyone aware of lenses that can fail noisily? I've been mucking around with profunctorish/arrowish decoders, and just noticed that `fromKey` might want to be `fromKey' :: (Failing f, Show k, Ixed m, Index m ~ k, IxValue m ~ v) => k -> LensLike f m a v a` https://www.irccloud.com/pastebin/mWf23ECx/Failing.hs |
| 2020-10-31 21:34:57 | <jackdk> | `Failing` is a hacky typeclass to abstract over `Maybe`, `Either` and `These`, depending on how noisy you want your error reporting; perhaps there is a better way |
| 2020-10-31 21:35:36 | × | ubert quits (~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-31 21:35:52 | → | ubert joins (~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de) |
| 2020-10-31 21:35:56 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-31 21:41:49 | → | knupfer joins (~Thunderbi@200116b82ca39800d8796efffe0a1b48.dip.versatel-1u1.de) |
| 2020-10-31 21:42:28 | × | knupfer quits (~Thunderbi@200116b82ca39800d8796efffe0a1b48.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-10-31 21:42:42 | → | knupfer joins (~Thunderbi@200116b82ca39800c888af6f5db88738.dip.versatel-1u1.de) |
| 2020-10-31 21:42:43 | → | texasmynsted joins (~texasmyns@212.102.45.109) |
| 2020-10-31 21:42:54 | → | heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) |
| 2020-10-31 21:43:04 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-31 21:44:49 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-31 21:45:01 | hackage | compdoc-dhall-decoder 0.1.0.0 - Allows you to write FromDhall instances for Compdoc https://hackage.haskell.org/package/compdoc-dhall-decoder-0.1.0.0 (locallycompact) |
| 2020-10-31 21:45:59 | → | tenniscp25 joins (~tenniscp2@134.196.209.118) |
| 2020-10-31 21:47:52 | × | texasmynsted quits (~texasmyns@212.102.45.109) (Ping timeout: 272 seconds) |
| 2020-10-31 21:47:53 | × | heebo quits (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2020-10-31 21:48:59 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2020-10-31 21:50:05 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2020-10-31 21:50:32 | × | tenniscp25 quits (~tenniscp2@134.196.209.118) (Ping timeout: 265 seconds) |
| 2020-10-31 21:51:43 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-31 21:53:23 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-31 21:53:37 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-10-31 21:55:12 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-31 21:55:12 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-10-31 21:56:15 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-31 21:59:32 | × | gioyik quits (~gioyik@186.112.105.190) (Ping timeout: 256 seconds) |
| 2020-10-31 22:00:02 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-31 22:00:24 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-10-31 22:00:30 | hackage | polysemy-methodology 0.1.5.0 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.5.0 (locallycompact) |
| 2020-10-31 22:01:48 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-10-31 22:02:48 | × | notnatebtw quits (~nate@125.161.131.30) (Quit: WeeChat 2.9) |
| 2020-10-31 22:03:38 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2020-10-31 22:04:22 | → | invaser joins (~Thunderbi@128-124-98-41.mobile.vf-ua.net) |
| 2020-10-31 22:04:50 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-10-31 22:04:59 | × | Tario quits (~Tario@200.119.184.3) (Ping timeout: 268 seconds) |
| 2020-10-31 22:05:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-31 22:05:19 | → | Tario joins (~Tario@201.204.63.11) |
| 2020-10-31 22:05:54 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 2020-10-31 22:06:04 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-31 22:06:16 | × | Tario quits (~Tario@201.204.63.11) (Read error: Connection reset by peer) |
| 2020-10-31 22:06:58 | → | Tario joins (~Tario@201.204.63.11) |
| 2020-10-31 22:07:25 | × | mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 2020-10-31 22:08:41 | × | kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 268 seconds) |
| 2020-10-31 22:09:58 | × | coot quits (~coot@37.30.53.159.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds) |
| 2020-10-31 22:10:07 | × | invaser quits (~Thunderbi@128-124-98-41.mobile.vf-ua.net) (Read error: Connection reset by peer) |
| 2020-10-31 22:10:26 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds) |
| 2020-10-31 22:10:32 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-10-31 22:14:00 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-10-31 22:14:44 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-31 22:16:37 | → | texasmynsted joins (~texasmyns@212.102.45.109) |
| 2020-10-31 22:17:24 | → | texasmyn_ joins (~texasmyns@212.102.45.109) |
| 2020-10-31 22:17:47 | × | texasmynsted quits (~texasmyns@212.102.45.109) (Read error: Connection reset by peer) |
| 2020-10-31 22:18:33 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 268 seconds) |
| 2020-10-31 22:18:43 | → | meowphius joins (~meowphius@pool-96-237-166-172.bstnma.fios.verizon.net) |
| 2020-10-31 22:19:16 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-31 22:19:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-10-31 22:20:02 | × | st8less_ quits (~st8less@2603:a060:11fd:0:2478:3f17:6763:7e3e) (Quit: WeeChat 2.7.1) |
| 2020-10-31 22:20:11 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-10-31 22:20:55 | → | pasmuth joins (62ead86f@c-98-234-216-111.hsd1.ca.comcast.net) |
| 2020-10-31 22:21:10 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-10-31 22:22:07 | ← | pasmuth parts (62ead86f@c-98-234-216-111.hsd1.ca.comcast.net) () |
| 2020-10-31 22:26:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2020-10-31 22:26:18 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-10-31 22:26:50 | → | bennofs1 joins (~benno@dslb-188-106-255-000.188.106.pools.vodafone-ip.de) |
| 2020-10-31 22:27:11 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2020-10-31 22:27:33 | → | p-core joins (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) |
| 2020-10-31 22:29:05 | → | gioyik joins (~gioyik@186.112.105.190) |
| 2020-10-31 22:29:34 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-10-31 22:29:40 | × | Neo-- quits (~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 272 seconds) |
| 2020-10-31 22:33:34 | × | gioyik quits (~gioyik@186.112.105.190) (Ping timeout: 246 seconds) |
| 2020-10-31 22:33:42 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2020-10-31 22:34:35 | × | ubert quits (~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2020-10-31 22:34:37 | × | mokulus quits (~mat@176.111.230.96) (Ping timeout: 258 seconds) |
| 2020-10-31 22:36:21 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-10-31 22:37:40 | × | knupfer quits (~Thunderbi@200116b82ca39800c888af6f5db88738.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2020-10-31 22:38:08 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds) |
| 2020-10-31 22:38:24 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-10-31 22:38:37 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 2020-10-31 22:39:23 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-10-31 22:39:36 | → | Lord_of_Life joins (~Lord@46.217.218.94) |
| 2020-10-31 22:39:36 | × | Lord_of_Life quits (~Lord@46.217.218.94) (Changing host) |
| 2020-10-31 22:39:36 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
All times are in UTC.