Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 .. 18038
— 1,803,782 events total
2021-07-28 23:06:26 <johnw> not a projected to a pair
2021-07-28 23:06:28 <dibblego> that is a traversal ^^
2021-07-28 23:06:46 <dibblego> oh wait sorry
2021-07-28 23:06:51 <dibblego> you want Traversal' Foo Int
2021-07-28 23:07:06 <dibblego> fooTraversal f (Foo x y) = Foo <$> f x <*> f y
2021-07-28 23:07:18 <johnw> ah, got it
2021-07-28 23:07:23 <johnw> in my case it's actually:
2021-07-28 23:07:24 <johnw> s & zipped fees commission %%~ \(x, y) -> (,) <$> f x <*> f y
2021-07-28 23:07:30 <johnw> it's the use of the sub-lenses that made it awkward
2021-07-28 23:07:36 <johnw> thanks dibblego!
2021-07-28 23:07:42 → lavaman joins (~lavaman@98.38.249.169)
2021-07-28 23:08:01 <sm> hello johnw! hope you're having an excellent day
2021-07-28 23:08:01 <dibblego> @type both -- you can also use that ^ Iso with both
2021-07-28 23:08:03 <lambdabot> (Data.Bitraversable.Bitraversable r, Applicative f) => (a -> f b) -> r a a -> f (r b b)
2021-07-28 23:08:09 <johnw> hi sm, it's a good day; you?
2021-07-28 23:08:39 <boxscape_> % let foo = Foo 1 2 in (foo ^.. template :: [Int]) -- this works if Foo derives Data
2021-07-28 23:08:39 <yahb> boxscape_: [1,2]
2021-07-28 23:08:52 × Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed)
2021-07-28 23:08:56 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 268 seconds)
2021-07-28 23:09:07 <sm> yes! no complaints. it's drizzling 🌧👍🏻
2021-07-28 23:10:23 <boxscape_> % let fooTraversal = template :: Traversal' Foo Int -- more concretely
2021-07-28 23:10:23 <yahb> boxscape_:
2021-07-28 23:12:03 → cheater joins (~Username@user/cheater)
2021-07-28 23:12:46 × wrunt quits (~ajc@vmx14030.hosting24.com.au) (Ping timeout: 258 seconds)
2021-07-28 23:13:42 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-28 23:14:29 × oxide quits (~lambda@user/oxide) (Quit: oxide)
2021-07-28 23:18:44 → renzhi joins (~xp@142.184.90.63)
2021-07-28 23:19:07 → octeep joins (~octeep@42-2-223-196.static.netvigator.com)
2021-07-28 23:22:38 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection)
2021-07-28 23:24:02 → nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-28 23:25:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-28 23:27:38 → jmorris joins (uid433911@id-433911.stonehaven.irccloud.com)
2021-07-28 23:30:24 × nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-28 23:34:34 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2021-07-28 23:35:00 × renzhi quits (~xp@142.184.90.63) (Ping timeout: 258 seconds)
2021-07-28 23:39:41 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-28 23:41:36 × acidjnk_new3 quits (~acidjnk@p200300d0c72b95049518cd6c04553bbc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-07-28 23:43:34 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 265 seconds)
2021-07-28 23:43:59 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-28 23:44:36 × zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!)
2021-07-28 23:44:56 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-07-28 23:51:43 × doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-07-28 23:52:55 → renzhi joins (~xp@142.184.90.63)
2021-07-28 23:55:10 → vk3wtf joins (~doc@220-245-2-190.tpgi.com.au)
2021-07-28 23:57:48 × Atum_ quits (~IRC@user/atum/x-2392232) (Read error: Connection reset by peer)
2021-07-28 23:58:05 × vk3wtf_ quits (~doc@207.134.220.203.dial.dynamic.acc01-carp-beg.comindico.com.au) (Ping timeout: 255 seconds)
2021-07-29 00:04:42 × retro_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 245 seconds)
2021-07-29 00:05:28 → doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-07-29 00:07:57 <Axman6> I wonder how efficient the generated code for that is, given all the types are fixed
2021-07-29 00:09:11 → nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-29 00:12:02 × Brianmancer quits (~Neuromanc@user/briandamag) (Ping timeout: 255 seconds)
2021-07-29 00:13:27 × nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-07-29 00:19:13 × jess quits (~jess@libera/staff/jess) ()
2021-07-29 00:23:21 <Axman6> % Foo 1 2 & partsOf template %~ (reverse @Int)
2021-07-29 00:23:21 <yahb> Axman6: Foo {a = 2, b = 1}
2021-07-29 00:24:37 <Axman6> % Foo 1 2 & partsOf template %~ (reverse @Int . map (*10))
2021-07-29 00:24:37 <yahb> Axman6: Foo {a = 20, b = 10}
2021-07-29 00:28:12 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
2021-07-29 00:33:50 × MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 265 seconds)
2021-07-29 00:34:18 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-07-29 00:35:55 × Deide1 quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-07-29 00:36:02 → Deide1 joins (~Deide@217.155.19.23)
2021-07-29 00:36:38 → Deide2 joins (~Deide@217.155.19.23)
2021-07-29 00:40:10 × Deide1 quits (~Deide@217.155.19.23) (Ping timeout: 240 seconds)
2021-07-29 00:45:24 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-29 00:45:39 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-07-29 00:46:46 × renzhi quits (~xp@142.184.90.63) (Ping timeout: 272 seconds)
2021-07-29 00:48:13 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-07-29 00:51:00 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-29 00:52:26 × peterhil quits (~peterhil@mobile-access-5d6aaf-196.dhcp.inet.fi) (Ping timeout: 258 seconds)
2021-07-29 00:54:22 → cjb joins (~cjb@user/cjb)
2021-07-29 00:55:53 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-07-29 00:56:06 → yilin joins (~yilin@2601:400:c100:6330:6b23:fdc1:34d0:ae01)
2021-07-29 00:58:27 → chris_ joins (~chris@81.96.113.213)
2021-07-29 01:03:14 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2)
2021-07-29 01:03:33 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-29 01:04:15 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-29 01:09:04 → nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-29 01:12:18 × xff0x quits (~xff0x@2001:1a81:52b7:d000:8a03:e207:89f6:6456) (Ping timeout: 240 seconds)
2021-07-29 01:14:33 → xff0x joins (~xff0x@2001:1a81:52ef:f900:65e4:872c:1a09:47)
2021-07-29 01:17:17 → jeslie0 joins (~user@135-23-172-182.cpe.pppoe.ca)
2021-07-29 01:17:51 × TranquilEcho quits (~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-07-29 01:19:19 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-29 01:21:22 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-29 01:22:20 × nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-29 01:23:16 ← jeslie0 parts (~user@135-23-172-182.cpe.pppoe.ca) (ERC (IRC client for Emacs 28.0.50))
2021-07-29 01:26:06 × davros quits (~davros@host86-185-61-40.range86-185.btcentralplus.com) (Ping timeout: 276 seconds)
2021-07-29 01:28:17 sridonhiatus[m] is now known as srid[m]
2021-07-29 01:29:40 → neurocyte4 joins (~neurocyte@212.232.80.209)
2021-07-29 01:29:40 × neurocyte4 quits (~neurocyte@212.232.80.209) (Changing host)
2021-07-29 01:29:40 → neurocyte4 joins (~neurocyte@user/neurocyte)
2021-07-29 01:33:12 × neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds)
2021-07-29 01:33:13 neurocyte4 is now known as neurocyte
2021-07-29 01:33:26 → euouae joins (~euouae@user/euouae)
2021-07-29 01:38:18 → davros joins (~davros@host86-184-180-96.range86-184.btcentralplus.com)
2021-07-29 01:50:35 × Null_A quits (~null_a@2601:645:8700:2290:2910:fbd1:f882:3730) (Remote host closed the connection)
2021-07-29 01:50:57 → juhp joins (~juhp@bb116-14-48-29.singnet.com.sg)
2021-07-29 01:51:11 → Null_A joins (~null_a@2601:645:8700:2290:2910:fbd1:f882:3730)
2021-07-29 01:52:56 × alx741 quits (~alx741@181.196.69.4) (Quit: alx741)
2021-07-29 01:53:46 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
←Prev  Next→
Page 1 .. 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 .. 18038

All times are in UTC.