ddc-core-tetra-0.4.3.1: Disciplined Disciple Compiler intermediate language.

Safe HaskellNone
LanguageHaskell98

DDC.Core.Tetra.Transform.Curry

Synopsis

Documentation

curryModule Source #

Arguments

:: Show a 
=> Module (AnTEC a Name) Name

Module to transform.

-> Either Error (Module () Name) 

Insert primitives to manage higher order functions in a module.

We work out which supers are being fully applied, under applied or over applied, and build and evaluate closures as necessary.