Documentation

eitherIsLeft :: Either a b -> Bool #

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) #

class Compos1 t where #

composOp1 :: Compos1 t => (t -> t) -> t -> t #

composOpM1 :: (Compos1 t, Monad m) => (t -> m t) -> t -> m t #

composOpM1_ :: (Compos1 t, Monad m) => (t -> m ()) -> t -> m () #

composOpFold1 :: Compos1 t => b -> (b -> b -> b) -> (t -> b) -> t -> b #

newtype C b a #

data StoreVal #

data TCState #

tcStateEmpty :: TCState #

newtype TMonad a #

class JTypeCheck a where #

evalTMonad :: TMonad a -> Either String a #

runTMonad :: TMonad a -> (Either String a, TCState) #

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

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

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

prettyType :: JType -> TMonad 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] #

runTypecheckRaw :: JTypeCheck a => a -> (Either String JType, TCState) #

runTypecheckFull :: JTypeCheck a => a -> (Either String (String, [Map Ident String]), TCState) #

runTypecheck :: JTypeCheck a => a -> Either String String #

evalTypecheck :: JTypeCheck a => a -> Either String [Map Ident String] #

typecheckMain :: JTypeCheck a => a -> TMonad JType #

addToStack :: Ord a => a -> [Set a] -> [Set a] #

newVarRef :: TMonad VarRef #

newTyVar :: TMonad JType #

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

partitionCs :: [Constraint] -> ([JType], [JType]) #

lookupConstraintsList :: VarRef -> TMonad [Constraint] #

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

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

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

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

cannonicalizeConstraints :: [Constraint] -> TMonad [Constraint] #

tryCloseFrozenVars :: TMonad () #

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

setFrozen :: Set Int -> TMonad () #

frame2VarRefs :: Set t -> [(Maybe a, t)] #

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

newVarDecl :: Ident -> TMonad JType #

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

resolveType :: JType -> TMonad JType #

resolveTypeShallow :: 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 () #

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

someUpperBound :: [JType] -> TMonad JType #

someLowerBound :: [JType] -> TMonad JType #

(=.=) :: JType -> JType -> TMonad JType #

typecheckWithBlock :: (JsToDoc a, JMacro a, JTypeCheck a) => a -> TMonad JType #