Newest at the top
| 2025-10-25 12:48:18 +0200 | <[exa]> | well, probably |
| 2025-10-25 12:46:23 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-25 12:46:13 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-10-25 12:42:34 +0200 | <tomsmeding> | yes but it's longer |
| 2025-10-25 12:37:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-25 12:35:45 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 12:35:32 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 12:28:27 +0200 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2025-10-25 12:24:12 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-25 12:12:04 +0200 | trickard_ | trickard |
| 2025-10-25 12:08:42 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-25 12:05:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-25 11:53:31 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 11:53:18 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 11:45:40 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 11:45:38 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 11:42:08 +0200 | Jackneill_ | (~Jackneill@94-21-95-10.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-10-25 11:34:40 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 11:34:25 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 11:28:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 11:23:40 +0200 | califax_ | califax |
| 2025-10-25 11:23:02 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-25 11:22:25 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-10-25 11:17:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-25 11:12:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 11:10:44 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 11:10:31 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 11:08:36 +0200 | acidjnk | (~acidjnk@p200300d6e71719145522d7c0b030ad0e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-25 11:02:36 +0200 | <Unicorn_Princes> | but then isn't MyProject.Audio just that project-specific prefix? |
| 2025-10-25 11:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-25 11:01:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-25 10:59:48 +0200 | <[exa]> | Unicorn_Princes: to be super safe you might call your Audio with some project-specific prefix (MPAudio). Gives a safe default and people can import it nicely (as A) |
| 2025-10-25 10:58:23 +0200 | <[exa]> | +1 for not over-nesting |
| 2025-10-25 10:56:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 10:56:31 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-10-25 10:46:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-25 10:33:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 2025-10-25 10:24:43 +0200 | <Unicorn_Princes> | ye no sounds too dirty for me :S |
| 2025-10-25 10:24:26 +0200 | <haskellbridge> | <doc> (this would be extremely funny, to be clear, and uncertain whether advisable) |
| 2025-10-25 10:22:51 +0200 | <haskellbridge> | <doc> ...if you just want the experience of typing Audio.stuff maybe you could fake it with OverloadedRecordDot + NoFieldSelectors and a top-level record value named "audio" containing all the "exported functions".. the only difference now is that audio is lowercase |
| 2025-10-25 10:22:01 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-25 10:17:28 +0200 | <Unicorn_Princes> | (to be clear this is not meant as a general purpose prelude) |
| 2025-10-25 10:16:13 +0200 | <Unicorn_Princes> | i dunno, maybe i shouldn't nest everything under MyProject... |
| 2025-10-25 10:15:04 +0200 | <Unicorn_Princes> | just so i can do Audio.stuff instead of MyProject.Audio.stuff |
| 2025-10-25 10:14:34 +0200 | <[exa]> | btw why have audio in prelude? |
| 2025-10-25 10:13:39 +0200 | <[exa]> | doing autoimports in any other way gets a bit hairy, in rust it might be OK but here you also have small module-related things that change on the import (mainly instances) which could probably mess up stuff if done too automagically |
| 2025-10-25 10:13:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-25 10:11:42 +0200 | <[exa]> | yeah I'd vote for init file approach too |
| 2025-10-25 10:10:57 +0200 | <Unicorn_Princes> | only right now that's in an init file that is ran at runtime so doesn't get any compile-time checking. which honestly isn't a big deal since it's super small |
| 2025-10-25 10:10:24 +0200 | <Unicorn_Princes> | yes, and "import qualified MyPrelude.Audio as Audio" is all the way there |