Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 883 884 885 886 887 888 889 890 891 892 893 .. 5022
— 502,152 events total
2020-10-26 23:17:36 → mrchampion joins (~mrchampio@216-211-57-41.dynamic.tbaytel.net)
2020-10-26 23:17:54 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-26 23:18:25 × damianfral3 quits (~damianfra@174.red-37-13-187.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2020-10-26 23:18:42 → damianfral3 joins (~damianfra@174.red-37-13-187.dynamicip.rima-tde.net)
2020-10-26 23:19:04 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-26 23:19:07 × fendor quits (~fendor@078132040188.public.t-mobile.at) (Remote host closed the connection)
2020-10-26 23:19:40 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-26 23:21:43 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-26 23:22:22 <Raito_Bezarius> is there a way to compose boolean functions of the form a -> Bool arbitrarly using && and || ?
2020-10-26 23:22:23 → vacm joins (~vacwm@70.23.92.191)
2020-10-26 23:22:32 <Raito_Bezarius> (>= 32) && (<= 42) for example
2020-10-26 23:22:42 <Raito_Bezarius> (which is not valid Haskell)
2020-10-26 23:22:59 <dolio> liftA2 (&&)
2020-10-26 23:23:20 <Raito_Bezarius> thanks dolio
2020-10-26 23:23:20 × akad quits (~akad@109107030050.radomsko.vectranet.pl) (Remote host closed the connection)
2020-10-26 23:23:57 <Raito_Bezarius> dolio: is there a liftAn generalization?
2020-10-26 23:24:04 → ericsagnes joins (~ericsagne@2405:6580:0:5100:4528:7514:3a09:f12e)
2020-10-26 23:24:18 <Raito_Bezarius> my use case is for 4 functions
2020-10-26 23:25:41 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-26 23:26:02 <Raito_Bezarius> but I guess I can just do three liftA2
2020-10-26 23:27:12 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-26 23:27:25 <dolio> Depends what you want. The incremental sort of solution is `f <$> x <*> y <*> z` where `f` is your boolean function, and x,y,z are your tests.
2020-10-26 23:27:48 <dolio> You could use ApplicativeDo, too.
2020-10-26 23:29:00 × darjeeling_ quits (~darjeelin@115.215.42.47) (Ping timeout: 256 seconds)
2020-10-26 23:29:55 <Raito_Bezarius> Okay, I'll check out those, but maybe it's over kill to my usecase and I should just write the explicit function
2020-10-26 23:31:28 → darjeeling_ joins (~darjeelin@115.215.42.47)
2020-10-26 23:33:12 × jonatan_ quits (~nate@h77-53-70-163.cust.a3fiber.se) (Read error: Connection reset by peer)
2020-10-26 23:36:47 → nuncanada joins (~dude@179.235.160.168)
2020-10-26 23:38:00 <motte> say i have a record like this: data A = Foo String deriving (Show, Read)
2020-10-26 23:38:04 → plutoniix joins (~q@ppp-27-55-68-183.revip3.asianet.co.th)
2020-10-26 23:38:10 <motte> doing read "Foo a" :: A fails, read "Foo \"a\"" :: A succeeds. is there a way to avoid the need for these quotes?
2020-10-26 23:40:59 → danso joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-10-26 23:41:01 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-26 23:42:12 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-26 23:43:00 × mimi1vx quits (~mimi@tulipan.habr.nat.praha12.net) (Quit: WeeChat 2.9)
2020-10-26 23:45:51 × mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Remote host closed the connection)
2020-10-26 23:45:56 <Squarism> motte, would need to reimplement Read for String's
2020-10-26 23:46:11 → mceier joins (~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-26 23:46:39 <Squarism> but sounds really cumbersome and how would you deal with space
2020-10-26 23:54:52 × acidjnk_new quits (~acidjnk@p200300d0c7237822f9c109cfb48a3b3a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-26 23:55:19 → cebola joins (~cebola@2804:14d:149a:a093:35e4:2df:ca12:a86d)
2020-10-26 23:56:05 <motte> Squarism: alright, guess i won't bother then, thanks
2020-10-26 23:58:23 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-10-26 23:58:46 → z0 joins (~z0@bl15-166-165.dsl.telepac.pt)
2020-10-26 23:59:35 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-27 00:00:01 × unknown1 quits (~unknown@195.206.169.184) ()
2020-10-27 00:00:04 <fresheyeball> hey
2020-10-27 00:00:09 <fresheyeball> I have an api I need to query
2020-10-27 00:00:20 <fresheyeball> that returns a gzip, and all I care about is the status code
2020-10-27 00:00:27 <fresheyeball> is this doable with servant client?
2020-10-27 00:00:43 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-27 00:01:14 → akad joins (~akad@109107030050.radomsko.vectranet.pl)
2020-10-27 00:02:55 × xff0x quits (~fox@2001:1a81:53e0:c700:623b:a273:9fc7:c0b1) (Ping timeout: 272 seconds)
2020-10-27 00:03:26 → xff0x joins (~fox@2001:1a81:53e0:c700:bc1e:f03e:962e:40cd)
2020-10-27 00:07:05 × darjeeling_ quits (~darjeelin@115.215.42.47) (Ping timeout: 240 seconds)
2020-10-27 00:09:23 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:146b:c489:8b41:e2cb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 00:10:38 → KhoN_2 joins (~KhoN@cm-84.208.147.132.getinternet.no)
2020-10-27 00:10:43 → darjeeling_ joins (~darjeelin@115.215.42.47)
2020-10-27 00:11:02 × nuncanada quits (~dude@179.235.160.168) (Read error: Connection reset by peer)
2020-10-27 00:11:02 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-27 00:12:10 × lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:252e:56ab:ce70:1eed) (Quit: Bye)
2020-10-27 00:12:22 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:146b:c489:8b41:e2cb)
2020-10-27 00:13:28 × falafel_ quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 246 seconds)
2020-10-27 00:14:00 × KhoN_1 quits (~KhoN@cm-84.208.147.132.getinternet.no) (Ping timeout: 256 seconds)
2020-10-27 00:14:08 <dsal> :t foldMap (All .) -- Raito_Bezarius
2020-10-27 00:14:09 <lambdabot> Foldable t => t (a -> Bool) -> a -> All
2020-10-27 00:15:47 × fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1)
2020-10-27 00:15:54 <dsal> > getAll . foldMap (All .) [even, (>5)] $ 4
2020-10-27 00:15:56 <lambdabot> False
2020-10-27 00:15:57 <dsal> > getAll . foldMap (All .) [even, (>5)] $ 6
2020-10-27 00:15:59 <lambdabot> True
2020-10-27 00:16:25 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds)
2020-10-27 00:16:43 → GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-27 00:16:43 × GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-27 00:16:43 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-27 00:17:01 → oisdk joins (~oisdk@2001:bb6:3329:d100:4d5c:1d2c:a660:df1)
2020-10-27 00:17:28 <dsal> > let isEvenAndBigEnough = getAll . foldMap (All .) [even, (>5)] in isEvenAndBigEnough <$> [4..7]
2020-10-27 00:17:30 <lambdabot> [False,False,True,False]
2020-10-27 00:19:57 × Alleria_ quits (~AllahuAkb@2604:2000:1484:26:9062:c31d:ffbb:9534) (Ping timeout: 260 seconds)
2020-10-27 00:20:01 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-27 00:20:22 → nyaomi joins (~naomi@2604:6000:1509:c86e:c878:29ff:fedf:ce89)
2020-10-27 00:20:29 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-27 00:21:04 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:6857:8c0f:5834:bc03)
2020-10-27 00:21:57 → altoid joins (~altoid@154.13.1.56)
2020-10-27 00:23:11 × alp quits (~alp@2a01:e0a:58b:4920:1c2f:db12:618d:602c) (Ping timeout: 272 seconds)
2020-10-27 00:24:08 → erisco joins (~erisco@d24-57-249-233.home.cgocable.net)
2020-10-27 00:25:32 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds)
2020-10-27 00:25:37 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:146b:c489:8b41:e2cb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 00:27:43 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-27 00:30:17 × plutoniix quits (~q@ppp-27-55-68-183.revip3.asianet.co.th) (Quit: Leaving)
2020-10-27 00:35:15 → atondwal joins (~atondwal@ip68-107-107-53.sd.sd.cox.net)
2020-10-27 00:35:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-27 00:37:42 → vacm joins (~vacwm@70.23.92.191)
2020-10-27 00:39:04 hekkaidekapus_ is now known as hekkaidekapus
2020-10-27 00:39:39 <hekkaidekapus> > sortBy (comparing even <> comparing (> 5)) [4..7] -- dsal, let’s golf :)
2020-10-27 00:39:40 <lambdabot> [5,7,4,6]
2020-10-27 00:39:51 <hekkaidekapus> > sortBy (comparing even <> comparing (< 5)) [4..7]
2020-10-27 00:39:53 <lambdabot> [5,7,6,4]
2020-10-27 00:40:20 <hekkaidekapus> > sortBy (comparing odd <> comparing (> 5)) [4..7]
2020-10-27 00:40:21 <lambdabot> [4,6,5,7]
←Prev  Next→
Page 1 .. 883 884 885 886 887 888 889 890 891 892 893 .. 5022

All times are in UTC.