Data.Type.Known - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Vincent L

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)

Georgi Lyubenov // googleson78

I'm not finding Data.Type.Known - could you link to it?

Vincent L

err nvm it was in the source code apparently

Vincent L

actually my question is a bit different now, will rephrase it in another topic