Logs: freenode/#haskell
| 2021-04-11 10:10:21 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 10:14:31 | × | puzzleheaded quits (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) (Quit: Connection closed) |
| 2021-04-11 10:15:06 | × | bitmagie quits (~Thunderbi@200116b806e2c400995554712cdb3346.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-04-11 10:17:35 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 10:17:52 | × | lgedeon quits (~lgedeon@185.169.233.10) (Remote host closed the connection) |
| 2021-04-11 10:21:55 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 10:27:53 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-11 10:29:39 | → | Alleria joins (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) |
| 2021-04-11 10:30:03 | Alleria | is now known as Guest32831 |
| 2021-04-11 10:33:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 10:33:53 | → | Frojoe1 joins (~Frojoe@139.28.218.148) |
| 2021-04-11 10:34:03 | × | Guest32831 quits (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-11 10:38:04 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 10:39:43 | × | todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-04-11 10:44:26 | × | srk quits (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 10:44:49 | → | srk joins (~sorki@unaffiliated/srk) |
| 2021-04-11 10:46:06 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-04-11 10:51:26 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-11 10:53:35 | → | __minoru__shirae joins (~shiraeesh@46.34.206.211) |
| 2021-04-11 10:55:13 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-04-11 10:56:03 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-11 11:01:10 | × | __minoru__shirae quits (~shiraeesh@46.34.206.211) (Ping timeout: 252 seconds) |
| 2021-04-11 11:02:22 | → | haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-11 11:03:31 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-11 11:08:16 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-04-11 11:08:20 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-11 11:08:35 | → | Alleria__ joins (~textual@zrcout.mskcc.org) |
| 2021-04-11 11:09:04 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-11 11:09:06 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-11 11:10:48 | → | __minoru__shirae joins (~shiraeesh@46.34.206.212) |
| 2021-04-11 11:12:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 11:18:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-11 11:21:14 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-11 11:25:59 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-11 11:29:27 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-11 11:37:57 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2021-04-11 11:42:38 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:43:31 | × | __minoru__shirae quits (~shiraeesh@46.34.206.212) (Ping timeout: 268 seconds) |
| 2021-04-11 11:46:26 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 11:47:16 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 11:48:11 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:49:13 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:b81f:59fe:5cfc:b422) |
| 2021-04-11 11:49:58 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-04-11 11:50:50 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 11:52:27 | × | Frojoe1 quits (~Frojoe@139.28.218.148) (Remote host closed the connection) |
| 2021-04-11 11:52:35 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 11:52:54 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-11 11:53:14 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-sytjuaexxvtymrme) (Quit: Connection closed for inactivity) |
| 2021-04-11 11:53:48 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 2021-04-11 11:53:51 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:56:31 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-11 11:57:01 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-04-11 11:57:21 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-04-11 11:58:03 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 11:58:46 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 11:59:40 | → | __minoru__shirae joins (~shiraeesh@46.34.207.163) |
| 2021-04-11 11:59:45 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 12:00:14 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-04-11 12:00:28 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-11 12:00:30 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-11 12:02:13 | × | rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2021-04-11 12:02:26 | × | malumore quits (~malumore@151.62.120.195) (Ping timeout: 240 seconds) |
| 2021-04-11 12:04:15 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 12:04:21 | → | bzere joins (1f10993b@ip1f10993b.dynamic.kabel-deutschland.de) |
| 2021-04-11 12:05:17 | × | bzere quits (1f10993b@ip1f10993b.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-04-11 12:10:44 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 12:14:57 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 12:16:16 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 12:18:47 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-gsmzjfvgsnyopnqz) |
| 2021-04-11 12:18:49 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-11 12:19:21 | → | malumore joins (~malumore@151.62.120.195) |
| 2021-04-11 12:20:22 | × | __minoru__shirae quits (~shiraeesh@46.34.207.163) (Ping timeout: 252 seconds) |
| 2021-04-11 12:21:03 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 12:22:04 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-11 12:24:01 | → | gdude2002 joins (~gdude2002@178.239.168.171) |
| 2021-04-11 12:24:49 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 12:26:26 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-11 12:29:10 | → | dariof4 joins (~dario@217.171.72.2) |
| 2021-04-11 12:29:27 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) (Ping timeout: 260 seconds) |
| 2021-04-11 12:29:27 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) (Ping timeout: 260 seconds) |
| 2021-04-11 12:30:28 | → | aveltras joins (uid364989@gateway/web/irccloud.com/x-bzwnkfqpsbcsteyn) |
| 2021-04-11 12:36:29 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-11 12:36:50 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-11 12:38:35 | × | gavin quits (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-11 12:41:30 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9) |
| 2021-04-11 12:41:35 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9) |
| 2021-04-11 12:42:43 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 12:45:26 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 12:48:10 | × | falsifian quits (~falsifian@exoco.falsifian.org) (Quit: leaving) |
| 2021-04-11 12:51:28 | → | falsifian joins (~falsifian@exoco.falsifian.org) |
| 2021-04-11 12:51:57 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-04-11 12:52:11 | <hololeap> | d34df00d: about your question from yesterday. i realized that what you're probably looking for is `StateT s (MaybeT m) a`, which would expand to `s -> m (Maybe (a, s))`. this encodes the idea that you have two choices: your value 'a' _and_ a new state have been produced, or nothing at all. |
| 2021-04-11 12:52:51 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-04-11 12:52:59 | <olligobber> | is there a command (maybe in cabal) to resolve all the imports and make one big haskell file only depending on prelude |
| 2021-04-11 12:53:37 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-11 12:53:42 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-04-11 12:53:45 | <hololeap> | with `MaybeT (StateT s m) a`, you could have this produced without any complaints: m (Nothing, newState) |
| 2021-04-11 12:54:25 | <Philonous> | olligobber, You mean inline all your dependencies? Not that I know of, and I'm not sure how that would work, considering some packages have sources written in C |
| 2021-04-11 12:54:28 | <hololeap> | which would still short circuit due to the way MaybeT works, but might not be something you want |
| 2021-04-11 12:54:49 | → | fiedlr joins (~fiedlr@83.148.33.254) |
All times are in UTC.