Logs: freenode/#haskell
| 2021-04-10 19:06:26 | × | __minoru__shirae quits (~shiraeesh@46.34.206.174) (Ping timeout: 240 seconds) |
| 2021-04-10 19:06:51 | → | __minoru__shirae joins (~shiraeesh@46.34.207.175) |
| 2021-04-10 19:06:55 | × | cads2 quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds) |
| 2021-04-10 19:07:21 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 19:07:41 | <hololeap> | % type MyMonad st s = MaybeT (StateT st (ST s)) |
| 2021-04-10 19:07:42 | <yahb> | hololeap: ; <interactive>:116:21: error:; Not in scope: type constructor or class `MaybeT'; Perhaps you meant `Maybe' (imported from Prelude) |
| 2021-04-10 19:07:42 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 19:08:01 | <hololeap> | % import Control.Monad.Trans.Maybe |
| 2021-04-10 19:08:01 | <yahb> | hololeap: |
| 2021-04-10 19:08:05 | <hololeap> | % type MyMonad st s = MaybeT (StateT st (ST s)) |
| 2021-04-10 19:08:05 | <yahb> | hololeap: |
| 2021-04-10 19:08:41 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-10 19:09:06 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-10 19:09:32 | <hololeap> | % runMyMonad :: st -> (forall s. MyMonad st s a) -> (Maybe a, st) ; runMyMonad st x = runST $ flip runStateT st $ runMaybeT x |
| 2021-04-10 19:09:32 | <yahb> | hololeap: |
| 2021-04-10 19:10:37 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-10 19:11:05 | <hololeap> | d34df00d: i think you can write functions in MyMonad normally and then use runMyMonad when you're ready to unpack all of it |
| 2021-04-10 19:11:31 | <hololeap> | in other words, i don't think `state` is necessary |
| 2021-04-10 19:12:10 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-10 19:15:31 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 19:15:37 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 268 seconds) |
| 2021-04-10 19:15:53 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-10 19:17:44 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-10 19:19:59 | <maerwald> | myme: you can have [--option=value | --option] |
| 2021-04-10 19:20:04 | <maerwald> | via Alternative |
| 2021-04-10 19:20:45 | <maerwald> | optional (option valueParter <|> flag Nothing (Just defaultValue)) |
| 2021-04-10 19:20:52 | <maerwald> | I just tried |
| 2021-04-10 19:21:05 | <maerwald> | this is pseudo-code obviously |
| 2021-04-10 19:21:41 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 19:22:12 | × | mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-04-10 19:22:13 | <maerwald> | myme: but it confuses the parser apparently |
| 2021-04-10 19:23:17 | <myme> | maerwald: That was what I was trying right now. I didn't manage to get past that either option requires a value, or flag doesn't want one. |
| 2021-04-10 19:23:40 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-htgygpiljqizfcnv) (Quit: Connection closed for inactivity) |
| 2021-04-10 19:23:47 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-10 19:24:00 | → | smctwo joins (~smctwo@bba597217.alshamil.net.ae) |
| 2021-04-10 19:24:19 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 19:24:23 | <maerwald> | it would probably be less of a problem if only --foo=value was allowed and `--foo value` not |
| 2021-04-10 19:24:33 | <maerwald> | then the `=` disambiguates |
| 2021-04-10 19:24:46 | <myme> | Yeah. To make it more concrete, I'm adding a "--color" option to an app. |
| 2021-04-10 19:24:52 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-10 19:25:05 | <maerwald> | consider a magic value, like --color=default |
| 2021-04-10 19:25:19 | <d34df00d> | hololeap: yea, that's better, thankss! |
| 2021-04-10 19:26:12 | <maerwald> | myme: or even more cocky: [--colors | --color=value] |
| 2021-04-10 19:26:18 | <myme> | Sucks to type though ;) It's for a simple CLI app I'd typically append to a command line with `| bin [opts]`. So less typing, the better. I think I'll be going for two options then, or one option and one clag. |
| 2021-04-10 19:26:23 | <myme> | Yeah, exactly. |
| 2021-04-10 19:26:29 | <myme> | Thanks though maerwald. |
| 2021-04-10 19:26:34 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-10 19:26:49 | <maerwald> | chances are your users will never read --help anyway :D |
| 2021-04-10 19:27:03 | <myme> | chances are *I'm* the only user :D |
| 2021-04-10 19:27:15 | <maerwald> | then I'd go with funny names |
| 2021-04-10 19:27:52 | <maerwald> | also: color vs colour |
| 2021-04-10 19:27:56 | <maerwald> | easy hack |
| 2021-04-10 19:28:25 | → | pengjiz joins (~user@2601:547:902:6d00::2) |
| 2021-04-10 19:28:34 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2021-04-10 19:29:00 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-10 19:29:08 | → | drakinosh joins (~drakinosh@27.34.68.203) |
| 2021-04-10 19:29:52 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 19:31:21 | × | lechner quits (~lechner@2a0b:ae40:2:4a0b::1) (Ping timeout: 250 seconds) |
| 2021-04-10 19:32:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-10 19:33:22 | → | lechner joins (~lechner@letbox-vps.us-core.com) |
| 2021-04-10 19:34:27 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 19:34:41 | → | eacameron joins (uid256985@gateway/web/irccloud.com/x-nilpnpzcfkqakcso) |
| 2021-04-10 19:34:48 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-10 19:35:28 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 19:35:46 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:cda:5abd:803c:df33) |
| 2021-04-10 19:37:15 | × | xff0x quits (~xff0x@2001:1a81:523f:f500:2a94:1071:add3:5a76) (Ping timeout: 260 seconds) |
| 2021-04-10 19:38:19 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-10 19:38:59 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-10 19:39:49 | × | drakinosh quits (~drakinosh@27.34.68.203) (Quit: Leaving) |
| 2021-04-10 19:40:01 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-10 19:40:30 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:cda:5abd:803c:df33) (Ping timeout: 258 seconds) |
| 2021-04-10 19:41:02 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 19:41:50 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-10 19:45:39 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 19:46:01 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-10 19:46:41 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 19:46:41 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-10 19:49:27 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-10 19:51:15 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 246 seconds) |
| 2021-04-10 19:51:15 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 19:51:19 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) |
| 2021-04-10 19:51:27 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-10 19:52:14 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 19:52:33 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-10 19:52:36 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-10 19:52:40 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-10 19:53:06 | → | xff0x joins (~xff0x@2001:1a81:523f:f500:2a94:1071:add3:5a76) |
| 2021-04-10 19:53:38 | × | Alleria__ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds) |
| 2021-04-10 19:56:36 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-10 19:57:33 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-10 19:57:52 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 19:58:56 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-10 19:59:26 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-04-10 20:00:06 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-10 20:00:15 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-10 20:02:27 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 20:06:29 | → | Alleria joins (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) |
| 2021-04-10 20:06:47 | Alleria | is now known as Guest10879 |
| 2021-04-10 20:08:38 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-10 20:08:39 | × | Khisanth quits (~Khisanth@167.sub-174-197-129.myvzw.com) (Ping timeout: 268 seconds) |
All times are in UTC.