| 2025-02-23 00:06:27 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 276 seconds) |
| 2025-02-23 00:10:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-02-23 00:12:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2025-02-23 00:15:44 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-02-23 00:17:59 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-02-23 00:21:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 00:25:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 00:33:24 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-02-23 00:45:29 +0100 | <haskellbridge> | <Liamzee> ehhh, the stuff about huawei was a mirage, oh well |
| 2025-02-23 00:50:03 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 00:52:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 00:55:20 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 01:04:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 01:07:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 01:09:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 01:11:27 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 01:12:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-23 01:15:48 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-23 01:16:29 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 2025-02-23 01:20:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 01:30:57 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 276 seconds) |
| 2025-02-23 01:31:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-23 01:36:16 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2025-02-23 01:46:24 +0100 | sprotte24 | (~sprotte24@p200300d16f1eea00f586bed61b7ec9b1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-23 01:53:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 01:58:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-23 02:01:37 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 02:05:03 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-02-23 02:05:43 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-23 02:06:26 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 02:13:09 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-23 02:24:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 02:24:45 +0100 | acidjnk | (~acidjnk@p200300d6e7283f484d733f5a370ae1a6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-23 02:25:19 +0100 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-23 02:25:28 +0100 | cici | (~user@140.177.185.33) |
| 2025-02-23 02:26:42 +0100 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-23 02:30:27 +0100 | krei-se | (~krei-se@p200300f1cf07fb002411defffe902013.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 02:30:53 +0100 | ft | (~ft@i59F4F04E.versanet.de) (Ping timeout: 244 seconds) |
| 2025-02-23 02:32:13 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-02-23 02:32:34 +0100 | Square2 | (~Square@user/square) Square |
| 2025-02-23 02:32:48 +0100 | ft | (~ft@mue-88-130-105-251.dsl.tropolys.de) ft |
| 2025-02-23 02:33:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-23 02:33:28 +0100 | califax | (~califax@user/califx) califx |
| 2025-02-23 02:33:37 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 02:33:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-23 02:35:04 +0100 | <cici> | hello, I am having an issue getting my basic hello world program to compile. I made a file with a .hs extension exactly as its described in this webpage: https://piembsystech.com/installing-haskell-on-different-platforms/ |
| 2025-02-23 02:35:38 +0100 | <cici> | When I compile the code, It doesn't print the "hello, haskell!" string. It just goes onto a new blank prompt. For more info, I'm using Fedora 41 |
| 2025-02-23 02:36:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 02:37:38 +0100 | <EvanR> | sorry |
| 2025-02-23 02:37:46 +0100 | <EvanR> | what does your code look like again |
| 2025-02-23 02:38:47 +0100 | <cici> | just this single line: main = putStrLn "Hello, Haskell!" |
| 2025-02-23 02:39:09 +0100 | <cici> | and this is the command I'm putting in my terminal: ghc haskell-hello.hs |
| 2025-02-23 02:39:10 +0100 | <EvanR> | also, when you compile a program, you are returned to the shell. It doesn't just run your program |
| 2025-02-23 02:39:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 02:39:25 +0100 | <EvanR> | it only creates a new program file |
| 2025-02-23 02:39:47 +0100 | <cici> | How do I get it to print the string in the command line? The website makes it seem like that's the expected result. Sorry if I misinterpreted it, though |
| 2025-02-23 02:39:48 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 02:39:58 +0100 | <EvanR> | ghc is the compiler |
| 2025-02-23 02:40:05 +0100 | <EvanR> | doesn't run your program |
| 2025-02-23 02:40:40 +0100 | <EvanR> | ghc haskell-hello.hs should produce an executable file somewhere |
| 2025-02-23 02:40:49 +0100 | xearty | (~xearty@151.251.255.19) |
| 2025-02-23 02:40:50 +0100 | <cici> | Oh, I just figuring it out with a little more searching: a better webpage explained you have to put runghc to see the output |
| 2025-02-23 02:40:50 +0100 | <EvanR> | run that |
| 2025-02-23 02:41:03 +0100 | <EvanR> | you don't have to |
| 2025-02-23 02:41:12 +0100 | <EvanR> | but that will work |
| 2025-02-23 02:41:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 02:41:49 +0100 | <cici> | I think it did: it produced two files, one with a .hi extension and another with an .o extension. And there is an executable, but it doesn't nothing when I click on it |
| 2025-02-23 02:42:11 +0100 | <EvanR> | because it's not a graphical program clicking probably doesn't show anything |
| 2025-02-23 02:42:19 +0100 | <EvanR> | instead you have to run it from command line |
| 2025-02-23 02:42:44 +0100 | <cici> | I see. When I use it from the command line, it says "command not found: |
| 2025-02-23 02:42:44 +0100 | <EvanR> | e.g. if the file is called myprogram |
| 2025-02-23 02:42:54 +0100 | <EvanR> | > ./myprogram |
| 2025-02-23 02:42:56 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘./’ |
| 2025-02-23 02:42:57 +0100 | <cici> | that ending colon should be a quotation mark |
| 2025-02-23 02:43:06 +0100 | <cici> | I'll try that, one sec |
| 2025-02-23 02:43:22 +0100 | <cici> | oh, yeah, I forgot my ./ |
| 2025-02-23 02:43:28 +0100 | <cici> | I get it now. |
| 2025-02-23 02:43:43 +0100 | <cici> | So, today I learned: ghc just compiles. |
| 2025-02-23 02:43:53 +0100 | <cici> | need to run "runghc" to see output |
| 2025-02-23 02:44:02 +0100 | <EvanR> | glasgow haskell compiler |
| 2025-02-23 02:44:04 +0100 | <cici> | and, as always, you have to specify path for executable |
| 2025-02-23 02:44:13 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Exeunt DS Producers) |
| 2025-02-23 02:44:21 +0100 | <cici> | Thank you all! Now I just need to get haskell to interop with emacs, haha |
| 2025-02-23 02:44:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 02:44:26 +0100 | <EvanR> | also check out ghci |
| 2025-02-23 02:44:31 +0100 | <EvanR> | interactive haskell interpreted |
| 2025-02-23 02:44:34 +0100 | <EvanR> | interpreter |
| 2025-02-23 02:44:40 +0100 | <cici> | is ghci the repl? |
| 2025-02-23 02:44:43 +0100 | <EvanR> | yes |
| 2025-02-23 02:45:09 +0100 | <cici> | Ah, got. I am coming from a little bit of a lisp background, so that makes sense. sbcl = ghci |
| 2025-02-23 02:49:03 +0100 | <geekosaur> | ghc compiles but doesn't run, like gcc/clang and javac. runghc runs but doesn't compile, like python and js. once you compile a program, you can run it multiple times without compiling again unless you want to change the source code |
| 2025-02-23 02:49:31 +0100 | <cici> | That makes sense, thanks! |
| 2025-02-23 02:51:46 +0100 | krei-se | (~krei-se@p200300f1cf07fb002411defffe902013.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-02-23 02:52:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 02:54:28 +0100 | cici | (~user@140.177.185.33) (Ping timeout: 252 seconds) |
| 2025-02-23 02:59:15 +0100 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 02:59:15 +0100 | xearty | (~xearty@151.251.255.19) (Read error: Connection reset by peer) |
| 2025-02-23 03:02:40 +0100 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
| 2025-02-23 03:04:11 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 03:09:12 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 246 seconds) |
| 2025-02-23 03:13:03 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 03:18:29 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-23 03:18:49 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-02-23 03:23:12 +0100 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-02-23 03:23:49 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-23 03:24:37 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-02-23 03:25:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 03:27:25 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-02-23 03:28:16 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2025-02-23 03:29:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 03:30:50 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-23 03:31:40 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-23 03:34:14 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-23 03:38:35 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 03:39:36 +0100 | tavare | (~tavare@user/tavare) (Ping timeout: 244 seconds) |
| 2025-02-23 03:39:40 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 03:40:33 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 03:41:24 +0100 | jle` | (~jle`@2603:8001:3b00:11:f3b3:3706:1267:4536) (Ping timeout: 246 seconds) |
| 2025-02-23 03:42:06 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 03:43:25 +0100 | jle` | (~jle`@2603:8001:3b00:11:dd38:7882:e75c:4a19) jle` |
| 2025-02-23 03:47:52 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-23 03:50:15 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2025-02-23 03:53:10 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-23 03:53:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-23 03:55:09 +0100 | alp | (~alp@2001:861:8ca0:4940:320:163e:d6e9:8f36) (Ping timeout: 260 seconds) |
| 2025-02-23 03:59:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 04:05:01 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-02-23 04:05:32 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-02-23 04:10:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 04:12:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 04:12:40 +0100 | off^ | (~off@108.192.66.114) (Ping timeout: 244 seconds) |
| 2025-02-23 04:15:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 04:15:45 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 04:16:49 +0100 | cici | (~user@140.177.185.33) |
| 2025-02-23 04:17:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-23 04:18:26 +0100 | off^ | (~off@108.192.66.114) |
| 2025-02-23 04:20:10 +0100 | ringbuffer | (~dalton@50-25-60-242.krmtcmta02.res.dyn.suddenlink.net) (Quit: WeeChat 4.5.2) |
| 2025-02-23 04:27:52 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 04:28:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 04:30:58 +0100 | cici | (~user@140.177.185.33) (Remote host closed the connection) |
| 2025-02-23 04:31:58 +0100 | slack1256 | (~slack1256@179.60.70.224) slack1256 |
| 2025-02-23 04:32:41 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 04:32:57 +0100 | <slack1256> | On https://www.stackage.org/haddock/nightly-2025-02-20/effectful-core-2.5.1.0/Effectful-State-Static-… , am I wrong in thinking this is storing thunks on the MVars by design? |
| 2025-02-23 04:33:01 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 04:33:36 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 04:37:36 +0100 | <slack1256> | NVM, reading the code is using MVar.Strict >.> |
| 2025-02-23 04:49:26 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-02-23 04:52:12 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-23 04:54:15 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-23 04:57:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 05:01:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-23 05:06:25 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 05:07:02 +0100 | messewix | (~jmc@user/messewix) (Remote host closed the connection) |
| 2025-02-23 05:11:15 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:ca14:d507:141c:5e6f) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-02-23 05:11:35 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:f0c1:a096:f8a:d3d5) dtman34 |
| 2025-02-23 05:11:36 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 05:14:36 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-02-23 05:18:06 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-02-23 05:22:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-23 05:33:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 05:35:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:39:54 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 05:41:35 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce6:6d00:6847:ce2d:8528:abd1) aforemny |
| 2025-02-23 05:42:58 +0100 | aforemny | (~aforemny@i577B127D.versanet.de) (Ping timeout: 248 seconds) |
| 2025-02-23 05:43:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 05:44:44 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-02-23 05:44:45 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-02-23 05:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 05:46:10 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-23 05:47:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-23 05:49:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 05:57:12 +0100 | <energizer> | is there a common name for "(??) :: Functor f => f (a -> b) -> a -> f b" |
| 2025-02-23 05:58:46 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 06:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 06:05:08 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 06:08:00 +0100 | <ski> | @type (??) |
| 2025-02-23 06:08:02 +0100 | <lambdabot> | Functor f => f (a -> b) -> a -> f b |
| 2025-02-23 06:08:23 +0100 | <ski> | hm, not sure how it would be pronounced |
| 2025-02-23 06:10:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-23 06:10:36 +0100 | <ski> | maybe one could say "apply all", or somesuch |
| 2025-02-23 06:12:50 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-02-23 06:13:36 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-02-23 06:17:11 +0100 | slack1256 | (~slack1256@179.60.70.224) (Remote host closed the connection) |
| 2025-02-23 06:18:07 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 06:21:26 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:21:57 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 06:21:57 +0100 | tnt2 | tnt1 |
| 2025-02-23 06:27:31 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:28:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:28:36 +0100 | tnt2 | tnt1 |
| 2025-02-23 06:28:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 06:31:43 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-23 06:32:23 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:32:57 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-23 06:33:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 06:33:03 +0100 | img | (~img@user/img) img |
| 2025-02-23 06:33:16 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 06:35:53 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:36:39 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:39:43 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:40:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:40:19 +0100 | tnt2 | tnt1 |
| 2025-02-23 06:43:57 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-23 06:44:19 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-02-23 06:44:43 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:50:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:50:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-02-23 06:51:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-23 06:54:10 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:55:28 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 06:57:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:58:31 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 07:01:48 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:02:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 07:02:08 +0100 | tnt2 | tnt1 |
| 2025-02-23 07:02:27 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 07:02:39 +0100 | foul_owl | (~kerry@193.42.0.122) (Ping timeout: 244 seconds) |
| 2025-02-23 07:03:09 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 07:04:49 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-02-23 07:05:12 +0100 | <jle`> | :t (<**>) |
| 2025-02-23 07:05:13 +0100 | <lambdabot> | Applicative f => f a -> f (a -> b) -> f b |
| 2025-02-23 07:05:20 +0100 | <jle`> | hm |
| 2025-02-23 07:06:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 07:14:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 07:18:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 07:18:42 +0100 | foul_owl | (~kerry@94.156.149.93) foul_owl |
| 2025-02-23 07:18:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-23 07:19:35 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:20:33 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-02-23 07:20:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 07:20:44 +0100 | tnt2 | tnt1 |
| 2025-02-23 07:21:13 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 07:23:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 07:23:46 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:24:27 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 07:25:04 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 07:26:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:28:40 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-23 07:28:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-23 07:32:07 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:33:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-23 07:33:30 +0100 | tnt2 | tnt1 |
| 2025-02-23 07:33:37 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-23 07:34:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 07:37:01 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:37:51 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 07:37:54 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 07:37:54 +0100 | tnt2 | tnt1 |
| 2025-02-23 07:41:57 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-23 07:46:03 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 2025-02-23 07:46:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 07:47:07 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:50:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:51:28 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 07:51:28 +0100 | tnt2 | tnt1 |
| 2025-02-23 07:53:12 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-23 07:53:40 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-02-23 07:54:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:55:52 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 07:55:52 +0100 | tnt2 | tnt1 |
| 2025-02-23 07:57:49 +0100 | rvalue- | rvalue |
| 2025-02-23 07:59:05 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 07:59:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 08:01:58 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 08:02:28 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 08:02:28 +0100 | tnt2 | tnt1 |
| 2025-02-23 08:03:45 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-23 08:03:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 08:20:34 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 08:27:19 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 08:28:52 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 08:30:57 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 08:32:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 08:35:11 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 08:35:28 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 08:35:28 +0100 | tnt2 | tnt1 |
| 2025-02-23 08:35:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-23 08:42:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 08:42:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 08:45:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 08:48:37 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 08:50:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 08:50:21 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 08:50:21 +0100 | tnt2 | tnt1 |
| 2025-02-23 08:54:44 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-23 09:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-23 09:00:07 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-23 09:01:03 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-23 09:04:37 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-02-23 09:05:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 09:12:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 09:21:36 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-23 09:23:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 09:28:49 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-23 09:30:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 09:31:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 09:32:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-02-23 09:35:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 09:42:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 09:47:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 09:51:04 +0100 | Guest59 | (~Guest59@198.176.56.23) |
| 2025-02-23 09:53:28 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:f149:9d53:5672:9d16) (Ping timeout: 272 seconds) |
| 2025-02-23 09:53:30 +0100 | alp | (~alp@2001:861:8ca0:4940:47f8:d3fa:42c6:d7cb) |
| 2025-02-23 09:54:38 +0100 | jcarpenter2 | (~lol@96.78.87.197) |
| 2025-02-23 09:55:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 09:57:13 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-23 09:57:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 09:59:06 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 10:00:51 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:02:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 10:03:45 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 10:04:19 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 10:05:44 +0100 | Boarders_____ | (sid425905@id-425905.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-02-23 10:06:06 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:07:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 10:07:11 +0100 | Guest59 | (~Guest59@198.176.56.23) (Quit: Client closed) |
| 2025-02-23 10:07:45 +0100 | Boarders_____ | (sid425905@id-425905.lymington.irccloud.com) |
| 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:09:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:10:23 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 10:10:42 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5685ba46ab94b10c3c.dip0.t-ipconnect.de) acidjnk |
| 2025-02-23 10:10:59 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-02-23 10:11:10 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-02-23 10:13:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:15:48 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 10:17:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 10:18:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (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:21:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-23 10:23:24 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-23 10:24:01 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-23 10:28:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:32:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 10:42:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-23 10:43:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:47:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 10:56:22 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:57:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 10:57:52 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-23 10:59:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:59:20 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:00:39 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 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:02:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 11:03:50 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 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:04:53 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:05:26 +0100 | <energizer> | jackdk: ty |
| 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:54 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 11:05:54 +0100 | tnt2 | tnt1 |
| 2025-02-23 11:05:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-23 11:07:27 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-23 11:07:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 11:13:06 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 248 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:16:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 11:17:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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:20:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:21:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 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: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: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: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:27:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 11:27:11 +0100 | <c_wraith> | I'm not seeing where it disagrees. |
| 2025-02-23 11:27:21 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:27:30 +0100 | frontin | (~newyear@2.219.56.221) |
| 2025-02-23 11:28:25 +0100 | <Noinia> | Main.hs:7:14: error: [GHC-25897] |
| 2025-02-23 11:28:25 +0100 | <Noinia> | • Couldn't match type ‘a’ with ‘b’ |
| 2025-02-23 11:28:25 +0100 | <Noinia> | Expected: AReview t b |
| 2025-02-23 11:28:25 +0100 | <Noinia> | Actual: Data.Tagged.Tagged a (Identity b) |
| 2025-02-23 11:28:26 +0100 | <Noinia> | -> Data.Tagged.Tagged s (Identity t) |
| 2025-02-23 11:28:26 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-23 11:29:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:30:25 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:31:38 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 11:31:39 +0100 | tnt2 | tnt1 |
| 2025-02-23 11:32:16 +0100 | <haskellbridge> | <ozkutuk> "re" is accepting "AReview", which is an alias of "Optic' ...". |
| 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:23 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 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:46 +0100 | <haskellbridge> | <ozkutuk> that's what I understood from the types anyway |
| 2025-02-23 11:33:08 +0100 | <Noinia> | Ah thanks, well spotted. |
| 2025-02-23 11:33:24 +0100 | <Noinia> | that at least explains the type error. |
| 2025-02-23 11:33:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 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:35:45 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:36:43 +0100 | <haskellbridge> | <Liamzee> are there any optic libraries that optionally run on deriving? |
| 2025-02-23 11:36:45 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 11:38:46 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:39:01 +0100 | <c_wraith> | :t \p -> withPrism p (\f _ -> f) |
| 2025-02-23 11:39:02 +0100 | <lambdabot> | APrism s t a b -> b -> t |
| 2025-02-23 11:39:11 +0100 | <c_wraith> | is that cheating too much? |
| 2025-02-23 11:40:17 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 11:42:25 +0100 | <haskellbridge> | <ozkutuk> Liamzee: what do you mean by "optionally run on deriving"? |
| 2025-02-23 11:42:33 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:42:33 +0100 | sprotte24 | (~sprotte24@p200300d16f2727003925c1dc90f00c62.dip0.t-ipconnect.de) |
| 2025-02-23 11:43:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 11:43:12 +0100 | tnt2 | tnt1 |