Logs: liberachat/#haskell
| 2021-08-17 03:43:54 | <dsal> | @hoogle MonadIO m => m a -> IO a |
| 2021-08-17 03:43:55 | <lambdabot> | Generic.Data.Internal.Utils coerce' :: Coercible (f x) (g x) => f x -> g x |
| 2021-08-17 03:43:55 | <lambdabot> | Basement.Monad unsafePrimToIO :: PrimMonad prim => prim a -> IO a |
| 2021-08-17 03:43:55 | <lambdabot> | Control.Effect.Lift sendM :: (Has (Lift n) sig m, Functor n) => n a -> m a |
| 2021-08-17 03:45:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-17 03:48:16 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-17 03:49:04 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-17 03:54:25 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-17 03:58:54 | falafel_ | is now known as falafel |
| 2021-08-17 04:00:12 | <Axman6> | dsal: that type doesn't really make sense, at least not without a type class specifically for doing that; how should foo (bar :: StateT Int IO a) run? |
| 2021-08-17 04:00:43 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 04:03:11 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-17 04:04:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-17 04:04:21 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-17 04:06:50 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-08-17 04:08:54 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-08-17 04:12:05 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 04:14:25 | × | fernand quits (~fernand@179.156.35.4) (Ping timeout: 248 seconds) |
| 2021-08-17 04:19:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-17 04:22:50 | <dsal> | Yeah, that was weird. I was confused by the results. heh. But @hoogle works |
| 2021-08-17 04:24:56 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-08-17 04:25:20 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-17 04:27:22 | Square | is now known as Squarism |
| 2021-08-17 04:28:06 | Squarism | is now known as Squar |
| 2021-08-17 04:28:37 | Squar | is now known as uSaqr |
| 2021-08-17 04:29:40 | × | falafel quits (~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (Ping timeout: 240 seconds) |
| 2021-08-17 04:30:27 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-17 04:31:40 | → | falafel joins (~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) |
| 2021-08-17 04:34:37 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-17 04:35:10 | × | adam1 quits (~adam@2001-b011-4007-0e06-019e-67d3-c5f0-42de.dynamic-ip6.hinet.net) (Ping timeout: 240 seconds) |
| 2021-08-17 04:44:07 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 04:46:57 | × | gambpang quits (~ian@207.181.230.156) (Ping timeout: 248 seconds) |
| 2021-08-17 04:47:10 | → | michalz joins (~michalz@185.246.204.62) |
| 2021-08-17 04:47:21 | → | gambpang joins (~ian@207.181.230.156) |
| 2021-08-17 04:48:07 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-08-17 05:01:43 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 05:13:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-17 05:21:27 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-08-17 05:22:15 | → | adam1 joins (~adam@2001-b011-4007-2539-8c74-0d75-7c9a-5c73.dynamic-ip6.hinet.net) |
| 2021-08-17 05:26:33 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-17 05:29:04 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 05:29:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-17 05:32:10 | × | falafel quits (~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (Ping timeout: 240 seconds) |
| 2021-08-17 05:34:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-17 05:37:03 | → | Obo joins (~roberto@78.77.166.185) |
| 2021-08-17 05:37:46 | × | juhp quits (~juhp@128.106.188.220) (Quit: juhp) |
| 2021-08-17 05:40:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-17 05:40:25 | × | erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 258 seconds) |
| 2021-08-17 05:40:32 | × | oldsk00l quits (~znc@ec2-3-123-2-100.eu-central-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-08-17 05:40:32 | → | erisco_ joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 2021-08-17 05:40:38 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 05:40:56 | erisco_ | is now known as erisco |
| 2021-08-17 05:41:53 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-17 05:42:55 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-17 05:45:02 | × | erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 245 seconds) |
| 2021-08-17 05:45:31 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-17 05:46:01 | → | erisco joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 2021-08-17 05:48:53 | × | xaltsc quits (~xaltsc@user/xaltsc) (Ping timeout: 252 seconds) |
| 2021-08-17 05:48:53 | × | AkechiShiro quits (~licht@user/akechishiro) (Ping timeout: 252 seconds) |
| 2021-08-17 05:50:03 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 2021-08-17 05:50:10 | → | xaltsc joins (~xaltsc@user/xaltsc) |
| 2021-08-17 05:53:03 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 276 seconds) |
| 2021-08-17 05:58:28 | × | gambpang quits (~ian@207.181.230.156) (Ping timeout: 268 seconds) |
| 2021-08-17 05:58:52 | → | gambpang joins (~ian@207.181.230.156) |
| 2021-08-17 06:01:06 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 06:02:55 | → | slavaqq joins (~slavaqq@sdmail.sdserver.cz) |
| 2021-08-17 06:10:36 | → | trcc joins (~trcc@users-1190.st.net.au.dk) |
| 2021-08-17 06:11:13 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 248 seconds) |
| 2021-08-17 06:13:15 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 256 seconds) |
| 2021-08-17 06:14:40 | × | adam1 quits (~adam@2001-b011-4007-2539-8c74-0d75-7c9a-5c73.dynamic-ip6.hinet.net) (Ping timeout: 240 seconds) |
| 2021-08-17 06:15:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-17 06:16:01 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-08-17 06:18:13 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 06:18:37 | × | fvr quits (uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-17 06:24:33 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-17 06:25:36 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-17 06:26:25 | × | gambpang quits (~ian@207.181.230.156) (Ping timeout: 258 seconds) |
| 2021-08-17 06:26:49 | → | gambpang joins (~ian@207.181.230.156) |
| 2021-08-17 06:27:48 | → | fvr joins (uid503686@id-503686.highgate.irccloud.com) |
| 2021-08-17 06:36:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-17 06:41:37 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-17 06:44:30 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 06:46:00 | → | adam1 joins (~adam@2001-b011-4007-0471-9e76-5e8f-4259-c5af.dynamic-ip6.hinet.net) |
| 2021-08-17 06:50:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-17 06:50:29 | → | spruit11_ joins (~quassel@2a02:a467:ccd6:1:2d8e:31e9:d2b5:c97d) |
| 2021-08-17 06:52:19 | × | slavaqq quits (~slavaqq@sdmail.sdserver.cz) (Ping timeout: 246 seconds) |
| 2021-08-17 06:54:10 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:cc2:35ba:cbc2:b281) (Ping timeout: 272 seconds) |
| 2021-08-17 06:55:57 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 06:58:49 | → | ubert joins (~Thunderbi@91.141.62.226.wireless.dyn.drei.com) |
| 2021-08-17 07:02:50 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-17 07:03:05 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-08-17 07:05:23 | → | fendor joins (~fendor@178.165.173.29.wireless.dyn.drei.com) |
| 2021-08-17 07:05:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2021-08-17 07:05:31 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-08-17 07:10:08 | → | acidjnk_new3 joins (~acidjnk@p5487d90a.dip0.t-ipconnect.de) |
| 2021-08-17 07:10:40 | → | AsyLayd21 joins (~ilanekle@95.70.207.57) |
| 2021-08-17 07:11:23 | × | AsyLayd21 quits (~ilanekle@95.70.207.57) (Client Quit) |
| 2021-08-17 07:19:41 | → | nrl^ joins (~nrl@209.65.131.194) |
| 2021-08-17 07:20:23 | → | keutoi joins (~keutoi@157.48.244.189) |
| 2021-08-17 07:26:10 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
All times are in UTC.