Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 .. 5022
— 502,152 events total
2020-11-09 14:38:34 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-09 14:38:36 <dminuoso> Ah, it was int-cast https://hackage.haskell.org/package/int-cast-0.2.0.0/docs/Data-IntCast.html
2020-11-09 14:38:41 → christo joins (~chris@81.96.113.213)
2020-11-09 14:38:44 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-11-09 14:39:20 → texasmynsted joins (~texasmyns@64.44.55.28)
2020-11-09 14:39:26 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Read error: Connection reset by peer)
2020-11-09 14:39:29 → apoc joins (~apoc@bridge.mattzq.com)
2020-11-09 14:39:32 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 14:39:45 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-09 14:40:36 × texasmynsted quits (~texasmyns@64.44.55.28) (Read error: Connection reset by peer)
2020-11-09 14:42:33 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-09 14:42:45 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-09 14:46:14 → Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-09 14:48:54 × Lycurgus quits (~niemand@98.4.97.118) (Quit: Exeunt)
2020-11-09 14:50:36 → darjeeling_ joins (~darjeelin@122.245.210.116)
2020-11-09 14:51:13 → texasmynsted joins (~texasmyns@64.44.55.28)
2020-11-09 14:51:46 × adm_ quits (~adm@43.229.88.236) (Remote host closed the connection)
2020-11-09 14:52:46 → adm_ joins (~adm@43.229.88.236)
2020-11-09 14:53:51 × adm_ quits (~adm@43.229.88.236) (Remote host closed the connection)
2020-11-09 14:56:35 <dminuoso> Mmm, there is no extension to allow *modifying* a field with a function, is there?
2020-11-09 14:57:41 <dminuoso> Something akin to %~ from lens
2020-11-09 15:00:01 × Rcsprinter quits (~Rcsprinte@178.162.209.171) ()
2020-11-09 15:03:46 <typetetris> I have overlapping instances and get an "two instances involving out-of-scope types" error. Can I ghc somehow convince to prefer the one, I am controlling?
2020-11-09 15:05:30 hackage uusi 0.1.0.0 - Remove all version constraints of dependencies in .cabal file https://hackage.haskell.org/package/uusi-0.1.0.0 (berberman)
2020-11-09 15:05:43 × alp quits (~alp@88.126.45.36) (Ping timeout: 246 seconds)
2020-11-09 15:05:48 <Feuermagier> how do I split a tuple of two integers for a function that takes those two integers as parameters seperately?
2020-11-09 15:05:53 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-09 15:05:58 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 15:06:33 <dminuoso> % :t curry
2020-11-09 15:06:33 <yahb> dminuoso: forall {a} {b} {c}. ((a, b) -> c) -> a -> b -> c
2020-11-09 15:06:35 <dminuoso> % :t uncurry
2020-11-09 15:06:35 <yahb> dminuoso: forall {a} {b} {c}. (a -> b -> c) -> (a, b) -> c
2020-11-09 15:06:37 <dminuoso> Feuermagier: ^-
2020-11-09 15:06:40 <Feuermagier> thx!
2020-11-09 15:06:56 <dminuoso> typetetris: depends, can you share the code?
2020-11-09 15:07:20 → twopoint718 joins (~cjw@fsf/member/twopoint718)
2020-11-09 15:07:58 <dminuoso> typetetris: Generally the solution is, newtype it.
2020-11-09 15:08:03 → zebrag joins (~inkbottle@aaubervilliers-654-1-93-172.w86-212.abo.wanadoo.fr)
2020-11-09 15:08:16 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-09 15:08:56 × inkbottle quits (~inkbottle@aaubervilliers-654-1-101-233.w86-212.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-11-09 15:09:19 <typetetris> dminuoso: It already worked now, had `cts` first instead of `(ct ':cts)`. Seems the Overlappable had `(ct ': cts)` instead of `cts`. https://www.irccloud.com/pastebin/GeBOy4jx/
2020-11-09 15:10:28 <dminuoso> typetetris: That looks interesting, what change are you making there?
2020-11-09 15:10:37 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds)
2020-11-09 15:10:43 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-09 15:11:31 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-09 15:11:34 → kupi joins (uid212005@gateway/web/irccloud.com/x-qdwmnzjhildlwlnh)
2020-11-09 15:11:54 <typetetris> `Verb 'POST 204 '[JSON] NoContent` produced docs claiming to have a response body of empty string. Looked odd, wanted to fix that. (Using servant-docs).
2020-11-09 15:12:17 <typetetris> That one could be replaced by PostNoContent, but if you need headers, it can't.
2020-11-09 15:12:19 → samlamamma joins (~user@h188-122-129-70.cust.a3fiber.se)
2020-11-09 15:13:09 <dminuoso> Haha, we have the same exact problem with servant + OpenAPI
2020-11-09 15:13:21 <dminuoso> Or rather, a similar
2020-11-09 15:13:23 <samlamamma> Is anyone here experienced with implementing structural type system?
2020-11-09 15:13:25 × v_m_v quits (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) (Remote host closed the connection)
2020-11-09 15:13:43 → v_m_v joins (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a)
2020-11-09 15:13:59 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-11-09 15:16:01 <dminuoso> typetetris: Oh! That could explain it, we should just use *NoContent instead.
2020-11-09 15:16:12 <dminuoso> That could get rid of a few weird instances :)
2020-11-09 15:16:20 <dminuoso> Cheers
2020-11-09 15:16:31 <typetetris> dminuoso: Doesn't work for me with Headers. I have endpoints with no response body but they set headers.
2020-11-09 15:17:10 → Tario joins (~Tario@198.252.153.28)
2020-11-09 15:17:51 × v_m_v quits (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) (Ping timeout: 244 seconds)
2020-11-09 15:18:01 <typetetris> and trying to use `PostNoContent` on endpoints without headers gives me this ... https://www.irccloud.com/pastebin/GSgegDGy/
2020-11-09 15:18:09 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-09 15:18:38 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2020-11-09 15:20:24 × machinedgod quits (~machinedg@207.253.244.210) (Quit: Lost terminal)
2020-11-09 15:20:49 <gehmehgeh> What's the most idiomatic way to use threed dimesional arrays in Haskell? (Or 2x2 matrices for time being)?
2020-11-09 15:20:51 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-11-09 15:20:51 <gehmehgeh> *three
2020-11-09 15:20:52 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-09 15:21:09 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-11-09 15:22:01 × ph88 quits (~ph88@ip5f5af72e.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-11-09 15:22:28 <dminuoso> gehmehgeh: vector of vector
2020-11-09 15:22:36 <dminuoso> I guess?
2020-11-09 15:23:22 <dminuoso> All the usual suspects dont have support for multi dimensional matrices
2020-11-09 15:23:26 <bqv> will someone save me some searching
2020-11-09 15:23:56 <bqv> what's the lens operation i could use to get an element but also it's index
2020-11-09 15:24:02 <bqv> (index, element), or something
2020-11-09 15:24:10 <dminuoso> So vector of vector just means you cant have a convenient API of using a Vec3 as index
2020-11-09 15:24:32 <dminuoso> bqv: iview
2020-11-09 15:24:38 <dminuoso> But it requires an indexed optic of course
2020-11-09 15:24:52 <bqv> wonderful
2020-11-09 15:24:56 <bqv> ty
2020-11-09 15:25:07 <int-e> :t iview
2020-11-09 15:25:08 <lambdabot> MonadReader s m => IndexedGetting i (i, a) s a -> m (i, a)
2020-11-09 15:25:10 <int-e> :t withIndex
2020-11-09 15:25:12 <lambdabot> (Indexable i p, Functor f) => p (i, s) (f (j, t)) -> Indexed i s (f t)
2020-11-09 15:25:13 <int-e> hmm.
2020-11-09 15:25:51 <dminuoso> Or yeah that
2020-11-09 15:25:56 <dminuoso> % "foobar" ^.. ifolded.withIndex
2020-11-09 15:25:57 <yahb> dminuoso: [(0,'f'),(1,'o'),(2,'o'),(3,'b'),(4,'a'),(5,'r')]
2020-11-09 15:26:25 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-09 15:26:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-09 15:27:16 <dminuoso> Oh my
2020-11-09 15:27:25 → nados joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-09 15:27:30 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-09 15:27:38 × bennofs1 quits (~benno@dslb-094-222-044-018.094.222.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-09 15:27:42 <dminuoso> % :i IndexedFold
2020-11-09 15:27:43 <yahb> dminuoso: type role ReifiedIndexedFold nominal nominal nominal; type ReifiedIndexedFold :: * -> * -> * -> *; newtype ReifiedIndexedFold i s a = IndexedFold {...}; -- Defined in `Control.Lens.Reified'; type IndexedFold :: * -> * -> * -> *; type IndexedFold i s a = forall (p :: * -> * -> *) (f :: * -> *). (Indexable i p, Contravariant f, Applicative f) => p a (f a) -> s -> f s; -- Defined in `Control.Lens.Ty
2020-11-09 15:27:57 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Client Quit)
2020-11-09 15:28:10 <dminuoso> iview through an IndexedFold, it's sad lens lets you do this :(
←Prev  Next→
Page 1 .. 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 .. 5022

All times are in UTC.