syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellSafe
LanguageHaskell2010

AST.Class.Infer.Env

Description

Traits of inference monads.

Synopsis

Documentation

class LocalScopeType var scheme m where Source #

LocalScopeType var scheme m represents that m maintains a scope mapping variables of type var to type schemes of type scheme.

Used by the Infer instances of Lam and Let.

Methods

localScopeType :: var -> scheme -> m a -> m a Source #

Add a variable type into an action's scope