2023/12/03

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 +0100mobivme(~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 +0100mobivme(~mobivme@112.201.111.217) (Read error: Connection reset by peer)
2023-12-03 14:23:35 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-12-03 14:20:37 +0100coot(~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 +0100sawilagar(~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 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2023-12-03 13:58:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-03 13:56:36 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 245 seconds)
2023-12-03 13:55:59 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-03 13:53:57 +0100nate4(~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 +0100lav(~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 +0100chexum_(~quassel@gateway/tor-sasl/chexum)
2023-12-03 13:42:40 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-12-03 13:38:38 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-03 13:33:38 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-03 13:31:39 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-12-03 13:14:27 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2023-12-03 13:13:28 +0100misterfish(~misterfis@87.215.131.102)
2023-12-03 13:10:52 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-03 13:10:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-03 13:08:54 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
2023-12-03 13:07:07 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-12-03 12:59:51 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)