purescript-0.1.0: PureScript Programming Language Compiler

Safe HaskellNone

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 Ident (PolyType, NameKind)
 
types :: Map String (Kind, TypeDeclarationKind)
 
dataConstructors :: Map String PolyType
 
typeSynonyms :: Map String ([String], Type)
 

Instances

MonadState (Environment, Int) Check 

emptyEnvironment :: EnvironmentSource

newtype Check a Source

Constructors

Check 

Fields

unCheck :: StateT (Environment, Int) (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