Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
A minor cleanup pass that runs after defunctorisation and applies any type abbreviations. After this, the program consists entirely value bindings.
Synopsis
- transformProg :: Monad m => [Dec] -> m [ValBind]
Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
A minor cleanup pass that runs after defunctorisation and applies any type abbreviations. After this, the program consists entirely value bindings.