Logs: liberachat/#haskell
| 2021-07-11 05:09:42 | <geekosaur> | although you can use it to build pipelines for gpus to execute; see the Accelerate package which has a gpu backend |
| 2021-07-11 05:11:19 | <euouae> | Oh right that's what I meant geekosaur |
| 2021-07-11 05:13:47 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-07-11 05:17:04 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds) |
| 2021-07-11 05:17:06 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-11 05:18:53 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 05:19:34 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Quit: WeeChat 3.0) |
| 2021-07-11 05:21:22 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-07-11 05:22:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-07-11 05:23:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-11 05:29:36 | → | thyriaen joins (~thyriaen@45.178.73.238) |
| 2021-07-11 05:36:32 | <sim590> | http://ix.io/3sCb. Why am I getting "Illegale instance declaration" ? |
| 2021-07-11 05:39:19 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-11 05:39:49 | <sim590> | I just changed my line to `instance MonadReader env m => MonadReader env (HartMonad z m) where` and I'm getting the saem... |
| 2021-07-11 05:45:08 | <geekosaur> | because that's trying to define an instance for `env`, which is a type variable. you don't include that part |
| 2021-07-11 05:46:36 | <sim590> | How is it different form this: http://ix.io/3sCf ? |
| 2021-07-11 05:47:14 | <geekosaur> | that doesn't have a stray `env` in it |
| 2021-07-11 05:47:23 | <geekosaur> | or any other type variable in that position |
| 2021-07-11 05:48:20 | <sim590> | it has two positional arguments "s" and "m" just like "env" and "m" in mine. |
| 2021-07-11 05:48:32 | <sim590> | instance MonadReader env m => MonadReader env (HartMonad z m) where |
| 2021-07-11 05:48:38 | <geekosaur> | your positional `env`1 is in the wrong place |
| 2021-07-11 05:48:50 | <geekosaur> | it's before the type you're defining an instance for |
| 2021-07-11 05:49:03 | <geekosaur> | so it's taken as the type, but that's illegal |
| 2021-07-11 05:49:58 | <geekosaur> | hm. do you understand what a context is? |
| 2021-07-11 05:50:00 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-07-11 05:50:05 | <sim590> | Just like `s` is before `(ContT r m)` in the MonadState example ? |
| 2021-07-11 05:50:24 | <geekosaur> | so you don't know what a context is |
| 2021-07-11 05:50:32 | <geekosaur> | the thing before the => is a context |
| 2021-07-11 05:50:35 | <sim590> | out of context like that, no I don't... |
| 2021-07-11 05:50:46 | <sim590> | Yeah I know that |
| 2021-07-11 05:51:01 | <sim590> | I know that it's written as "given that this is true, then" |
| 2021-07-11 05:51:22 | <sim590> | So given that `m` is a `MonadReader env`, then. |
| 2021-07-11 05:51:32 | <sim590> | No? |
| 2021-07-11 05:51:34 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-07-11 05:51:36 | <nshepperd> | what is the full error? |
| 2021-07-11 05:51:51 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 2021-07-11 05:52:01 | <geekosaur> | you can't say it that way. MonadReader implies the env (it's a kind mismatch) |
| 2021-07-11 05:52:03 | <sim590> | http://ix.io/3sCj |
| 2021-07-11 05:52:44 | <sim590> | geekosaur: but I'm doing just like in this example: http://ix.io/3sCk |
| 2021-07-11 05:52:48 | <nshepperd> | you probably just need FlexibleInstances like it suggests |
| 2021-07-11 05:52:49 | <sim590> | Taken from https://hackage.haskell.org/package/mtl-2.2.2/docs/src/Control.Monad.Reader.Class.html#line-156 |
| 2021-07-11 05:53:02 | <sim590> | nshepperd: I added it, but it doesn't work ? |
| 2021-07-11 05:53:12 | <sim590> | {-# LANGUAGE FlexibleInstances #-} I added that |
| 2021-07-11 05:53:18 | <nshepperd> | what is the new error |
| 2021-07-11 05:53:27 | <sim590> | The one I gave to you. |
| 2021-07-11 05:53:30 | <sim590> | So it ignores it? |
| 2021-07-11 05:53:44 | <sim590> | Don't know why it doesn't use it. |
| 2021-07-11 05:54:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds) |
| 2021-07-11 05:54:26 | <geekosaur> | did you place it at the very top of the file? |
| 2021-07-11 05:54:43 | × | MidAutumnMoon9 quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-07-11 05:54:43 | <geekosaur> | not after the `module` declaration, in particular |
| 2021-07-11 05:54:43 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 05:54:48 | <sim590> | I put it after module. |
| 2021-07-11 05:54:56 | <sim590> | Huh.. OK. so that is what I missed may be. |
| 2021-07-11 05:55:19 | → | MidAutumnMoon9 joins (~MidAutumn@user/midautumnmoon) |
| 2021-07-11 05:56:53 | <sim590> | Now I'm getting this: http://ix.io/3sCl |
| 2021-07-11 05:57:41 | <sim590> | I tried adding {-# LANGUAGE MultiParamTypeClasses #-}, but I got http://ix.io/3sCm. |
| 2021-07-11 05:57:42 | <nshepperd> | right, you need that extension too |
| 2021-07-11 05:57:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-11 05:58:23 | <nshepperd> | and also you need to add the context back if you removed it |
| 2021-07-11 05:58:23 | <sim590> | OK. I added the last one and now it works i think.. |
| 2021-07-11 05:58:43 | <sim590> | I added it back. |
| 2021-07-11 05:59:28 | <sim590> | So that's why GeneralizedNewtypeDeriving didn't work. I didn't put it before the module instruction. |
| 2021-07-11 06:00:03 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-11 06:02:28 | <sim590> | Thanks to you two people! |
| 2021-07-11 06:06:35 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-11 06:07:41 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-07-11 06:12:07 | <sim590> | I'm trying to call a function that has this signature: http://ix.io/3sBc, but I don't know if I'm doing the right thing. I have to call this inside a monad that satisfies both restrictions `WithLog env Message` and `MonadState (DHMaterial z)`. |
| 2021-07-11 06:13:05 | <sim590> | For now I'm trying to write a newtype wrapper: `newtype HartMonad z m a = HartMonad { runHartMonad :: StateT (DHMaterial z) m a }` just like I showed and I'm trying to make that type an instance of both `WithLog env Message` and `MonadState (DHMaterial z)`. |
| 2021-07-11 06:13:37 | <sim590> | Am I doing this all for nothing? Is there a simpler way? Will this even work? |
| 2021-07-11 06:16:55 | → | a6a45081-2b83 joins (~aditya@223.226.232.244) |
| 2021-07-11 06:18:42 | → | sayola joins (~vekto@dslb-088-078-152-192.088.078.pools.vodafone-ip.de) |
| 2021-07-11 06:22:50 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds) |
| 2021-07-11 06:26:54 | <hololeap> | is there a way to make an isomorphism with type families? |
| 2021-07-11 06:27:29 | <hololeap> | for instance, there's the Base type family from recursion-schemes |
| 2021-07-11 06:27:55 | <hololeap> | could I make an Unbase type family in a way that the compiler knows that (t ~ Unbase (Base t)) ? |
| 2021-07-11 06:28:54 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-11 06:32:24 | → | f33f046c-a02e joins (~aditya@171.76.227.35) |
| 2021-07-11 06:33:33 | × | a6a45081-2b83 quits (~aditya@223.226.232.244) (Ping timeout: 268 seconds) |
| 2021-07-11 06:33:45 | → | darklamb1a joins (~whateverg@111.65.56.30) |
| 2021-07-11 06:36:52 | × | darklambda quits (~whateverg@122.11.240.98) (Ping timeout: 246 seconds) |
| 2021-07-11 06:43:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds) |
| 2021-07-11 06:43:29 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 06:50:26 | × | euouae quits (~euouae@user/euouae) (Read error: Connection reset by peer) |
| 2021-07-11 06:54:08 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-07-11 07:06:08 | → | andreabedini joins (~andreabed@8s8kj6n8sk51d7wqkg5q.ip6.superloop.com) |
| 2021-07-11 07:08:15 | × | andreabedini quits (~andreabed@8s8kj6n8sk51d7wqkg5q.ip6.superloop.com) (Client Quit) |
| 2021-07-11 07:12:11 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-11 07:16:44 | × | darklamb1a quits (~whateverg@111.65.56.30) (Ping timeout: 265 seconds) |
| 2021-07-11 07:17:21 | → | darklambda joins (~whateverg@122.11.240.98) |
| 2021-07-11 07:19:46 | × | f33f046c-a02e quits (~aditya@171.76.227.35) (Read error: Connection reset by peer) |
| 2021-07-11 07:22:57 | → | f33f046c-a02e joins (~aditya@106.212.68.200) |
| 2021-07-11 07:40:24 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-11 07:46:23 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-11 07:47:33 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 268 seconds) |
| 2021-07-11 07:51:05 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-11 07:52:39 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-11 07:53:05 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-11 07:54:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-11 07:56:22 | × | yushyin quits (AYTm7VIpji@karif.server-speed.net) (Quit: WeeChat 3.1) |
All times are in UTC.