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

Language.Giml.Rewrites.PostInfer

Description

AST rewrites that run before type inference

Synopsis

Documentation

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

Rewrites that should run after type inference