purescript-0.1.8: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.TypeChecker.Monad

Description

 

Documentation

data NameKind Source

Constructors

Value 
Extern 

Instances

data TypeDeclarationKind Source

Constructors

Data 
ExternData 
TypeSynonym 

Instances

data Environment Source

Constructors

Environment 

Fields

names :: Map (ModulePath, Ident) (PolyType, NameKind)
 
types :: Map (ModulePath, ProperName) (Kind, TypeDeclarationKind)
 
dataConstructors :: Map (ModulePath, ProperName) PolyType
 
typeSynonyms :: Map (ModulePath, ProperName) ([String], Type)
 
members :: Map (ModulePath, Ident) String
 

Instances

emptyEnvironment :: EnvironmentSource

data CheckState Source

Constructors

CheckState 

Fields

checkEnv :: Environment
 
checkNextVar :: Int
 
checkModulePath :: ModulePath
 

Instances

newtype Check a Source

Constructors

Check 

Fields

unCheck :: StateT CheckState (Either String) a
 

Instances

getEnv :: Check EnvironmentSource

putEnv :: Environment -> Check ()Source

fresh :: Check IntSource

check :: Check a -> Either String (a, Environment)Source

guardWith :: MonadError e m => e -> Bool -> m ()Source

rethrow :: MonadError e m => (e -> e) -> m a -> m aSource

withModule :: ProperName -> Check a -> Check aSource