Logs: freenode/#haskell
| 2021-03-26 17:27:29 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-26 17:30:06 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-26 17:33:39 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-26 17:33:52 | <fendor_> | do we have a tool to explain how cabal selects a version of a package? |
| 2021-03-26 17:34:20 | ← | shellin parts (bab725d7@186.183.37.215) () |
| 2021-03-26 17:34:29 | <monochrom> | Usually -v does |
| 2021-03-26 17:34:42 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-26 17:34:42 | × | xff0x quits (~xff0x@2001:1a81:522d:f100:a1a6:5165:5e20:970f) (Ping timeout: 258 seconds) |
| 2021-03-26 17:34:56 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-03-26 17:36:02 | → | xff0x joins (~xff0x@2001:1a81:524d:5b00:4876:a583:9de0:62c1) |
| 2021-03-26 17:36:36 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-03-26 17:37:22 | <fendor_> | I rather mean, why a certain package was chosen. However, introducing a version constraint to pick exactly the version I am wondering about why it wasn't included prints the solver trace, so I guess that is good enough |
| 2021-03-26 17:37:31 | × | Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 260 seconds) |
| 2021-03-26 17:39:16 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-03-26 17:42:41 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-03-26 17:43:13 | → | TommyC joins (~TommyC@unaffiliated/sepulchralbloom) |
| 2021-03-26 17:43:44 | <jacks2> | hi. what csv package is usually recommended? I found csv, cassava, csv-conduit, lens-csv |
| 2021-03-26 17:44:22 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-26 17:44:28 | <Clint> | i've never tried lens-csv, but i've preferred csv-conduit to the other two |
| 2021-03-26 17:48:53 | <jacks2> | thanks I'll take a look |
| 2021-03-26 17:48:54 | → | pupuupup joins (~pupuupup@node-139.pool-125-24.dynamic.totinternet.net) |
| 2021-03-26 17:49:21 | × | vilpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 2021-03-26 17:51:02 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-bojmzmfrraongbrw) (Quit: Connection closed for inactivity) |
| 2021-03-26 17:51:06 | <monochrom> | I use cassava. I haven't needed conduit things. |
| 2021-03-26 17:51:32 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-26 17:56:22 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 2021-03-26 17:56:46 | × | malumore quits (~malumore@151.62.117.14) (Ping timeout: 240 seconds) |
| 2021-03-26 17:56:49 | → | codygman` joins (~user@47.186.207.161) |
| 2021-03-26 17:57:29 | → | mercury__ joins (~pluto@117.222.69.222) |
| 2021-03-26 17:58:17 | × | codygman__ quits (~user@209.251.131.98) (Ping timeout: 246 seconds) |
| 2021-03-26 17:59:02 | × | fuzzypixelz quits (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
| 2021-03-26 17:59:17 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-26 17:59:47 | <dsal> | I'm trying to implement something like `cp` and using optparse-applicative to parse the things. I have a thing that converts `[String] -> Either String Stuff` but it's not obvious how to use that to grab arguments. Does anyone know how to fail this thing? |
| 2021-03-26 18:00:36 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-26 18:01:09 | <dsal> | There's an `eitherReader` for parsing a single thing, but I want to fail after consuming `some x arguments` |
| 2021-03-26 18:02:08 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-26 18:03:44 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 2021-03-26 18:04:02 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 252 seconds) |
| 2021-03-26 18:04:07 | × | pupuupup quits (~pupuupup@node-139.pool-125-24.dynamic.totinternet.net) (Quit: leaving) |
| 2021-03-26 18:04:38 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2021-03-26 18:04:56 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 246 seconds) |
| 2021-03-26 18:05:04 | <dsal> | I'm using `error` in the meantime, which is kind of gross. |
| 2021-03-26 18:06:18 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-26 18:08:32 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2021-03-26 18:08:42 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
| 2021-03-26 18:09:17 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-26 18:09:29 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-26 18:10:25 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-26 18:12:21 | <maerwald> | dsal: `fail`? |
| 2021-03-26 18:13:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-03-26 18:13:50 | <NemesisD> | if i've got a bunch of functions (A -> A) and i want to apply them sequentially and at certain points, use the current value to decide which function to apply next, is there a way to do that using monad syntax? |
| 2021-03-26 18:14:26 | <dsal> | maerwald: I'm not sure what this `fail` is. There are ways to fail specific individual parsers, but... it's not a monad, though it is alternative. |
| 2021-03-26 18:16:09 | <maerwald> | dsal: MonadFail |
| 2021-03-26 18:16:16 | <maerwald> | @hoogle fail |
| 2021-03-26 18:16:16 | <lambdabot> | Prelude fail :: MonadFail m => String -> m a |
| 2021-03-26 18:16:16 | <lambdabot> | Control.Monad fail :: MonadFail m => String -> m a |
| 2021-03-26 18:16:16 | <lambdabot> | Control.Monad.Fail fail :: MonadFail m => String -> m a |
| 2021-03-26 18:16:37 | <dsal> | Yeah, but this isn't a monad. It's just Applicative. |
| 2021-03-26 18:16:37 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 2021-03-26 18:17:20 | <geekosaur> | it's optparse-applicative, not optparse-monadic |
| 2021-03-26 18:17:31 | <maerwald> | maybe you want monadic then |
| 2021-03-26 18:17:56 | <geekosaur> | that said, mempty might count as a "fail" using Alternative |
| 2021-03-26 18:18:00 | <maerwald> | where you can fail based on a value |
| 2021-03-26 18:18:18 | × | mercury__ quits (~pluto@117.222.69.222) (Quit: leaving) |
| 2021-03-26 18:18:39 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection) |
| 2021-03-26 18:18:49 | <maerwald> | but there's no optparse-monadic :D |
| 2021-03-26 18:19:37 | <dsal> | I just feel like I'm missing something because I can ask for `many (argument p ...)` and it'll fail if there's not a p, but I don't know how to absorb those and *then* fail. |
| 2021-03-26 18:19:47 | <maerwald> | not sure why... might need to hand-write the --help page, but otherwise it should be fine |
| 2021-03-26 18:20:15 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-26 18:20:35 | <maerwald> | you can also write better eastereggs with monad |
| 2021-03-26 18:20:42 | <maerwald> | but I'm not being helpful here |
| 2021-03-26 18:22:10 | <dsal> | I'm just going to have to go with error for now, though that's kind of terrible. At least my command works. |
| 2021-03-26 18:23:02 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-26 18:23:23 | <dsal> | I'm also getting an incomplete patterns that seems like a bug. It looks like a bad interaction with view patterns. |
| 2021-03-26 18:23:50 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-03-26 18:23:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-26 18:25:00 | → | viko joins (~v@179.189.150.66) |
| 2021-03-26 18:25:07 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-26 18:26:35 | <dsal> | I can't do error. I'll just push this further down to the execution, which is differently gross, but it's at least it's not a terrible experience. |
| 2021-03-26 18:26:38 | ← | viko parts (~v@179.189.150.66) ("Closing Window") |
| 2021-03-26 18:28:09 | × | Alleria_ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds) |
| 2021-03-26 18:29:26 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-26 18:29:45 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-26 18:29:46 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-26 18:30:10 | Alleria | is now known as Guest2317 |
| 2021-03-26 18:30:34 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2021-03-26 18:31:13 | → | madjestic joins (~Android@77-63-118-123.mobile.kpn.net) |
| 2021-03-26 18:33:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-03-26 18:34:03 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-26 18:35:18 | <dsal> | `s3up: SQLite3 returned ErrorError while attempting to perform step: not an error` -- thanks |
| 2021-03-26 18:36:11 | → | madjest15 joins (~Android@86-88-72-244.fixed.kpn.net) |
| 2021-03-26 18:36:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-26 18:37:29 | × | madjestic quits (~Android@77-63-118-123.mobile.kpn.net) (Ping timeout: 246 seconds) |
| 2021-03-26 18:38:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-03-26 18:38:40 | → | ubert joins (~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de) |
| 2021-03-26 18:40:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-26 18:42:18 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-03-26 18:43:28 | → | jakobrs joins (~user@178.92-220-14.customer.lyse.net) |
| 2021-03-26 18:43:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-26 18:45:07 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
All times are in UTC.