Newest at the top
| 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 |
| 2025-02-23 10:42:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-23 10:32:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 10:28:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:24:01 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-23 10:23:24 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-23 10:21:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-23 10:21:48 +0100 | alp | (~alp@2001:861:8ca0:4940:47f8:d3fa:42c6:d7cb) (Ping timeout: 246 seconds) |
| 2025-02-23 10:18:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-23 10:17:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 10:15:48 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 10:13:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:11:10 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-02-23 10:10:59 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-02-23 10:10:42 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5685ba46ab94b10c3c.dip0.t-ipconnect.de) acidjnk |
| 2025-02-23 10:10:23 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 10:09:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:09:08 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 245 seconds) |
| 2025-02-23 10:07:45 +0100 | Boarders_____ | (sid425905@id-425905.lymington.irccloud.com) |
| 2025-02-23 10:07:11 +0100 | Guest59 | (~Guest59@198.176.56.23) (Quit: Client closed) |