Language.PureScript.TypeChecker.Monad

Documentation

data NameKind

Constructors

Value

Extern

Instances

Show NameKind

data TypeDeclarationKind

Constructors

Data

ExternData

TypeSynonym

Instances

Show TypeDeclarationKind

data Environment

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 :: Environment

newtype Check a

Constructors

Check

Fields

unCheck :: StateT (Environment, Int) (Either String) a

Instances

Monad Check

Functor Check

MonadPlus Check

Applicative Check

MonadError String Check

MonadState (Environment, Int) Check

getEnv :: Check Environment

putEnv :: Environment -> Check ()

fresh :: Check Int

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

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

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