| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Nanopass.Internal.Extend
Documentation
extendLang :: Language 'Valid UpDotName -> LangMod -> Either Error (Language 'Valid UpName) Source #
partitionNontermsEdits :: [NontermsEdit] -> ([Nonterm 'Unvalidated], [(UpName, [ProductionsEdit])], [UpName]) Source #
Arguments
| :: Set UpName | known non-terminals for the new language |
| -> Map LowName (Name 'Valid LowName) | known type variables for the new language |
| -> [Nonterm 'Unvalidated] | new non-terminals to add |
| -> EditingNonterms | old language's non-terminals |
| -> Either Error EditingNonterms |
Arguments
| :: Set UpName | known non-terminals for the new language |
| -> Map LowName (Name 'Valid LowName) | known type variables for the new language |
| -> Map UpName [ProductionsEdit] | edits to various non-terminals' productions |
| -> EditingNonterms | old language's non-terminals |
| -> Either Error EditingNonterms |
Arguments
| :: [UpName] | names of non-terminals to remove |
| -> EditingNonterms | old language's non-terminals |
| -> Either Error EditingNonterms |
partitionProductionsEdits :: [ProductionsEdit] -> ([Production 'Unvalidated], [UpName]) Source #