| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Language.Giml.Rewrites
Description
AST rewrites
Synopsis
- preInferRewrites :: CompilePhase PreInferError env b m => MonadBase b b => ParsedFile Ann -> m (File Ann)
- postInferRewrites :: HasLog' LogMsg env b m => MonadBase b b => File Ann -> m (File Ann)
- data PreInferError = DuplicateNames [([Ann], [Var])]
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
data PreInferError Source #
Constructors
| DuplicateNames [([Ann], [Var])] |
Instances
| Show PreInferError Source # | |
Defined in Language.Giml.Rewrites.PreInfer.Errors Methods showsPrec :: Int -> PreInferError -> ShowS # show :: PreInferError -> String # showList :: [PreInferError] -> ShowS # | |
| Eq PreInferError Source # | |
Defined in Language.Giml.Rewrites.PreInfer.Errors Methods (==) :: PreInferError -> PreInferError -> Bool # (/=) :: PreInferError -> PreInferError -> Bool # | |
| Ord PreInferError Source # | |
Defined in Language.Giml.Rewrites.PreInfer.Errors Methods compare :: PreInferError -> PreInferError -> Ordering # (<) :: PreInferError -> PreInferError -> Bool # (<=) :: PreInferError -> PreInferError -> Bool # (>) :: PreInferError -> PreInferError -> Bool # (>=) :: PreInferError -> PreInferError -> Bool # max :: PreInferError -> PreInferError -> PreInferError # min :: PreInferError -> PreInferError -> PreInferError # | |