Newest at the top
2024-05-17 19:25:53 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-05-17 19:25:11 +0200 | nullie | (~nullie@nuremberg.nullie.name) |
2024-05-17 19:24:48 +0200 | nullie | (~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1) |
2024-05-17 19:24:47 +0200 | <ph88> | glguy, cool i'll play around with that see how it goes |
2024-05-17 19:23:03 +0200 | <ph88> | [Leary], from my second paste https://play.haskell.org/saved/nsO7Fn41 when i move stuff from GetMessage (user part) into data Entity (library part) it defeats the goal. A creative idea nonetheless i will keep it in mind for other situations |
2024-05-17 19:23:00 +0200 | mei | (~mei@user/mei) |
2024-05-17 19:22:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-05-17 19:21:27 +0200 | <glguy> | I did an example of this style a while back https://github.com/glguy/operations/blob/master/src/Example.hs |
2024-05-17 19:20:31 +0200 | <glguy> | Maybe you want to bake the idea of multiple constraints into your entity type? https://play.haskell.org/saved/cMgRB0yD |
2024-05-17 19:19:31 +0200 | <[Leary]> | ph88: Yes? I mean the type constructor defined by the `data Entity ...` declaration in your first paste. |
2024-05-17 19:16:34 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 19:15:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-05-17 19:10:53 +0200 | <ph88> | [Leary], will allow you to write `Entity (HasDataID & GetMessage)`. Do you mean data Entity ? |
2024-05-17 19:10:28 +0200 | nullie | (~nullie@nuremberg.nullie.name) |
2024-05-17 19:10:04 +0200 | nullie | (~nullie@2a01:4f8:c2c:6177::1) (Quit: WeeChat 4.1.1) |
2024-05-17 19:08:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 19:05:32 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-05-17 19:01:01 +0200 | <[Leary]> | No, that doesn't suffice for their use-case. |
2024-05-17 19:00:47 +0200 | <monochrom> | You should simply enable ConstraintKinds and write "type (&) c1 c2 a = (c1 a, c2 a)" |
2024-05-17 18:59:42 +0200 | <monochrom> | Again, "instance ... => Foo a" means that every type is a Foo instance. (Oh, the ... conditions are checked later and cause hard errors, not as preconditions.) |
2024-05-17 18:59:34 +0200 | <[Leary]> | "Use UndecidableSuperClasses to accept this" |
2024-05-17 18:57:32 +0200 | <ph88> | [Leary], something is not quite right https://play.haskell.org/saved/R4jW1YVV |
2024-05-17 18:56:05 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-17 18:45:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-05-17 18:42:35 +0200 | _xor8 | _xor |
2024-05-17 18:42:35 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 264 seconds) |
2024-05-17 18:41:03 +0200 | _xor8 | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
2024-05-17 18:39:45 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 18:27:46 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-05-17 18:20:25 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-17 18:19:51 +0200 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
2024-05-17 18:13:24 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-05-17 18:10:06 +0200 | yin | (~yin@user/zero) |
2024-05-17 18:07:32 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
2024-05-17 18:03:20 +0200 | zzz | (~yin@user/zero) (Quit: leaving) |
2024-05-17 17:55:12 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Ping timeout: 256 seconds) |
2024-05-17 17:47:59 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-05-17 17:44:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-05-17 17:42:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-05-17 17:33:45 +0200 | rosco | (~rosco@173.150.68.85.rev.sfr.net) (Remote host closed the connection) |
2024-05-17 17:24:02 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-17 17:23:44 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-05-17 17:23:31 +0200 | EvanR | (~EvanR@user/evanr) |
2024-05-17 17:21:12 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-17 17:19:24 +0200 | mei | (~mei@user/mei) |
2024-05-17 17:12:57 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 17:11:23 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Ping timeout: 260 seconds) |
2024-05-17 17:06:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
2024-05-17 17:00:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-17 16:50:10 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |