Logs: freenode/#haskell
| 2021-05-13 04:46:45 | <Axman6> | have a look at the ekg package |
| 2021-05-13 04:48:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-13 04:48:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-13 04:48:36 | <erayo> | I'll take a look, ty Axman6 |
| 2021-05-13 04:49:14 | <Axman6> | I can't remember if it has any thing more than GHC.Stats, but poking around in its code might be helpful |
| 2021-05-13 04:53:24 | → | ram19890 joins (~ram@49.205.82.36) |
| 2021-05-13 04:55:26 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-13 04:55:34 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-13 04:56:37 | → | bitmagie joins (~Thunderbi@200116b8063274004dbaea6bd427ccca.dip.versatel-1u1.de) |
| 2021-05-13 04:58:11 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-13 04:58:18 | × | mayleesia quits (~mayleesia@x4dbfe091.dyn.telefonica.de) (Remote host closed the connection) |
| 2021-05-13 04:59:36 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-13 05:01:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-13 05:01:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-13 05:01:48 | <jackdk> | Question: `Void` is to `Either` as ??? is to `Data.Functor.Sum.Sum`? |
| 2021-05-13 05:01:58 | × | xchg111 quits (~xchg111@pool-71-245-243-39.nycmny.fios.verizon.net) (Quit: Leaving) |
| 2021-05-13 05:02:16 | <jackdk> | Axman6: Yeah whitespace is by far his best-known work. Not sure what else he's done ;-) |
| 2021-05-13 05:02:22 | <Axman6> | '[Void] >_> |
| 2021-05-13 05:02:29 | <Axman6> | ha |
| 2021-05-13 05:02:49 | <jackdk> | I'm not sure that's true. I think I want `data Void1 a` |
| 2021-05-13 05:03:27 | <jackdk> | does it exist anywhere already? |
| 2021-05-13 05:07:16 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 2021-05-13 05:11:33 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Ping timeout: 240 seconds) |
| 2021-05-13 05:17:30 | <Axman6> | https://hackage.haskell.org/package/generic-lens-core-2.1.0.0/docs/Data-Generics-Internal-Void.html#t:Void1 |
| 2021-05-13 05:18:44 | × | bitmagie quits (~Thunderbi@200116b8063274004dbaea6bd427ccca.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-13 05:22:20 | → | texasmynsted_ joins (~texasmyns@99.96.221.112) |
| 2021-05-13 05:24:06 | <jackdk> | so not in a canonical place |
| 2021-05-13 05:24:14 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 265 seconds) |
| 2021-05-13 05:24:40 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 2021-05-13 05:32:04 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 268 seconds) |
| 2021-05-13 05:33:58 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-05-13 05:35:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 05:37:07 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 05:38:48 | → | plutoniix joins (~q@cm-119-76-33-155.revip17.asianet.co.th) |
| 2021-05-13 05:39:32 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-13 05:40:26 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-13 05:40:57 | × | ryanbooker quits (uid4340@gateway/web/irccloud.com/x-ipaioypvtkpwqeps) (Quit: Connection closed for inactivity) |
| 2021-05-13 05:41:41 | → | johannes_ joins (~johannes@mue-88-130-62-129.dsl.tropolys.de) |
| 2021-05-13 05:41:41 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 05:41:49 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-13 05:42:17 | × | solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-05-13 05:42:23 | johannes_ | is now known as kenran |
| 2021-05-13 05:42:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:9d88:fa76:8cb0:666d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-13 05:43:57 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 05:45:01 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-13 05:45:52 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-13 05:45:53 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds) |
| 2021-05-13 05:47:25 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-mitaxlcfeovagyrl) (Quit: Connection closed for inactivity) |
| 2021-05-13 05:48:52 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-13 05:52:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-13 05:52:30 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 05:53:16 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-13 05:55:31 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-13 05:56:07 | <edwardk> | jackdk: GHC.Generics.V1 |
| 2021-05-13 05:56:27 | <edwardk> | that is the version i use whenever i need it |
| 2021-05-13 05:57:02 | × | erayo quits (94426938@56.105.66.148.dsl.dyn.mana.pf) (Quit: Connection closed) |
| 2021-05-13 05:57:05 | <jackdk> | edwardk: thanks. I'm probably going to have to derive Eq1 Show1 etc, so I might make my own -- I'm allergic to orphans |
| 2021-05-13 05:57:10 | <edwardk> | though I tend to pair it with (:+:) rather than Sum |
| 2021-05-13 05:57:21 | <edwardk> | i think those are in base-orphans |
| 2021-05-13 05:57:23 | → | isovector joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 2021-05-13 06:00:47 | <jackdk> | Hm, doesn't look like it. |
| 2021-05-13 06:02:38 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-13 06:04:24 | → | alexander joins (~alexander@2a02:587:dc01:3b00:3556:2d31:d0c8:431a) |
| 2021-05-13 06:04:33 | × | Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 260 seconds) |
| 2021-05-13 06:04:54 | alexander | is now known as Guest47744 |
| 2021-05-13 06:05:28 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-13 06:07:05 | → | killsushi joins (~killsushi@2607:fea8:3d40:767:1ced:a9b2:1ba9:5b56) |
| 2021-05-13 06:16:13 | <edwardk> | ah, maybe they never made it into base? |
| 2021-05-13 06:16:16 | <edwardk> | yeah looks like it |
| 2021-05-13 06:16:17 | <edwardk> | https://github.com/ekmett/hkd/blob/main/src/Data/HKD/Orphans.hs#L26 |
| 2021-05-13 06:16:31 | <edwardk> | i have a few of them myself with an intention to move them to base and base-orphans |
| 2021-05-13 06:17:38 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 06:18:01 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-13 06:18:14 | <jackdk> | you don't happen to have a n-way functor sum type kicking around, like HList's `Variant` lifted to `Variant1` or something? |
| 2021-05-13 06:21:53 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-13 06:21:56 | <edwardk> | https://github.com/ekmett/hkd/blob/main/src/Data/HKD/Index/Internal.hs is the index part. https://github.com/ekmett/distributive/blob/a606a9efd2f3e0458fb5808c70445333fdaae34b/src/Data/Rep/Internal.hs#L2184 is the variant |
| 2021-05-13 06:22:20 | <edwardk> | i could make it a separate type, but haven't yet |
| 2021-05-13 06:23:08 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 06:23:58 | <edwardk> | FVariant (Rec '[a,b,c]) f sounds kind of like what you are hunting for? which is a DSum (Index '[a,b,c]) f |
| 2021-05-13 06:26:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-13 06:27:11 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-05-13 06:27:22 | × | kenran quits (~johannes@mue-88-130-62-129.dsl.tropolys.de) (Quit: Lost terminal) |
| 2021-05-13 06:27:58 | → | johannes_ joins (~johannes@mue-88-130-62-129.dsl.tropolys.de) |
| 2021-05-13 06:28:08 | johannes_ | is now known as kenran |
| 2021-05-13 06:29:01 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-13 06:29:11 | × | nerdypepper quits (znc@152.67.162.71) (Ping timeout: 240 seconds) |
| 2021-05-13 06:29:28 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-13 06:34:03 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-13 06:34:25 | → | jiribenes joins (~jiribenes@rosa.jiribenes.com) |
| 2021-05-13 06:34:48 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 06:38:43 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-13 06:38:45 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-13 06:38:54 | × | echoreply quits (~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1) |
| 2021-05-13 06:39:21 | → | echoreply joins (~echoreply@unaffiliated/echoreply) |
| 2021-05-13 06:40:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-13 06:46:17 | × | EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Quit: WeeChat 3.1) |
| 2021-05-13 06:51:10 | × | MrMobius quits (~MrMobius@208.58.206.154) (Read error: Connection reset by peer) |
| 2021-05-13 06:56:43 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 06:57:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-13 06:57:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
All times are in UTC.