Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 .. 18031
— 1,803,086 events total
2021-07-20 16:59:35 × argento quits (~argent0@168-227-96-26.ptr.westnet.com.ar) (Ping timeout: 255 seconds)
2021-07-20 17:00:47 → azeem joins (~azeem@176.200.211.15)
2021-07-20 17:01:29 <monochrom> Are we meant to do some kind of union, perhaps disjoint union, of V1xE2 and E1xV2 for the new set of edges?
2021-07-20 17:04:02 × drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 256 seconds)
2021-07-20 17:04:41 <monochrom> I think I may define "data BoxProdV v1 v2 = MkBoxProdV v1 v2" and "data BoxProdE v1 e1 v2 e2 = ???". Then "instance (G v1 e1) (G v2 e2) => G (BoxProdV v1 v2) (BoxProdE v1 e1 v2 e2)" can make sense.
2021-07-20 17:05:06 <monochrom> err, instance (G v1 e1, G v2 e2) => G (BoxProdV v1 v2) (BoxProdE v1 e1 v2 e2)
2021-07-20 17:06:09 × dunkeln_ quits (~dunkeln@188.71.231.232) (Ping timeout: 255 seconds)
2021-07-20 17:06:18 <metaweta> > disjoint union, of V1xE2 and E1xV2 for the new set of edges
2021-07-20 17:06:19 <metaweta> yes
2021-07-20 17:06:20 <lambdabot> <hint>:1:15: error: parse error on input ‘,’
2021-07-20 17:07:56 <metaweta> so I guess "data BoxProdE v1 e1 v2 e2 = Horz v1 e2 | Vert e1 v2"
2021-07-20 17:08:29 <monochrom> Yeah
2021-07-20 17:08:31 <metaweta> How do you capture the functions s and t as part of the graph?
2021-07-20 17:08:39 <monochrom> I don't know.
2021-07-20 17:09:04 <monochrom> Haven't learned box product, much less what it does to s and t.
2021-07-20 17:10:13 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-07-20 17:10:36 × h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-20 17:11:59 → h98 joins (~h98@187.83.249.216.dyn.smithville.net)
2021-07-20 17:12:22 <metaweta> s and t pick out the source and target of an edge. So given an edge e1:u1->v1 and an edge e2:u2->v2, the horizontal edges are (u1, e2):(u1,u2)->(u1,v2), (v1, e2):(v1,u2)->(v1,v2), (e1, u2): (u1,u2) -> (v1,u2) and (e1,v2):(u1,v2)->(v1,v2)
2021-07-20 17:12:37 <metaweta> sorry the last two are the vertical edges
2021-07-20 17:13:50 <metaweta> the box product of two edges is a box (as opposed to the categorical product which also has a diagonal (e1,e2):(u1,u2)->(v1,v2))
2021-07-20 17:16:04 <h98> why not just define BoxProduct e1 v1 e2 v2 as a multiparam type class and implement an instance for the constraint that E1 V1 and E2 V2 form directed multigraphs?
2021-07-20 17:16:29 → lavaman joins (~lavaman@98.38.249.169)
2021-07-20 17:17:55 <metaweta> Yeah, I was thinking "class G e v where s::e->v; t::e->v"
2021-07-20 17:20:18 × h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-20 17:21:06 → zyklotomic joins (~ethan@2604:a880:800:10::79f:8001)
2021-07-20 17:21:12 → h98 joins (~h98@187.83.249.216.dyn.smithville.net)
2021-07-20 17:21:14 <metaweta> How would I write the constraint in the instance declaration? "instance G e1 v1, G e2 v2 => BoxProduct e1 v1 e2 v2 where ..." ?
2021-07-20 17:22:06 <h98> instance (G e1 v1, G e2 v2) => BoxProduct e1 v1 e2 v2 where
2021-07-20 17:22:09 × __monty__ quits (~toonn@user/toonn) (Ping timeout: 268 seconds)
2021-07-20 17:22:22 <metaweta> thx, will try
2021-07-20 17:22:59 → aegon joins (~mike@174.127.249.180)
2021-07-20 17:23:10 × aegon quits (~mike@174.127.249.180) (Quit: leaving)
2021-07-20 17:23:31 → aegon joins (~mike@174.127.249.180)
2021-07-20 17:23:34 → __monty__ joins (~toonn@user/toonn)
2021-07-20 17:29:12 <metaweta> I've got "instance (G v1 e1, G v2 e2) => G (v1, v2) (BoxProduct v1 e1 v2 e2) where s Horz v e = (v, s e); t Horz v e = (v, t e); s Vert e v = (s e, v); t Vert e v = (t e, v)"
2021-07-20 17:30:11 <metaweta> I'd like to define the behavior of s,t on the new instance in terms of s,t on the given instances. What's the right way?
2021-07-20 17:33:43 → drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-20 17:34:12 × azeem quits (~azeem@176.200.211.15) (Read error: Connection reset by peer)
2021-07-20 17:34:44 × Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 258 seconds)
2021-07-20 17:35:01 → azeem joins (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it)
2021-07-20 17:36:36 → Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-20 17:36:41 × favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-20 17:37:43 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-20 17:39:14 → favonia joins (~favonia@user/favonia)
2021-07-20 17:40:04 × h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-20 17:41:29 → h98 joins (~h98@187.83.249.216.dyn.smithville.net)
2021-07-20 17:46:40 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-20 17:48:02 × h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-20 17:50:54 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-20 17:53:10 → dunkeln_ joins (~dunkeln@188.71.231.232)
2021-07-20 17:53:27 × econo quits (uid147250@user/econo) ()
2021-07-20 17:57:08 <zzz> dminuoso: thanks
2021-07-20 17:58:12 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-07-20 18:02:32 → hsiktas joins (uid224847@id-224847.tooting.irccloud.com)
2021-07-20 18:03:27 → sagax joins (~sagax@213.138.71.146)
2021-07-20 18:03:28 × Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds)
2021-07-20 18:04:03 × Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed)
2021-07-20 18:06:18 × oxide quits (~lambda@user/oxide) (Ping timeout: 240 seconds)
2021-07-20 18:07:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-20 18:07:15 → oxide joins (~lambda@user/oxide)
2021-07-20 18:08:12 → dseven joins (~jere@a00007802.kortex.jyu.fi)
2021-07-20 18:08:42 × favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-20 18:12:01 × benin0369 quits (~benin@183.82.205.42) (Ping timeout: 246 seconds)
2021-07-20 18:12:30 × azeem quits (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) (Remote host closed the connection)
2021-07-20 18:12:39 → azeem joins (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it)
2021-07-20 18:13:16 → favonia joins (~favonia@user/favonia)
2021-07-20 18:13:59 <lechner> Hi, is Opaleye a good way to write typesafe and composable code to query a Postgres database? https://hackage.haskell.org/package/opaleye
2021-07-20 18:14:17 → benin0369 joins (~benin@183.82.205.42)
2021-07-20 18:15:14 → nvmd joins (~nvmd@user/nvmd)
2021-07-20 18:17:40 ← dseven parts (~jere@a00007802.kortex.jyu.fi) (quit)
2021-07-20 18:19:03 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 255 seconds)
2021-07-20 18:22:40 × metaweta quits (~metaweta@166.70.31.28) (Quit: Connection closed)
2021-07-20 18:22:45 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-07-20 18:22:55 → chexum joins (~quassel@gateway/tor-sasl/chexum)
2021-07-20 18:23:26 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-20 18:26:37 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-20 18:26:42 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-20 18:27:06 → favonia joins (~favonia@user/favonia)
2021-07-20 18:29:02 → jolly joins (~jolly@208.180.97.158)
2021-07-20 18:33:46 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-07-20 18:38:25 → Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-20 18:38:57 × Null_A quits (~null_a@2601:645:8700:2290:f559:df0a:6e82:e360) (Remote host closed the connection)
2021-07-20 18:39:32 → Null_A joins (~null_a@2601:645:8700:2290:f559:df0a:6e82:e360)
2021-07-20 18:39:42 → gehmehgeh joins (~user@user/gehmehgeh)
2021-07-20 18:40:02 × Null_A quits (~null_a@2601:645:8700:2290:f559:df0a:6e82:e360) (Remote host closed the connection)
2021-07-20 18:40:15 → Null_A joins (~null_a@2601:645:8700:2290:f559:df0a:6e82:e360)
2021-07-20 18:41:17 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-20 18:42:06 → oso joins (~oso@2601:58c:c080:a950:f275:2530:b398:680b)
2021-07-20 18:42:19 × benin0369 quits (~benin@183.82.205.42) (Ping timeout: 268 seconds)
2021-07-20 18:45:42 <maerwald> ok, so I finally broke hlints parser with quasi quotes too
2021-07-20 18:47:06 × sergio812 quits (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) (Quit: Client closed)
2021-07-20 18:47:17 <monochrom> :)
2021-07-20 18:47:37 × xff0x_ quits (~xff0x@2001:1a81:52d5:1300:367a:5587:a9ce:9c94) (Ping timeout: 245 seconds)
2021-07-20 18:48:38 → xff0x_ joins (~xff0x@2001:1a81:52d5:1300:581a:587e:cc8c:4deb)
2021-07-20 18:48:50 <maerwald> #{bc}|] -- is the closing line of a quasi quote...
2021-07-20 18:48:56 <maerwald> it's probably thinking... hmm, CPP?
2021-07-20 18:49:40 <monochrom> yeah
2021-07-20 18:50:08 <monochrom> How recently was hlint updated anyway?
2021-07-20 18:50:23 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
←Prev  Next→
Page 1 .. 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 .. 18031

All times are in UTC.