Hi, I'm trying to understand a codebase that relies on type family to do some type level check. I'm a beginner in Haskel but I have some background with dependent types. There is a package called "Data.Type.Known" in the codebase. Is it correct to assume that it's used for dependent types ? I don't find the doc for it, I only find things about KnowNat on Google (which seems to inject nat values to types)
Hi, I'm trying to understand a codebase that relies on type family to do some type level check. I'm a beginner in Haskel but I have some background with dependent types. There is a package called "Data.Type.Known" in the codebase. Is it correct to assume that it's used for dependent types ? I don't find the doc for it, I only find things about KnowNat on Google (which seems to inject nat values to types)
I'm not finding
Data.Type.Known
- could you link to it?err nvm it was in the source code apparently
https://gitlab.com/sheaf/fir/-/blob/master/src/Data/Type/Known.hs
actually my question is a bit different now, will rephrase it in another topic