Logs: liberachat/#haskell
| 2025-11-11 07:08:31 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 07:09:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-11 07:11:10 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-11 07:20:23 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-11 07:21:46 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-11 07:27:59 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2025-11-11 07:29:59 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-11 07:32:36 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-11 07:34:25 | <jreicher> | I think this is what I was after earlier https://hackage.haskell.org/package/ghc-prim-0.13.0/docs/GHC-Prim.html#g:24 |
| 2025-11-11 07:34:35 | <jreicher> | dibblego: what's the context for your question? Where did that snippet come from? |
| 2025-11-11 07:34:57 | <dibblego> | I made it up, I want the data type X from a library |
| 2025-11-11 07:38:11 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2025-11-11 07:39:22 | <jreicher> | I think the answer might be X can be anything then? I'm not sure I understand the question... |
| 2025-11-11 07:42:18 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-11 07:43:11 | <dibblego> | found it, https://hackage.haskell.org/package/comonad-5.0.9/docs/Control-Comonad-Trans-Env.html#t:EnvT |
| 2025-11-11 07:51:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-11 07:56:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-11 07:56:45 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-11 07:56:54 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-11-11 07:57:50 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 08:00:20 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 08:02:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 08:02:35 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 08:03:24 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 08:07:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-11 08:08:14 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-11 08:12:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-11 08:20:54 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 08:26:31 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 08:28:06 | × | qqe quits (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-11 08:30:59 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 08:32:36 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 08:33:59 | × | haetsal quits (~quassel@221.138.168.192) (Remote host closed the connection) |
| 2025-11-11 08:36:42 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 08:39:31 | → | haetsal joins (~quassel@221.138.168.192) |
| 2025-11-11 08:40:47 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 08:47:45 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-11 08:49:24 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-11-11 08:49:42 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-11-11 08:55:29 | trickard_ | is now known as trickard |
| 2025-11-11 09:00:45 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-11 09:05:28 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2025-11-11 09:07:00 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-11 09:11:42 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 256 seconds) |
| 2025-11-11 09:11:55 | → | polykernel joins (~polykerne@user/polykernel) |
| 2025-11-11 09:12:23 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-11-11 09:13:06 | → | travisb_ joins (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-11-11 09:14:40 | × | gorignak quits (~gorignak@user/gorignak) (Remote host closed the connection) |
| 2025-11-11 09:14:40 | × | hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 256 seconds) |
| 2025-11-11 09:14:40 | × | bcksl quits (~bcksl@user/bcksl) (Ping timeout: 256 seconds) |
| 2025-11-11 09:14:40 | × | haetsal quits (~quassel@221.138.168.192) (Ping timeout: 256 seconds) |
| 2025-11-11 09:14:40 | × | tabemann quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2025-11-11 09:14:42 | → | kmein joins (~weechat@user/kmein) |
| 2025-11-11 09:14:58 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2025-11-11 09:15:32 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-11 09:15:40 | → | kuribas joins (~user@2a02-1810-2825-6000-c59e-d8f1-aea0-564e.ip6.access.telenet.be) |
| 2025-11-11 09:16:11 | → | haetsal joins (~quassel@221.138.168.192) |
| 2025-11-11 09:16:13 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-11-11 09:16:13 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-11-11 09:16:26 | → | takuan joins (~takuan@d8d86b9e9.access.telenet.be) |
| 2025-11-11 09:16:47 | × | sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2025-11-11 09:17:01 | → | bcksl joins (~bcksl@user/bcksl) |
| 2025-11-11 09:17:13 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 09:17:17 | → | sprout joins (~sprout@84-80-106-227.fixed.kpn.net) |
| 2025-11-11 09:20:17 | × | deptype quits (~deptype@2406:b400:3a:73c2:5ccb:d911:3632:6880) (Remote host closed the connection) |
| 2025-11-11 09:20:37 | → | deptype joins (~deptype@2406:b400:3a:73c2:20ec:9ba6:a31e:71d2) |
| 2025-11-11 09:20:44 | → | Square3 joins (~Square@user/square) |
| 2025-11-11 09:21:21 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 09:21:34 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 09:23:56 | trickard_ | is now known as trickard |
| 2025-11-11 09:25:50 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-11 09:28:25 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-11 09:32:12 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2025-11-11 09:32:18 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 09:32:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-11 09:35:30 | × | Square3 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-11 09:41:55 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-11 09:43:19 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 09:43:33 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 09:44:31 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-11 09:50:14 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 09:51:15 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-11 09:54:21 | → | artix_live_1 joins (~loouom@109.166.130.42) |
| 2025-11-11 09:57:06 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 10:01:00 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-11-11 10:01:18 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 10:02:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-11 10:03:04 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 10:04:23 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-11 10:04:33 | trickard_ | is now known as trickard |
| 2025-11-11 10:05:22 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 10:09:35 | × | tromp quits (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-11 10:15:50 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-11 10:17:44 | × | kuribas quits (~user@2a02-1810-2825-6000-c59e-d8f1-aea0-564e.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-11-11 10:17:59 | → | kuribas joins (~user@2a02-1810-2825-6000-c59e-d8f1-aea0-564e.ip6.access.telenet.be) |
| 2025-11-11 10:18:26 | → | tromp joins (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 10:18:34 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-11 10:19:54 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 10:20:07 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 10:25:10 | → | starving_drummer joins (~berke@user/Starving-Drummer:76786) |
All times are in UTC.