Newest at the top
| 2026-04-23 09:11:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2026-04-23 09:01:10 +0000 | <haskellbridge> | <Liamzee> hey, is servant dead? their hackage page now has brokne links :( |
| 2026-04-23 08:56:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-23 08:55:36 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-04-23 08:52:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-04-23 08:51:44 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:a8fb:b82b:2a5:62ab) |
| 2026-04-23 08:51:34 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-04-23 08:48:56 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 08:48:23 +0000 | Guest5730 | (~joelr@user/jreicher) (Killed (niobium.libera.chat (Nickname regained by services))) |
| 2026-04-23 08:48:23 +0000 | jreicher | Guest5730 |
| 2026-04-23 08:48:00 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-04-23 08:40:42 +0000 | <dibblego> | ok thanks |
| 2026-04-23 08:25:36 +0000 | <haskellbridge> | <ozkutuk> in that case I think wrapping with a newtype of your own is your only choice |
| 2026-04-23 08:23:13 +0000 | <dibblego> | I want a value that can use in a position (p :: * -> * -> *) and type-aliases cannot appear there |
| 2026-04-23 08:16:48 +0000 | <haskellbridge> | <ozkutuk> or maybe I misunderstood your use case |
| 2026-04-23 08:16:41 +0000 | <haskellbridge> | <ozkutuk> yes, but it is an alias for ReifiedPrism and not the underlying optic type, so in a sense it is still opaque |
| 2026-04-23 08:15:18 +0000 | <dibblego> | I do, but that is back to a type-alias |
| 2026-04-23 08:14:47 +0000 | <haskellbridge> | <ozkutuk> dibblego: there is also ReifiedPrism' if you prefer using that |
| 2026-04-23 08:11:08 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-23 08:05:36 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-23 08:01:56 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-23 08:01:38 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-23 07:54:17 +0000 | oskarw | (~user@user/oskarw) oskarw |
| 2026-04-23 07:48:16 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-23 07:38:12 +0000 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-04-23 07:34:06 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-23 07:24:03 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) fp |
| 2026-04-23 07:23:41 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-23 07:22:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 07:22:18 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-23 07:21:25 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-23 07:21:15 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-23 07:17:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 07:15:14 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-04-23 07:06:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 07:04:32 +0000 | Vizious | (~bes@user/Vizious) (Read error: Connection reset by peer) |
| 2026-04-23 07:02:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 06:55:34 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-23 06:54:41 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 06:52:22 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-23 06:51:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 06:46:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 06:45:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5839e53bb2e58e5bcbf.dip0.t-ipconnect.de) |
| 2026-04-23 06:45:22 +0000 | jreicher | (~joelr@user/jreicher) (Remote host closed the connection) |
| 2026-04-23 06:41:58 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-23 06:41:18 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-23 06:40:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-23 06:40:44 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-23 06:37:06 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-23 06:36:03 +0000 | jreicher | (~joelr@user/jreicher) jreicher |