Newest at the top
2024-07-27 08:47:02 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-07-27 08:30:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-07-27 08:27:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-27 07:57:15 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
2024-07-27 07:51:01 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-07-27 07:49:57 +0200 | danza | (~danza@na-19-79-8.service.infuturo.it) |
2024-07-27 07:48:22 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-07-27 07:46:52 +0200 | kimiamania | (~65804703@user/kimiamania) |
2024-07-27 07:45:55 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-27 07:45:45 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
2024-07-27 07:42:13 +0200 | danza | (~danza@na-19-79-8.service.infuturo.it) (Quit: on the move) |
2024-07-27 07:41:43 +0200 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
2024-07-27 07:41:42 +0200 | <danza> | :t fold |
2024-07-27 07:41:40 +0200 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
2024-07-27 07:41:39 +0200 | <danza> | :t foldr |
2024-07-27 07:41:36 +0200 | <danza> | huh yeah, well i was looking for a definition with a default direction |
2024-07-27 07:40:45 +0200 | <lambdabot> | GHC.OldList mapAccumL :: (acc -> x -> (acc, y)) -> acc -> [x] -> (acc, [y]) |
2024-07-27 07:40:45 +0200 | <lambdabot> | Data.Traversable mapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
2024-07-27 07:40:45 +0200 | <lambdabot> | Data.List mapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
2024-07-27 07:40:44 +0200 | <geekosaur> | @hoogle mapAccumL |
2024-07-27 07:40:26 +0200 | <geekosaur> | yes |
2024-07-27 07:39:37 +0200 | <danza> | who, me? |
2024-07-27 07:39:02 +0200 | <geekosaur> | don't you want mapAccumL? |
2024-07-27 07:35:39 +0200 | <lambdabot> | Data.IntMap.Strict mapAccum :: (a -> b -> (a, c)) -> a -> IntMap b -> (a, IntMap c) |
2024-07-27 07:35:39 +0200 | <lambdabot> | Data.IntMap.Lazy mapAccum :: (a -> b -> (a, c)) -> a -> IntMap b -> (a, IntMap c) |
2024-07-27 07:35:39 +0200 | <lambdabot> | Data.IntMap.Internal mapAccum :: (a -> b -> (a, c)) -> a -> IntMap b -> (a, IntMap c) |
2024-07-27 07:35:38 +0200 | <danza> | @hoogle mapAccum |
2024-07-27 07:35:20 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-07-27 07:35:14 +0200 | <lambdabot> | • Perhaps you meant one of these: |
2024-07-27 07:35:13 +0200 | <lambdabot> | • Variable not in scope: mapAccum |
2024-07-27 07:35:13 +0200 | <lambdabot> | error: |
2024-07-27 07:35:12 +0200 | <danza> | :t mapAccum |
2024-07-27 07:35:09 +0200 | <danza> | i don't use mapAccum enough |
2024-07-27 07:32:56 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
2024-07-27 07:32:39 +0200 | <dsal> | Oh. I missed the `Of` there. |
2024-07-27 07:32:11 +0200 | <jle`> | dsal: yeah if you just want to zip with over zipWith works. but mapAccumLOf from Control.Lens.Traversal might capture the idea of a stateful map over a traversal nicely |
2024-07-27 07:29:15 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-07-27 07:27:14 +0200 | <dsal> | jle`: Yeah, I was in the process of writing it with State, but doing all of those tree descents is a lot more painful than just stating the path. |
2024-07-27 07:19:50 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
2024-07-27 07:17:54 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
2024-07-27 07:06:44 +0200 | danza | (~danza@na-19-79-8.service.infuturo.it) |
2024-07-27 07:05:57 +0200 | danza | (~danza@na-19-79-8.service.infuturo.it) (Remote host closed the connection) |
2024-07-27 06:58:46 +0200 | danza | (~danza@na-19-79-8.service.infuturo.it) |
2024-07-27 06:52:29 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-07-27 06:45:29 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
2024-07-27 06:38:33 +0200 | sindu | (~sindu@83-243-191-191.fth.tafjordconnect.net) (Ping timeout: 252 seconds) |
2024-07-27 06:37:32 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
2024-07-27 06:28:21 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:d321:865d:b7ff:34ea) (Remote host closed the connection) |
2024-07-27 06:27:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-07-27 06:10:14 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |