DDC.Core.Transform.Elaborate

Add possible Const and Distinct witnesses that aren't otherwise in the program.

Documentation

elaborateModule :: Eq n => Module a n -> Module a n

Elaborate witnesses in a module.

elaborateX :: Eq n => Exp a n -> Exp a n

Elaborate witnesses in an expression.