Logs: freenode/#haskell
| 2021-03-30 12:12:10 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-30 12:14:03 | × | plutoniix quits (~q@184.82.217.128) (Quit: Leaving) |
| 2021-03-30 12:15:57 | → | tinhatcat joins (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) |
| 2021-03-30 12:17:34 | × | tinhatcat quits (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Client Quit) |
| 2021-03-30 12:19:10 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-30 12:21:50 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-30 12:22:03 | → | proteusguy joins (~proteusgu@cm-58-10-155-117.revip7.asianet.co.th) |
| 2021-03-30 12:22:12 | → | writenix joins (~quassel@151.189.63.94.rev.vodafone.pt) |
| 2021-03-30 12:22:50 | × | writenix quits (~quassel@151.189.63.94.rev.vodafone.pt) (Client Quit) |
| 2021-03-30 12:22:58 | <joel135> | http://hackage.haskell.org/package/profunctors-5.2.2/docs/Data-Profunctor-Strong.html#t:Pastro |
| 2021-03-30 12:23:09 | → | writenix joins (~quassel@151.189.63.94.rev.vodafone.pt) |
| 2021-03-30 12:23:30 | <joel135> | shouldn't it be Pastro -| Forget -| Tambara ? |
| 2021-03-30 12:24:42 | × | writenix quits (~quassel@151.189.63.94.rev.vodafone.pt) (Client Quit) |
| 2021-03-30 12:24:43 | × | knupfer quits (~Thunderbi@dynamic-046-114-145-192.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-03-30 12:24:44 | <joel135> | like Coproduct -| Diagonal -| Product |
| 2021-03-30 12:25:27 | × | PjotrOrial1 quits (~PjotrOria@185.163.110.108) (Remote host closed the connection) |
| 2021-03-30 12:29:11 | <txb920> | Thanks joel135 for the pointfree version! Was wondering what it'd look like |
| 2021-03-30 12:35:18 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-03-30 12:37:53 | × | dcoutts_ quits (~dcoutts@unaffiliated/dcoutts) (Remote host closed the connection) |
| 2021-03-30 12:40:35 | → | CyBrChRsT joins (~CyBrChRsT@185.204.1.185) |
| 2021-03-30 12:45:39 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-30 12:45:57 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-03-30 12:47:17 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-30 12:49:05 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-30 12:51:14 | × | Sorna quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 252 seconds) |
| 2021-03-30 12:52:14 | × | CyBrChRsT quits (~CyBrChRsT@185.204.1.185) (Read error: Connection reset by peer) |
| 2021-03-30 12:55:29 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-03-30 12:57:34 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Quit: Off to see the wizard.) |
| 2021-03-30 12:58:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-30 12:59:25 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-03-30 12:59:52 | <joel135> | oh it is Pastro -| Tambara in the sense of a monad adjoint to a comonad, not in the sense of a functor (with different endpoints) adjoint to another functor |
| 2021-03-30 13:02:48 | × | xff0x quits (~xff0x@2001:1a81:52a1:b000:8b5c:afc4:d97b:3fb5) (Ping timeout: 246 seconds) |
| 2021-03-30 13:03:43 | → | xff0x joins (~xff0x@2001:1a81:52a1:b000:b050:426f:481c:717d) |
| 2021-03-30 13:06:28 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-30 13:07:05 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Read error: Connection reset by peer) |
| 2021-03-30 13:07:13 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-30 13:07:39 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-03-30 13:09:06 | → | Guest23174 joins (~Waithamai@178.239.168.171) |
| 2021-03-30 13:09:22 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9573a492bd14a7c56ad5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-03-30 13:10:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-30 13:11:35 | → | idhugo__ joins (~idhugo@87-49-45-185-mobile.dk.customer.tdc.net) |
| 2021-03-30 13:12:02 | → | bitmagie joins (~Thunderbi@200116b806f90e000dc05e3ac2e4e54a.dip.versatel-1u1.de) |
| 2021-03-30 13:12:08 | → | zjp joins (~zjp@66-45-138-104-dynamic.midco.net) |
| 2021-03-30 13:12:28 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Quit: Off to see the wizard.) |
| 2021-03-30 13:12:42 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 268 seconds) |
| 2021-03-30 13:13:29 | → | carlomagno joins (~cararell@148.87.23.5) |
| 2021-03-30 13:13:54 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-03-30 13:14:32 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 2021-03-30 13:15:16 | → | tefter joins (~bmaxa@62.240.24.69) |
| 2021-03-30 13:15:50 | → | Sornaensis joins (~Sornaensi@79.142.232.102) |
| 2021-03-30 13:16:18 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-30 13:18:46 | × | Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds) |
| 2021-03-30 13:21:37 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-30 13:21:37 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-30 13:21:37 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-30 13:24:38 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-03-30 13:25:03 | → | Wuzzy joins (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) |
| 2021-03-30 13:25:08 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-30 13:25:43 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-30 13:26:40 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-30 13:27:02 | → | Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-30 13:27:21 | → | ixlun joins (~matthew@109.249.184.145) |
| 2021-03-30 13:29:45 | → | drbean_ joins (~drbean@TC210-63-209-41.static.apol.com.tw) |
| 2021-03-30 13:30:00 | <maralorn> | I have this super useful workflow of running hedgehog tests with ghcid. But hedgehog detects, that it’s not printing to stdout and therefore does not use the interactive, colorful progress report. Any tricks how I could work around that? |
| 2021-03-30 13:30:29 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Ping timeout: 246 seconds) |
| 2021-03-30 13:30:38 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-03-30 13:30:51 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-30 13:31:27 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit) |
| 2021-03-30 13:31:33 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-30 13:31:51 | → | ben3123 joins (d98aca74@217.138.202.116) |
| 2021-03-30 13:31:55 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-30 13:32:02 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-30 13:32:52 | <maralorn> | fd .hs | entr -- runhaskell MyTests.hs |
| 2021-03-30 13:32:53 | <maralorn> | does for now. |
| 2021-03-30 13:33:00 | → | Sgeo_ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-30 13:33:04 | <opqdonut> | maralorn: looking at the source, could you use checkConfig with RunnerConfig with runnerColor set |
| 2021-03-30 13:33:12 | <opqdonut> | err sorry, checkGroup |
| 2021-03-30 13:33:15 | <merijn> | maralorn: You mean tricks that involve changing the code or not? :p |
| 2021-03-30 13:33:36 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-30 13:33:36 | <joel135> | is this related to https://stackoverflow.com/questions/911168/how-to-detect-if-my-shell-script-is-running-through-a-pipe ? |
| 2021-03-30 13:33:50 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-30 13:33:56 | <maralorn> | merijn: This is for work. So anything that get’s the job done. |
| 2021-03-30 13:34:09 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-30 13:34:28 | <merijn> | maralorn: It's definitely possible to *make* it work, but it depends how much time you're willing to commit :p |
| 2021-03-30 13:34:59 | <geekosaur> | and effort |
| 2021-03-30 13:35:07 | <merijn> | maralorn: Presumably as opqdonut says there's an override to force colour enabled in hedgehog, but if not you can cheat and make hedgehog *think* it's connected to a terminal |
| 2021-03-30 13:35:13 | <ben3123> | Hey everyone, I am revising for an exam here and got stuck on the following exercise: |
| 2021-03-30 13:35:15 | <ben3123> | https://paste.tomsmeding.com/jG3Pw6jm |
| 2021-03-30 13:35:28 | <ben3123> | does someone have any tips? Thanks |
| 2021-03-30 13:35:46 | <merijn> | maralorn: But that requires a bit of work, which might be more than you're willing to invest :p |
| 2021-03-30 13:36:22 | <peanut_> | ben3123, deja vu... |
| 2021-03-30 13:36:34 | <ben3123> | yeah, i copied it wrong :D |
| 2021-03-30 13:36:58 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-03-30 13:37:03 | <maralorn> | merijn: I will stick with my entr workaround. I guess it would only get a problem once compile times get to long and I don‘t expect that soon. |
| 2021-03-30 13:37:24 | <merijn> | maralorn: Basically, you can write a wrapper program that creates a pty and starts your hedgehog tests attached to the pty. Then copy all data from the pty to the output |
| 2021-03-30 13:38:30 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 2021-03-30 13:38:30 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 2021-03-30 13:38:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-03-30 13:38:48 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-30 13:38:49 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
All times are in UTC.