Newest at the top
| 2025-03-13 07:09:04 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-13 07:07:47 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-03-13 07:06:55 +0100 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-03-13 07:05:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2025-03-13 07:03:36 +0100 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-13 07:03:11 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-03-13 07:03:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-13 06:58:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-13 06:58:30 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-13 06:54:33 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 245 seconds) |
| 2025-03-13 06:47:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-13 06:47:21 +0100 | Human3748 | (~Human32@155.2.190.68) |
| 2025-03-13 06:43:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-13 06:40:10 +0100 | infohazards | (~user@user/fmira) fmira |
| 2025-03-13 06:39:18 +0100 | user_ | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-13 06:38:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-13 06:38:29 +0100 | user_ | (~user@user/fmira) fmira |
| 2025-03-13 06:38:21 +0100 | infohazards | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-13 06:36:35 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::b413) (Quit: WeeChat 4.5.2) |
| 2025-03-13 06:32:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-13 06:27:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-13 06:27:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-13 06:23:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-13 06:19:29 +0100 | euouae | (~euouae@user/euouae) () |
| 2025-03-13 06:19:27 +0100 | <euouae> | probably for the worse. oh well. time to sign off |
| 2025-03-13 06:19:03 +0100 | euouae | wonders if that made a difference from T.pack xs where xs :: [Char] |
| 2025-03-13 06:18:58 +0100 | infohazards | (~user@user/fmira) fmira |
| 2025-03-13 06:18:32 +0100 | <euouae> | I changed `digitChar` to `Text.Builder.singleton <$> digitChar` which returns a [Builder] instead of a [String] or [Char], and then I mconcat over the list, so there's no intermediate String |
| 2025-03-13 06:17:25 +0100 | <euouae> | by the way, I found a good enough solution for me, I didn't need complicated monads |
| 2025-03-13 06:16:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-13 06:16:01 +0100 | <euouae> | we made it through unharmed |
| 2025-03-13 06:15:55 +0100 | <euouae> | a footgun here and there, but thank God for IRC |
| 2025-03-13 06:15:25 +0100 | <euouae> | e.g. Text says Data.Text.Lazy for its module on hover-over |
| 2025-03-13 06:15:12 +0100 | <euouae> | ah actually -- if you hover over the name, it shows it complete |
| 2025-03-13 06:14:39 +0100 | <jackdk> | haddock shows the type names absent any qualification AIUI, and this can be quite confusing. |
| 2025-03-13 06:14:15 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) (Ping timeout: 252 seconds) |
| 2025-03-13 06:13:48 +0100 | <euouae> | e.g. `:i Foo` will only show you instances of imported modules (as opposed to haddock, full listing) but haddock will confuse different types for the same? |
| 2025-03-13 06:13:20 +0100 | <euouae> | basically there's situations where haddock is more information complete and there's situations where ghci is more information complete |
| 2025-03-13 06:12:59 +0100 | <jackdk> | "lazy text" is a value representing a chain of strict text chunks |
| 2025-03-13 06:12:54 +0100 | <euouae> | wow... really? this sucks. |
| 2025-03-13 06:12:33 +0100 | <euouae> | and by the way you were right, that's what the issue was. I didn't want lazy text, I just didn't know how to force it |
| 2025-03-13 06:12:27 +0100 | <jackdk> | Because there are two `Text` types with the same unqualified name. `Data.Text.Text` is not `Data.Text.Lazy.Text` and haddocks do not make this at all clear. |
| 2025-03-13 06:12:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-13 06:11:31 +0100 | <euouae> | But how can there be a type issue? I don't quite get what's going on here, I'm somewhat familiar with strictness and laziness |
| 2025-03-13 06:10:37 +0100 | <jackdk> | Without a code sample I can't be sure, but I think the thing you're passing to wants a strict text (as in `Data.Text.Text`) and you might want to consider `toStrict` on the result. |
| 2025-03-13 06:10:19 +0100 | <lambdabot> | error: Variable not in scope: toLazyText |
| 2025-03-13 06:10:18 +0100 | <euouae> | :t toLazyText |
| 2025-03-13 06:10:13 +0100 | <euouae> | :m Data.Text.Lazy.Builder |
| 2025-03-13 06:09:57 +0100 | <lambdabot> | error: Variable not in scope: toLazyText |
| 2025-03-13 06:09:56 +0100 | <euouae> | :t toLazyText |