Logs: liberachat/#haskell
| 2026-02-23 14:12:23 | <tomsmeding> | I'm not saying that you must or anything, but I think it would make the package more accessible if you wish |
| 2026-02-23 14:12:39 | <merijn> | It's just been years since I actually looked at it :p |
| 2026-02-23 14:12:50 | <tomsmeding> | (it's not like I practice what I preach all that well either) |
| 2026-02-23 14:12:54 | <merijn> | tomsmeding: The problem is that I don't wanna maintain the example in two places (docs and examples) :p |
| 2026-02-23 14:13:00 | <tomsmeding> | yes that's the downside |
| 2026-02-23 14:13:14 | <tomsmeding> | have an extra build step that injects the example into haddocks! |
| 2026-02-23 14:13:28 | <merijn> | That said, you should only really need `liftResult` if you have weird datatype like ByteString to begin with |
| 2026-02-23 14:13:42 | <merijn> | Since everything with a native `Lift` instance will just work |
| 2026-02-23 14:14:18 | <merijn> | oh, wait |
| 2026-02-23 14:14:21 | <merijn> | Cool beans |
| 2026-02-23 14:14:33 | <merijn> | ByteString now just has it's own Lift instance using BytesPrimL :p |
| 2026-02-23 14:14:40 | <tomsmeding> | :D |
| 2026-02-23 14:14:45 | <merijn> | So you can literally just not implement liftResult and it's instantly good |
| 2026-02-23 14:15:23 | <tomsmeding> | at that point there's little to maintain in two places any more, right, and you can just put the simplified instance in the haddocks, right? :) |
| 2026-02-23 14:15:31 | <tomsmeding> | (I'll stop now) |
| 2026-02-23 14:15:38 | <merijn> | Milan_Vanca: Well, that you go. You can just use validated-literals and get whatever implementation you want, efficient embedding AND compile time validation |
| 2026-02-23 14:15:53 | <merijn> | tomsmeding: Only if I bump the lower bound by a lot, though |
| 2026-02-23 14:16:21 | <tomsmeding> | I don't think it's necessary for examples in the documentation prose to compile with old dependencies |
| 2026-02-23 14:16:32 | <tomsmeding> | if you explicitly say that this example works well only for bytestring >= ... |
| 2026-02-23 14:16:35 | <merijn> | Sure, but the examples are currently also my test :p |
| 2026-02-23 14:17:12 | <merijn> | Bytestring shipping it's own Lift is a MAJOR buff to that library though |
| 2026-02-23 14:18:24 | × | lortabac quits (~lortabac@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2026-02-23 14:18:31 | × | Franciman quits (~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2026-02-23 14:20:03 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 2026-02-23 14:20:49 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2026-02-23 14:21:00 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-02-23 14:21:38 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 2026-02-23 14:25:58 | → | lortabac joins (~lortabac@mx1.fracta.dev) |
| 2026-02-23 14:38:04 | <Milan_Vanca> | merijn: Interesting thanks :) |
| 2026-02-23 14:40:26 | → | petrichor joins (~jez@user/petrichor) |
| 2026-02-23 14:40:48 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 2026-02-23 14:40:54 | × | jle` quits (~jle`@2603:8001:3b00:11:e067:5c4c:c17c:7150) (Ping timeout: 260 seconds) |
| 2026-02-23 14:41:37 | → | jle` joins (~jle`@2603:8001:3b00:11::1156) |
| 2026-02-23 14:43:45 | × | petrichor quits (~jez@user/petrichor) (Client Quit) |
| 2026-02-23 14:46:05 | <merijn> | Milan_Vanca: So for recent enough ByteString (0.11.2.0) you don't have to implement liftResult (it has a default implementation using Lift), and you can just implement fromLiteralWithError or fromLiteral and it should just work |
| 2026-02-23 14:47:26 | × | meinside quits (bnc4free@ip68.orange.bnc4free.com) (Server closed connection) |
| 2026-02-23 14:47:37 | → | meinside joins (bnc4free@ip68.orange.bnc4free.com) |
| 2026-02-23 14:52:06 | × | jakesyl_____ quits (sid56879@id-56879.hampstead.irccloud.com) (Server closed connection) |
| 2026-02-23 14:52:24 | → | jakesyl_____ joins (sid56879@id-56879.hampstead.irccloud.com) |
| 2026-02-23 14:53:26 | × | Square2 quits (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2026-02-23 14:55:15 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-02-23 14:57:23 | <merijn> | I'm not super actively maintaining that package. On the other hand it's so damn simple it hasn't needed any code changes since 2019, so you should be fine using it :p |
| 2026-02-23 14:58:29 | <merijn> | And that was the first code change since, like, I first made it in 2015 :p |
| 2026-02-23 15:01:00 | <Milan_Vanca> | Yeah interesting package.. Thank you again! :) |
| 2026-02-23 15:03:15 | → | machined1od joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-02-23 15:04:22 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2026-02-23 15:06:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-23 15:07:17 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-23 15:08:06 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2026-02-23 15:16:33 | mal1 | is now known as lieven |
| 2026-02-23 15:16:37 | → | petrichor joins (~jez@user/petrichor) |
| 2026-02-23 15:18:19 | × | petrichor quits (~jez@user/petrichor) (Client Quit) |
| 2026-02-23 15:19:17 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Server closed connection) |
| 2026-02-23 15:19:38 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 2026-02-23 15:22:41 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-23 15:23:00 | → | califax joins (~califax@user/califx) |
| 2026-02-23 15:24:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-23 15:24:57 | × | tromp quits (~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-23 15:27:06 | → | petrichor joins (~jez@user/petrichor) |
| 2026-02-23 15:31:45 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-23 15:31:56 | → | califax joins (~califax@user/califx) |
| 2026-02-23 15:33:56 | → | cipherrot joins (~jez@user/petrichor) |
| 2026-02-23 15:34:08 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 268 seconds) |
| 2026-02-23 15:38:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-23 15:39:46 | × | qqq quits (~qqq@185.54.22.240) (Remote host closed the connection) |
| 2026-02-23 15:49:57 | × | sondr3 quits (sondr3@user/sondr3) (Server closed connection) |
| 2026-02-23 15:50:07 | → | sondr3 joins (sondr3@2a01:7e01::f03c:92ff:fe06:7664) |
| 2026-02-23 15:54:29 | × | fp quits (~Thunderbi@130.233.70.214) (Ping timeout: 268 seconds) |
| 2026-02-23 15:58:13 | → | Enrico63 joins (~Enrico63@host-79-19-156-232.retail.telecomitalia.it) |
| 2026-02-23 16:03:17 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (Server closed connection) |
| 2026-02-23 16:04:05 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 2026-02-23 16:04:49 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-02-23 16:12:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) |
| 2026-02-23 16:12:46 | × | Ikosit quits (~Ikosit@user/ikosit) (Server closed connection) |
| 2026-02-23 16:13:01 | → | Ikosit joins (~Ikosit@user/ikosit) |
| 2026-02-23 16:13:02 | → | haskell-noob joins (~haskell-n@50.35.80.129) |
| 2026-02-23 16:15:27 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 268 seconds) |
| 2026-02-23 16:21:14 | × | skum quits (~skum@user/skum) (Ping timeout: 268 seconds) |
| 2026-02-23 16:21:43 | → | skum joins (~skum@user/skum) |
| 2026-02-23 16:27:17 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-02-23 16:27:41 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2026-02-23 16:28:51 | × | tromp quits (~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-23 16:31:07 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 2026-02-23 16:38:43 | × | malte quits (~malte@mal.tc) (Ping timeout: 264 seconds) |
| 2026-02-23 16:39:42 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-02-23 16:40:03 | → | malte joins (~malte@mal.tc) |
| 2026-02-23 16:41:11 | → | fgarcia joins (~lei@user/fgarcia) |
| 2026-02-23 16:46:04 | × | werneta quits (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-23 16:48:06 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Server closed connection) |
| 2026-02-23 16:48:24 | → | earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2026-02-23 16:48:36 | → | emaczen joins (~user@user/emaczen) |
| 2026-02-23 16:48:46 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (Server closed connection) |
| 2026-02-23 16:48:56 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2026-02-23 16:53:29 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 248 seconds) |
| 2026-02-23 16:56:46 | × | Angelz quits (Angelz@user/angelz) (Server closed connection) |
| 2026-02-23 16:57:03 | × | redshuffle quits (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-02-23 16:57:10 | → | redshuffle joins (~quassel@45.43.70.75) |
| 2026-02-23 17:00:31 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-23 17:00:39 | × | cipherrot quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-23 17:01:16 | → | lbseale joins (~quassel@user/ep1ctetus) |
All times are in UTC.