Logs: freenode/#haskell
| 2021-03-18 08:12:48 | <dhruvasagar> | SIben: manyByIndent p = |
| 2021-03-18 08:12:50 | <dhruvasagar> | Parser $ \input -> do |
| 2021-03-18 08:12:51 | <dhruvasagar> | (_, indent) <- runParser ws input |
| 2021-03-18 08:12:54 | <dhruvasagar> | (rem, a) <- runParser (many (stringP indent *> p <* charP '\n')) input |
| 2021-03-18 08:12:56 | <dhruvasagar> | Just (rem, a) |
| 2021-03-18 08:13:08 | <dhruvasagar> | SIben: that's what I came up with, it seems to do what I intended, still have to figure out how to use this |
| 2021-03-18 08:13:12 | × | pyuk quits (~vroom@217.138.252.180) (Quit: pyuk) |
| 2021-03-18 08:13:33 | → | puke joins (~vroom@217.138.252.180) |
| 2021-03-18 08:13:34 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-18 08:17:05 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-18 08:24:33 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-18 08:25:06 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:7ae2:2c33:b1ea:eeb7) (Ping timeout: 265 seconds) |
| 2021-03-18 08:26:25 | × | average quits (uid473595@gateway/web/irccloud.com/x-movoojltrrxlptod) (Quit: Connection closed for inactivity) |
| 2021-03-18 08:31:12 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-03-18 08:34:59 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-18 08:36:46 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:8fe8:bb5c:e4b1:b3c4) |
| 2021-03-18 08:38:08 | × | datajerk quits (~datajerk@sense.net) (Ping timeout: 256 seconds) |
| 2021-03-18 08:39:14 | → | Hi-Angel joins (~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) |
| 2021-03-18 08:39:24 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2021-03-18 08:40:51 | <CodeKiwi> | 07:15 slack1256: CodeKiwi: wouldn't have helped, the version of `time` you get in your nix-shell depends on your version of nixpkgs. |
| 2021-03-18 08:42:08 | <CodeKiwi> | https://mostlyabsurd.com/posts/2019/06/03/minimal-imports-maximal-imports/ https://mostlyabsurd.com/posts/2019/06/03/minimal-imports-maximal-imports/ is supposed to avoid the problems of a library adding something later that you used |
| 2021-03-18 08:42:27 | <CodeKiwi> | oh they're not here :( |
| 2021-03-18 08:42:45 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-18 08:42:45 | → | asheshambasta joins (~user@ptr-e1lysav20kvw9mt8vlk.18120a2.ip6.access.telenet.be) |
| 2021-03-18 08:43:29 | <CodeKiwi> | https://mostlyabsurd.com/posts/2019/06/09/minimal-imports-maximal-imports-examples/ was supposed to be the other url... |
| 2021-03-18 08:49:01 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2021-03-18 08:49:49 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:2eb3:d0f5:cc9d:3dff) |
| 2021-03-18 08:51:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-18 08:52:16 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-18 08:54:57 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-03-18 08:55:09 | → | datajerk joins (~datajerk@sense.net) |
| 2021-03-18 08:55:28 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-18 08:57:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-18 08:58:22 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-18 09:00:02 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-03-18 09:00:06 | × | freeman42x[m] quits (freeman42x@gateway/shell/matrix.org/x-tkncoclizmblbtxd) (Quit: Idle for 30+ days) |
| 2021-03-18 09:02:57 | → | Boomerang joins (~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0) |
| 2021-03-18 09:03:44 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-hqwyhalzcvtqolcp) |
| 2021-03-18 09:03:52 | → | Sorna joins (~Sornaensi@79.142.232.102) |
| 2021-03-18 09:05:27 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-18 09:06:59 | × | Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 256 seconds) |
| 2021-03-18 09:14:24 | × | ejjfunky quits (7da36f81@125.163.111.129) (Quit: Connection closed) |
| 2021-03-18 09:15:56 | → | lokesh1197 joins (cbc182d2@203.193.130.210) |
| 2021-03-18 09:19:21 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-18 09:20:20 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 2021-03-18 09:21:33 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-18 09:25:35 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-18 09:25:35 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-18 09:25:35 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-18 09:25:37 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-18 09:26:34 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-18 09:26:46 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 265 seconds) |
| 2021-03-18 09:28:09 | × | MidAutumnHotaru1 quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 2021-03-18 09:28:29 | → | MidAutumnHotaru1 joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-03-18 09:30:37 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-03-18 09:32:16 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 2021-03-18 09:37:21 | → | Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-18 09:38:32 | → | Sathiana joins (~kath@185-113-98-38.cust.bredband2.com) |
| 2021-03-18 09:40:27 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Client Quit) |
| 2021-03-18 09:40:46 | → | Sathiana joins (~kath@185-113-98-38.cust.bredband2.com) |
| 2021-03-18 09:44:11 | × | Guest14375 quits (~textual@2603-7000-3040-0000-99be-88ec-b8de-8f7c.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-18 09:48:25 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection) |
| 2021-03-18 09:48:31 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 2021-03-18 09:50:03 | × | Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 2021-03-18 09:51:09 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-18 09:51:25 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-18 09:56:01 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-18 09:57:22 | → | mauro^ joins (mauro@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-18 10:05:29 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-18 10:05:40 | → | average joins (uid473595@gateway/web/irccloud.com/x-yatkowhamroegbah) |
| 2021-03-18 10:06:48 | → | hololeap_ joins (~hololeap@unaffiliated/hololeap) |
| 2021-03-18 10:07:30 | × | kaletaa_ quits (~kaletaa@188.34.177.83) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-03-18 10:07:45 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 264 seconds) |
| 2021-03-18 10:08:45 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 256 seconds) |
| 2021-03-18 10:09:32 | → | kaletaa joins (~kaletaa@188.34.177.83) |
| 2021-03-18 10:10:58 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-03-18 10:12:35 | → | psygate joins (~psygate@unaffiliated/psygate) |
| 2021-03-18 10:24:51 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-18 10:26:02 | × | lokesh1197 quits (cbc182d2@203.193.130.210) (Ping timeout: 240 seconds) |
| 2021-03-18 10:27:30 | × | forell quits (~forell@unaffiliated/forell) (Ping timeout: 256 seconds) |
| 2021-03-18 10:32:27 | → | lozenge_ joins (~lozenge@117.222.64.120) |
| 2021-03-18 10:33:23 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 245 seconds) |
| 2021-03-18 10:33:24 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-18 10:34:26 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-18 10:34:54 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
| 2021-03-18 10:35:59 | → | forell joins (~forell@unaffiliated/forell) |
| 2021-03-18 10:39:42 | → | Lycurgus joins (~niemand@98.4.116.165) |
| 2021-03-18 10:40:51 | → | malumore joins (~malumore@151.62.122.146) |
| 2021-03-18 10:42:08 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-aqtspivhgbbjplug) (Quit: Connection closed for inactivity) |
| 2021-03-18 10:43:06 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-18 10:45:55 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0) |
| 2021-03-18 10:45:58 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-ircgkbilfzdxjhvn) |
| 2021-03-18 10:46:08 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-03-18 10:48:24 | → | rond_ joins (594020c5@89-64-32-197.dynamic.chello.pl) |
| 2021-03-18 10:49:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) |
| 2021-03-18 10:52:23 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2021-03-18 10:53:12 | → | Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-03-18 10:53:33 | → | Sathiana joins (~kath@185-113-98-38.cust.bredband2.com) |
| 2021-03-18 10:54:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Ping timeout: 264 seconds) |
| 2021-03-18 10:54:07 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Client Quit) |
All times are in UTC.