Nanopass.Internal.Validate

Documentation

validateLanguage :: Language 'Unvalidated UpName -> Either Error (Language 'Valid UpName)

validateParams :: [Name 'Unvalidated LowName] -> Either Error [Name 'Valid LowName]

validateNonterm

Arguments

:: Set UpName

known non-terminals

-> Map LowName (Name 'Valid LowName)

known type variables

-> Nonterm v

-> Either Error (Nonterm 'Valid)

validateProd

Arguments

:: Set UpName

known non-terminals

-> Map LowName (Name 'Valid LowName)

known type variables

-> Production v

-> Either Error (Production 'Valid)

validateType

Arguments

:: Set UpName

known non-terminals

-> Map LowName (Name 'Valid LowName)

known type variables

-> TypeDesc v

-> Either Error (TypeDesc 'Valid)