Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 247 248 249 250 251 252 253 254 255 256 257 .. 17985
— 1,798,411 events total
2021-06-02 20:12:54 × ru0mad quits (~ru0mad@82-64-17-144.subs.proxad.net) (Ping timeout: 272 seconds)
2021-06-02 20:13:12 × ddellacosta quits (~ddellacos@86.106.121.72) (Remote host closed the connection)
2021-06-02 20:13:30 × benin quits (~benin@183.82.205.186) (Ping timeout: 264 seconds)
2021-06-02 20:13:31 benin0 is now known as benin
2021-06-02 20:13:34 → ddellacosta joins (~ddellacos@86.106.121.72)
2021-06-02 20:14:38 → redienhcs joins (~redienhcs@200.188.238.241)
2021-06-02 20:15:15 → ixlun joins (~matthew@109.249.184.235)
2021-06-02 20:15:43 → ru0mad joins (~ru0mad@82-64-17-144.subs.proxad.net)
2021-06-02 20:16:37 ← Wally parts (~Wally@dragonbox/forum-staff/wally) ()
2021-06-02 20:17:17 × redienhcs quits (~redienhcs@200.188.238.241) (Client Quit)
2021-06-02 20:20:08 × ru0mad quits (~ru0mad@82-64-17-144.subs.proxad.net) (Ping timeout: 252 seconds)
2021-06-02 20:20:24 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-06-02 20:21:18 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 264 seconds)
2021-06-02 20:22:51 → Bartosz joins (~textual@24.35.90.211)
2021-06-02 20:27:00 × tonyday quits (~user@202-65-93-249.ip4.superloop.com) (Ping timeout: 245 seconds)
2021-06-02 20:27:12 × boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed)
2021-06-02 20:27:53 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-02 20:29:52 → boxscape joins (~boxscape@user/boxscape)
2021-06-02 20:30:16 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-02 20:32:06 × danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1)
2021-06-02 20:33:59 → Wally joins (~Wally@dragonbox/forum-staff/wally)
2021-06-02 20:37:52 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-02 20:38:09 → tonyday joins (~user@202-65-93-249.ip4.superloop.com)
2021-06-02 20:38:41 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-02 20:39:21 → imdoor joins (~imdoor@balticom-142-78-50.balticom.lv)
2021-06-02 20:41:24 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-06-02 20:42:08 × ukari quits (~ukari@user/ukari) (Remote host closed the connection)
2021-06-02 20:43:11 → ukari joins (~ukari@user/ukari)
2021-06-02 20:45:50 × reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds)
2021-06-02 20:46:45 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-02 20:50:02 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-02 20:51:05 → djb2021 joins (~djb2021@HSI-KBW-091-089-090-070.hsi2.kabelbw.de)
2021-06-02 20:52:23 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-02 20:54:05 × benin quits (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 245 seconds)
2021-06-02 20:59:09 × hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection)
2021-06-02 21:01:23 <lbseale> I'm looking for the right data structure to hold an associated list of amounts and dates, I'll want to be able to use a function like "give me all the amounts between these two dates"
2021-06-02 21:01:43 <lbseale> is a plain Map the right one?
2021-06-02 21:02:22 <boxscape> lbseale this seems like the right data structure https://hackage.haskell.org/package/IntervalMap-0.6.1.2/docs/Data-IntervalMap-Lazy.html
2021-06-02 21:02:33 <boxscape> or wait
2021-06-02 21:02:52 <boxscape> let me make sure I'm actually understanding what interval map does
2021-06-02 21:03:54 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-06-02 21:04:30 <lbseale> nice, the within function is exactly what I'm thinking
2021-06-02 21:04:37 <lbseale> thank you boxscape !
2021-06-02 21:04:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-02 21:05:15 <boxscape> lbseale yeah, I guess the one downside is each value has to be associated with an interval of dates, so if you actually have points in time, it'd have to be a 0-width interval for each value in the map
2021-06-02 21:05:33 <boxscape> i.e., amount x goes from date 2021-05-03 to 2021-05-03, or whatever
2021-06-02 21:06:24 <lbseale> right, is it ok to have a 0-width interval?
2021-06-02 21:06:42 <boxscape> I don't see why not but I haven't tested it
2021-06-02 21:07:03 → Bartosz joins (~textual@24.35.90.211)
2021-06-02 21:07:06 <lbseale> ok, I'll look into it
2021-06-02 21:07:06 <sm[m]> nice lib, boxscape
2021-06-02 21:08:06 <lbseale> what does the the '|' in this type signature mean class Ord e => Interval i e | i -> e where
2021-06-02 21:08:18 <hpc> functional dependency
2021-06-02 21:08:25 <hpc> "i implies e"
2021-06-02 21:08:42 <boxscape> (more precisely, everything *after* the | is a functional dependency)
2021-06-02 21:09:03 <boxscape> it means that you can't have two instances with the same i but different e's
2021-06-02 21:09:08 <hpc> you can have instance Interval A B or instance Interval A C, but not both
2021-06-02 21:09:16 × sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 272 seconds)
2021-06-02 21:09:36 <hpc> but not the other way, you can have both instance Interval B A and instance Interval C A
2021-06-02 21:10:18 <hpc> and this extends to type inference, given (Interval A x) => ..., ghc infers that x = B
2021-06-02 21:10:21 <lbseale> ok that makes sense
2021-06-02 21:10:50 → zebrag joins (~chris@user/zebrag)
2021-06-02 21:11:38 <boxscape> it does kind of seem like the regular Map should have a within-like function, doesn't it?
2021-06-02 21:11:47 × Bartosz quits (~textual@24.35.90.211) (Client Quit)
2021-06-02 21:11:49 <boxscape> given the Ord constraint it should be possible
2021-06-02 21:13:07 × alx741 quits (~alx741@181.196.69.176) (Ping timeout: 272 seconds)
2021-06-02 21:14:05 × beka quits (~beka@104.193.170-254.PUBLIC.monkeybrains.net) (Ping timeout: 245 seconds)
2021-06-02 21:15:10 <lbseale> maybe it would be easier for me to implement within for ordinary Map
2021-06-02 21:15:23 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
2021-06-02 21:16:08 → eight joins (~eight@user/eight)
2021-06-02 21:16:58 <boxscape> it's possible, though I don't know if it can be done efficiently without accessing the Map internals (but the Data.Map.Interal module might be good enough for that)
2021-06-02 21:17:30 × ukari quits (~ukari@user/ukari) (Ping timeout: 272 seconds)
2021-06-02 21:17:33 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-06-02 21:18:26 × chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 252 seconds)
2021-06-02 21:19:30 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds)
2021-06-02 21:19:32 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-02 21:19:38 <djb2021> hi, i've put together a minimal non working swagger2 example of which i however think it should work: https://paste.tomsmeding.com/2VlzfDTS. The JSON definition should be ok in my opinion. However, i get an error message when eitherDecode'ing the file, that basically says, that the type "file" is not supported. I am quite sure that OpenAPI 2.0
2021-06-02 21:19:39 <djb2021> accepts file type there. I have tried to understand the code of swagger2 library here: https://hackage.haskell.org/package/swagger2-2.6/docs/Data-Swagger.html#t:Schema I must say that i am not very familiar with haskell kinds. I didn't understand that very well. Can someone, please, explain that to me? Anyway, my understanding of the definition of
2021-06-02 21:19:39 <djb2021> the swagger2 Schema type definition is that the type of the HasParamSchema doesn't include SwaggerFile as its type is ParamSchema 'SwaggerKindSchema. Is that correct?
2021-06-02 21:20:59 × ixlun quits (~matthew@109.249.184.235) (Read error: Connection reset by peer)
2021-06-02 21:21:15 × _xft0 quits (~root@185.234.208.208.r.toneticgroup.pl) (Quit: leaving)
2021-06-02 21:21:36 × haskman quits (~haskman@223.190.0.187) (Quit: Going to sleep. ZZZzzz…)
2021-06-02 21:25:00 <dminuoso> djb2021: https://hackage.haskell.org/package/swagger2-2.6/docs/Data-Swagger.html#t:SwaggerType
2021-06-02 21:25:21 <dminuoso> By the way, swagger2 is very dead, you should switch to openapi3 if you can
2021-06-02 21:25:38 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-02 21:25:42 → alx741 joins (~alx741@186.178.108.19)
2021-06-02 21:25:51 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
2021-06-02 21:26:50 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-06-02 21:26:54 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Client Quit)
2021-06-02 21:27:43 × imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-06-02 21:28:40 <dminuoso> djb2021: Can you share your haskell code that defines the swagger spec?
2021-06-02 21:28:41 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.1)
2021-06-02 21:29:11 → geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-02 21:29:49 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-02 21:29:50 → davidnutting joins (~nuttingd@75.164.99.232)
2021-06-02 21:30:30 <djb2021> dminuoso: yes, updating is already planned but not so easy. The SwaggerType spec you sent contains the definition of SwaggerFile as SwaggerType SwaggerKindParamOtherSchema. That limits SwaggerFile only to those cases where ParamSchema is instantiated with kind SwaggerKindParamOtherSchema - right? But that is not the case for ParamSchema in
2021-06-02 21:30:31 <djb2021> response, right?
2021-06-02 21:31:02 <dminuoso> Uh..
2021-06-02 21:31:13 <boxscape> lbseale fwiw I opened an issue in the containers repo https://github.com/haskell/containers/issues/778
2021-06-02 21:31:45 <lbseale> boxscape: many thanks!
←Prev  Next→
Page 1 .. 247 248 249 250 251 252 253 254 255 256 257 .. 17985

All times are in UTC.