Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 366 367 368 369 370 371 372 373 374 375 376 .. 5022
— 502,152 events total
2020-10-02 12:03:47 <maralorn> Or I don‘t see how to use them to do it.
2020-10-02 12:04:23 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-02 12:04:30 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-02 12:04:47 <maralorn> I think the problem is that I need a Parser type that can say "Success this a is my Result, but oh btw. I haven‘t consumed this string s, so you might wanna look into that"
2020-10-02 12:05:10 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-02 12:05:29 × CMCDragonkai1 quits (~Thunderbi@124.19.3.250) (Quit: CMCDragonkai1)
2020-10-02 12:05:34 <maralorn> Huh, I could try that With Parser (a,s).^^
2020-10-02 12:06:05 <tomjaguarpaw> What is the canonical location for Cabal documentation?
2020-10-02 12:06:22 <tomjaguarpaw> Is it cabal.readthedocs.io?
2020-10-02 12:06:56 → jgt joins (~jgt@195.225.146.77)
2020-10-02 12:07:06 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-02 12:08:43 → Sarma joins (~Amras@unaffiliated/amras0000)
2020-10-02 12:09:06 <yushyin> tomjaguarpaw: at least https://www.haskell.org/cabal/ links to https://cabal.readthedocs.io/ so I guess, yes!
2020-10-02 12:10:03 → HaskellYogi joins (~vivekrama@49.207.202.80)
2020-10-02 12:10:36 <ski> maralorn : `s' would be the remaining input ?
2020-10-02 12:10:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 12:10:56 <maralorn> ski: Yeas
2020-10-02 12:11:20 <Axman6> I thought most parser libraries gave you a way to parse something and also get the remaining input
2020-10-02 12:11:32 <Axman6> I'm sure Attoparsec does
2020-10-02 12:12:05 × draliana quits (draliana@bl6-172-220.dsl.telepac.pt) (Remote host closed the connection)
2020-10-02 12:12:45 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds)
2020-10-02 12:12:52 <ski> yea, they usually do
2020-10-02 12:13:05 <tomjaguarpaw> yushyin: Thanks
2020-10-02 12:13:08 <maralorn> Do they?
2020-10-02 12:13:18 → draliana joins (draliana@bl6-172-220.dsl.telepac.pt)
2020-10-02 12:13:21 × draliana quits (draliana@bl6-172-220.dsl.telepac.pt) (Excess Flood)
2020-10-02 12:13:25 → cpressey joins (~cpressey@88.144.70.46)
2020-10-02 12:13:36 → draliana joins (draliana@bl6-172-220.dsl.telepac.pt)
2020-10-02 12:13:38 × draliana quits (draliana@bl6-172-220.dsl.telepac.pt) (Excess Flood)
2020-10-02 12:13:44 <maralorn> I see that you can provide more input to a partial parse in attoparsec. And that you can have a "Fail" that gives you the remaining input.
2020-10-02 12:13:53 → draliana joins (draliana@bl6-172-220.dsl.telepac.pt)
2020-10-02 12:13:55 × draliana quits (draliana@bl6-172-220.dsl.telepac.pt) (Excess Flood)
2020-10-02 12:14:06 <maralorn> But I don‘t see a function, that gives you a Success with the remaining input.
2020-10-02 12:14:11 → draliana joins (draliana@bl6-172-220.dsl.telepac.pt)
2020-10-02 12:14:12 × draliana quits (draliana@bl6-172-220.dsl.telepac.pt) (Excess Flood)
2020-10-02 12:14:59 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-02 12:17:29 <maralorn> I am a bit confused, because I know I have seen something like that, but I can‘t find it …
2020-10-02 12:18:29 × Amras quits (~Amras@unaffiliated/amras0000) (Quit: Leaving)
2020-10-02 12:18:39 × madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 258 seconds)
2020-10-02 12:18:41 × Sarma quits (~Amras@unaffiliated/amras0000) (Quit: Leaving)
2020-10-02 12:18:49 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-02 12:19:01 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-02 12:20:55 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-10-02 12:20:57 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 12:21:00 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:7d75:9a99:2c63:b831)
2020-10-02 12:21:57 → st8less joins (~st8less@2603:a060:11fd:0:6883:ccc4:e325:916a)
2020-10-02 12:22:25 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-02 12:22:27 <ski> maralorn : <https://hackage.haskell.org/package/attoparsec-0.13.2.4/docs/Data-Attoparsec-ByteString.html#v:parse> ?
2020-10-02 12:23:24 <maralorn> Oh, the Done Constructor is different.^^
2020-10-02 12:23:24 <maralorn> Sorry for that.^^
2020-10-02 12:25:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-02 12:25:55 × ph88^ quits (~ph88@46.183.103.8) (Remote host closed the connection)
2020-10-02 12:26:19 → ph88^ joins (~ph88@46.183.103.8)
2020-10-02 12:29:08 × jonatanb quits (~jonatanb@83.24.231.247.ipv4.supernova.orange.pl) (Read error: Connection reset by peer)
2020-10-02 12:30:25 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 240 seconds)
2020-10-02 12:30:28 hackage record-dot-preprocessor 0.2.7 - Preprocessor to allow record.field syntax https://hackage.haskell.org/package/record-dot-preprocessor-0.2.7 (NeilMitchell)
2020-10-02 12:31:03 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 12:31:05 × HaskellYogi quits (~vivekrama@49.207.202.80) (Ping timeout: 240 seconds)
2020-10-02 12:33:18 → HaskellYogi joins (~vivekrama@49.207.202.80)
2020-10-02 12:35:16 × haasn quits (~haasn@mpv/developer/haasn) (Ping timeout: 256 seconds)
2020-10-02 12:35:26 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-02 12:35:31 × John20 quits (~John@82.46.59.122) (Ping timeout: 258 seconds)
2020-10-02 12:35:43 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-02 12:40:35 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-02 12:41:15 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 12:42:04 × HaskellYogi quits (~vivekrama@49.207.202.80) (Ping timeout: 256 seconds)
2020-10-02 12:42:23 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-vlspjywaiiubsfqi)
2020-10-02 12:43:18 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-02 12:43:40 → HaskellYogi joins (~vivekrama@49.207.202.80)
2020-10-02 12:45:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-02 12:45:45 → haasn joins (~haasn@mpv/developer/haasn)
2020-10-02 12:49:24 → John20 joins (~John@82.46.59.122)
2020-10-02 12:51:19 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 12:52:43 → berberman joins (~berberman@2408:8207:2562:2400::a44)
2020-10-02 12:54:51 × ph88^ quits (~ph88@46.183.103.8) (Quit: Leaving)
2020-10-02 12:55:10 → mota joins (~mota@89.47.234.28)
2020-10-02 12:55:50 × Clough quits (~Cain@194-193-141-75.tpgi.com.au) (Read error: Connection reset by peer)
2020-10-02 12:55:58 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-02 12:56:33 → Tops21 joins (~Tobias@dyndsl-095-033-022-004.ewe-ip-backbone.de)
2020-10-02 12:58:03 → Tops22 joins (~Tobias@dyndsl-095-033-022-004.ewe-ip-backbone.de)
2020-10-02 12:59:59 × Tops2 quits (~Tobias@dyndsl-095-033-022-004.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2020-10-02 13:01:23 × Tops21 quits (~Tobias@dyndsl-095-033-022-004.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2020-10-02 13:01:29 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 13:02:33 <maralorn> Is there a way to flush stdout while writing a lazy Text?
2020-10-02 13:03:07 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 258 seconds)
2020-10-02 13:03:49 <phadej> you mean, between chunks?
2020-10-02 13:05:47 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-02 13:06:16 → FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:6980:7e19:3f7b:9844)
2020-10-02 13:06:36 → nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-02 13:06:37 <hc> You could write your own lazy putStr function and do it there, I think
2020-10-02 13:06:42 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:7d75:9a99:2c63:b831) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-02 13:07:43 <hc> i.e., get Chunk, write it, flush stdout, unsafeInterleaveIO, repeat
2020-10-02 13:09:16 <ski> `unsafeInterleaveIO' ?
2020-10-02 13:10:41 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:41ee:e0ba:d692:129)
2020-10-02 13:10:47 × nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 240 seconds)
2020-10-02 13:11:40 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 13:12:53 × toorevitimirp quits (~tooreviti@117.182.181.38) (Ping timeout: 265 seconds)
2020-10-02 13:13:16 → chappi joins (~swaroop@157.49.90.100)
2020-10-02 13:13:25 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-02 13:14:01 <phadej> why
←Prev  Next→
Page 1 .. 366 367 368 369 370 371 372 373 374 375 376 .. 5022

All times are in UTC.