Logs: liberachat/#haskell
| 2021-07-11 17:42:21 | <hololeap> | I was talking specifically about the the need for `(Constraints Functor (Bases ts), Constraints Foldable (Bases ts), ...) => Traversable (ProductNF ts)` |
| 2021-07-11 17:42:26 | → | cheater joins (~Username@user/cheater) |
| 2021-07-11 17:42:45 | <hololeap> | as opposed to just: `Constraints Traversable (Bases ts) => Traversable (ProductNF ts)` |
| 2021-07-11 17:42:51 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-11 17:44:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-11 17:47:04 | <dmj`> | yea I'm not sure, I'd just use ConstraintKinds to combine them |
| 2021-07-11 17:50:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-11 17:53:22 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-11 17:53:44 | × | peterhil quits (~peterhil@mobile-access-5672d5-10.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-07-11 17:56:14 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-11 17:58:54 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 2021-07-11 18:07:12 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-11 18:07:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-11 18:09:18 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-11 18:09:41 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-11 18:12:10 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-11 18:13:08 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-11 18:16:16 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-11 18:17:26 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-11 18:24:38 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-11 18:25:40 | → | azeem joins (~azeem@176.200.251.23) |
| 2021-07-11 18:26:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-11 18:26:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-11 18:27:27 | × | azeem quits (~azeem@176.200.251.23) (Read error: Connection reset by peer) |
| 2021-07-11 18:28:16 | × | Guest9 quits (~Guest9@103.250.145.129) (Ping timeout: 268 seconds) |
| 2021-07-11 18:29:03 | × | Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-11 18:30:00 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-11 18:30:59 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 2021-07-11 18:33:48 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-11 18:37:17 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-11 18:39:39 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-11 18:40:12 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-07-11 18:42:46 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2021-07-11 18:43:54 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds) |
| 2021-07-11 18:46:25 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-11 18:46:42 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-07-11 18:46:59 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-11 18:50:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-11 18:51:46 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-11 18:55:33 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-11 18:58:21 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-11 18:59:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-11 18:59:57 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-07-11 19:03:22 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 265 seconds) |
| 2021-07-11 19:05:11 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection) |
| 2021-07-11 19:06:06 | hiruji | is now known as armink |
| 2021-07-11 19:07:00 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-07-11 19:10:29 | → | azeem joins (~azeem@176.200.251.23) |
| 2021-07-11 19:12:16 | → | Guest77 joins (~Guest77@187.83.249.216.dyn.smithville.net) |
| 2021-07-11 19:16:13 | × | nick8325 quits (~nick8325@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) (Quit: Leaving.) |
| 2021-07-11 19:16:26 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-11 19:17:13 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-11 19:20:53 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-11 19:22:40 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2021-07-11 19:24:19 | ← | smokey991 parts (sid369395@id-369395.brockwell.irccloud.com) () |
| 2021-07-11 19:24:42 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-07-11 19:29:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-11 19:29:48 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-11 19:30:37 | × | Guest77 quits (~Guest77@187.83.249.216.dyn.smithville.net) (Ping timeout: 246 seconds) |
| 2021-07-11 19:34:32 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-11 19:39:12 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2021-07-11 19:41:35 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds) |
| 2021-07-11 19:45:29 | → | Guest3525 joins (~Guest35@187.83.249.216.dyn.smithville.net) |
| 2021-07-11 19:47:33 | → | mthvedt joins (uid501949@id-501949.stonehaven.irccloud.com) |
| 2021-07-11 19:47:53 | × | xff0x quits (~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) (Ping timeout: 255 seconds) |
| 2021-07-11 19:48:00 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 272 seconds) |
| 2021-07-11 19:48:48 | → | xff0x joins (~xff0x@2001:1a81:5298:1800:4b48:fc50:6a76:3d62) |
| 2021-07-11 19:50:38 | → | azeem joins (~azeem@176.200.251.23) |
| 2021-07-11 19:51:19 | × | azeem quits (~azeem@176.200.251.23) (Read error: Connection reset by peer) |
| 2021-07-11 19:51:57 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-11 19:57:22 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-07-11 19:58:28 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-07-11 19:58:29 | → | Guest91 joins (~Guest91@pool-71-163-166-229.washdc.fios.verizon.net) |
| 2021-07-11 19:59:05 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-11 19:59:33 | × | V quits (~v@anomalous.eu) (Ping timeout: 268 seconds) |
| 2021-07-11 20:00:58 | → | azeem joins (~azeem@176.200.251.23) |
| 2021-07-11 20:01:38 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 2021-07-11 20:01:57 | × | azeem quits (~azeem@176.200.251.23) (Read error: Connection reset by peer) |
| 2021-07-11 20:02:52 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-11 20:03:30 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-07-11 20:03:34 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-11 20:05:06 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 240 seconds) |
| 2021-07-11 20:05:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-11 20:06:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-11 20:06:42 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-11 20:07:00 | <Guest3525> | so I have a bunch of monad transformers, each of which looks like data SomeMonadT m a = SomeMonadT { newthing :: SomeType, base :: m a }. I'm stacking a bunch of these and want to be able to reference each of their newthings without unpeeling |
| 2021-07-11 20:07:19 | <Guest3525> | obviously I can do this with classes and all...but is there a library that lets me just not write out everything explicitly? |
| 2021-07-11 20:12:04 | <davean> | Guest3525: Depends on what they are, because composition can be transformative. |
| 2021-07-11 20:12:17 | <davean> | Guest3525: How much do these match 'mtl'> |
| 2021-07-11 20:13:00 | <Guest3525> | bind literally just carries the newthings through, so the transformers should commute and all |
| 2021-07-11 20:14:23 | <Clint> | so are they like ReaderT or StateT? |
| 2021-07-11 20:14:38 | → | dyniec joins (~dyniec@mail.dybiec.info) |
| 2021-07-11 20:15:39 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-11 20:15:45 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-11 20:15:55 | <davean> | Yah, if bind litterly carries them through then use which type class represents its semantics |
| 2021-07-11 20:15:58 | <davean> | and you're done |
| 2021-07-11 20:16:10 | <davean> | we have the type classes, and most of the liftings already |
| 2021-07-11 20:16:27 | <davean> | though, in that case you should use the implimented ones and newtype it so you get the liftings, etc |
| 2021-07-11 20:16:32 | <davean> | and then we ask why you even newtype it |
| 2021-07-11 20:17:25 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
All times are in UTC.