Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 145 146 147 148 149 150 151 152 153 154 155 .. 5022
— 502,152 events total
2020-09-22 22:28:28 → bc178 joins (43bce2b8@67.188.226.184)
2020-09-22 22:29:09 × bc178 quits (43bce2b8@67.188.226.184) (Remote host closed the connection)
2020-09-22 22:30:57 <cr0ssw1nd> monochrom, awesome
2020-09-22 22:31:22 <cr0ssw1nd> now I recalled that I read about step 1
2020-09-22 22:31:41 <cr0ssw1nd> but didn't know that forall also does this
2020-09-22 22:32:06 <cr0ssw1nd> I need the type annotation mostly from educational reasons though
2020-09-22 22:32:28 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-09-22 22:33:24 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-22 22:34:09 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-09-22 22:34:32 × chaosmasttter quits (~chaosmast@p200300c4a714f10131538000641ea681.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-09-22 22:34:57 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-09-22 22:35:46 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds)
2020-09-22 22:36:27 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-22 22:36:43 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-09-22 22:37:42 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 272 seconds)
2020-09-22 22:37:44 → eric joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df)
2020-09-22 22:39:05 <sshine> cr0ssw1nd, it's the combination of ScopedTypeVariables and explicitl forall that makes it work.
2020-09-22 22:39:45 → rprije joins (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-22 22:40:27 <sshine> so 'Monad m => m [SomeType]' becomes '(forall m. Monad m => m [SomeType])' without ScopedTypeVariables, and with, the parenthesis extends to the 'where' declarations.
2020-09-22 22:40:29 <cr0ssw1nd> sshine, but I actually didn't specify ScopedTypeVariables now
2020-09-22 22:40:37 <sshine> cr0ssw1nd, oh.
2020-09-22 22:40:45 <cr0ssw1nd> although it probably could be taken from project config
2020-09-22 22:41:03 <cr0ssw1nd> (parent one)
2020-09-22 22:41:30 <cr0ssw1nd> your explanation makes sense actually
2020-09-22 22:42:43 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-09-22 22:42:46 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-09-22 22:45:13 × kanishka quits (~kanishka@207.38.161.184) (Quit: Quit)
2020-09-22 22:48:27 hackage shake-futhark 0.2.0.0 - Dependency tracking for Futhark https://hackage.haskell.org/package/shake-futhark-0.2.0.0 (vmchale)
2020-09-22 22:48:59 × alp quits (~alp@2a01:e0a:58b:4920:70da:fbd3:2228:5773) (Ping timeout: 272 seconds)
2020-09-22 22:49:14 × puffnfresh_ quits (~puffnfres@45.76.124.5) (Quit: ZNC 1.8.0 - https://znc.in)
2020-09-22 22:50:19 → alp joins (~alp@2a01:e0a:58b:4920:b002:3906:2dae:d503)
2020-09-22 22:51:31 × ph88_ quits (~ph88@2a02:8109:9e40:2704:a1b2:872a:487a:52ae) (Ping timeout: 272 seconds)
2020-09-22 22:51:34 → puffnfresh_ joins (~puffnfres@45.76.124.5)
2020-09-22 22:54:19 × isovector1 quits (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) (Quit: Leaving)
2020-09-22 22:55:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-22 22:55:58 → Tesseraction_m joins (~Tesseract@unaffiliated/tesseraction)
2020-09-22 22:58:24 × Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 256 seconds)
2020-09-22 22:58:57 hackage implicit-hie-cradle 0.2.0.1 - Auto generate hie-bios cradles https://hackage.haskell.org/package/implicit-hie-cradle-0.2.0.1 (Avi_Dessauer)
2020-09-22 23:00:35 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-22 23:01:26 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-09-22 23:05:03 → marmalodak joins (~marmaloda@c-73-202-176-57.hsd1.ca.comcast.net)
2020-09-22 23:09:51 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-09-22 23:10:31 × alp quits (~alp@2a01:e0a:58b:4920:b002:3906:2dae:d503) (Ping timeout: 272 seconds)
2020-09-22 23:10:41 → nicholaslyang joins (~nicholasl@cpe-67-243-148-221.nyc.res.rr.com)
2020-09-22 23:14:47 × nicholaslyang quits (~nicholasl@cpe-67-243-148-221.nyc.res.rr.com) (Client Quit)
2020-09-22 23:15:06 → debclare joins (~debclare@host-186-3-198-7.netlife.ec)
2020-09-22 23:15:08 → Amras joins (~Amras@unaffiliated/amras0000)
2020-09-22 23:16:14 × debclare quits (~debclare@host-186-3-198-7.netlife.ec) (Client Quit)
2020-09-22 23:20:26 → wavemode_ joins (~wavemode@107.77.248.139)
2020-09-22 23:21:10 × wavemode_ quits (~wavemode@107.77.248.139) (Remote host closed the connection)
2020-09-22 23:21:40 → wavemode_ joins (~wavemode@107.77.248.139)
2020-09-22 23:22:15 → aljce joins (617326cd@97-115-38-205.ptld.qwest.net)
2020-09-22 23:22:26 × wavemode quits (~wavemode@097-070-075-143.res.spectrum.com) (Ping timeout: 260 seconds)
2020-09-22 23:22:35 <aljce> does anyone know of a good text escaping function i can use?
2020-09-22 23:22:42 <aljce> like escape :: Text -> Text
2020-09-22 23:23:03 × sleblanc quits (~sleblanc@unaffiliated/sebleblanc) (Ping timeout: 260 seconds)
2020-09-22 23:23:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-22 23:25:05 <sm[m]> what should it do ?
2020-09-22 23:25:27 <aljce> "\n" -> "\\n"
2020-09-22 23:27:56 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-09-22 23:28:37 <sm[m]> here are some https://hoogle.haskell.org/?hoogle=quoteIfNeeded&scope=set%3Astackage&= like that
2020-09-22 23:29:02 <hpc> that still leaves a lot open to interpretation - how should it handle quotes? does it matter that it's \\n and not \0x20? what other non-printable characters need to be escaped?
2020-09-22 23:29:13 <sm[m]> click Source to see code you can copy
2020-09-22 23:29:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-22 23:29:40 × mirk0_ quits (~mirko@unaffiliated/-mirko-/x-2946915) (Ping timeout: 265 seconds)
2020-09-22 23:30:16 × wavemode_ quits (~wavemode@107.77.248.139) (Ping timeout: 272 seconds)
2020-09-22 23:31:22 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:7d6b:724c:3a0b:bf8f)
2020-09-22 23:31:23 <sm[m]> looking again, it's not quite what you asked. How about just "show" ?
2020-09-22 23:32:01 × Tesseraction_m quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 264 seconds)
2020-09-22 23:33:32 × tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 265 seconds)
2020-09-22 23:33:40 → tomku joins (~tomku@unaffiliated/tomku)
2020-09-22 23:33:57 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds)
2020-09-22 23:35:41 → Tesseraction joins (~Tesseract@unaffiliated/tesseraction)
2020-09-22 23:36:55 <sm[m]> T.pack . show I guess
2020-09-22 23:37:03 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-09-22 23:37:10 <hpc> show adds quotation marks around whatever you're escaping
2020-09-22 23:37:28 <hpc> which may or may not be a problem
2020-09-22 23:37:58 × LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-09-22 23:38:12 × ericsagnes quits (~ericsagne@2405:6580:0:5100:1d6:8b82:83b6:a62b) (Ping timeout: 260 seconds)
2020-09-22 23:39:23 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-22 23:39:30 <sm[m]> true
2020-09-22 23:41:01 → alp joins (~alp@88.126.45.36)
2020-09-22 23:43:50 → jedws joins (~jedws@121.209.139.222)
2020-09-22 23:44:23 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-09-22 23:44:36 → carlomagno joins (~cararell@inet-hqmc02-o.oracle.com)
2020-09-22 23:45:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-09-22 23:47:54 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-22 23:48:13 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2020-09-22 23:51:03 → ericsagnes joins (~ericsagne@2405:6580:0:5100:aa:72fb:77bf:1002)
2020-09-22 23:52:03 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-09-22 23:52:17 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-22 23:52:57 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-22 23:54:07 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-09-22 23:57:34 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-gdptvzwawxoahyub) (Quit: Connection closed for inactivity)
2020-09-22 23:57:44 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-22 23:58:45 × machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Remote host closed the connection)
2020-09-22 23:59:29 → jedws joins (~jedws@121.209.139.222)
2020-09-23 00:00:02 × boily quits (~boily@185.204.1.185) ()
2020-09-23 00:00:20 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-23 00:00:40 × alp quits (~alp@88.126.45.36) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 145 146 147 148 149 150 151 152 153 154 155 .. 5022

All times are in UTC.