Newest at the top
| 2025-02-23 12:13:25 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-23 12:09:40 +0100 | tnt2 | tnt1 |
| 2025-02-23 12:08:45 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 12:07:23 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 12:07:11 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 12:04:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 12:03:00 +0100 | tnt2 | tnt1 |
| 2025-02-23 12:03:00 +0100 | <lambdabot> | APrism s t a b -> b -> t |
| 2025-02-23 12:03:00 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 12:02:59 +0100 | <ski> | @type (`withPrism` const) |
| 2025-02-23 12:02:31 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 12:01:29 +0100 | <Noinia> | ah also thanks! :) |
| 2025-02-23 12:00:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:59:29 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-23 11:55:19 +0100 | alp | (~alp@2001:861:8ca0:4940:a50b:c9c1:1c7b:629c) |
| 2025-02-23 11:53:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-23 11:52:09 +0100 | <haskellbridge> | <ozkutuk> Noinia: prismToGetterF p b = view (re (reviewing p)) b |
| 2025-02-23 11:51:59 +0100 | tnt2 | tnt1 |
| 2025-02-23 11:51:59 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 11:51:35 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:49:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 11:48:54 +0100 | <haskellbridge> | <ozkutuk> I think this will also work, instead of the 'foo' you have in your code |
| 2025-02-23 11:48:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 11:48:24 +0100 | <haskellbridge> | <ozkutuk> :t \p -> re (reviewing p) |
| 2025-02-23 11:48:19 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 11:47:33 +0100 | tnt2 | tnt1 |
| 2025-02-23 11:47:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 11:47:05 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:46:08 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-23 11:45:22 +0100 | <Noinia> | c_wraith: Thanks! That'll do |
| 2025-02-23 11:44:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:43:12 +0100 | tnt2 | tnt1 |
| 2025-02-23 11:43:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 11:42:33 +0100 | sprotte24 | (~sprotte24@p200300d16f2727003925c1dc90f00c62.dip0.t-ipconnect.de) |
| 2025-02-23 11:42:33 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:42:25 +0100 | <haskellbridge> | <ozkutuk> Liamzee: what do you mean by "optionally run on deriving"? |
| 2025-02-23 11:40:17 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 11:39:11 +0100 | <c_wraith> | is that cheating too much? |
| 2025-02-23 11:39:02 +0100 | <lambdabot> | APrism s t a b -> b -> t |
| 2025-02-23 11:39:01 +0100 | <c_wraith> | :t \p -> withPrism p (\f _ -> f) |
| 2025-02-23 11:38:46 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:36:45 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 11:36:43 +0100 | <haskellbridge> | <Liamzee> are there any optic libraries that optionally run on deriving? |
| 2025-02-23 11:35:45 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:35:03 +0100 | <Noinia> | I would still expect to be able to write a function with the type signature I gave. (i.e. 'Prism s t a b -> b -> t'). But then I indeed have to dig a bit deeper in the internals |
| 2025-02-23 11:33:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 11:33:24 +0100 | <Noinia> | that at least explains the type error. |
| 2025-02-23 11:33:08 +0100 | <Noinia> | Ah thanks, well spotted. |
| 2025-02-23 11:32:46 +0100 | <haskellbridge> | <ozkutuk> that's what I understood from the types anyway |
| 2025-02-23 11:32:23 +0100 | <haskellbridge> | <ozkutuk> "Optic'" is defined as a "simple" optic, that is it would only work with prisms of type "Prism s s a a" |