giml-language-0.1.0.0: A purely functional programming language with emphasis on structural typing
Safe HaskellSafe-Inferred
LanguageGHC2021

Language.Giml.Rewrites

Description

AST rewrites

Synopsis

Documentation

preInferRewrites :: CompilePhase PreInferError env b m => MonadBase b b => ParsedFile Ann -> m (File Ann) Source #

Rewrites that should run before type inference

postInferRewrites :: HasLog' LogMsg env b m => MonadBase b b => File Ann -> m (File Ann) Source #

Rewrites that should run after type inference