Logs: freenode/#haskell
| 2020-10-24 02:05:49 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-24 02:07:19 | <texasmynsted> | What is a reasonable way to combine these? https://gist.github.com/mmynsted/da7bc7a118ded64080d87208a0f5c798 |
| 2020-10-24 02:08:22 | <texasmynsted> | other comments welcome. I just want to improve and I have been looking at code too long today. |
| 2020-10-24 02:08:55 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 2020-10-24 02:09:00 | <texasmynsted> | I can't really recall the let/where details for inside a do block |
| 2020-10-24 02:09:01 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-24 02:09:19 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-24 02:09:20 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-24 02:09:20 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-24 02:09:37 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-24 02:10:11 | <Squarism> | texasmynsted, im not haskell veteran. But I think it would help if you provide more context, types and background. |
| 2020-10-24 02:10:51 | × | ryjm_matrix quits (~matrixirc@2600:4040:a009:6100:3adc:615b:70b5:b0c) (Quit: killed) |
| 2020-10-24 02:10:58 | <texasmynsted> | I am just wanting to combine foo and bar |
| 2020-10-24 02:11:20 | <texasmynsted> | foo is Rules UrlPairs |
| 2020-10-24 02:11:31 | <texasmynsted> | bar is Rules () |
| 2020-10-24 02:11:58 | <Squarism> | you mean Rules is a semigroup / monoid? |
| 2020-10-24 02:12:18 | <texasmynsted> | Rules --> https://jaspervdj.be/hakyll/reference/Hakyll-Core-Rules.html#t:Rules |
| 2020-10-24 02:12:19 | × | Tario quits (~Tario@200.119.186.205) (Read error: Connection reset by peer) |
| 2020-10-24 02:12:43 | → | Tario joins (~Tario@200.119.186.205) |
| 2020-10-24 02:13:28 | <texasmynsted> | it forms a Monad, Functor, Applicative, and MonadMetaData if I am reading that right. |
| 2020-10-24 02:15:13 | × | theDon quits (~td@muedsl-82-207-238-026.citykom.de) (Ping timeout: 246 seconds) |
| 2020-10-24 02:15:39 | → | sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:11be:8bb9:294d:1e35) |
| 2020-10-24 02:16:34 | <MarcelineVQ> | bar uses foo, are you wanting to write one definition that replaces them entirely? |
| 2020-10-24 02:16:46 | → | polyrain joins (~polyrain@58.161.83.164) |
| 2020-10-24 02:17:16 | <MarcelineVQ> | *replaces foo and bar entirely |
| 2020-10-24 02:17:22 | → | theDon joins (~td@muedsl-82-207-238-099.citykom.de) |
| 2020-10-24 02:18:29 | × | danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2020-10-24 02:19:16 | <Squarism> | ghoulguy, you seem to have an obvious idea in your head there on how to accomplish my above problem. Could you just show a short signature of pseudo code for what you mean? |
| 2020-10-24 02:21:22 | <Squarism> | or do you mean Traversal as in what is used by over / view in in lens lib? |
| 2020-10-24 02:21:23 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-10-24 02:21:55 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-24 02:23:25 | <MarcelineVQ> | texasmynsted: you should be able to just insert the body you wrote for foo right into bar, e.g. https://gist.github.com/mmynsted/da7bc7a118ded64080d87208a0f5c798 |
| 2020-10-24 02:23:26 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-24 02:24:47 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-24 02:24:57 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-24 02:25:31 | <Squarism> | yeah, right. its a Traversal i want to make |
| 2020-10-24 02:27:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-24 02:28:08 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2020-10-24 02:28:54 | × | polyrain quits (~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-24 02:30:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) |
| 2020-10-24 02:36:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-24 02:38:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-10-24 02:39:39 | <texasmynsted> | yes replace both with a single function |
| 2020-10-24 02:40:28 | <texasmynsted> | :-) |
| 2020-10-24 02:40:34 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 2020-10-24 02:40:59 | → | polyrain joins (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) |
| 2020-10-24 02:41:42 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-giahkircsluozbqw) (Quit: Connection closed for inactivity) |
| 2020-10-24 02:41:55 | <texasmynsted> | Nice thank you MarcelineVQ |
| 2020-10-24 02:45:36 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2020-10-24 02:46:40 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-24 02:50:58 | hackage | happstack-jmacro 7.0.12.3 - Support for using JMacro with Happstack https://hackage.haskell.org/package/happstack-jmacro-7.0.12.3 (JeremyShaw) |
| 2020-10-24 02:51:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2020-10-24 02:52:27 | × | ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 2020-10-24 02:52:57 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-10-24 02:55:08 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-24 02:59:06 | × | polyrain quits (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-24 02:59:33 | × | texasmynsted quits (~texasmyns@185.240.246.92) (Remote host closed the connection) |
| 2020-10-24 03:00:01 | × | milky1 quits (~milky@185.204.1.185) () |
| 2020-10-24 03:01:12 | → | burg_philo joins (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) |
| 2020-10-24 03:03:27 | × | xff0x quits (~fox@2001:1a81:5345:9900:b354:bb80:32a4:609c) (Ping timeout: 260 seconds) |
| 2020-10-24 03:05:02 | → | xff0x joins (~fox@2001:1a81:5355:300:8972:1637:b6e1:e69f) |
| 2020-10-24 03:05:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-24 03:06:13 | × | burg_philo quits (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2020-10-24 03:06:45 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2020-10-24 03:08:22 | × | djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds) |
| 2020-10-24 03:10:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2020-10-24 03:11:26 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds) |
| 2020-10-24 03:12:04 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2020-10-24 03:12:37 | → | mbomba joins (~mbomba@142.114.9.241) |
| 2020-10-24 03:16:10 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services))) |
| 2020-10-24 03:16:16 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-24 03:23:28 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 246 seconds) |
| 2020-10-24 03:24:19 | → | erolm_a joins (~erolm_a@62.18.213.68) |
| 2020-10-24 03:25:50 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2020-10-24 03:26:37 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2020-10-24 03:27:49 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 264 seconds) |
| 2020-10-24 03:33:08 | <jtmar> | is it possible to define a pattern that works against multiple types? it looks like associated pattern synonyms were never implemented so I'm wondering if there's an alternative |
| 2020-10-24 03:33:47 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 260 seconds) |
| 2020-10-24 03:34:34 | → | erolm_a joins (~erolm_a@62.18.213.68) |
| 2020-10-24 03:38:16 | × | theDon quits (~td@muedsl-82-207-238-099.citykom.de) (Ping timeout: 260 seconds) |
| 2020-10-24 03:39:37 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-10-24 03:39:53 | → | theDon joins (~td@muedsl-82-207-238-136.citykom.de) |
| 2020-10-24 03:40:47 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-24 03:41:41 | → | thir joins (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) |
| 2020-10-24 03:42:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-24 03:43:52 | × | solonarv quits (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2020-10-24 03:44:11 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-10-24 03:44:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-24 03:45:05 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2020-10-24 03:46:17 | × | thir quits (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-24 03:46:23 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 2020-10-24 03:49:47 | <c_wraith> | jtmar: nope. but you can do the dual, by defining an eliminator in a class |
| 2020-10-24 03:50:54 | <jtmar> | alright then. thanks. |
| 2020-10-24 03:51:04 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-24 03:51:56 | × | nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: Leaving) |
| 2020-10-24 03:58:15 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-24 03:58:38 | <dolio> | You can, actually. |
| 2020-10-24 03:59:18 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-10-24 03:59:42 | <jtmar> | how? |
| 2020-10-24 03:59:45 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 240 seconds) |
All times are in UTC.