Newest at the top
| 2025-02-11 15:26:59 +0100 | <kaol> | I'm running my tests in a repl and the library part of my code has a bug. |
| 2025-02-11 15:26:35 +0100 | <kaol> | I really don't care about ghcid. |
| 2025-02-11 15:22:47 +0100 | <dminuoso> | Or what you want to use GHCi for |
| 2025-02-11 15:22:35 +0100 | <dminuoso> | It really depends on how you intend to detect "different library" |
| 2025-02-11 15:22:24 +0100 | <dminuoso> | I suppose you could use `ghcid` with a bit of massage |
| 2025-02-11 15:21:54 +0100 | <dminuoso> | kaol: Given that the whole business of how libraries end up in GHC is usually managed by cabal-install... |
| 2025-02-11 15:17:49 +0100 | <kaol> | Is there something more powerful than :r in ghci to recompile a different library in the same cabal file as well? Something I could use instead of restarting ghci itself. |
| 2025-02-11 15:13:06 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-11 15:10:50 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-11 15:09:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-11 15:08:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b132:8d6d:8d5:36a3) (Read error: Connection reset by peer) |
| 2025-02-11 15:08:00 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-02-11 15:04:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 15:03:19 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b132:8d6d:8d5:36a3) |
| 2025-02-11 14:57:59 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-11 14:57:29 +0100 | otbergsten | (~otbergste@user/otbergsten) (Remote host closed the connection) |
| 2025-02-11 14:52:01 +0100 | Digitteknohippie | Digit |
| 2025-02-11 14:41:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-11 14:40:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-02-11 14:37:58 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-11 14:33:27 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-02-11 14:30:32 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-11 14:29:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-11 14:25:40 +0100 | causal | (~eric@50.35.84.231) causal |
| 2025-02-11 14:20:35 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-11 14:16:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 14:11:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-02-11 14:10:43 +0100 | CiaoSen | (~Jura@ip-037-201-241-067.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-02-11 14:10:00 +0100 | akegalj | (~akegalj@168-206.dsl.iskon.hr) |
| 2025-02-11 14:02:28 +0100 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-02-11 14:01:14 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-11 13:59:33 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2025-02-11 13:55:19 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-02-11 13:54:46 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b132:8d6d:8d5:36a3) (Read error: Connection reset by peer) |
| 2025-02-11 13:53:08 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b132:8d6d:8d5:36a3) |
| 2025-02-11 13:51:49 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-02-11 13:44:37 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2025-02-11 13:40:23 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-11 13:40:19 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-11 13:38:21 +0100 | <dminuoso> | `viewP l = getConst . runUpStar (l (UpStar Const))` of course. |
| 2025-02-11 13:38:10 +0100 | <dminuoso> | Oh |
| 2025-02-11 13:37:57 +0100 | <dminuoso> | `viewL l = runConst . l Const` and `viewP l = getConst . (l (UpStar Const))` |
| 2025-02-11 13:37:25 +0100 | <bwe> | alexfmpe, akegalj, ski: thanks, I've gone for alexfmpe's approach, solves my requirement. |
| 2025-02-11 13:35:01 +0100 | <dminuoso> | In this particular example, the profunctor representation is just vastly more generalized. |
| 2025-02-11 13:34:21 +0100 | <dminuoso> | So a simple way to run a LensP would be to just turn it into a LensVL by just picking :=> ~ UpStar |
| 2025-02-11 13:33:19 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b132:8d6d:8d5:36a3) (Read error: Connection reset by peer) |
| 2025-02-11 13:32:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-11 13:32:46 +0100 | <dminuoso> | type LensVL s t a b = forall f . Functor f => (a -> f b) -> s -> f t |
| 2025-02-11 13:32:40 +0100 | <dminuoso> | type LensP s t a b = forall (:=>). Strong (:=>) => (a :=> b) -> s :=> t |
| 2025-02-11 13:31:12 +0100 | <dminuoso> | If we write `p` in an infix position with a nice operator instead, the similarity becomes more obvious: |