Newest at the top
| 2025-12-03 15:33:07 +0100 | Guest35 | (~Guest35@2607:fa49:1940:8200:c958:535b:5462:796d) (Write error: Broken pipe) |
| 2025-12-03 15:32:56 +0100 | <tomsmeding> | but I don't think it's a pre-existing combinator, at least in base |
| 2025-12-03 15:32:43 +0100 | <tomsmeding> | you can implement this with a foldr in a way similar that you can build foldl using foldr |
| 2025-12-03 15:32:17 +0100 | <tomsmeding> | I don't think any of the standard L/R combinators apply here -- the L ones because they continue recursing regardless, and the R ones because the information flow is the wrong way |
| 2025-12-03 15:31:59 +0100 | <__monty__> | Intellectual curiosity mostly. It seems like something that could have an elegant combinator. |
| 2025-12-03 15:31:19 +0100 | <tomsmeding> | do you have a specific reason for wanting this to be a pre-existing combinator? |
| 2025-12-03 15:31:13 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 15:31:08 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Client Quit) |
| 2025-12-03 15:31:00 +0100 | <__monty__> | The output is the same structure and length as the input. I'm pushing a value down into a structure, based on a condition I either push another value down or stop pushing any values down. |
| 2025-12-03 15:30:44 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-12-03 15:30:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 15:30:37 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 15:30:28 +0100 | Guest35 | (~Guest35@2607:fa49:1940:8200:c958:535b:5462:796d) |
| 2025-12-03 15:30:15 +0100 | <__monty__> | I don't see how that relates. |
| 2025-12-03 15:30:04 +0100 | <kuribas`> | scanr over tails... |
| 2025-12-03 15:29:38 +0100 | <kuribas`> | scanr? |
| 2025-12-03 15:29:23 +0100 | <__monty__> | I don't think so. Neither direction allows "shortcutting". |
| 2025-12-03 15:29:16 +0100 | <kuribas`> | err |
| 2025-12-03 15:29:04 +0100 | Guest35 | (~Guest35@2607:fa49:1940:8200:c958:535b:5462:796d) (Client Quit) |
| 2025-12-03 15:28:35 +0100 | <lambdabot> | Traversable t => (s -> a -> (s, b)) -> s -> t a -> (s, t b) |
| 2025-12-03 15:28:32 +0100 | <kuribas`> | :t mapAccumR |
| 2025-12-03 15:28:29 +0100 | <kuribas`> | __monty__: sounds like you want mapAccumR |
| 2025-12-03 15:27:59 +0100 | Guest35 | (~Guest35@2607:fa49:1940:8200:c958:535b:5462:796d) |
| 2025-12-03 15:21:01 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-12-03 15:17:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-12-03 15:17:29 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-12-03 15:17:28 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-12-03 15:16:54 +0100 | <__monty__> | `mapAccumL` with a Maybe for the state to indicate when the map should fall back to basically `id` feels wrong. |
| 2025-12-03 15:15:53 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-03 15:15:35 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-03 15:14:18 +0100 | leah2 | (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.) |
| 2025-12-03 15:10:22 +0100 | wbooze | Guest6657 |
| 2025-12-03 15:09:58 +0100 | wbooze | (~inline@cgn-195-14-221-120.nc.de) |
| 2025-12-03 15:08:15 +0100 | akegalj | (~akegalj@141-138-27-206.dsl.iskon.hr) (Ping timeout: 240 seconds) |
| 2025-12-03 15:07:17 +0100 | divlamir_ | divlamir |
| 2025-12-03 15:07:16 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2025-12-03 15:07:12 +0100 | <lucabtz> | thank you again |
| 2025-12-03 15:07:09 +0100 | <lucabtz> | i will try |
| 2025-12-03 15:06:03 +0100 | <lucabtz> | great |
| 2025-12-03 15:05:38 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 15:05:18 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-03 15:05:06 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-12-03 15:04:01 +0100 | <merijn> | NoFieldSelectors is bae |
| 2025-12-03 15:03:40 +0100 | <Leary> | `NoFieldSelectors` might help |
| 2025-12-03 15:02:26 +0100 | <lucabtz> | but when importing the selector it will collide with the other thing named the same |
| 2025-12-03 15:01:44 +0100 | <lucabtz> | having colliding names does work as nicely because i need to import the record selectors for the construction to work |
| 2025-12-03 14:56:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-03 14:54:35 +0100 | trickard_ | trickard |
| 2025-12-03 14:54:03 +0100 | <lucabtz> | actually i cant get it to work in construction |
| 2025-12-03 14:50:10 +0100 | <lucabtz> | i put NamedFieldPuns on the whole cabal project now |