Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 .. 5022
— 502,152 events total
2021-03-17 05:57:07 <bobweb> koz: Hi again. Yes, I can make it work with (Sum 1), but the book doesn't mention this in this example so I figured I was missing something.
2021-03-17 05:57:21 → toorevitimirp joins (~tooreviti@117.182.183.55)
2021-03-17 05:57:40 <koz_> Yeah, I'm not sure either.
2021-03-17 05:58:19 <bobweb> OK, so it's not just me this time. Thanks again for your help.
2021-03-17 05:58:31 mceier_ is now known as mceier
2021-03-17 05:58:50 → Hi-Angel joins (~constanti@broadband-188-32-15-112.ip.moscow.rt.ru)
2021-03-17 06:03:03 × jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-03-17 06:04:22 × bobweb quits (ac3810b1@172.56.16.177) (Ping timeout: 240 seconds)
2021-03-17 06:04:26 <curiousgay> monochrom: tomsmeding: stack doesn't provide GHC with haddock and I can't build any version of haddock with stack
2021-03-17 06:06:00 <curiousgay> never mind, it does
2021-03-17 06:08:39 → cole-h_ joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-17 06:11:57 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-03-17 06:15:02 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-17 06:17:06 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2021-03-17 06:17:54 cole-h_ is now known as cole-h
2021-03-17 06:20:43 → idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-17 06:20:43 × MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-03-17 06:21:23 → MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-17 06:22:20 × zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-17 06:24:18 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-03-17 06:26:01 → Marklkajsdfj joins (1fd09b60@31-208-155-96.cust.bredband2.com)
2021-03-17 06:26:31 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-17 06:27:23 hackage aviation-units 0.0.2 - Units of measurements used in aviation. https://hackage.haskell.org/package/aviation-units-0.0.2 (TonyMorris)
2021-03-17 06:29:03 → jud joins (~jud@unaffiliated/jud)
2021-03-17 06:29:07 × Marklkajsdfj quits (1fd09b60@31-208-155-96.cust.bredband2.com) (Client Quit)
2021-03-17 06:29:21 → puffnfre- joins (~puffnfres@45.76.124.5)
2021-03-17 06:29:32 × puffnfresh_ quits (~puffnfres@45.76.124.5) (Ping timeout: 265 seconds)
2021-03-17 06:29:58 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-03-17 06:30:00 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-17 06:32:48 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-03-17 06:33:09 → finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-17 06:34:13 × waleee-cl quits (uid373333@gateway/web/irccloud.com/x-trkstrvybvcbmzax) (Quit: Connection closed for inactivity)
2021-03-17 06:34:27 → puke joins (~vroom@217.138.252.180)
2021-03-17 06:34:57 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-17 06:37:30 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2021-03-17 06:38:23 hackage aviation-weight-balance 0.0.2 - Weight and Balance structures used in aviation. https://hackage.haskell.org/package/aviation-weight-balance-0.0.2 (TonyMorris)
2021-03-17 06:38:24 <hololeap> i've been playing around with a GADT for monad transformer stacks, just out of curiosity: https://dpaste.com/H5A693S5H
2021-03-17 06:39:02 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
2021-03-17 06:39:22 × molehillish quits (~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection)
2021-03-17 06:39:38 <hololeap> i'm wondering if there is a way to write liftStack with the current signature, or would i have to pass in some sort of singleton so i can pattern match based on what 'ts' looks like
2021-03-17 06:39:48 → vgtw joins (~vgtw@gateway/tor-sasl/vgtw)
2021-03-17 06:40:45 × fen quits (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Ping timeout: 264 seconds)
2021-03-17 06:40:53 × InsideBreeze quits (~manjaro-i@183.217.97.244) (Ping timeout: 245 seconds)
2021-03-17 06:43:43 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-17 06:43:49 → molehillish joins (~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 06:43:50 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 06:44:05 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 06:44:22 × srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection)
2021-03-17 06:44:22 × hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection)
2021-03-17 06:44:33 × andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-03-17 06:44:35 → srk joins (~sorki@gateway/tor-sasl/sorki)
2021-03-17 06:44:40 → hexo joins (~hexo@gateway/tor-sasl/hexo)
2021-03-17 06:44:55 <koz_> Yeah, you'd need to know the shape, because otherwise, what constructor do you need?
2021-03-17 06:45:05 × molehillish quits (~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection)
2021-03-17 06:45:09 → andreas31 joins (~andreas@gateway/tor-sasl/andreas303)
2021-03-17 06:45:38 <hololeap> right
2021-03-17 06:45:52 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection)
2021-03-17 06:46:38 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-17 06:47:03 <hololeap> i vaguely remember there was some way to pattern match based solely on the type, but maybe i'm mistaken
2021-03-17 06:48:07 <hololeap> it had something to do with pattern matching on SomeException
2021-03-17 06:48:29 <koz_> In this case, you kinda can't.
2021-03-17 06:48:34 <hololeap> so i was thinking it might be possible to pattern match on (Proxy @ts)
2021-03-17 06:48:36 <koz_> You need to know what exact 'shape' ts has.
2021-03-17 06:48:44 <koz_> So you need a _runtime_ witness to this.
2021-03-17 06:48:44 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 06:49:11 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 06:49:23 hackage aviation-cessna172-weight-balance 0.0.2 - Weight and Balance for the Cessna 172 aircraft in aviation. https://hackage.haskell.org/package/aviation-cessna172-weight-balance-0.0.2 (TonyMorris)
2021-03-17 06:49:49 → Sathiana joins (~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 06:50:10 → Varis joins (~Tadas@unaffiliated/varis)
2021-03-17 06:51:05 <hololeap> alright
2021-03-17 06:51:23 <koz_> I think there's some package that gives specifically typelevel list singletons.
2021-03-17 06:51:29 <koz_> (which isn't singletons-the-package)
2021-03-17 06:51:46 <hololeap> well, if i was more invested in this experiment i might care
2021-03-17 06:51:50 <hololeap> lol
2021-03-17 06:52:26 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-17 06:52:40 <hololeap> i think i've seen that package before. in any case, it wouldn't be too hard to write a one-off singleton
2021-03-17 06:52:52 × barnowl_ quits (~barnowl@gateway/tor-sasl/barnowl) (Remote host closed the connection)
2021-03-17 06:53:16 → barnowl_ joins (~barnowl@gateway/tor-sasl/barnowl)
2021-03-17 06:53:17 <hololeap> but this file is most likely going to die in /tmp
2021-03-17 06:53:18 <koz_> It has a few nice helpers too.
2021-03-17 06:53:22 <koz_> Oh well.
2021-03-17 06:54:10 → InsideBreeze joins (~manjaro-i@183.217.98.211)
2021-03-17 06:56:55 → vicfred joins (vicfred@gateway/vpn/mullvad/vicfred)
2021-03-17 06:56:59 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-03-17 07:00:27 × elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Remote host closed the connection)
2021-03-17 07:00:27 × kam1 quits (~kam1@83.123.167.219) (Remote host closed the connection)
2021-03-17 07:00:43 → elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-17 07:00:43 → kam1 joins (~kam1@83.123.167.219)
2021-03-17 07:02:24 → malumore joins (~malumore@151.62.112.239)
2021-03-17 07:07:01 → cur8or joins (~cur8or@72canterbury.cybersmart.co.za)
2021-03-17 07:07:14 → bitmagie joins (~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de)
2021-03-17 07:07:32 × jol quits (jol@jol.dev) (Quit: ZNC 1.7.5 - https://znc.in)
2021-03-17 07:07:33 × SolarAquarion quits (SolarAquar@gateway/shell/panicbnc/x-xrdswepzyygrznne) (Remote host closed the connection)
2021-03-17 07:07:55 → jol joins (~jol@jol.dev)
2021-03-17 07:08:05 × bitmagie quits (~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de) (Client Quit)
2021-03-17 07:09:11 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 07:09:45 <hololeap> koz_: a cursory glance at `cabal list list` and `cabal list singleton` didn't find it. i'm curious so if you find it, let me know
2021-03-17 07:09:58 <koz_> hololeap: It's not simply named.
2021-03-17 07:10:05 <koz_> Let me see if I can re-dredge that train of memory.
2021-03-17 07:10:28 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 276 seconds)
←Prev  Next→
Page 1 .. 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 .. 5022

All times are in UTC.