Logs: liberachat/#haskell
| 2021-08-28 18:06:13 | × | azeem quits (~azeem@5.168.90.242) (Ping timeout: 252 seconds) |
| 2021-08-28 18:07:18 | → | azeem joins (~azeem@5.168.86.163) |
| 2021-08-28 18:07:41 | <hololeap> | is there something (premade) that combines takeWhile with a fold, so that you can access the state of the fold in the check? |
| 2021-08-28 18:08:24 | <Rembane_> | MonadPlus might be your friend here, I haven't used it though, only seen something about it in the docs. |
| 2021-08-28 18:08:46 | <hololeap> | I don't think that would help here, but explain |
| 2021-08-28 18:11:33 | <hololeap> | @hoogle (b -> Either b c) -> (a -> b -> b) -> b -> t a -> Either b c |
| 2021-08-28 18:11:34 | <lambdabot> | No results found |
| 2021-08-28 18:12:27 | → | d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 2021-08-28 18:15:07 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2021-08-28 18:15:12 | <hololeap> | well, I think I'll just stick with what I have: mapM_ using ExceptT (Bare T) (Accum (Partial T)) () |
| 2021-08-28 18:15:39 | <hololeap> | although that () in the last position makes me feel like the monad interface is too powerful here |
| 2021-08-28 18:16:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2021-08-28 18:17:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-28 18:17:09 | hololeap | renames Bare to Finished -- there, that makes more sense |
| 2021-08-28 18:17:47 | × | eldritch_ quits (~eldritch@134.209.221.71) (Changing host) |
| 2021-08-28 18:17:47 | → | eldritch_ joins (~eldritch@user/eldritch/x-9272577) |
| 2021-08-28 18:18:06 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 2021-08-28 18:18:17 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-28 18:19:53 | × | andinus quits (andinus@tilde.institute) (Remote host closed the connection) |
| 2021-08-28 18:20:33 | → | andinus joins (andinus@tilde.institute) |
| 2021-08-28 18:23:38 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-131-126.cust.tzulo.com) |
| 2021-08-28 18:25:27 | × | azeem quits (~azeem@5.168.86.163) (Ping timeout: 240 seconds) |
| 2021-08-28 18:26:11 | → | azeem joins (~azeem@5.168.86.163) |
| 2021-08-28 18:26:40 | → | ArctVaulMarsHMPJ joins (~pjetcetal@128-71-152-79.broadband.corbina.ru) |
| 2021-08-28 18:27:53 | → | mud joins (~mud@user/kadoban) |
| 2021-08-28 18:32:36 | × | Guest8241 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-28 18:32:41 | × | azeem quits (~azeem@5.168.86.163) (Ping timeout: 250 seconds) |
| 2021-08-28 18:33:13 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-28 18:33:16 | chris | is now known as Guest3524 |
| 2021-08-28 18:33:23 | × | Guest3524 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-28 18:34:21 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-28 18:34:24 | chris | is now known as Guest9786 |
| 2021-08-28 18:35:29 | → | azeem joins (~azeem@5.168.86.163) |
| 2021-08-28 18:36:00 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-08-28 18:41:47 | × | azeem quits (~azeem@5.168.86.163) (Ping timeout: 250 seconds) |
| 2021-08-28 18:43:02 | → | azeem joins (~azeem@5.168.86.163) |
| 2021-08-28 18:43:09 | → | desophos joins (~desophos@2601:249:1680:a570:b9dc:dd21:8c3e:8765) |
| 2021-08-28 18:43:34 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-28 18:49:40 | × | azeem quits (~azeem@5.168.86.163) (Ping timeout: 252 seconds) |
| 2021-08-28 18:50:06 | → | azeem joins (~azeem@5.168.92.20) |
| 2021-08-28 18:51:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-28 19:01:07 | × | azeem quits (~azeem@5.168.92.20) (Ping timeout: 240 seconds) |
| 2021-08-28 19:01:38 | → | azeem joins (~azeem@5.168.92.20) |
| 2021-08-28 19:01:40 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-28 19:03:25 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-131-126.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2021-08-28 19:11:49 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-28 19:12:01 | × | martin02 quits (~silas@141.84.69.76) (Ping timeout: 248 seconds) |
| 2021-08-28 19:13:10 | → | kenran joins (~kenran@200116b82bc02700b5002519151f8c73.dip.versatel-1u1.de) |
| 2021-08-28 19:14:27 | × | _xor quits (~xor@74.215.232.67) (Read error: Connection reset by peer) |
| 2021-08-28 19:14:35 | → | pavonia joins (~user@user/siracusa) |
| 2021-08-28 19:14:58 | → | _xor joins (~xor@74.215.232.67) |
| 2021-08-28 19:15:14 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-28 19:15:49 | × | Guest9786 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-28 19:15:55 | → | martin02 joins (~silas@141.84.69.76) |
| 2021-08-28 19:16:20 | × | neo2 quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 250 seconds) |
| 2021-08-28 19:16:29 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-28 19:16:33 | chris | is now known as Guest473 |
| 2021-08-28 19:21:01 | × | Guest473 quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-08-28 19:23:26 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-28 19:23:29 | chris | is now known as Guest1221 |
| 2021-08-28 19:24:43 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-28 19:27:13 | <mastarija> | any idea how I might be able to escape this in haddock: `failIf [UnderAge] (<18)`? It interprets [UnderAge] (<18) as a markdown link syntax. I tried "escaping" the brackets, but then they render with backslashes (which isn't really escaping them). |
| 2021-08-28 19:31:26 | <hololeap> | are you trying to put a code snippet in the doc? |
| 2021-08-28 19:31:32 | → | acidjnk joins (~acidjnk@p200300d0c72b9531c50f6552fc7b880d.dip0.t-ipconnect.de) |
| 2021-08-28 19:32:24 | <hololeap> | https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810780208 |
| 2021-08-28 19:32:24 | <hololeap> | you wrap the code in "at signs" @ |
| 2021-08-28 19:32:24 | <hololeap> | it doesn't use the markdown syntax |
| 2021-08-28 19:32:46 | <mastarija> | hololeap, I use @@ block, not inline |
| 2021-08-28 19:32:57 | → | burnsidesLlama joins (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-28 19:33:08 | <mastarija> | and it has that problem |
| 2021-08-28 19:33:20 | × | Guest1221 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-28 19:34:02 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-28 19:34:05 | chris | is now known as Guest7545 |
| 2021-08-28 19:35:18 | <mastarija> | I mean, it's the same if I do it inline as well. |
| 2021-08-28 19:38:33 | × | Guest7545 quits (~chris@81.96.113.213) (Ping timeout: 250 seconds) |
| 2021-08-28 19:40:36 | × | azeem quits (~azeem@5.168.92.20) (Ping timeout: 250 seconds) |
| 2021-08-28 19:40:52 | → | azeem joins (~azeem@5.168.92.20) |
| 2021-08-28 19:42:40 | <hololeap> | can you post the actual line of code? |
| 2021-08-28 19:43:50 | <mastarija> | Sure, just a sec |
| 2021-08-28 19:43:53 | → | tput joins (~tim@S0106a84e3fe54613.ed.shawcable.net) |
| 2021-08-28 19:44:11 | <mastarija> | hololeap, `ageV = 'adapt' unAge $ 'passIf' [AgeUnder] (>18) <> 'failIf' [AgeOver] (>65)` |
| 2021-08-28 19:45:01 | <hololeap> | so are you using backticks or @ ? |
| 2021-08-28 19:45:23 | <mastarija> | sorry, habit |
| 2021-08-28 19:45:25 | <mastarija> | I use @ |
| 2021-08-28 19:45:44 | <hololeap> | can you post the actual line of code copied directly from your sorce? |
| 2021-08-28 19:46:53 | <hololeap> | sorry, lines, since you said it was a block... you can use https://paste.tomsmeding.com |
| 2021-08-28 19:47:30 | <mastarija> | hololeap, https://paste.tomsmeding.com/p9hVfre9 |
| 2021-08-28 19:49:43 | <hololeap> | maralorn: hm, try indenting the code block (not the @'s) by four spaces |
| 2021-08-28 19:50:13 | <hololeap> | that's the way it's shown in the doc |
| 2021-08-28 19:50:22 | <mastarija> | hololeap, nope doesn't work |
| 2021-08-28 19:50:34 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2021-08-28 19:50:35 | <maerwald> | is there a optparse-applicative plugin that shows suggestions on mistyping flags/commands? |
| 2021-08-28 19:50:54 | <maerwald> | foo --heeelp -- did you mean `--help`? |
| 2021-08-28 19:51:03 | <mastarija> | It still renders as linked AgeOver instead of [AgeOver] (>65) |
| 2021-08-28 19:51:18 | <hololeap> | mastarija: > Additionally, the character > has a special meaning at the beginning of a line, and the following characters have special meanings at the beginning of a paragraph: *, -. These characters can also be escaped using \. |
| 2021-08-28 19:51:56 | <hololeap> | mastarija: try escaping the > in front of 18 like so: (\>18)@ |
| 2021-08-28 19:52:13 | <hololeap> | and also 64 |
| 2021-08-28 19:52:15 | <hololeap> | *65 |
| 2021-08-28 19:52:33 | hololeap | might be clutching at straws here |
| 2021-08-28 19:52:53 | <mastarija> | I tried escaping [ with \[, but it just renders it as \[. Similarly, escaping > does nothing :( |
All times are in UTC.