Logs: liberachat/#haskell
| 2021-06-07 15:46:46 | × | xsperry quits (~as@user/xsperry) (Ping timeout: 244 seconds) |
| 2021-06-07 15:47:51 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-06-07 15:48:48 | → | pe200012 joins (~pe200012@58.248.179.178) |
| 2021-06-07 15:49:13 | × | pe200012_ quits (~pe200012@120.236.162.3) (Ping timeout: 272 seconds) |
| 2021-06-07 15:49:22 | → | fizbin joins (~fizbin@2600:1002:b128:230e:1cbd:13c5:3322:f6cc) |
| 2021-06-07 15:50:45 | → | malvo joins (~malvo@malvo.org) |
| 2021-06-07 15:50:58 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-07 15:52:16 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-07 15:52:34 | × | ddellacosta quits (~ddellacos@89.46.62.48) (Ping timeout: 245 seconds) |
| 2021-06-07 15:53:34 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-06-07 15:54:14 | × | fizbin quits (~fizbin@2600:1002:b128:230e:1cbd:13c5:3322:f6cc) (Ping timeout: 272 seconds) |
| 2021-06-07 15:56:19 | → | ddellacosta joins (~ddellacos@89.46.62.125) |
| 2021-06-07 15:57:05 | → | o1lo01ol_ joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-07 15:57:05 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-07 15:58:51 | × | pe200012 quits (~pe200012@58.248.179.178) (Remote host closed the connection) |
| 2021-06-07 15:59:17 | → | pe200012 joins (~pe200012@119.145.72.136) |
| 2021-06-07 16:00:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-07 16:01:08 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-07 16:01:46 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-07 16:04:56 | → | ddellaco_ joins (~ddellacos@86.106.121.178) |
| 2021-06-07 16:05:23 | × | hylisper quits (~ykm@111.119.208.67) (Quit: Lost terminal) |
| 2021-06-07 16:05:25 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Remote host closed the connection) |
| 2021-06-07 16:09:33 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-06-07 16:10:04 | × | ddellaco_ quits (~ddellacos@86.106.121.178) (Ping timeout: 272 seconds) |
| 2021-06-07 16:10:56 | × | noglog quits (~egigs@097-101-149-192.res.spectrum.com) (Quit: leaving) |
| 2021-06-07 16:12:50 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-07 16:13:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-07 16:14:49 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-07 16:15:46 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-07 16:17:09 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-07 16:18:43 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-07 16:19:33 | × | platz quits (~platz@user/platz) (Quit: leaving) |
| 2021-06-07 16:20:44 | × | vgtw quits (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) (Quit: ZNC - https://znc.in) |
| 2021-06-07 16:20:45 | × | o1lo01ol_ quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-07 16:21:09 | → | o1lo01ol1o joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-07 16:21:45 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-06-07 16:22:20 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-07 16:22:59 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:5a3:b172:cf1b:f959) (Ping timeout: 245 seconds) |
| 2021-06-07 16:24:59 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-07 16:25:35 | → | benin03 joins (~benin@183.82.206.136) |
| 2021-06-07 16:26:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-07 16:28:17 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-07 16:28:27 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-07 16:29:42 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:90ee:6146:8033:6016) |
| 2021-06-07 16:31:56 | × | jespada quits (~jespada@90.254.242.55) (Ping timeout: 252 seconds) |
| 2021-06-07 16:31:58 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-07 16:32:36 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-07 16:33:30 | × | mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-07 16:34:25 | → | jespada joins (~jespada@90.254.242.55) |
| 2021-06-07 16:35:19 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 16:36:16 | → | benin034 joins (benin@gateway/vpn/protonvpn/benin) |
| 2021-06-07 16:36:48 | × | benin03 quits (~benin@183.82.206.136) (Ping timeout: 252 seconds) |
| 2021-06-07 16:36:49 | benin034 | is now known as benin03 |
| 2021-06-07 16:38:15 | <dminuoso> | infandum: Yes. |
| 2021-06-07 16:40:03 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-07 16:40:33 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2021-06-07 16:40:43 | <dminuoso> | infandum: Because the parser is a permutation parser, you can just glue them together in any way you like |
| 2021-06-07 16:40:54 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-07 16:40:56 | <dminuoso> | Roughly what you'd do is this: data COpts = COpts { num :: Int, path :: String }; data Commands = Command1 COpts ... | Command2 COpts ...; And then you can write a parser for `commonOpts :: Parser COpts`, such that you can wrie |
| 2021-06-07 16:40:56 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-07 16:41:25 | <dminuoso> | `Command1 <$> commonOpts <*> ...` and `Command2 <$> commonOpts <*>...` |
| 2021-06-07 16:42:20 | <dminuoso> | And because its a permutation parser, you can also change the applicative order in any way you like |
| 2021-06-07 16:42:34 | <dminuoso> | Such as `Command1 <$> fooStuff <*> commonOpts <*> ...` |
| 2021-06-07 16:43:00 | → | ddellaco_ joins (~ddellacos@86.106.121.178) |
| 2021-06-07 16:43:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-07 16:43:52 | <dminuoso> | Oh heh. wait. optparse-generic haha. my pattern detection just read this as optparse-applicative. |
| 2021-06-07 16:44:04 | <dminuoso> | But I suppose the same still holds true. |
| 2021-06-07 16:46:08 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-07 16:46:58 | <guest61> | ski, I'd like it output which parameters is missing |
| 2021-06-07 16:46:59 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-06-07 16:47:03 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-07 16:47:30 | → | Topsi1 joins (~Tobias@dyndsl-095-033-093-145.ewe-ip-backbone.de) |
| 2021-06-07 16:47:42 | → | benin030 joins (~benin@183.82.206.136) |
| 2021-06-07 16:47:48 | × | ddellaco_ quits (~ddellacos@86.106.121.178) (Ping timeout: 252 seconds) |
| 2021-06-07 16:48:00 | → | Topsi2 joins (~Tobias@dyndsl-095-033-093-145.ewe-ip-backbone.de) |
| 2021-06-07 16:48:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-07 16:48:32 | <guest61> | dminuoso, could fmap ap apply on parsers? what's the meaning? |
| 2021-06-07 16:49:27 | × | Topsi quits (~Tobias@dyndsl-095-033-093-145.ewe-ip-backbone.de) (Ping timeout: 252 seconds) |
| 2021-06-07 16:49:36 | <dminuoso> | guest61: Imagine you have some function taking 3 arguments, and you want to run three parsers each of which yields some result that would into that function |
| 2021-06-07 16:49:38 | × | amk quits (~amk@176.61.106.150) (Read error: Connection reset by peer) |
| 2021-06-07 16:49:39 | <guest61> | <$> <*> ... is liftA2 |
| 2021-06-07 16:49:58 | × | benin03 quits (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 272 seconds) |
| 2021-06-07 16:49:58 | benin030 | is now known as benin03 |
| 2021-06-07 16:50:16 | → | amk joins (~amk@176.61.106.150) |
| 2021-06-07 16:52:11 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-07 16:52:20 | × | spatchkaa_ quits (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Quit: Leaving) |
| 2021-06-07 16:52:30 | × | Topsi1 quits (~Tobias@dyndsl-095-033-093-145.ewe-ip-backbone.de) (Ping timeout: 272 seconds) |
| 2021-06-07 16:52:33 | → | spatchkaa_ joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 2021-06-07 16:52:36 | spatchkaa_ | is now known as spatchkaa |
| 2021-06-07 16:52:52 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-07 16:53:09 | → | vgtw joins (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) |
| 2021-06-07 16:53:13 | → | o1lo01ol1o joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-07 16:53:18 | × | spatchkaa quits (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Client Quit) |
| 2021-06-07 16:53:40 | <ski> | guest61 : `fmap f someParser' is a parser that will attempt to parse according to `someParser', and if that succeeds, it'll post-process the result by passing it to `f' |
| 2021-06-07 16:53:56 | × | Topsi2 quits (~Tobias@dyndsl-095-033-093-145.ewe-ip-backbone.de) (Quit: Leaving.) |
| 2021-06-07 16:54:02 | → | spatchkaa joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 2021-06-07 16:54:55 | <dminuoso> | guest61: Imagine you wanted to parse `foo123bar` into a 3-tuple containing a word, number and a word, then you could write `let word = satisfy isLetter in (,,) <$> word <*> number <*> word` |
| 2021-06-07 16:55:45 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-06-07 16:56:09 | → | Topsi joins (~Tobias@dyndsl-095-033-093-145.ewe-ip-backbone.de) |
| 2021-06-07 16:57:10 | <kuribas> | is there a way to stop TH from recompiling a module, if it is pure code? |
All times are in UTC.