Language.Javascript.JMacro.TypeCheck

Documentation

partitionOut :: (a -> Maybe b) -> [a] -> ([b], [a])

zipWithOrChange :: (a -> a -> b) -> (a -> b) -> [a] -> [a] -> [b]

zipWithOrIdM :: Monad m => (a -> a -> m a) -> [a] -> [a] -> m [a]

unionWithM :: (Monad m, Ord key) => (val -> val -> m val) -> Map key val -> Map key val -> m (Map key val)

intersectionWithM :: (Monad m, Ord key) => (val -> val -> m b) -> Map key val -> Map key val -> m (Map key b)

data StoreVal

Constructors

SVType JType

SVConstrained (Set Constraint)

Instances

Show StoreVal

data TCState

Constructors

TCS

Fields

tc_env :: [Map Ident JType]

tc_vars :: Map Int StoreVal

tc_stack :: [Set Int]

tc_frozen :: Set Int

tc_varCt :: Int

tc_context :: [TMonad String]

Instances

Show TCState

MonadState TCState TMonad

newtype TMonad a

Constructors

TMonad (ErrorT String (State TCState) a)

Instances

Monad TMonad

Functor TMonad

Applicative TMonad

MonadError String TMonad

MonadState TCState TMonad

class JTypeCheck a where

Methods

typecheck :: a -> TMonad JType

Instances

JTypeCheck JVal

JTypeCheck JExpr

JTypeCheck JStat

withContext :: TMonad a -> TMonad String -> TMonad a

traversem_ :: (Foldable t, Monad f) => (a -> f b) -> t a -> f ()

freeVarsWithNames :: JType -> TMonad (Map Int String)

tyErr0 :: String -> TMonad a

tyErr1 :: String -> JType -> TMonad b

tyErr2ext :: String -> String -> String -> JType -> JType -> TMonad a

tyErr2Sub :: JType -> JType -> TMonad a

prettyEnv :: TMonad [Map Ident String]

newVarRef :: TMonad VarRef

newTyVar :: TMonad JType

mapConstraint :: (Monad m, Functor m) => (JType -> m JType) -> Constraint -> m Constraint

lookupConstraintsList :: VarRef -> TMonad [Constraint]

instantiateVarRef :: VarRef -> JType -> TMonad ()

occursCheck :: Int -> JType -> TMonad ()

checkConstraints :: JType -> [Constraint] -> TMonad ()

addConstraint :: VarRef -> Constraint -> TMonad ()

tryCloseFrozenVars :: TMonad ()

withLocalScope :: TMonad a -> TMonad (a, Set Int)

setFrozen :: Set Int -> TMonad ()

addEnv :: Ident -> JType -> TMonad ()

newVarDecl :: Ident -> TMonad JType

resolveTypeGen :: ((JType -> TMonad JType) -> JType -> TMonad JType) -> JType -> TMonad JType

integrateLocalType :: JLocalType -> TMonad JType

lookupEnv :: Ident -> TMonad JType

freeVars :: JType -> TMonad (Set Int)

instantiateScheme :: [VarRef] -> JType -> TMonad JType

instantiateRigidScheme :: [VarRef] -> JType -> TMonad JType

checkEscapedVars :: [VarRef] -> JType -> TMonad ()

(<:) :: JType -> JType -> TMonad ()

someUpperBound :: [JType] -> TMonad JType

someLowerBound :: [JType] -> TMonad JType