Newest at the top
2023-12-03 14:42:58 +0100 | <xerox> | yeah… |
2023-12-03 14:41:57 +0100 | <ncf> | drat |
2023-12-03 14:41:44 +0100 | <ncf> | oh, checked against the first element |
2023-12-03 14:41:24 +0100 | <ncf> | huh |
2023-12-03 14:41:20 +0100 | <lambdabot> | [[1,2],[3],[6,7],[8],[10,11]] |
2023-12-03 14:41:18 +0100 | <ncf> | > groupBy (\a b -> b - a == 1) [1, 2, 3, 6, 7, 8, 10, 11] |
2023-12-03 14:41:17 +0100 | <[Leary]> | Unfortunately it doesn't work for this. |
2023-12-03 14:40:46 +0100 | <lambdabot> | (a -> a -> Bool) -> [a] -> [[a]] |
2023-12-03 14:40:45 +0100 | <ncf> | :t groupBy |
2023-12-03 14:40:25 +0100 | <hippoid> | and the list is guaranteed to be in order |
2023-12-03 14:37:18 +0100 | <hippoid> | does that make sense? |
2023-12-03 14:37:11 +0100 | <hippoid> | values that are consecutive (succ) should be grouped together |
2023-12-03 14:35:37 +0100 | <xerox> | what's the complete specification then? |
2023-12-03 14:35:22 +0100 | <hippoid> | i don't want the last 13 in its own element |
2023-12-03 14:35:07 +0100 | <lambdabot> | [[1,2,3],[6,7,8],[10,11,12],[13]] |
2023-12-03 14:35:06 +0100 | <hippoid> | > takeWhile (not . null) . unfoldr (Just . splitAt 3) $ [1,2,3,6,7,8,10,11, 12, 13] |
2023-12-03 14:33:38 +0100 | <lambdabot> | [[1,2,3],[6,7,8],[10,11]] |
2023-12-03 14:33:36 +0100 | <xerox> | > takeWhile (not . null) . unfoldr (Just . splitAt 3) $ [1,2,3,6,7,8,10,11] |
2023-12-03 14:33:32 +0100 | mobivme | (~mobivme@112.201.111.217) |
2023-12-03 14:31:56 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-12-03 14:31:55 +0100 | <hippoid> | is there a function to take a list like [1, 2, 3, 6, 7, 8, 10, 11] and return [[1,2,3], [6,7,8], [10,11]] -- where each element of the new list is the consecutive values from the input list? |
2023-12-03 14:25:24 +0100 | mobivme | (~mobivme@112.201.111.217) (Read error: Connection reset by peer) |
2023-12-03 14:23:35 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-12-03 14:20:37 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-12-03 14:14:39 +0100 | <cheater> | oh, seems like it's from effectful |
2023-12-03 14:10:53 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
2023-12-03 14:09:33 +0100 | <cheater> | on the type level, does :> have any specific meaning? |
2023-12-03 14:00:20 +0100 | <cheater> | oh "index" |
2023-12-03 13:59:47 +0100 | <cheater> | every package on hackage used to have a thing you could click to see a list of all the defined names in the package, where is it now? i can't find it on here https://hackage.haskell.org/package/servant |
2023-12-03 13:59:22 +0100 | <cheater> | hi all |
2023-12-03 13:59:08 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2023-12-03 13:58:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-03 13:56:36 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 245 seconds) |
2023-12-03 13:55:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-12-03 13:53:57 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-12-03 13:53:39 +0100 | <exarkun> | I guess I should use getSourcePos instead |
2023-12-03 13:51:12 +0100 | lav | (~pi@wikipedia/maddy-from-celeste) (Remote host closed the connection) |
2023-12-03 13:46:14 +0100 | <exarkun> | When I use Megaparsec's getParserState, it always tells me it's at line 1, column 1. Have I misunderstood its purpose? |
2023-12-03 13:42:50 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
2023-12-03 13:42:40 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2023-12-03 13:38:38 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-12-03 13:33:38 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-12-03 13:31:39 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2023-12-03 13:14:27 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
2023-12-03 13:13:28 +0100 | misterfish | (~misterfis@87.215.131.102) |
2023-12-03 13:10:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-03 13:10:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-12-03 13:08:54 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) |
2023-12-03 13:07:07 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-12-03 12:59:51 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |