Skip to content

TyCon should include fixity, etc.

Motivation

When using Type.Reflection, the base case is TyCon, which gives info about a type constructor. Unfortunately, it's not really enough information to display expressions properly or provide full details.

Proposal

It would be nice to get

  1. Fixity.
  2. Is this a Nat, and if so what Natural does it represent?
  3. Is this a Symbol, and if so what String (or Text?) does it represent?
  4. Is this a promoted datacon, and if so, what is the name of the underlying constructor?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information