| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Language.Giml.Rewrites.PreInfer
Description
AST rewrites that run before type inference
Synopsis
- rewrites :: CompilePhase PreInferError env b m => MonadBase b b => ParsedFile Ann -> m (File Ann)
- module Language.Giml.Rewrites.PreInfer.Errors
Documentation
rewrites :: CompilePhase PreInferError env b m => MonadBase b b => ParsedFile Ann -> m (File Ann) Source #
Rewrites that should run before type inference