Newest at the top
2024-05-16 22:28:41 +0200 | <talismanick> | glguy: yeah, that looks right... am I missing something obvious about why this is wrong? |
2024-05-16 22:27:51 +0200 | <talismanick> | ski: do you think I maybe need to add some newtype wrappers using Ap to lift Monoid to Alternative? |
2024-05-16 22:27:50 +0200 | <glguy> | so this? instance Monoid e => Alternative (Either e) where empty = Left mempty; Right x <|> _ = Right x; _ <|> Right x = Right x; Left x <|> Left y = Left (x <> y) |
2024-05-16 22:27:04 +0200 | <talismanick> | (deriving these instances for the reversible Printer type, that is) |
2024-05-16 22:26:12 +0200 | <talismanick> | relaxing the <4.13 constraint went smoothly, except that newtype-deriving the all-important Alternative and MonadPlus failed with the error "no instance for MonadPlus (Either String)" |
2024-05-16 22:25:39 +0200 | <ski> | (doesn't seem to be one for `Alternative', though) |
2024-05-16 22:25:29 +0200 | <ski> | hmm .. i see `Monoid e => Monoid (Validation e a)' |
2024-05-16 22:24:35 +0200 | <talismanick> | for context, I'm playing around with a package promising bidirectional parsing <-> prettyprinting on the basis of monadic profunctoriality, but it's bitrotted as GHC has evolved |
2024-05-16 22:22:31 +0200 | <talismanick> | Is it something to do with kind, as in biasing a choice so it then acts "as if" it were `* -> *` like `Maybe` breaks some law I haven't thought of yet? |
2024-05-16 22:22:28 +0200 | <talismanick> | Why is there no `Monoid e -> Alternative (Either e)` instance? |
2024-05-16 22:13:45 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-16 22:10:44 +0200 | kadir | (~kadir@88.251.51.100) |
2024-05-16 22:10:15 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-05-16 22:09:06 +0200 | danse-nr3 | (~danse-nr3@rm-19-5-133.service.infuturo.it) |
2024-05-16 22:08:56 +0200 | danse-nr3 | (~danse-nr3@151.47.136.223) (Read error: Connection reset by peer) |
2024-05-16 22:02:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-16 22:00:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-05-16 21:58:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-16 21:57:47 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-16 21:56:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-05-16 21:52:22 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
2024-05-16 21:51:58 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
2024-05-16 21:51:04 +0200 | sudden | (~cat@user/sudden) |
2024-05-16 21:50:14 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 3.3) |
2024-05-16 21:44:08 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-16 21:39:25 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 272 seconds) |
2024-05-16 21:35:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
2024-05-16 21:32:54 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
2024-05-16 21:32:34 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
2024-05-16 21:32:01 +0200 | remmie | (ianremsen@tilde.team) |
2024-05-16 21:32:00 +0200 | bsima | (~bsima@143.198.118.179) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-16 21:23:09 +0200 | landonf | (landonf@mac68k.info) |
2024-05-16 21:22:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-05-16 21:22:11 +0200 | APic | (apic@apic.name) |
2024-05-16 21:20:57 +0200 | APic | (apic@apic.name) (Ping timeout: 268 seconds) |
2024-05-16 21:20:50 +0200 | darksatanic | darkling |
2024-05-16 21:20:37 +0200 | Dykam | (Dykam@dykam.nl) |
2024-05-16 21:20:35 +0200 | pierrot | (~pi@user/pierrot) |
2024-05-16 21:19:41 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
2024-05-16 21:19:41 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
2024-05-16 21:19:37 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
2024-05-16 21:19:29 +0200 | cln_ | (cln@wtf.cx) |
2024-05-16 21:19:28 +0200 | Dykam | (Dykam@dykam.nl) (Remote host closed the connection) |
2024-05-16 21:19:27 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer) |
2024-05-16 21:19:27 +0200 | probie | (cc0b34050a@user/probie) |
2024-05-16 21:19:26 +0200 | manwithluck | (~manwithlu@149.102.244.20) (Remote host closed the connection) |
2024-05-16 21:19:25 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
2024-05-16 21:19:23 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2024-05-16 21:19:22 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
2024-05-16 21:19:19 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |