Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 .. 5022
— 502,152 events total
2020-11-10 12:24:05 × fendor quits (~fendor@178.165.129.0.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-11-10 12:24:24 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-10 12:24:51 <bqv> hey, the lens operator `^@?`
2020-11-10 12:25:00 <bqv> is there a non operator form of it
2020-11-10 12:25:05 <bqv> or do i have to manually fold and head
2020-11-10 12:26:13 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 12:26:19 <dminuoso> "non operator"?
2020-11-10 12:26:34 <dminuoso> You can use ^@?!
2020-11-10 12:26:45 <dminuoso> but you must use non yourself I guess?
2020-11-10 12:26:50 → Sanchayan joins (~Sanchayan@106.200.213.130)
2020-11-10 12:27:01 <dminuoso> so: f . non blah ^@?! s
2020-11-10 12:27:06 <bqv> i mean word form
2020-11-10 12:27:10 <bqv> trying to avoid the operators
2020-11-10 12:27:21 <bqv> e.g. ^. -> view
2020-11-10 12:27:24 <bqv> .~ -> set
2020-11-10 12:27:26 <dminuoso> well sure
2020-11-10 12:27:29 <dminuoso> you can just look at the implementation
2020-11-10 12:27:36 <dminuoso> they're just simple ifoldrOf
2020-11-10 12:27:44 <dminuoso> s ^@? l = ifoldrOf l (\i x _ -> Just (i,x)) Nothing s
2020-11-10 12:27:55 <dminuoso> Also, you can bind it to a name yourself if you want
2020-11-10 12:28:20 × alp quits (~alp@2a01:e0a:58b:4920:477:18c2:7810:de44) (Ping timeout: 244 seconds)
2020-11-10 12:28:26 <bqv> damn, that's a pretty spicy expression though
2020-11-10 12:30:19 <dminuoso> % :t foldr
2020-11-10 12:30:19 <yahb> dminuoso: forall {t :: * -> *} {a} {b}. Foldable t => (a -> b -> b) -> b -> t a -> b
2020-11-10 12:30:31 <dminuoso> % :t ifoldrOf
2020-11-10 12:30:31 <yahb> dminuoso: forall {i} {r} {s} {a}. IndexedGetting i (Endo r) s a -> (i -> a -> r -> r) -> r -> s -> r
2020-11-10 12:30:40 <dminuoso> % :t foldrOf
2020-11-10 12:30:41 <yahb> dminuoso: forall {r} {s} {a}. Getting (Endo r) s a -> (a -> r -> r) -> r -> s -> r
2020-11-10 12:30:44 <dminuoso> Do you see how they are similar?
2020-11-10 12:31:07 <dminuoso> % :t foldrOf id
2020-11-10 12:31:07 <yahb> dminuoso: forall {s} {r}. (s -> r -> r) -> r -> s -> r
2020-11-10 12:31:10 <dminuoso> % :t foldr
2020-11-10 12:31:11 <yahb> dminuoso: forall {t :: * -> *} {a} {b}. Foldable t => (a -> b -> b) -> b -> t a -> b
2020-11-10 12:31:37 <dminuoso> % :t foldrOf folded
2020-11-10 12:31:37 <yahb> dminuoso: forall {f :: * -> *} {a} {r}. Foldable f => (a -> r -> r) -> r -> f a -> r
2020-11-10 12:33:13 × aarvar quits (~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Ping timeout: 260 seconds)
2020-11-10 12:36:35 <tomsmeding> are those hidden type parameters?
2020-11-10 12:37:29 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 12:38:14 → alp joins (~alp@2a01:e0a:58b:4920:78ec:f779:a35b:6830)
2020-11-10 12:41:26 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-11-10 12:41:41 → drbean joins (~drbean@TC210-63-209-46.static.apol.com.tw)
2020-11-10 12:41:55 → adm_ joins (~adm@43.229.89.44)
2020-11-10 12:42:23 → noctux joins (~noctux@unaffiliated/noctux)
2020-11-10 12:42:57 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 12:45:15 × Sanchayan quits (~Sanchayan@106.200.213.130) (Quit: leaving)
2020-11-10 12:46:40 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 246 seconds)
2020-11-10 12:46:53 → enoq joins (~textual@194-208-146-143.lampert.tv)
2020-11-10 12:47:08 → Entertainment joins (~entertain@104.246.132.210)
2020-11-10 12:48:06 → pavonia joins (~user@unaffiliated/siracusa)
2020-11-10 12:49:38 → daaaamien joins (~damien@dra38-9-78-249-57-166.fbx.proxad.net)
2020-11-10 12:49:52 × nkly quits (~nkly@ip5b40d080.dynamic.kabel-deutschland.de) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in)
2020-11-10 12:50:29 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds)
2020-11-10 12:52:03 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 12:52:11 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-10 12:52:19 ← daaaamien parts (~damien@dra38-9-78-249-57-166.fbx.proxad.net) ()
2020-11-10 12:52:20 → Lycurgus joins (~niemand@98.4.97.118)
2020-11-10 12:52:22 → daaaamien joins (~damien@dra38-9-78-249-57-166.fbx.proxad.net)
2020-11-10 12:52:26 <bqv> ah
2020-11-10 12:52:30 <bqv> i can use pre
2020-11-10 12:52:32 <bqv> and ipre
2020-11-10 12:52:35 <bqv> that's way nicer
2020-11-10 12:52:44 × daaaamien quits (~damien@dra38-9-78-249-57-166.fbx.proxad.net) (Quit: Leaving.)
2020-11-10 12:53:03 → daaaamien joins (~damien@dra38-9-78-249-57-166.fbx.proxad.net)
2020-11-10 12:53:22 <bqv> wait
2020-11-10 12:53:25 <bqv> that's what preview is
2020-11-10 12:53:31 <bqv> goddammit
2020-11-10 12:53:44 <bqv> dminuoso: ipreview
2020-11-10 12:55:46 → noctux joins (~noctux@unaffiliated/noctux)
2020-11-10 12:56:36 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 12:58:11 × adm_ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-10 12:58:39 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 12:58:42 ← daaaamien parts (~damien@dra38-9-78-249-57-166.fbx.proxad.net) ()
2020-11-10 12:59:00 → adm_ joins (~adm@43.229.89.44)
2020-11-10 13:00:26 → knupfer joins (~Thunderbi@dynamic-046-114-147-079.46.114.pool.telefonica.de)
2020-11-10 13:00:59 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-10 13:02:34 → urodna joins (~urodna@unaffiliated/urodna)
2020-11-10 13:03:34 × adm_ quits (~adm@43.229.89.44) (Ping timeout: 272 seconds)
2020-11-10 13:04:43 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 13:04:50 × knupfer quits (~Thunderbi@dynamic-046-114-147-079.46.114.pool.telefonica.de) (Client Quit)
2020-11-10 13:05:10 → knupfer joins (~Thunderbi@dynamic-046-114-147-079.46.114.pool.telefonica.de)
2020-11-10 13:09:34 → texasmynsted joins (~texasmyns@64.44.55.28)
2020-11-10 13:10:19 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-10 13:11:15 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th)
2020-11-10 13:11:45 <tomsmeding> dminuoso: "Id like to see the transitive dependency tree on magicbane."
2020-11-10 13:11:47 <tomsmeding> https://tomsmeding.com/f/hackage-magicbane.png
2020-11-10 13:11:58 → Tops2 joins (~Tobias@dyndsl-095-033-017-206.ewe-ip-backbone.de)
2020-11-10 13:12:07 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-11-10 13:12:37 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 13:13:01 <tomsmeding> (actual version resolution not performed, just taken the list of links on hackage.haskell.org/package/$pkgname/dependencies)
2020-11-10 13:13:04 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-10 13:13:28 <merijn> That doesn't work for conditional ones :)
2020-11-10 13:13:59 <tomsmeding> also true
2020-11-10 13:14:03 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-10 13:14:17 × texasmynsted quits (~texasmyns@64.44.55.28) (Ping timeout: 265 seconds)
2020-11-10 13:14:51 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-10 13:15:23 × Lycurgus quits (~niemand@98.4.97.118) (Quit: Exeunt)
2020-11-10 13:15:46 <tomsmeding> the bash script has 42 lines though, not going to change that
2020-11-10 13:16:09 → avdb joins (~avdb@ip-213-49-61-163.dsl.scarlet.be)
2020-11-10 13:17:33 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 13:17:37 <int-e> "only" 160 packages
←Prev  Next→
Page 1 .. 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 .. 5022

All times are in UTC.