Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 672 673 674 675 676 677 678 679 680 681 682 .. 5022
— 502,152 events total
2020-10-16 13:17:27 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-16 13:18:00 → nek0 joins (~nek0@mail.nek0.eu)
2020-10-16 13:20:49 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-16 13:21:31 → chris joins (~chris@81.96.113.213)
2020-10-16 13:21:54 chris is now known as Guest55918
2020-10-16 13:22:00 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:21a4:edc3:68a:18f4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-16 13:22:32 → thir joins (~thir@p200300f27f025800a12cbcb87939dcdb.dip0.t-ipconnect.de)
2020-10-16 13:24:31 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-16 13:24:34 × nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection)
2020-10-16 13:24:40 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-16 13:26:49 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:1998:2d6c:5e41:4ff5)
2020-10-16 13:26:52 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-16 13:27:01 × thir quits (~thir@p200300f27f025800a12cbcb87939dcdb.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-16 13:27:09 × geekosaur quits (82659a0e@host154-014.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-16 13:27:10 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-16 13:27:10 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-16 13:27:10 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-16 13:27:30 → ystael joins (~ystael@209.6.50.55)
2020-10-16 13:28:59 → dhil joins (~dhil@78.156.97.38)
2020-10-16 13:29:57 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-16 13:30:09 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-16 13:31:30 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-16 13:31:58 hackage mcmc 0.2.4 - Sample from a posterior using Markov chain Monte Carlo https://hackage.haskell.org/package/mcmc-0.2.4 (dschrempf)
2020-10-16 13:31:59 → nyd joins (~lpy@unaffiliated/elysian)
2020-10-16 13:32:50 → polyrain_ joins (~polyrain@58.161.83.164)
2020-10-16 13:33:08 × jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-16 13:34:03 × Benzi-Junior quits (~BenziJuni@88-149-67-198.du.xdsl.is) (Ping timeout: 258 seconds)
2020-10-16 13:34:06 → kindaro joins (1f08d425@h31-8-212-37.dyn.bashtel.ru)
2020-10-16 13:34:20 <kindaro> How can I encode my type to a `ByteString` with custom Aeson options?
2020-10-16 13:34:23 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-16 13:34:41 <kindaro> The default `encode` does not accept options.
2020-10-16 13:35:33 <kindaro> My type is Generic, so I can use `genericToJSON` to obtain `Value`, however I cannot find a way to convert `Value` to the serial representation.
2020-10-16 13:35:45 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-16 13:35:55 × polyrain quits (~polyrain@2001:8003:e501:6901:38e4:6ee5:bca4:d4a) (Ping timeout: 240 seconds)
2020-10-16 13:36:09 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-16 13:36:28 <kindaro> I read the docs with all eyes I have but I could not find an appropriate function.
2020-10-16 13:37:09 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-16 13:37:18 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-16 13:37:29 × invaser quits (~Thunderbi@31.148.23.125) (Quit: invaser)
2020-10-16 13:40:57 <lortabac> kindaro: one way to do it is to define a ToJSON instance: toJSON = genericToJSON options
2020-10-16 13:40:59 → Benzi-Junior joins (~BenziJuni@88-149-67-198.du.xdsl.is)
2020-10-16 13:41:03 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-16 13:41:41 <kindaro> So then a type can only be encoded one way, I see.
2020-10-16 13:43:42 <lortabac> if you don't want to rely on the type classes, you can find a way to produce a Value and then just 'encode' the Value
2020-10-16 13:44:01 <lortabac> Value has a ToJSON instance
2020-10-16 13:45:28 hackage pusher-http-haskell 2.0.0.2 - Haskell client library for the Pusher Channels HTTP API https://hackage.haskell.org/package/pusher-http-haskell-2.0.0.2 (willsewell)
2020-10-16 13:46:27 <kindaro> Oh, I did not realize this. Thanks.
2020-10-16 13:46:44 <lortabac> unless you need to customize the Value -> ByteString part
2020-10-16 13:47:20 × drbean quits (~drbean@TC210-63-209-44.static.apol.com.tw) (Ping timeout: 272 seconds)
2020-10-16 13:47:21 <merijn> At that point you need to question your life choices, tbh
2020-10-16 13:47:31 <kindaro> `encode ∘ genericToJSON options` is what I need.
2020-10-16 13:47:38 × Guest55918 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-16 13:47:45 <kindaro> Life choices?
2020-10-16 13:48:08 <merijn> If you need to customize the "Value -> ByteString" part as lortabac commented
2020-10-16 13:48:38 <kindaro> Ah. Well, in my case I do not.
2020-10-16 13:48:38 × jespada quits (~jespada@90.254.245.15) (Ping timeout: 260 seconds)
2020-10-16 13:49:00 × kindaro quits (1f08d425@h31-8-212-37.dyn.bashtel.ru) (Remote host closed the connection)
2020-10-16 13:49:04 <lortabac> I said that because I was not sure I understood your question correctly
2020-10-16 13:49:20 <lortabac> I was not encouraging to do that :)
2020-10-16 13:49:56 → jespada joins (~jespada@90.254.245.15)
2020-10-16 13:51:31 <phadej> genericToEncoding might be more direct way
2020-10-16 13:51:43 <phadej> refer to the documentation how to convert Encoding to (lazy) ByteString
2020-10-16 13:52:14 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-16 13:52:16 → irc_user joins (uid423822@gateway/web/irccloud.com/x-juqawwjwttxnnpia)
2020-10-16 13:52:18 × Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Quit: WeeChat 2.9)
2020-10-16 13:54:31 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:e9bc:8751:d550:a446) (Read error: Connection reset by peer)
2020-10-16 13:54:36 → Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com)
2020-10-16 13:56:36 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-16 13:57:21 × alp quits (~alp@2a01:e0a:58b:4920:117b:f16b:d9b4:551d) (Ping timeout: 272 seconds)
2020-10-16 13:58:15 × Lycurgus quits (~niemand@98.4.96.235) (Quit: Exeunt)
2020-10-16 13:58:45 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-16 14:00:16 × ubert quits (~Thunderbi@p200300ecdf10db93e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-16 14:01:46 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-16 14:02:04 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-16 14:02:05 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-16 14:02:05 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-16 14:02:14 → karanlikmadde joins (~karanlikm@2a01:c23:6037:1800:e990:a27c:f553:f1d1)
2020-10-16 14:02:16 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-16 14:03:09 → chris joins (~chris@81.96.113.213)
2020-10-16 14:03:20 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds)
2020-10-16 14:03:34 chris is now known as Guest17130
2020-10-16 14:06:17 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-16 14:07:05 → polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-16 14:07:34 × Guest17130 quits (~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-10-16 14:09:09 × fendor quits (~fendor@046124068105.public.t-mobile.at) (Remote host closed the connection)
2020-10-16 14:09:37 <hyperisco> > (\if then 1 else 0) True
2020-10-16 14:09:37 → fendor joins (~fendor@046124068105.public.t-mobile.at)
2020-10-16 14:09:39 <lambdabot> <hint>:1:6: error: <hint>:1:6: error: parse error on input ‘then’
2020-10-16 14:10:08 <phadej> :t bool 0 1
2020-10-16 14:10:10 <lambdabot> Num a => Bool -> a
2020-10-16 14:10:20 <phadej> bool 0 1 False
2020-10-16 14:10:26 <phadej> > bool 0 1 False
2020-10-16 14:10:29 <lambdabot> 0
2020-10-16 14:10:40 <Uniaika> phadej: I feel you
2020-10-16 14:11:12 → Tario joins (~Tario@201.192.165.173)
2020-10-16 14:11:47 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-16 14:11:57 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-16 14:11:57 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-16 14:11:57 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-16 14:12:19 → conal joins (~conal@64.71.133.70)
←Prev  Next→
Page 1 .. 672 673 674 675 676 677 678 679 680 681 682 .. 5022

All times are in UTC.