Ermine.Core.Lint

Contents

• LintEnv
• The Lint Monad
• Checking and inference

Synopsis

• data LintEnv a = LintEnv {
  • _variables :: a -> Either String Convention
  • _foreignCxt :: Map Foreign Form
  • _globalCxt :: Map Id Form
  }
• variables :: forall a a. Lens (LintEnv a) (LintEnv a) (a -> Either String Convention) (a -> Either String Convention)
• foreignCxt :: forall a. Lens' (LintEnv a) (Map Foreign Form)
• globalCxt :: forall a. Lens' (LintEnv a) (Map Id Form)
• newtype Lint a b = Lint {
  • runLint :: LintEnv a -> Either String b
  }
• inferCore :: Core Convention a -> Lint a Form
• checkCore :: Convention -> Core Convention a -> Lint a ()
• with :: Lint b c -> (LintEnv a -> LintEnv b) -> Lint a c

LintEnv

The Lint Monad

Checking and inference