Logs: liberachat/#haskell
| 2021-07-12 16:19:28 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-12 16:20:34 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-12 16:20:34 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 16:22:02 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 16:22:09 | × | mikail_ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 276 seconds) |
| 2021-07-12 16:23:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 16:24:31 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-12 16:28:14 | × | brandonh quits (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Quit: brandonh) |
| 2021-07-12 16:28:57 | → | brandonh joins (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 16:32:44 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 16:32:46 | × | michalz quits (~michalz@185.246.204.33) (Remote host closed the connection) |
| 2021-07-12 16:35:08 | → | son0p joins (~ff@181.136.122.143) |
| 2021-07-12 16:36:54 | × | brandonh quits (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Quit: brandonh) |
| 2021-07-12 16:38:59 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 16:40:34 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 16:41:37 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-07-12 16:41:37 | × | Deide quits (~Deide@217.155.19.23) (Changing host) |
| 2021-07-12 16:41:37 | → | Deide joins (~Deide@user/deide) |
| 2021-07-12 16:41:38 | × | oso quits (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
| 2021-07-12 16:42:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-12 16:47:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-12 16:48:04 | × | dunj3 quits (~dunj3@2001:16b8:3074:1c00:57f:b83d:ce5e:2d79) (Quit: Leaving) |
| 2021-07-12 16:48:09 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
| 2021-07-12 16:48:55 | × | qrpnxz quits (~qrpnxz@user/qrpnxz) (Quit: Gateway shutdown) |
| 2021-07-12 16:49:11 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-07-12 16:51:13 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-12 16:51:28 | → | Guest55 joins (~Guest55@187.83.249.216.dyn.smithville.net) |
| 2021-07-12 16:54:38 | × | peterhil quits (~peterhil@mobile-access-bceeac-89.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-07-12 16:59:44 | <Guest55> | is it possible to use GeneralizedNewtypeDeriving with a multiparamtypeclass in the first argument? or do I just have to derive through a wrapper class? |
| 2021-07-12 17:00:51 | <Guest55> | basically I have a Class a b with an instance Class Foo b, and I want to derive Class Bar b for newtype Bar = Bar Foo |
| 2021-07-12 17:01:30 | → | Hanicef joins (~hanicef@90-229-213-50-no68.tbcn.telia.com) |
| 2021-07-12 17:02:55 | <int-e> | Not sure what you want... you can do newtype M r w s m a = M (RWST r w s m a) deriving (Functor, Applicative, Monad) with GND |
| 2021-07-12 17:03:07 | <int-e> | for example |
| 2021-07-12 17:06:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 17:06:26 | <Guest55> | ooh i see, thanks |
| 2021-07-12 17:08:41 | <int-e> | Or this, which is related but more interesting: newtype RWST' r w s m a = RWST' (ReaderT r (WriterT w (StateT s m)) a) deriving (Functor, Applicative, Monad, MonadReader r, MonadWriter w, MonadState s) |
| 2021-07-12 17:13:21 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2021-07-12 17:15:36 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-12 17:17:35 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-12 17:17:54 | × | xff0x quits (~xff0x@2001:1a81:52d6:3f00:c2c2:4eb1:4c10:1645) (Ping timeout: 240 seconds) |
| 2021-07-12 17:19:12 | → | xff0x joins (~xff0x@2001:1a81:52d6:3f00:1a58:61d8:8aa3:1417) |
| 2021-07-12 17:20:02 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 17:20:22 | → | Kugge joins (~Kugge@2a01:cb15:81e5:f00:2dd0:6066:fe1b:9751) |
| 2021-07-12 17:23:05 | → | safinaskar joins (~user@109.252.90.89) |
| 2021-07-12 17:23:17 | ← | safinaskar parts (~user@109.252.90.89) () |
| 2021-07-12 17:25:11 | → | smichel17 joins (~smichel17@2601:193:8300:4b9::600) |
| 2021-07-12 17:27:43 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-12 17:27:56 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 17:28:12 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-12 17:28:32 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 17:28:59 | × | Hanicef quits (~hanicef@90-229-213-50-no68.tbcn.telia.com) (Quit: leaving) |
| 2021-07-12 17:30:22 | → | azeem joins (~azeem@176.200.192.14) |
| 2021-07-12 17:40:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-12 17:41:42 | × | azeem quits (~azeem@176.200.192.14) (Ping timeout: 255 seconds) |
| 2021-07-12 17:43:27 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 17:46:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 17:54:11 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-07-12 17:56:52 | → | siers joins (~ij@user/ij) |
| 2021-07-12 17:57:00 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-07-12 17:59:01 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 18:02:46 | → | mikail_ joins (~mikail@90.212.77.3) |
| 2021-07-12 18:03:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 18:03:18 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 18:05:19 | <EvanR> | the package HMap is really cool |
| 2021-07-12 18:06:00 | <EvanR> | the implementation contains all the unsafePerformIO and unsafeCoerce I never want to use |
| 2021-07-12 18:07:48 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 18:11:04 | × | Kugge quits (~Kugge@2a01:cb15:81e5:f00:2dd0:6066:fe1b:9751) (Quit: Client closed) |
| 2021-07-12 18:13:19 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-12 18:15:41 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 18:18:09 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 255 seconds) |
| 2021-07-12 18:19:18 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-12 18:20:17 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 18:20:29 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 18:20:37 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 18:22:40 | × | fendor quits (~fendor@77.119.208.64.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-12 18:23:41 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 18:25:45 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 18:28:20 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-12 18:32:26 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-07-12 18:32:46 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-12 18:33:13 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 18:35:06 | → | ub joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 18:40:11 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-12 18:40:36 | × | mikail_ quits (~mikail@90.212.77.3) (Ping timeout: 256 seconds) |
| 2021-07-12 18:40:55 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 18:41:10 | <mikoto-chan> | monochrom: can you send me your website? |
| 2021-07-12 18:43:49 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-12 18:45:30 | <mikoto-chan> | there seems to be a lot about you on the internet when I search for "monochrom haskell" but none of the links point to your website (it had really good articles if I remember correctly) |
| 2021-07-12 18:45:33 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 18:45:59 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-12 18:46:16 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-12 18:47:39 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-12 18:52:47 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-12 18:53:35 | → | xdefrag joins (~xdefrag@user/xdefrag) |
| 2021-07-12 18:53:35 | × | xdefrag quits (~xdefrag@user/xdefrag) (Quit: WeeChat 3.1) |
| 2021-07-12 18:54:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 18:55:16 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-12 18:56:38 | → | fendor joins (~fendor@77.119.208.64.wireless.dyn.drei.com) |
| 2021-07-12 19:01:29 | <EvanR> | mikoto-chan: http://www.vex.net/~trebla/haskell/ |
| 2021-07-12 19:01:55 | <EvanR> | to find that, I have to remember monochrom's true name: trebla |
All times are in UTC.