DDC.Source.Tetra.ToCore

Documentation

toCoreModule :: a -> Module a Name -> Module a Name

Convert a Source Tetra module to Core Tetra.

The Source code needs to already have been desugared and cannot contain, and XDefix, XInfixOp, or XInfixVar nodes, else error.