Newest at the top
| 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" |
| 2025-02-23 11:32:23 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-23 11:32:16 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds) |
| 2025-02-23 11:32:16 +0100 | <haskellbridge> | <ozkutuk> "re" is accepting "AReview", which is an alias of "Optic' ...". |
| 2025-02-23 11:31:39 +0100 | tnt2 | tnt1 |
| 2025-02-23 11:31:38 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 11:30:25 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:29:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:28:26 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-23 11:28:26 +0100 | <Noinia> | -> Data.Tagged.Tagged s (Identity t) |
| 2025-02-23 11:28:25 +0100 | <Noinia> | Actual: Data.Tagged.Tagged a (Identity b) |
| 2025-02-23 11:28:25 +0100 | <Noinia> | Expected: AReview t b |
| 2025-02-23 11:28:25 +0100 | <Noinia> | • Couldn't match type ‘a’ with ‘b’ |
| 2025-02-23 11:28:25 +0100 | <Noinia> | Main.hs:7:14: error: [GHC-25897] |
| 2025-02-23 11:27:30 +0100 | frontin | (~newyear@2.219.56.221) |
| 2025-02-23 11:27:21 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:27:11 +0100 | <c_wraith> | I'm not seeing where it disagrees. |
| 2025-02-23 11:27:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 11:25:37 +0100 | <Noinia> | indeed, but the haddockss suggest that I should be able to use 're p' as if it is a Getter b t. The little code snippet I gave seems to disagree |
| 2025-02-23 11:25:13 +0100 | <c_wraith> | So there will be a bunch of examples of types that it can be instantiated to |
| 2025-02-23 11:24:31 +0100 | <c_wraith> | because the true type is significant more polymorphic, in a way that's hard to read |
| 2025-02-23 11:24:14 +0100 | <c_wraith> | the lens haddocks often include sections with multiple types that something *acts* like it has |
| 2025-02-23 11:21:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 11:20:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:17:35 +0100 | <Noinia> | (in particular, somehow in my examples the type of 're p' (where p is some prism) seems to disagree with what the haddocks are promissing |
| 2025-02-23 11:17:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:16:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 11:14:29 +0100 | <Noinia> | I'm trying to use a 'Prism s t a b' as a function 'b -> t'. If I understand the docs correctly that should simply be using 'review', but somehow that gives me a type error: https://play.haskell.org/saved/XKsuF05Q am I missing something obvious? |
| 2025-02-23 11:13:06 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 248 seconds) |
| 2025-02-23 11:07:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 11:07:27 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-23 11:05:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-23 11:05:54 +0100 | tnt2 | tnt1 |
| 2025-02-23 11:05:54 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 11:05:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 11:05:26 +0100 | <energizer> | jackdk: ty |
| 2025-02-23 11:04:53 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:04:30 +0100 | <jackdk> | energizer: relude calls it "flap", which seems as good a name as any: https://hackage.haskell.org/package/relude-1.2.1.0/docs/Relude-Functor-Fmap.html#v:flap |
| 2025-02-23 11:03:50 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-23 11:02:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 11:01:10 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-02-23 11:00:39 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 10:59:20 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:59:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:57:52 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-23 10:57:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 10:56:22 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:47:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 10:43:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |