Newest at the top
2024-05-20 15:20:10 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer) |
2024-05-20 15:20:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-05-20 15:12:02 +0200 | haveo | (~weechat@pacamara.iuwt.fr) |
2024-05-20 15:11:38 +0200 | haveo_ | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.1) |
2024-05-20 15:06:51 +0200 | <dmj`> | unique within a record |
2024-05-20 15:04:30 +0200 | <dmj`> | https://hackage.haskell.org/package/generic-lens-2.2.2.0/docs/Data-Generics-Product-Typed.html |
2024-05-20 15:04:13 +0200 | <dmj`> | markasoftware_: generic-lens has a getTyped accessor (myUser ^. typed @EmailAddress), some limitations though, the types /have/ to be unique. |
2024-05-20 14:56:49 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
2024-05-20 14:54:40 +0200 | <markasoftware_> | I know IxSet does some similar stuff internally to make `ixGen` work but I'm wondering if there's any simple standalone module for it |
2024-05-20 14:54:18 +0200 | <markasoftware_> | is there a library providing an easy way to get a field of a Data-implementing type with the given type? If all the fields of my type have unique types, it'd be much nicer to be able to say `getField myUser :: EmailAddress` rather than either (a) having to declare it as a proper record with accessors or (b) having to destructure it |
2024-05-20 14:43:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-20 14:40:09 +0200 | agent314 | (~quassel@184.75.215.3) |
2024-05-20 14:39:05 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) |
2024-05-20 14:38:37 +0200 | agent314_ | (~quassel@184.75.215.3) (Quit: No Ping reply in 180 seconds.) |
2024-05-20 14:32:52 +0200 | lg188 | (~lg188@82.18.98.230) (Quit: Bye.) |
2024-05-20 14:31:41 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-05-20 14:18:44 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-05-20 14:16:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-05-20 13:55:31 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-20 13:42:01 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
2024-05-20 13:41:45 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
2024-05-20 13:41:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 13:39:39 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
2024-05-20 13:39:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 13:34:50 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-20 13:29:52 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
2024-05-20 13:28:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-20 13:28:46 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-20 13:21:41 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
2024-05-20 13:19:29 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
2024-05-20 13:19:08 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) (Ping timeout: 260 seconds) |
2024-05-20 13:16:06 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
2024-05-20 13:07:49 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-05-20 13:06:22 +0200 | <danse-nr3> | v |
2024-05-20 13:05:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-05-20 13:04:54 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-05-20 13:04:20 +0200 | <lxsameer> | danse-nr3: cheers |
2024-05-20 13:02:21 +0200 | <danse-nr3> | not sure lxsameer but you can look into hackage for graph database clients that seem well-maintained |
2024-05-20 13:01:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 12:57:26 +0200 | yin | (~yin@user/zero) |
2024-05-20 12:50:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-05-20 12:50:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-20 12:44:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-20 12:40:10 +0200 | <lxsameer> | hey folks, I'm looking for an open source grahp database with great support for Haskell, any suggestion? |
2024-05-20 12:39:41 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-05-20 12:38:25 +0200 | zetef | (~quassel@5.2.182.99) |
2024-05-20 12:31:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-20 12:31:19 +0200 | euleritian | (~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-20 12:30:57 +0200 | euleritian | (~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) |
2024-05-20 12:30:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |