Newest at the top
| 2024-05-18 19:54:20 +0200 | y04nn | (~username@45.129.56.202) |
| 2024-05-18 19:54:18 +0200 | <mauke> | justsomeguy: what do you mean by "map (+1) to each index"? |
| 2024-05-18 19:54:09 +0200 | <ncf> | "what bounds do you want", "how do you get back to the old indices" |
| 2024-05-18 19:53:53 +0200 | <lambdabot> | (Ix i, Ix j) => (i, i) -> (i -> j) -> Array j e -> Array i e |
| 2024-05-18 19:53:52 +0200 | <ncf> | :t ixmap |
| 2024-05-18 19:53:22 +0200 | <ncf> | ixmap (1, 3) (subtract 1) a |
| 2024-05-18 19:53:20 +0200 | <glguy> | subtract 1 |
| 2024-05-18 19:53:18 +0200 | <glguy> | subtrace 1 |
| 2024-05-18 19:53:17 +0200 | <glguy> | otherway |
| 2024-05-18 19:53:14 +0200 | <ncf> | nope |
| 2024-05-18 19:53:05 +0200 | <glguy> | that is tricky |
| 2024-05-18 19:52:55 +0200 | <glguy> | ixmap (1,3) (+1) a |
| 2024-05-18 19:52:53 +0200 | aryah | (~aryah@52-123.dsl.iskon.hr) |
| 2024-05-18 19:52:50 +0200 | <glguy> | oh, I guess you'd want: |
| 2024-05-18 19:52:37 +0200 | <glguy> | ixmap (0,2) (+1) a |
| 2024-05-18 19:52:19 +0200 | <justsomeguy> | I have an array a = array (0,2) [(0,'a'),(1,'b'),(2,'c')] :: Array Int Char and am trying to map (+1) to each index in the array. |
| 2024-05-18 19:50:58 +0200 | <justsomeguy> | How do I use the Data.Array.IArray.ixmap function? I don't see any examples in the documentation. |
| 2024-05-18 19:50:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-18 19:45:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-18 19:42:15 +0200 | visilii_ | visilii |
| 2024-05-18 19:37:47 +0200 | mikess | (~mikess@user/mikess) |
| 2024-05-18 19:35:29 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-18 19:31:06 +0200 | euleritian | (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) |
| 2024-05-18 19:26:53 +0200 | euleritian | (~euleritia@p200300d40f4af80011ef9d47c01a966a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-18 19:26:30 +0200 | Square | (~Square@user/square) |
| 2024-05-18 19:21:17 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:6411:ca4c:6107:b01c) (Ping timeout: 240 seconds) |
| 2024-05-18 19:20:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-18 19:19:26 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:b273:9497:4ffe:5456) (Quit: Leaving) |
| 2024-05-18 19:11:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-18 19:02:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-18 19:01:39 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
| 2024-05-18 18:53:09 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:6411:ca4c:6107:b01c) |
| 2024-05-18 18:53:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-18 18:46:15 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-05-18 18:42:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-18 18:42:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-05-18 18:33:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-18 18:29:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-18 18:27:37 +0200 | bollu | (~bollu@159.65.151.13) |
| 2024-05-18 18:25:33 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-18 18:24:05 +0200 | bollu | (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
| 2024-05-18 18:24:02 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-18 18:21:30 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-05-18 18:05:56 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Read error: Connection reset by peer) |
| 2024-05-18 18:04:22 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-18 18:00:25 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-18 18:00:16 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2024-05-18 17:49:41 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-05-18 17:36:07 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-18 17:35:13 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |