Newest at the top
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) |
2024-05-18 17:34:45 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
2024-05-18 17:27:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-18 17:27:23 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |