Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 749 750 751 752 753 754 755 756 757 758 759 .. 5022
— 502,152 events total
2020-10-20 08:41:23 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-10-20 08:41:26 → darjeeli1 joins (~darjeelin@122.245.211.155)
2020-10-20 08:41:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-20 08:41:40 → sqrt2 joins (~ben@unaffiliated/sqrt2)
2020-10-20 08:42:04 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-20 08:43:21 × ensyde quits (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds)
2020-10-20 08:45:48 × Tario quits (~Tario@201.192.165.173) (Remote host closed the connection)
2020-10-20 08:46:59 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-20 08:48:37 → supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-20 08:51:16 × plutoniix quits (~q@175.176.222.7) (Quit: Leaving)
2020-10-20 08:52:48 × borne quits (~fritjof@200116b8645a730043d332954cf9072f.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-10-20 08:52:49 <dminuoso> ito :: (s -> (i, a)) -> IndexedGetter i s a
2020-10-20 08:52:52 → christo joins (~chris@81.96.113.213)
2020-10-20 08:53:04 <dminuoso> Im looking for a variant of `to` that gets access to the current index. Is there such a thing?
2020-10-20 08:53:31 → borne joins (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de)
2020-10-20 08:53:54 <dminuoso> That is, some `((i, s) -> a) -> IndexedGetter i s a` maybe?
2020-10-20 08:55:26 × supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-10-20 08:55:43 → supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-20 08:56:24 → plutoniix joins (~q@175.176.222.7)
2020-10-20 08:56:45 → britva joins (~britva@51.154.14.117)
2020-10-20 08:57:05 × christo quits (~chris@81.96.113.213) (Ping timeout: 240 seconds)
2020-10-20 08:58:22 → polyrain joins (~polyrain@2001:8003:e501:6901:7c30:8fc3:728d:9763)
2020-10-20 08:58:27 <edwardk> :t withIndex
2020-10-20 08:58:28 <lambdabot> (Indexable i p, Functor f) => p (i, s) (f (j, t)) -> Indexed i s (f t)
2020-10-20 08:59:33 <edwardk> :t withIndex.to _foo
2020-10-20 08:59:39 <lambdabot> error:
2020-10-20 08:59:39 <lambdabot> • Found hole: _foo :: (j, t) -> a
2020-10-20 08:59:39 <lambdabot> Where: ‘j’, ‘t’, ‘a’ are rigid type variables bound by
2020-10-20 08:59:45 <edwardk> like that?
2020-10-20 09:00:02 × tty11 quits (~tty1@178.162.209.171) ()
2020-10-20 09:00:37 <edwardk> you need to use it inside of some context where you have an index, of course
2020-10-20 09:00:55 <edwardk> :t itraversed.withIndex
2020-10-20 09:00:57 <lambdabot> (TraversableWithIndex i t, Indexable i p, Applicative f) => p (i, a) (f (j, b)) -> t a -> f (t b)
2020-10-20 09:01:07 <edwardk> :t itraversed.withIndex.to id
2020-10-20 09:01:08 × hiroaki quits (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2020-10-20 09:01:09 <lambdabot> (TraversableWithIndex j t, Indexable j p, Contravariant f, Applicative f) => p (j, b) (f (j, b)) -> t b -> f (t b)
2020-10-20 09:02:15 × coot quits (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-20 09:02:46 <dminuoso> % toListOf (itraversed . withIndex) ([1,2,3] :: [Int])
2020-10-20 09:02:47 <yahb> dminuoso: [(0,1),(1,2),(2,3)]
2020-10-20 09:02:50 <dminuoso> edwardk: Looks about right, cheers!
2020-10-20 09:03:18 <edwardk> :t asIndex
2020-10-20 09:03:19 <lambdabot> (Indexable i p, Contravariant f, Functor f) => p i (f i) -> Indexed i s (f s)
2020-10-20 09:03:32 <edwardk> also exists and might be useful in some situations
2020-10-20 09:04:13 → coot joins (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl)
2020-10-20 09:05:23 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-20 09:05:28 <dminuoso> edwardk: I guess `asIndex = withIndex . to fst` roughly?
2020-10-20 09:05:32 × fendor quits (~fendor@e237-037.eduroam.tuwien.ac.at) (Read error: Connection reset by peer)
2020-10-20 09:05:37 <edwardk> yeah
2020-10-20 09:05:51 → fendor joins (~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-20 09:05:54 × polyrain quits (~polyrain@2001:8003:e501:6901:7c30:8fc3:728d:9763) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 09:08:09 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-20 09:09:54 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-20 09:10:50 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-20 09:11:54 → ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd)
2020-10-20 09:12:41 → leah2 joins (~leah@vuxu.org)
2020-10-20 09:14:58 → ukari joins (~ukari@unaffiliated/ukari)
2020-10-20 09:15:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-20 09:15:25 → nineonin_ joins (~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-20 09:16:14 × ensyde quits (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 244 seconds)
2020-10-20 09:18:40 × nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 265 seconds)
2020-10-20 09:19:40 × wei quits (~wei@66.42.41.89) (Read error: Connection reset by peer)
2020-10-20 09:19:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-20 09:20:33 → havenwood1 joins (~havenwood@185.163.110.116)
2020-10-20 09:20:37 × MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 264 seconds)
2020-10-20 09:20:48 → polyrain joins (~polyrain@58.161.83.164)
2020-10-20 09:20:59 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 09:23:52 → MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone)
2020-10-20 09:24:52 × johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-gbyrgzvhkjxxusae) (Quit: killed)
2020-10-20 09:24:52 × lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-ptvuhwxuhfxasuxj) (Quit: killed)
2020-10-20 09:24:52 × SlackIntegration quits (slackbotma@gateway/shell/matrix.org/x-gsmubjcfwartpuyv) (Quit: killed)
2020-10-20 09:24:52 × fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-sccsqjcyzbrdqsny) (Quit: killed)
2020-10-20 09:24:52 × ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-agqptcwygxrodhxb) (Quit: killed)
2020-10-20 09:24:52 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-nbsqkvyjxpcolcjf) (Quit: killed)
2020-10-20 09:24:52 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-oprbmexkbiobupsb) (Quit: killed)
2020-10-20 09:24:52 × Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-wjxgdezrhvtzaogq) (Quit: killed)
2020-10-20 09:24:52 × michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-eajfsrqdggsxtjvo) (Quit: killed)
2020-10-20 09:24:52 × hnOsmium0001[m] quits (hnosmium00@gateway/shell/matrix.org/x-gyngapiijxrddvgg) (Quit: killed)
2020-10-20 09:24:52 × domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Quit: killed)
2020-10-20 09:24:52 × themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-zjmsdphtuogbzdnl) (Quit: killed)
2020-10-20 09:24:52 × hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-icdlnorsjqgkpxaw) (Quit: killed)
2020-10-20 09:24:53 × kadoban quits (kadobanmat@gateway/shell/matrix.org/x-koqtjvguqdzqkcxh) (Quit: killed)
2020-10-20 09:24:53 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-xbcxbptrlxxpfxsr) (Quit: killed)
2020-10-20 09:24:53 × sureyeaah quits (shauryab98@gateway/shell/matrix.org/x-cwwiukanmlcbaqdo) (Quit: killed)
2020-10-20 09:24:53 × maralorn quits (maralornma@gateway/shell/matrix.org/x-zkyzkncpuafqbgyu) (Quit: killed)
2020-10-20 09:24:53 × JoelMcCracken[m] quits (joelmccrac@gateway/shell/matrix.org/x-koqjdeyeiyqanqia) (Quit: killed)
2020-10-20 09:24:53 × alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-jkdshcytuttkbfpt) (Quit: killed)
2020-10-20 09:24:54 × jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-clashmxqyivyyrpr) (Quit: killed)
2020-10-20 09:24:55 × steve[m] quits (stevetrout@gateway/shell/matrix.org/x-rtatbjmnbxiznpmg) (Quit: killed)
2020-10-20 09:24:57 × zerstroyer[m] quits (zerstroyer@gateway/shell/matrix.org/x-odscjndwbucnjdke) (Quit: killed)
2020-10-20 09:24:57 × sm[m] quits (simonmicma@gateway/shell/matrix.org/x-lsmbcsozkdzcnpwu) (Quit: killed)
2020-10-20 09:24:59 × ttc quits (tomtauma1@gateway/shell/matrix.org/x-haadxrqzgtcsrdca) (Quit: killed)
2020-10-20 09:24:59 × unclechu quits (unclechuma@gateway/shell/matrix.org/x-zgeyqatdetfrsgfy) (Quit: killed)
2020-10-20 09:24:59 × gmind[m] quits (gmindmatri@gateway/shell/matrix.org/x-dtqofmafghxzbxls) (Quit: killed)
2020-10-20 09:24:59 × siraben quits (sirabenmat@gateway/shell/matrix.org/x-ltzmckarrmguosgk) (Quit: killed)
2020-10-20 09:25:00 × texasmynsted[m]1 quits (mmynstedko@gateway/shell/matrix.org/x-jzvbrkpfvqeicyva) (Quit: killed)
2020-10-20 09:25:02 × betrion[m] quits (betrionmat@gateway/shell/matrix.org/x-tvrpywqkiskftcqo) (Quit: killed)
2020-10-20 09:25:04 × jlv quits (jlvjustinl@gateway/shell/matrix.org/x-iwakkkxhzkvqgocd) (Quit: killed)
2020-10-20 09:25:05 × DeadComaGrayce[m quits (commagra1@gateway/shell/matrix.org/x-mbzrorwyrzsyvzxq) (Quit: killed)
2020-10-20 09:25:05 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-hmsbyitwctjrefyg) (Quit: killed)
2020-10-20 09:25:06 × iinuwa quits (iinuwamatr@gateway/shell/matrix.org/x-nfkeciehgetsazih) (Quit: killed)
←Prev  Next→
Page 1 .. 749 750 751 752 753 754 755 756 757 758 759 .. 5022

All times are in UTC.