Logs: liberachat/#haskell
| 2021-08-03 08:09:56 | → | xsperry joins (~as@user/xsperry) |
| 2021-08-03 08:14:03 | <merijn> | Anyone know if cabal.project supports conditionals? |
| 2021-08-03 08:14:33 | <sclv> | i suspect not |
| 2021-08-03 08:14:55 | <merijn> | Rats |
| 2021-08-03 08:15:07 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 245 seconds) |
| 2021-08-03 08:17:23 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-03 08:17:33 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-03 08:17:48 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-03 08:19:07 | → | timCF joins (~timCF@200-149-20-81.sta.estpak.ee) |
| 2021-08-03 08:20:47 | <timCF> | Hello! I have a question, why `ExceptT e m a` is not a bifunctor? I can use its Functor instance to map over `a`, and `withExceptT` to map over `e`, but can not use `bimap` to do both at the same time. |
| 2021-08-03 08:21:08 | <merijn> | timCF: Because the types don't line up |
| 2021-08-03 08:21:19 | <merijn> | Bifunctor applies to the last two type arguments |
| 2021-08-03 08:21:32 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-03 08:21:34 | <timCF> | Because of `m`? |
| 2021-08-03 08:21:38 | <merijn> | "ExceptT e" can't be a bifunctor, because the kind of 'm' doesn't match |
| 2021-08-03 08:22:38 | <timCF> | Yes, I see. I think I'll just continue to use `fmap` + `withExceptT` then. Thanks! |
| 2021-08-03 08:23:51 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-08-03 08:26:08 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-03 08:28:34 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2021-08-03 08:29:41 | × | azeem quits (~azeem@176.200.220.247) (Read error: Connection reset by peer) |
| 2021-08-03 08:30:43 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-03 08:31:20 | × | timCF quits (~timCF@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-08-03 08:36:48 | × | MasseR quits (~MasseR@51.15.143.128) (Ping timeout: 258 seconds) |
| 2021-08-03 08:40:42 | × | reumeth2 quits (~reumeth@user/reumeth) (Ping timeout: 258 seconds) |
| 2021-08-03 08:42:37 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-03 08:46:21 | → | spirit_ joins (~spirit@122.174.131.167) |
| 2021-08-03 08:46:41 | × | spirit_ quits (~spirit@122.174.131.167) (Client Quit) |
| 2021-08-03 08:46:49 | → | spirit_ joins (~spirit@122.174.131.167) |
| 2021-08-03 08:51:30 | <delYsid> | :t fromMaybe <*> Just |
| 2021-08-03 08:51:30 | <lambdabot> | b -> b |
| 2021-08-03 08:52:07 | <delYsid> | I know it works, I even remember the trick since a few months and can write it out when I need it. But why? Working the types out makes me dizzy somehow |
| 2021-08-03 08:52:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-03 08:52:20 | <merijn> | Applicative instance of ((->) r) |
| 2021-08-03 08:52:48 | <delYsid> | oh, it works in the function applicative? Thats why it can copy the arg! |
| 2021-08-03 08:53:59 | → | MasseR joins (~MasseR@51.15.143.128) |
| 2021-08-03 08:56:20 | × | kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-08-03 08:56:22 | × | Guest217 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-03 08:56:42 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-03 08:56:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-03 08:56:55 | → | kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de) |
| 2021-08-03 09:04:20 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-03 09:04:29 | → | reumeth2 joins (~reumeth@user/reumeth) |
| 2021-08-03 09:05:52 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 2021-08-03 09:06:00 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-03 09:10:22 | × | haskell-lurk quits (~haskell-l@78.155.54.115) (Quit: Client closed) |
| 2021-08-03 09:12:12 | × | pmk quits (~user@2a02:587:9416:822f:cf:6d30:99e9:ac07) (Ping timeout: 276 seconds) |
| 2021-08-03 09:12:22 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-03 09:12:59 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-03 09:15:35 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-03 09:16:43 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-03 09:19:02 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:bab8:2602:a3cf:c129) (Ping timeout: 258 seconds) |
| 2021-08-03 09:25:22 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-03 09:29:45 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-03 09:31:04 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-03 09:32:56 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-03 09:34:43 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:9a95:d5cc:dad7:5bc2) |
| 2021-08-03 09:38:52 | × | jespada quits (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-03 09:39:20 | × | phma quits (phma@2001:5b0:210d:4948:1e1a:34b5:d23e:1981) (Read error: Connection reset by peer) |
| 2021-08-03 09:39:40 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-08-03 09:39:44 | × | spirit_ quits (~spirit@122.174.131.167) (Quit: Konversation terminated!) |
| 2021-08-03 09:40:32 | → | pmk joins (~user@195.114.237.86) |
| 2021-08-03 09:41:29 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-03 09:41:36 | × | jespada quits (~jespada@90.254.247.46) (Client Quit) |
| 2021-08-03 09:42:00 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-08-03 09:42:20 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-03 09:48:22 | → | phma joins (~phma@2600:1004:b127:459d:fed5:fe1c:2170:ecd1) |
| 2021-08-03 09:48:45 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-03 09:49:19 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-03 09:52:01 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-03 09:53:30 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-03 09:59:48 | → | jippiedoe joins (~david@77-171-152-62.fixed.kpn.net) |
| 2021-08-03 10:01:02 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:9a95:d5cc:dad7:5bc2) (Ping timeout: 256 seconds) |
| 2021-08-03 10:04:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-03 10:04:51 | × | agua quits (~agua@2804:18:7f:1e53:1:0:7e70:81d) (Ping timeout: 276 seconds) |
| 2021-08-03 10:05:09 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-03 10:05:14 | × | mei quits (~mei@user/mei) (Quit: mei) |
| 2021-08-03 10:06:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-03 10:09:17 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-03 10:09:54 | × | teddyc quits (theodorc@cassarossa.samfundet.no) (Ping timeout: 240 seconds) |
| 2021-08-03 10:11:23 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-03 10:12:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-03 10:12:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-03 10:13:35 | × | qbt quits (~edun@user/edun) (Read error: Connection reset by peer) |
| 2021-08-03 10:16:01 | → | qbt joins (~edun@user/edun) |
| 2021-08-03 10:16:55 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-08-03 10:17:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-03 10:17:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-03 10:18:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-03 10:22:10 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-08-03 10:23:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-03 10:24:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-03 10:26:47 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-03 10:27:40 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-08-03 10:28:10 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-03 10:29:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-03 10:30:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-03 10:31:04 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-08-03 10:35:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-08-03 10:36:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-03 10:36:40 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
All times are in UTC.