Safe Haskell	Safe
Language	Haskell2010

AST.Class.Infer.Env

Description

Traits of inference monads.

Synopsis

class LocalScopeType var scheme m where
- localScopeType :: var -> scheme -> m a -> m a

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