Home liberachat/#haskell: Logs Calendar

Logs on 2024-06-21 (liberachat/#haskell)

00:04:43 dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
00:10:53 wlhn joins (~wenzel@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi)
00:32:05 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
00:37:59 × henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
00:38:27 henry40408 joins (~henry4040@175.182.111.183)
00:47:15 × henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
00:47:43 henry40408 joins (~henry4040@175.182.111.183)
01:00:37 saus joins (~saus@pool-98-114-45-229.phlapa.fios.verizon.net)
01:11:55 × xff0x quits (~xff0x@ai068022.d.east.v6connect.net) (Ping timeout: 246 seconds)
01:13:58 danse-nr3 joins (~danse-nr3@151.57.64.108)
01:17:42 xff0x joins (~xff0x@2405:6580:b080:900:2fdd:342b:c728:4b76)
01:18:18 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 255 seconds)
01:23:32 tabemann joins (~tabemann@2600:1700:7990:24e0:2412:852b:477a:286f)
01:39:47 × saus quits (~saus@pool-98-114-45-229.phlapa.fios.verizon.net) (Quit: Client closed)
01:43:11 joeyadams joins (~joeyadams@2603:6010:5100:2ed:9777:b507:d595:41c9)
01:52:59 × dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 256 seconds)
02:00:32 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
02:01:14 rvalue joins (~rvalue@user/rvalue)
02:02:30 × dyniec quits (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2)
02:02:33 stiell joins (~stiell@gateway/tor-sasl/stiell)
02:07:17 × yin quits (~yin@user/zero) (Ping timeout: 256 seconds)
02:08:02 × iqubic quits (~sophia@2601:602:9502:c70:6afe:7af5:5891:b32f) (Remote host closed the connection)
02:19:14 philopsos1 joins (~caecilius@user/philopsos)
02:25:27 × xff0x quits (~xff0x@2405:6580:b080:900:2fdd:342b:c728:4b76) (Ping timeout: 264 seconds)
02:29:16 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
02:43:31 × terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
02:45:03 rosco joins (~rosco@175.136.155.137)
02:46:23 terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
02:54:11 × xdminsy quits (~xdminsy@117.147.70.231) (Quit: Konversation terminated!)
02:54:41 × td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 268 seconds)
02:56:28 td_ joins (~td@i53870921.versanet.de)
03:01:24 xdminsy joins (~xdminsy@117.147.70.231)
03:09:53 × CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
03:12:10 CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
03:16:05 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 272 seconds)
03:17:28 × andrewboltachev quits (~andrey@178.141.121.180) (Quit: Leaving.)
03:19:34 × sp1ff quits (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Remote host closed the connection)
03:21:50 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
03:32:39 × danse-nr3 quits (~danse-nr3@151.57.64.108) (Ping timeout: 264 seconds)
03:43:03 aforemny joins (~aforemny@2001:9e8:6cc8:d500:4601:9954:5a57:3fa8)
03:43:17 × aforemny_ quits (~aforemny@i59F516D3.versanet.de) (Ping timeout: 240 seconds)
03:44:22 danse-nr3 joins (~danse-nr3@151.57.64.108)
03:46:07 × danse-nr3 quits (~danse-nr3@151.57.64.108) (Read error: Connection reset by peer)
03:47:11 danse-nr3 joins (~danse-nr3@151.43.70.19)
03:52:14 <cheater> i have a problem
03:52:37 <cheater> my local hackage can index private dependencies no problem but it can't actually index what's on my disk
03:52:48 <cheater> so my packages that are on the disk
03:52:50 <cheater> how do i do that?
04:00:15 <danse-nr3> those are also called "local" dependencies
04:00:43 <danse-nr3> there is a way through cabal.project i think but i always forget the details
04:01:26 <danse-nr3> oh sorry, overlooked that was about hackage
04:06:42 <cheater> yup
04:13:33 philopsos1 joins (~caecilius@user/philopsos)
04:19:07 iza4k5 joins (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2)
04:19:07 <cheater> sorry i'm stupid i meant hoogle
04:19:20 <cheater> my local >>hoogle<< does not index my local packages
04:19:47 × kyborg2011 quits (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 264 seconds)
04:21:44 kyborg2011 joins (~kyborg201@host-176-36-215-61.b024.la.net.ua)
04:23:54 × iza4k5 quits (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) (Remote host closed the connection)
04:24:04 iza4k5 joins (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2)
04:27:49 <danse-nr3> oh
04:28:23 <cheater> ok so digging more into this it comes from iohk's haskell.nix, and specifically its 'withHoogle' directive
04:29:17 <danse-nr3> you are adding layers now. Well i use `hoogle generate` with stack
04:29:47 <danse-nr3> and then `hoogle server` with the same --database
04:30:07 <cheater> i don't use stack,i t's a cabal project
04:30:08 <cheater> however
04:30:25 <cheater> i've noticed on github there's kokobd/cabal-hoogle
04:30:35 <cheater> that can create a hoogle database for a cabal project.
04:30:48 <cheater> ok but
04:31:01 <cheater> i don't really understand what a hoogle database is. can multiple programs populate the same database?
04:31:12 <danse-nr3> the point is to produce a database with `hoogle generate`, the stack part is just about having hoogle as a binary
04:31:23 × iza4k5 quits (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) (Remote host closed the connection)
04:31:33 iza4k5 joins (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2)
04:31:38 dev2 joins (~dev@2405:201:c062:801d:7892:988f:5a47:991b)
04:31:52 <danse-nr3> i don't think so. Why would you need that? Anyways, the database is how one would expect an index to be structured
04:32:10 <danse-nr3> it's a bit funny, at times it seems to get corrupted when i kill the hoogle server
04:32:16 <danse-nr3> and i have to regenerate it
04:32:46 <cheater> what's the default path for it? it's not in my git checkout... hmm...
04:33:11 <danse-nr3> there is --database to use with `hoogle generate` and `hoogle server`, getting into docs area
04:33:42 <cheater> yeah i've seen this. but i don't use --database, i just run it directly, and it's already populated, meaning the database is somewhere else
04:33:44 <danse-nr3> not sure about the default nor whether one exists
04:33:50 × iza4k5 quits (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) (Remote host closed the connection)
04:33:53 <danse-nr3> hmm i see
04:34:00 iza4k5 joins (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2)
04:34:27 <cheater> can hoogle run without a database at all?
04:34:30 <cheater> or is that impossible
04:35:11 × iza4k5 quits (~iza4k5@2806:2f0:5321:fd27:bbca:24ba:4ae6:58b2) (Remote host closed the connection)
04:35:14 <danse-nr3> nah i don't think so
04:36:03 <danse-nr3> but hackage can if you can content yourself with that
04:36:28 <cheater> no my objective is to get hoogle going
04:36:31 <danse-nr3> huh i meant haddock sorry
04:37:30 <cheater> nah need that hoogle
04:37:36 <cheater> it's so confusing because all of them start with h
04:38:35 <danse-nr3> i don't think it's difficult to generate a database, no matter whether one uses stack or cabal, but not sure about the nix file you mentioned
04:40:27 × dev2 quits (~dev@2405:201:c062:801d:7892:988f:5a47:991b) (Quit: WeeChat 4.3.2)
04:41:01 takuan joins (~takuan@178-116-218-225.access.telenet.be)
04:41:17 madhavanmiui joins (~madhavanm@2409:40f4:2001:b884:8000::)
04:48:32 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
04:53:03 michalz joins (~michalz@185.246.207.221)
04:58:57 euphores joins (~SASL_euph@user/euphores)
05:02:55 <cheater> so there's a bunch of default.hoo files under my nix store
05:03:17 <cheater> each one's like /nix/store/(hash)-hoogle-with-packages/share/doc/hoogle/default.hoo
05:05:29 <cheater> one of them is the hoogle that `which hoogle` resolves to
05:11:16 × amjoseph quits (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 268 seconds)
05:11:59 × kyborg2011 quits (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 264 seconds)
05:13:43 <cheater> aha so there's hoogle combine
05:14:12 <cheater> that merges two databases
05:14:30 <cheater> that command does NOT show up in hoogle -h
05:14:48 <cheater> and also... doesn't seem to be a thing.
05:14:51 <cheater> so the wiki is wrong ?
05:15:55 × jcarpenter2 quits (~lol@2603:3016:1e01:b960:a570:a53a:e862:a200) (Ping timeout: 260 seconds)
05:16:40 × michalz quits (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in)
05:17:06 <cheater> combine was deleted 8 years ago
05:17:29 jcarpenter2 joins (~lol@2603:3016:1e01:b960:5cec:72b5:6b96:2c4d)
05:19:27 michalz joins (~michalz@185.246.207.222)
05:19:56 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
05:21:34 × madhavanmiui quits (~madhavanm@2409:40f4:2001:b884:8000::) (Read error: Connection reset by peer)
05:21:47 madhavanmiui joins (~madhavanm@152.58.247.212)
05:21:49 × jcarpenter2 quits (~lol@2603:3016:1e01:b960:5cec:72b5:6b96:2c4d) (Ping timeout: 246 seconds)
05:23:56 wenzel_ joins (~wenzel@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi)
05:23:59 jcarpenter2 joins (~lol@96.78.87.197)
05:24:09 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
05:25:09 × danse-nr3 quits (~danse-nr3@151.43.70.19) (Ping timeout: 268 seconds)
05:27:00 × wlhn quits (~wenzel@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Ping timeout: 268 seconds)
05:30:07 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
05:30:50 amjoseph joins (~amjoseph@static-198-44-128-146.cust.tzulo.com)
05:31:20 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
05:31:49 euphores joins (~SASL_euph@user/euphores)
05:32:17 × euphores quits (~SASL_euph@user/euphores) (Client Quit)
05:32:42 euphores joins (~SASL_euph@user/euphores)
05:34:39 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
05:39:19 danse-nr3 joins (~danse-nr3@151.43.70.19)
05:42:42 acidjnk_new3 joins (~acidjnk@p200300d6e714dc0755a3999fc5d750b0.dip0.t-ipconnect.de)
05:43:31 × madhavanmiui quits (~madhavanm@152.58.247.212) (Remote host closed the connection)
05:43:41 madhavanmiui joins (~madhavanm@2409:40f4:2001:b884:8000::)
05:45:08 × madhavanmiui quits (~madhavanm@2409:40f4:2001:b884:8000::) (Read error: Connection reset by peer)
05:45:20 madhavanmiui joins (~madhavanm@152.58.247.212)
05:45:33 × madhavanmiui quits (~madhavanm@152.58.247.212) (Client Quit)
05:47:59 <cheater> what if i created a single package that depends on all my local packages but also on all their dependencies, and then ran hoogle generate on that
05:55:17 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 240 seconds)
06:00:44 JamesMowery5 joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net)
06:02:35 × JamesMowery quits (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 260 seconds)
06:02:35 JamesMowery5 is now known as JamesMowery
06:04:36 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:10:24 × xdminsy quits (~xdminsy@117.147.70.231) (Read error: Connection reset by peer)
06:11:36 xdminsy joins (~xdminsy@117.147.70.231)
06:13:24 <danse-nr3> yes usually one would run hoogle generate after an haddock build, so that would be from a cabal or stack root package
06:26:33 × xdminsy quits (~xdminsy@117.147.70.231) (Ping timeout: 255 seconds)
06:27:07 × danse-nr3 quits (~danse-nr3@151.43.70.19) (Ping timeout: 268 seconds)
06:28:27 × erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 264 seconds)
06:29:30 dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
06:30:02 erisco joins (~erisco@d24-141-66-165.home.cgocable.net)
06:36:50 × ridcully quits (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.1)
06:42:19 rosco joins (~rosco@175.136.155.137)
06:44:55 × johnw_ quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
06:46:08 xdminsy joins (~xdminsy@117.147.70.231)
06:48:04 madhavanmiui joins (~madhavanm@2409:40f4:2001:b884:8000::)
06:54:19 × madhavanmiui quits (~madhavanm@2409:40f4:2001:b884:8000::) (Quit: Quit)
06:54:53 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
06:56:29 danse-nr3 joins (~danse-nr3@151.43.226.38)
06:58:27 × kuribas quits (~user@ptr-17d51emfywuvjswcfv8.18120a2.ip6.access.telenet.be) (Ping timeout: 264 seconds)
07:06:19 × dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Remote host closed the connection)
07:06:41 dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
07:10:02 sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:10:24 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:10:26 × wenzel_ quits (~wenzel@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Quit: Leaving)
07:10:44 wlhn joins (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi)
07:14:51 × danse-nr3 quits (~danse-nr3@151.43.226.38) (Ping timeout: 272 seconds)
07:15:39 cfricke joins (~cfricke@user/cfricke)
07:16:31 kyborg2011 joins (~kyborg201@host-176-36-215-61.b024.la.net.ua)
07:18:42 danse-nr3 joins (~danse-nr3@151.43.226.38)
07:21:39 × kyborg2011 quits (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 256 seconds)
07:24:30 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:24:37 euleritian joins (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de)
07:24:57 × euleritian quits (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Read error: Connection reset by peer)
07:25:17 ridcully joins (~ridcully@p508ac2b4.dip0.t-ipconnect.de)
07:25:20 euleritian joins (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de)
07:26:28 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:34:03 × dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 260 seconds)
07:40:45 kuribas joins (~user@2a02:1808:3:d3f2:a38d:1908:36ff:1384)
07:43:45 × danse-nr3 quits (~danse-nr3@151.43.226.38) (Ping timeout: 256 seconds)
07:44:16 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
07:44:34 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
07:46:59 × kuribas quits (~user@2a02:1808:3:d3f2:a38d:1908:36ff:1384) (Remote host closed the connection)
07:47:13 kuribas joins (~user@2a02:1808:3:d3f2:a38d:1908:36ff:1384)
07:49:18 × joeyadams quits (~joeyadams@2603:6010:5100:2ed:9777:b507:d595:41c9) (Quit: Leaving)
07:51:41 × PHO` quits (~pho@akari.cielonegro.org) (Ping timeout: 256 seconds)
07:51:59 PHO` joins (~pho@akari.cielonegro.org)
07:53:09 × riatre quits (~quassel@2001:310:6000:f::5198:1) (Ping timeout: 268 seconds)
07:53:44 riatre joins (~quassel@2001:310:6000:f::5198:1)
07:54:31 × euleritian quits (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Ping timeout: 256 seconds)
08:00:14 × notzmv quits (~daniel@user/notzmv) (Ping timeout: 268 seconds)
08:02:33 andrei_n joins (~andrei_n@2001:6a8:3081:6f02:8532:f95b:ea49:a4ed)
08:02:33 × andrei_n quits (~andrei_n@2001:6a8:3081:6f02:8532:f95b:ea49:a4ed) (Changing host)
08:02:33 andrei_n joins (~andrei_n@user/andrei-n:62396)
08:08:15 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
08:09:47 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
08:11:31 rosco joins (~rosco@175.136.155.137)
08:14:10 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
08:14:27 siw5ohs0 joins (~aiw5ohs0@user/aiw5ohs0)
08:14:45 siw5ohs0 parts (~aiw5ohs0@user/aiw5ohs0) (Leaving)
08:16:49 ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:eb7f:c05a:96e8:9d17)
08:18:27 × kuribas quits (~user@2a02:1808:3:d3f2:a38d:1908:36ff:1384) (Ping timeout: 256 seconds)
08:20:09 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds)
08:25:51 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
08:30:17 euleritian joins (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de)
08:30:58 kuribas joins (~user@2a02:1808:3:d3f2:7437:7632:ac15:7460)
08:35:52 gehmehgeh joins (~user@user/gehmehgeh)
08:37:21 kuribas` joins (~user@ip-188-118-57-242.reverse.destiny.be)
08:38:49 lxsameer joins (~lxsameer@Serene/lxsameer)
08:39:05 × kuribas quits (~user@2a02:1808:3:d3f2:7437:7632:ac15:7460) (Ping timeout: 268 seconds)
08:39:30 cfricke joins (~cfricke@user/cfricke)
08:41:19 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 246 seconds)
08:41:53 × causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.3.1)
08:43:19 epolanski joins (uid312403@id-312403.helmsley.irccloud.com)
08:46:56 __monty__ joins (~toonn@user/toonn)
08:50:24 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:52:50 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:53:04 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
08:53:27 andrei_n joins (~andrei_n@user/andrei-n:62396)
08:54:12 danse-nr3 joins (~danse-nr3@151.43.224.15)
08:55:56 dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
08:59:44 × danse-nr3 quits (~danse-nr3@151.43.224.15) (Ping timeout: 252 seconds)
09:00:25 danse-nr3 joins (~danse-nr3@151.43.224.15)
09:01:01 gehmehgeh is now known as gmg
09:02:57 sawilagar joins (~sawilagar@user/sawilagar)
09:23:16 CiaoSen joins (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03)
09:26:10 madhavanmiui joins (~madhavanm@2409:40f4:2001:b884:8000::)
09:26:56 × madhavanmiui quits (~madhavanm@2409:40f4:2001:b884:8000::) (Remote host closed the connection)
09:27:06 madhavanmiui joins (~madhavanm@2409:40f4:2001:b884:8000::)
09:39:49 × nickiminjaj quits (~nickiminj@user/laxhh) (Quit: ZNC 1.8.2 - https://znc.in)
09:40:28 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:eb7f:c05a:96e8:9d17) (Quit: ubert)
09:40:41 ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:d417:404b:cadf:1257)
09:40:45 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 268 seconds)
09:41:39 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:d417:404b:cadf:1257) (Client Quit)
09:42:22 nickiminjaj joins (~nickiminj@2001:41d0:a:24ed::1)
09:43:04 × nickiminjaj quits (~nickiminj@2001:41d0:a:24ed::1) (Client Quit)
09:51:41 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
09:52:22 sord937 joins (~sord937@gateway/tor-sasl/sord937)
09:53:59 ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:dbeb:53a2:9c59:cc80)
09:57:48 × euleritian quits (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Read error: Connection reset by peer)
09:58:05 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
10:01:06 × CiaoSen quits (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds)
10:03:31 × driib3 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
10:04:06 driib3 joins (~driib@vmi931078.contaboserver.net)
10:05:39 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds)
10:13:33 destituion joins (~destituio@85.221.111.174)
10:17:52 × CodeKiwi quits (~kiwi@137.184.156.191) (Quit: quite.)
10:20:46 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
10:21:09 euleritian joins (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de)
10:24:05 andrei_n joins (~andrei_n@user/andrei-n:62396)
10:29:10 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
10:34:01 × euleritian quits (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Read error: Connection reset by peer)
10:34:13 euleritian joins (~euleritia@tmo-117-242.customers.d1-online.com)
10:38:29 × euleritian quits (~euleritia@tmo-117-242.customers.d1-online.com) (Ping timeout: 240 seconds)
10:39:32 euleritian joins (~euleritia@tmo-117-242.customers.d1-online.com)
10:41:11 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 268 seconds)
10:42:42 × danse-nr3 quits (~danse-nr3@151.43.224.15) (Read error: Connection reset by peer)
10:43:08 andrei_n joins (~andrei_n@2a02:a03f:c091:a800:370f:bca0:3d6b:fb5e)
10:43:08 × andrei_n quits (~andrei_n@2a02:a03f:c091:a800:370f:bca0:3d6b:fb5e) (Changing host)
10:43:08 andrei_n joins (~andrei_n@user/andrei-n:62396)
10:46:51 danse-nr3 joins (~danse-nr3@151.43.255.20)
10:47:49 talukara joins (~talukara@user/talukara)
10:48:05 × talukara quits (~talukara@user/talukara) (Client Quit)
10:52:05 × euleritian quits (~euleritia@tmo-117-242.customers.d1-online.com) (Ping timeout: 272 seconds)
10:53:11 euleritian joins (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de)
10:54:41 rlj joins (~rlj@194-218-34-180.customer.telia.com)
11:00:52 × rlj quits (~rlj@194-218-34-180.customer.telia.com) (Quit: Client closed)
11:02:53 × epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
11:04:42 × madhavanmiui quits (~madhavanm@2409:40f4:2001:b884:8000::) (Quit: Quit)
11:05:01 × rachelambda quits (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced)
11:06:08 CiaoSen joins (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03)
11:10:25 bontaq joins (~user@ool-45779c03.dyn.optonline.net)
11:20:02 × danse-nr3 quits (~danse-nr3@151.43.255.20) (Ping timeout: 268 seconds)
11:21:47 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
11:22:32 sord937 joins (~sord937@gateway/tor-sasl/sord937)
11:25:08 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:31:00 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
11:31:31 rvalue joins (~rvalue@user/rvalue)
11:37:46 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
11:40:51 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds)
11:43:23 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds)
11:44:54 stiell joins (~stiell@gateway/tor-sasl/stiell)
11:45:46 × CiaoSen quits (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds)
11:46:43 L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:47:41 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 240 seconds)
11:47:41 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
11:53:28 L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:53:42 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
11:55:48 rachelambda joins (~rachelamb@cust-95-80-25-71.csbnet.se)
12:07:53 L29Ah joins (~L29Ah@wikipedia/L29Ah)
12:08:39 cfricke joins (~cfricke@user/cfricke)
12:14:11 × talismanick quits (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
12:14:40 andrewboltachev joins (~andrey@178.141.121.180)
12:16:03 mlatys joins (~mlatys@117.170.2.216)
12:26:43 × euleritian quits (~euleritia@dynamic-176-007-160-062.176.7.pool.telefonica.de) (Read error: Connection reset by peer)
12:27:03 euleritian joins (~euleritia@ip-185-104-138-28.ptr.icomera.net)
12:27:51 xff0x joins (~xff0x@2405:6580:b080:900:dc9b:52bd:4c0c:b888)
12:28:03 andrei_n joins (~andrei_n@user/andrei-n:62396)
12:32:52 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
12:33:16 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
12:35:37 × mlatys quits (~mlatys@117.170.2.216) (Remote host closed the connection)
12:35:53 × itaipu quits (~itaipu@168.121.98.114) (Ping timeout: 268 seconds)
12:36:34 mlatys joins (~mlatys@117.170.2.216)
12:37:06 × nrr_______ quits (sid20938@id-20938.lymington.irccloud.com) (Quit: Connection closed for inactivity)
12:37:39 × JimL quits (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
12:37:59 JimL joins (~quassel@89.162.16.26)
12:40:54 × JimL quits (~quassel@89.162.16.26) (Client Quit)
12:41:11 JimL joins (~quassel@89.162.16.26)
12:42:05 × JimL quits (~quassel@89.162.16.26) (Client Quit)
12:42:22 JimL joins (~quassel@89.162.16.26)
12:43:11 × JimL quits (~quassel@89.162.16.26) (Client Quit)
12:43:29 JimL joins (~quassel@89.162.16.26)
12:44:23 × JimL quits (~quassel@89.162.16.26) (Client Quit)
12:44:40 JimL joins (~quassel@89.162.16.26)
12:48:25 rosco joins (~rosco@175.136.155.137)
12:48:41 itaipu joins (~itaipu@168.121.98.250)
12:50:29 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 240 seconds)
12:54:18 × califax quits (~califax@user/califx) (Ping timeout: 260 seconds)
12:55:55 califax joins (~califax@user/califx)
12:56:38 × andrewboltachev quits (~andrey@178.141.121.180) (Read error: Connection reset by peer)
13:03:15 andrei_n joins (~andrei_n@2a02:a03f:c091:a800:ba41:cdfa:8500:6fd1)
13:03:15 × andrei_n quits (~andrei_n@2a02:a03f:c091:a800:ba41:cdfa:8500:6fd1) (Changing host)
13:03:15 andrei_n joins (~andrei_n@user/andrei-n:62396)
13:06:33 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:11:40 wootehfoot joins (~wootehfoo@user/wootehfoot)
13:13:58 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:14:01 mlatys parts (~mlatys@117.170.2.216) ()
13:18:14 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
13:18:37 rosco joins (~rosco@175.136.155.137)
13:21:15 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 264 seconds)
13:33:06 andrei_n joins (~andrei_n@user/andrei-n:62396)
13:33:25 Sgeo joins (~Sgeo@user/sgeo)
13:33:57 CiaoSen joins (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03)
13:34:37 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
13:34:52 L29Ah joins (~L29Ah@wikipedia/L29Ah)
13:38:39 × CiaoSen quits (~Jura@2a05:5800:292:9200:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds)
13:42:47 × ft quits (~ft@p3e9bcb39.dip0.t-ipconnect.de) (Quit: Lost terminal)
13:45:33 ft joins (~ft@p3e9bcb39.dip0.t-ipconnect.de)
13:47:52 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
13:49:34 danse-nr3 joins (~danse-nr3@151.43.255.20)
13:57:20 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
14:06:19 polyphem joins (~polyphem@ip-109-43-50-84.web.vodafone.de)
14:08:08 poxel joins (~lennart@user/poxel)
14:14:29 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Quit: Leaving)
14:28:58 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:dbeb:53a2:9c59:cc80) (Ping timeout: 256 seconds)
14:44:06 × danse-nr3 quits (~danse-nr3@151.43.255.20) (Read error: Connection reset by peer)
14:45:03 danse-nr3 joins (~danse-nr3@151.47.234.239)
14:46:28 igghibu joins (~igghibu@178.249.211.89)
14:53:37 soverysour joins (~soverysou@user/soverysour)
15:00:27 × destituion quits (~destituio@85.221.111.174) (Ping timeout: 255 seconds)
15:01:24 madhavanmiui joins (~madhavanm@2409:40f4:1017:32e9:8000::)
15:02:23 × madhavanmiui quits (~madhavanm@2409:40f4:1017:32e9:8000::) (Client Quit)
15:04:45 ubert joins (~Thunderbi@p200300ecdf0cd38d8c8c6a474d4b10c1.dip0.t-ipconnect.de)
15:07:00 × igghibu quits (~igghibu@178.249.211.89) (Remote host closed the connection)
15:09:23 × xdminsy quits (~xdminsy@117.147.70.231) (Read error: Connection reset by peer)
15:13:57 × kuribas` quits (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer)
15:14:55 × ubert quits (~Thunderbi@p200300ecdf0cd38d8c8c6a474d4b10c1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
15:15:08 ubert joins (~Thunderbi@p548c9c74.dip0.t-ipconnect.de)
15:15:56 kuribas` joins (~user@ip-188-118-57-242.reverse.destiny.be)
15:27:29 × euleritian quits (~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 252 seconds)
15:28:04 euleritian joins (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de)
15:28:46 andrei_n joins (~andrei_n@user/andrei-n:62396)
15:37:27 × danse-nr3 quits (~danse-nr3@151.47.234.239) (Ping timeout: 264 seconds)
15:38:13 danse-nr3 joins (~danse-nr3@151.47.234.239)
15:38:20 × itaipu quits (~itaipu@168.121.98.250) (Read error: Connection reset by peer)
15:47:54 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
15:48:38 L29Ah joins (~L29Ah@wikipedia/L29Ah)
15:48:54 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds)
15:52:18 lxsameer joins (~lxsameer@Serene/lxsameer)
15:52:48 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
15:54:49 itaipu joins (~itaipu@168.121.98.250)
15:57:55 iza4k5 joins (~iza4k5@2806:2f0:5321:fd27:4633:5289:a87b:1714)
15:58:40 × iza4k5 quits (~iza4k5@2806:2f0:5321:fd27:4633:5289:a87b:1714) (Remote host closed the connection)
16:00:45 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 255 seconds)
16:02:35 andrei_n joins (~andrei_n@user/andrei-n:62396)
16:07:47 destituion joins (~destituio@2a02:2121:6cb:fbc3:21bb:ad80:8df2:7677)
16:11:09 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
16:11:09 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
16:11:09 × chiselfuse quits (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer)
16:11:09 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
16:11:09 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
16:11:47 sord937 joins (~sord937@gateway/tor-sasl/sord937)
16:11:54 stiell joins (~stiell@gateway/tor-sasl/stiell)
16:12:05 chiselfuse joins (~chiselfus@user/chiselfuse)
16:12:10 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
16:12:11 gmg joins (~user@user/gehmehgeh)
16:18:09 × henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
16:22:05 × euleritian quits (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de) (Ping timeout: 240 seconds)
16:22:26 euleritian joins (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de)
16:23:09 henry40408 joins (~henry4040@175.182.111.183)
16:34:41 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:41:51 Foxxer joins (~Foxxer@189.110.220.179)
16:44:37 × Foxxer quits (~Foxxer@189.110.220.179) (Read error: Connection reset by peer)
16:48:56 × danse-nr3 quits (~danse-nr3@151.47.234.239) (Ping timeout: 256 seconds)
16:51:23 × swamp_ quits (~zmt00@user/zmt00) (Read error: Connection reset by peer)
16:54:18 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
16:55:41 zmt00 joins (~zmt00@user/zmt00)
16:58:54 × euleritian quits (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de) (Ping timeout: 268 seconds)
17:03:33 × kuribas` quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
17:14:01 acontext joins (~acontext@user/acontext)
17:17:45 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
17:19:19 × y-koj quits (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Quit: WeeChat 4.2.1)
17:20:25 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
17:22:07 L29Ah joins (~L29Ah@wikipedia/L29Ah)
17:24:52 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:39:52 dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
17:47:40 madhavanmiui joins (~madhavanm@2409:40f4:3015:ea4d:8000::)
17:48:57 × polyphem quits (~polyphem@ip-109-43-50-84.web.vodafone.de) (Quit: CoreIRC for Android - www.coreirc.com)
17:52:33 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
17:53:15 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
17:54:51 × madhavanmiui quits (~madhavanm@2409:40f4:3015:ea4d:8000::) (Remote host closed the connection)
17:54:59 madhavanmiui joins (~madhavanm@2409:40f4:3015:ea4d:8000::)
17:56:16 × madhavanmiui quits (~madhavanm@2409:40f4:3015:ea4d:8000::) (Client Quit)
18:02:10 y-koj joins (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96)
18:05:10 yin joins (~yin@user/zero)
18:07:03 Guest52 joins (~Guest52@37.214.54.202)
18:08:59 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
18:09:01 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
18:10:23 Lord_of_Life_ is now known as Lord_of_Life
18:13:07 × y-koj quits (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Quit: WeeChat 4.2.1)
18:16:34 Foxxer joins (~Foxxer@189.110.220.179)
18:16:35 Guest10 joins (~Guest52@37.214.54.202)
18:21:15 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 264 seconds)
18:21:51 × Foxxer quits (~Foxxer@189.110.220.179) (Ping timeout: 264 seconds)
18:22:20 × Guest10 quits (~Guest52@37.214.54.202) (Quit: Client closed)
18:22:34 × Guest52 quits (~Guest52@37.214.54.202) (Quit: Client closed)
18:23:23 andrei_n joins (~andrei_n@user/andrei-n:62396)
18:32:51 × dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 255 seconds)
18:37:40 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:38:15 × sprout quits (~quassel@2a02-a448-3a80-0-d1d9-fee0-140e-a81b.fixed6.kpn.net) (Ping timeout: 256 seconds)
18:43:20 simendsjo joins (~user@84.209.170.3)
18:45:49 × simendsjo quits (~user@84.209.170.3) (Client Quit)
18:46:10 ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:46:53 simendsjo joins (~user@84.209.170.3)
18:51:45 dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
18:55:08 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
19:07:25 target_i joins (~target_i@user/target-i/x-6023099)
19:11:03 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 264 seconds)
19:19:51 joeyadams joins (~joeyadams@2603:6010:5100:2ed:cbc0:563b:3363:795b)
19:21:18 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
19:26:25 × dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 256 seconds)
19:28:07 <mauke> are free monads just functor kaleidoscopes?
19:28:53 andrei_n joins (~andrei_n@user/andrei-n:62396)
19:42:19 dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
19:45:56 Square joins (~Square@user/square)
19:48:27 <ncf> what's a functor kaleidoscope?
19:48:53 <glguy> I heard it's like a free monad
19:49:23 <ncf> .-.
19:49:38 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
19:50:33 <darkling> It's similar to a hall of functor mirrors, but less confusing.
19:52:02 × dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 252 seconds)
19:57:52 <EvanR> burrito of mirrors
19:58:09 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:58:17 <geekosaur> mirror of burritos
19:58:55 L29Ah joins (~L29Ah@wikipedia/L29Ah)
20:01:52 <c_wraith> now I'm hungry
20:03:09 × xal quits (~xal@mx1.xal.systems) ()
20:04:58 euleritian joins (~euleritia@dynamic-176-007-158-013.176.7.pool.telefonica.de)
20:05:42 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
20:06:09 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
20:06:22 soverysour joins (~soverysou@user/soverysour)
20:08:08 xal joins (~xal@mx1.xal.systems)
20:09:26 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:10:40 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:14:48 euphores joins (~SASL_euph@user/euphores)
20:16:25 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 246 seconds)
20:23:38 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 268 seconds)
20:25:17 sprout joins (~quassel@2a02-a448-3a80-0-3430-92e6-1565-73f9.fixed6.kpn.net)
20:28:51 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jdvksb)
20:29:08 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
20:33:58 soverysour joins (~soverysou@188.27.2.34)
20:33:58 × soverysour quits (~soverysou@188.27.2.34) (Changing host)
20:33:58 soverysour joins (~soverysou@user/soverysour)
20:39:26 andrei_n joins (~andrei_n@user/andrei-n:62396)
20:43:03 × bontaq quits (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds)
20:45:49 <lxsameer> hey friends, I don't understand why I'm getting this exception: https://dpaste.com/87R9JTL5P
20:45:55 <lxsameer> could you please help me understand
20:47:25 <mauke> getErrorType's signature says the caller gets to choose an 'a'
20:47:50 <mauke> but the implementation can't keep what the type signature promised
20:48:43 <lxsameer> ah ok, but if i change the type to `forall a. (Exception a) => Error -> a` it still does not fix it
20:49:28 <mauke> that means the same thing
20:49:42 <lxsameer> mauke: what would be the fix here?
20:49:42 <mauke> type variables are implicitly (universally) quantified at the top level
20:49:51 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 256 seconds)
20:49:59 <mauke> depends on what you're trying to do
20:50:08 <lxsameer> mauke: ow, got it
20:50:38 <lxsameer> mauke: I want a function that take an error and returns the err field, which is promised to implement Exception typeclass
20:50:45 <mauke> you could replace the whole !e thing by SomeException
20:50:50 dcoutts__ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net)
20:51:11 <mauke> which is really just another existential wrapper around forall e. Exceptiion e => ... e
20:51:28 <lxsameer> mauke: ahhhh, let me read about it
20:51:28 <mauke> you can't return the err field directly because you don't know what type it is
20:51:30 <lxsameer> thank you
20:51:53 <lxsameer> isn't it enough to use the type class here?
20:51:55 <mauke> the other option is to CPS-transform getErrorType
20:52:38 <mauke> getErrorType :: Error -> (forall a. (Exception a) => a -> b) -> b
20:52:59 <lxsameer> interesting
20:53:13 <mauke> but we don't have an 'exists' quantifier
20:53:29 <lxsameer> gotcha
20:53:34 <mauke> so if you want to return the value directly, you have to use an existential wrapper like Error (or SomeException)
20:53:35 <lxsameer> thank you, it's time to read
20:56:34 × simendsjo quits (~user@84.209.170.3) (Ping timeout: 256 seconds)
20:56:59 × michalz quits (~michalz@185.246.207.222) (Quit: ZNC 1.9.0 - https://znc.in)
20:57:41 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds)
20:59:33 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds)
21:00:51 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 264 seconds)
21:01:52 × kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux)
21:02:05 × byorgey quits (~byorgey@user/byorgey) (Quit: Lost terminal)
21:02:14 kimiamania joins (~65804703@user/kimiamania)
21:03:18 tomboy64 joins (~tomboy64@user/tomboy64)
21:03:25 andrei_n joins (~andrei_n@user/andrei-n:62396)
21:09:19 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
21:15:29 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:19:19 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 256 seconds)
21:23:11 andrei_n joins (~andrei_n@user/andrei-n:62396)
21:34:12 × andrei_n quits (~andrei_n@user/andrei-n:62396) (Quit: Leaving)
21:46:46 pavonia joins (~user@user/siracusa)
21:51:08 philopsos1 joins (~caecilius@user/philopsos)
21:55:48 × poxel quits (~lennart@user/poxel) (Quit: WeeChat 4.3.2)
21:56:08 poxel joins (~lennart@user/poxel)
21:58:19 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
21:58:34 × poxel quits (~lennart@user/poxel) (Client Quit)
21:59:00 × joeyadams quits (~joeyadams@2603:6010:5100:2ed:cbc0:563b:3363:795b) (Quit: Leaving)
22:00:37 ocra8 joins (~ocra8@user/ocra8)
22:00:49 × ocra8 quits (~ocra8@user/ocra8) (Max SendQ exceeded)
22:04:17 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:14:04 tabemann_ joins (~tabemann@2600:1700:7990:24e0:2412:852b:477a:286f)
22:16:10 × tabemann quits (~tabemann@2600:1700:7990:24e0:2412:852b:477a:286f) (Ping timeout: 268 seconds)
22:21:18 falafel joins (~falafel@2a0c:5a87:3103:ec01::62b8)
22:24:30 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 268 seconds)
22:25:51 × mud quits (~mud@user/kadoban) (Quit: quit)
22:27:53 × falafel quits (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 268 seconds)
22:28:38 mud joins (~mud@user/kadoban)
22:37:22 philopsos1 joins (~caecilius@user/philopsos)
22:37:34 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
22:41:03 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds)
22:42:24 falafel joins (~falafel@2a0c:5a87:3103:ec01::62b8)
22:51:48 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:54:49 × phma quits (~phma@host-67-44-208-58.hnremote.net) (Read error: Connection reset by peer)
22:55:32 phma joins (phma@2001:5b0:210b:aea8:538c:529b:c69b:8275)
22:59:23 <monochrom> Belated re: functor kaleidoscopes: Why would people prefer a broken analogy that takes half an hour to rationalize to just reading the definition that takes only five minutes? (OK rhetorical question. Answer: Not-Invented-Here.)
23:02:18 <monochrom> The more constructive thing I can say is that I learned free monads by trying it on a few functors and playing with them to get the hang of what happens.
23:02:30 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
23:03:01 <monochrom> One day I am adding "Learn by Playing" to one of my pedagogical slogans / statements of position.
23:12:10 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
23:14:19 ChaiTRex joins (~ChaiTRex@user/chaitrex)
23:16:44 ajr0d joins (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net)
23:18:09 × acidjnk_new3 quits (~acidjnk@p200300d6e714dc0755a3999fc5d750b0.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
23:20:03 <ajr0d> Hi all, new to Haskell. I'm trying to run a web server via Scotty.  I've made a paste here, but formatting is gross and forgot to delete the top line m/b. https://paste.tomsmeding.com/eMeqZIb0
23:21:00 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
23:24:51 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds)
23:24:54 × dcoutts__ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 255 seconds)
23:26:48 <cheater> cool! enjoy it
23:28:26 <ajr0d> sorry, i should of made the point that i'm getting failures, yet i'm not sure what's causing them exactly.  i have added most context in that paste.
23:32:58 <cheater> so this is just the stack
23:33:12 <cheater> it's basically a wrapper around the software actually providing value, which is cabal
23:33:15 <cheater> you want the cabal error
23:33:20 <cheater> the last line tells you how to get it
23:33:22 <cheater> look in there
23:34:33 philopsos1 joins (~caecilius@user/philopsos)
23:36:24 <ajr0d> the last line of my error output tells me how to get the cabal error, which i want? i'm confused
23:39:27 <cheater> Process exited with code: ExitFailure 1
23:39:27 <cheater> ````
23:39:33 <cheater> no
23:39:47 <cheater> here /Users/ajl/.stack/setup-exe-cache/aarch64-osx/Cabal-simple_6HauvNHV_3.10.3.0_ghc-9.6.5 --verbose=1 --builddir=.stack-work/dist/aarch64-osx/ghc-9.6.5 build lib:combatcalendar exe:combatcalendar-exe --ghc-options " -fdiagnostics-color=always"
23:41:23 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 252 seconds)
23:42:28 <cheater> sorry a line is missing telling you to actually look at this thing
23:42:30 <cheater> ANYWAYS
23:42:37 <cheater> just look at what the last 4 lines of your paste say
23:42:43 <cheater> they instruct you how to get the *actual* log
23:42:56 <cheater> stop using stack, it's garbage and gets in the way
23:42:59 <cheater> it's like rails
23:43:14 <ajr0d> what should i use instead?
23:43:24 <cheater> cabal
23:51:26 <geekosaur> I'm not a stack proponent, but the actual error was clearly there in the original paste
23:51:56 <ajr0d> Yeah using the cabal command it just gave me the similar output.
23:52:05 <geekosaur> lines 89-97
23:52:06 <ajr0d> i'm assuming i'm misisng an import statement of some sort
23:55:11 <geekosaur> no, it's there since 0.21. what's your stack.yaml look like?
23:55:30 <cheater> oh yeah, it was
23:55:38 <cheater> i'm on a small screen, i literally only saw the last bit lol
23:55:46 <ajr0d> i've made no changes to it, geekosaur. i'll add it to a paste for you one sec.
23:55:57 <ajr0d> https://paste.tomsmeding.com/OK5UrgAV
23:57:55 × [exa] quits (~exa@user/exa/x-3587197) (Ping timeout: 268 seconds)
23:57:59 <geekosaur> that resolver has scotty 0.20.1, you need at least 0.21 to have pathParam
23:58:27 <geekosaur> you have to use param instead of pathParam
23:58:50 <ajr0d> oops. is it easy to update?
23:58:57 <geekosaur> no
23:59:06 <cheater> yeah.. use cabal
23:59:13 <geekosaur> looks like there's no LTS with a later scotty; you'd need to use an extra-dep
23:59:18 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: Leaving)
23:59:32 <ajr0d> okay i'll use cabal lol
23:59:46 <geekosaur> (aside from nightly, which is "experts only" territory)
23:59:49 <cheater> rare W

All times are in UTC on 2024-06-21.