Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 814 815 816 817 818 819 820 821 822 823 824 .. 18023
— 1,802,297 events total
2021-07-06 01:14:53 <chris-the-slurpa> i might have to invest making one for my project
2021-07-06 01:15:10 <chris-the-slurpa> to store a timeline of music
2021-07-06 01:17:42 <Axman6> Hmm, I'm trying to derive a class for a type where I need to specify a constraint on one of its type parameters. data JSONTable a f = JSONTable {rowId :: Column f Int; payload :: Column f a} <deriving Rel8able somehow> I need to be able to specify a constraint that a is an instance of DBType
2021-07-06 01:18:41 × dispater quits (~dispater@user/brprice) (Ping timeout: 272 seconds)
2021-07-06 01:19:05 <Axman6> chris-the-slurpa: a blockchain is basically just a tree or graph, so it can have branches if you want it to. Is suggest you look into Merkel trees and see that a blockchain is just a simplification of those, and any DAG can be represented with them (I think)
2021-07-06 01:20:19 × vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (Quit: ...)
2021-07-06 01:20:48 <chris-the-slurpa> thx Axman6 very helpful :) will look into merkel trees
2021-07-06 01:21:23 → vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae)
2021-07-06 01:22:39 × gioyik_ quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 244 seconds)
2021-07-06 01:22:57 <geekosaur> Axman6, can you use standalone deriving for this? deriving DBType a => Rel8able (JSONTable a f) -- or something like that
2021-07-06 01:23:30 → gioyik_ joins (~gioyik@gateway/tor-sasl/gioyik)
2021-07-06 01:24:46 <Axman6> I've tried deriving instance (DBType a) => Rel8able (DamlTable tableName a f) but get: • Expected kind ‘rel8-1.0.0.1:Rel8.Schema.Kind.Rel8able’, but ‘DamlTable tableName a f’ has kind ‘*’
2021-07-06 01:24:58 × lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 240 seconds)
2021-07-06 01:25:44 <geekosaur> that sounds like you're misusing Rel8able somehow
2021-07-06 01:25:55 <geekosaur> but I can't help much with kinds other than *
2021-07-06 01:26:47 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds)
2021-07-06 01:27:05 <Axman6> so based on https://hackage.haskell.org/package/rel8-1.0.0.1/docs/Rel8.html#t:Rel8able, it shoudl be able to use the HKD instance for the type
2021-07-06 01:27:26 → dispater joins (~dispater@user/brprice)
2021-07-06 01:27:44 → machinedgod joins (~machinedg@24.105.81.50)
2021-07-06 01:28:26 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2021-07-06 01:28:47 × fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer)
2021-07-06 01:29:22 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-07-06 01:30:11 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-06 01:30:32 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-06 01:31:51 × vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (Quit: ...)
2021-07-06 01:31:53 × maf654321 quits (~maf654321@user/maf654321) (Quit: Textual IRC Client: www.textualapp.com)
2021-07-06 01:32:58 → maf654321 joins (~maf654321@user/maf654321)
2021-07-06 01:34:34 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 240 seconds)
2021-07-06 01:35:40 → vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae)
2021-07-06 01:36:01 × xff0x quits (~xff0x@2001:1a81:5326:300:bf03:ba01:b458:4fad) (Ping timeout: 246 seconds)
2021-07-06 01:36:50 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-06 01:38:00 → xff0x joins (~xff0x@2001:1a81:5361:2500:82d3:7394:61f1:d68f)
2021-07-06 01:39:04 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-06 01:39:15 × vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (Client Quit)
2021-07-06 01:39:57 → vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae)
2021-07-06 01:41:50 <haskl> Anyone else a haskell intermediate and feel like, generally programming in haskell basically writes itself, but then you run into some 4d russian nesting doll scenario where you need to manipulate/twist which monads or functors/applicatives are inside which? It's fun but I'm still at the point where I have to pause and think or look at previous examples sometimes. `traverse` is a handy function, especially when used with `Either` to escape failing inside a
2021-07-06 01:41:50 <haskl> Maybe monad.
2021-07-06 01:44:22 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-06 01:44:34 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-07-06 01:45:44 × hegstal quits (~hegstal@2a02:c7f:7604:8a00:1a67:2b79:31fc:1012) (Remote host closed the connection)
2021-07-06 01:45:57 <Axman6> Can't say that's something I run into all that often, thoug it's been a while since I've been wokring with transformer stacks
2021-07-06 01:47:20 → neurocyte400 joins (~neurocyte@213.188.113.203)
2021-07-06 01:47:20 × neurocyte400 quits (~neurocyte@213.188.113.203) (Changing host)
2021-07-06 01:47:20 → neurocyte400 joins (~neurocyte@user/neurocyte)
2021-07-06 01:49:03 <haskl> i honestly rarely end up using transformers so i always end up forgetting the little details
2021-07-06 01:49:40 × neurocyte40 quits (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds)
2021-07-06 01:49:40 neurocyte400 is now known as neurocyte40
2021-07-06 01:50:34 <Axman6> geekosaur: I've also tried ... deriving Rel8able via HKD (DamlTable tableName a f) but then get annot eta-reduce to an instance of form instance (...) => Rel8able (DamlTable tableName a)
2021-07-06 01:51:09 maf654321 is now known as mafdz
2021-07-06 01:51:40 mafdz is now known as maf654321
2021-07-06 01:53:41 <Axman6> huh, looks like this is enough: deriving instance Rel8able (DamlTable tableName a) :|
2021-07-06 01:54:35 <Axman6> or not, had other errors
2021-07-06 01:55:15 <Axman6> ah, deriving instance DBType a => Rel8able (DamlTable tableName a) did it :tada:
2021-07-06 01:58:10 × stefan-_ quits (~cri@42dots.de) (Ping timeout: 240 seconds)
2021-07-06 02:00:39 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-07-06 02:01:46 × awth13 quits (~user@user/awth13) (Remote host closed the connection)
2021-07-06 02:02:09 → stefan-_ joins (~cri@42dots.de)
2021-07-06 02:03:38 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-07-06 02:04:02 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-06 02:04:10 × alx741 quits (~alx741@186.178.108.123) (Ping timeout: 240 seconds)
2021-07-06 02:04:58 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 240 seconds)
2021-07-06 02:05:52 × argento quits (~argent0@168-227-97-29.ptr.westnet.com.ar) (Quit: leaving)
2021-07-06 02:14:31 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 246 seconds)
2021-07-06 02:17:54 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-06 02:20:55 → alx741 joins (~alx741@186.178.108.0)
2021-07-06 02:22:20 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds)
2021-07-06 02:24:39 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-06 02:25:58 × td_ quits (~td@muedsl-82-207-238-036.citykom.de) (Ping timeout: 258 seconds)
2021-07-06 02:27:51 → td_ joins (~td@94.134.91.135)
2021-07-06 02:27:56 → lavaman joins (~lavaman@98.38.249.169)
2021-07-06 02:28:31 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2021-07-06 02:29:04 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-06 02:30:16 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 246 seconds)
2021-07-06 02:30:20 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-07-06 02:31:06 × derelict quits (~derelict@user/derelict) (Ping timeout: 240 seconds)
2021-07-06 02:32:10 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-07-06 02:33:07 → wei2912 joins (~wei2912@112.199.250.21)
2021-07-06 02:40:51 → lavaman joins (~lavaman@98.38.249.169)
2021-07-06 02:41:47 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-06 02:46:10 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds)
2021-07-06 02:47:44 × thornAvery quits (~thorn@121.220.33.124) (Quit: WeeChat 3.2)
2021-07-06 02:48:36 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-06 02:49:41 gioyik_ is now known as gioyik
2021-07-06 02:50:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-06 02:51:22 × hammock quits (~Hammock@2600:1700:19a1:3330::625) (Ping timeout: 240 seconds)
2021-07-06 02:53:24 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-06 02:54:43 × alx741 quits (~alx741@186.178.108.0) (Quit: alx741)
2021-07-06 02:57:29 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-06 02:58:16 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-06 03:03:02 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-06 03:05:14 × beka quits (~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 252 seconds)
2021-07-06 03:09:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-06 03:10:47 → awth13 joins (~user@user/awth13)
2021-07-06 03:10:52 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-07-06 03:11:21 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
2021-07-06 03:15:04 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 246 seconds)
2021-07-06 03:15:22 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-06 03:15:53 × Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Read error: Connection reset by peer)
2021-07-06 03:16:39 → Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com)
2021-07-06 03:17:06 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
←Prev  Next→
Page 1 .. 814 815 816 817 818 819 820 821 822 823 824 .. 18023

All times are in UTC.