Language.Javascript.JMacro.Typed

Documentation

runTypecheck :: JTypeCheck a => a -> IO ()

data JType

Constructors

JTNum

JTStr

JTBool

JTRec Int

JTFunc [JType] JType

JTList (Maybe Int) (Maybe JType)

JTStat

JTSat Int

BotOf JType

JTVar Int

Instances

Eq JType

Show JType

data JConstr

Constructors

Sub JType

Super JType

Instances

Show JConstr

data TCState

Constructors

TCS

Fields

tc_env :: [Map Ident JType]

tc_vars :: Map Int JType

tc_constrs :: Map Int [JConstr]

tc_recs :: Map Int [(Ident, JType)]

tc_scopedSat :: [Set Int]

tc_varCt :: Int

tc_strictnull :: Bool

tc_canextend :: Bool

tc_debug :: Bool

tc_expandFree :: Bool

Instances

Show TCState

tcStateEmpty :: TCState

type JMonad a = ErrorT String (State TCState) a

orElse :: JMonad a -> JMonad a -> JMonad a

lookupEnvErr :: Ident -> JMonad JType

withLocalScope :: [Ident] -> JMonad a -> JMonad a

withLocalScope' :: [Ident] -> JMonad a -> JMonad a

inConditional :: JMonad a -> JMonad a

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

addTopEnv :: Ident -> JType -> JMonad ()

newV :: JMonad Int

newVar :: JMonad JType

newSat :: JMonad JType

addNewSat :: Ident -> JMonad ()

addNewVar :: Ident -> JMonad ()

newTopSat :: JMonad JType

killSats :: JMonad ()

newSatAtScope :: [Int] -> JMonad JType

satInScope :: Int -> JMonad Bool

incScope :: Int -> Int -> JMonad ()

bumpScope :: Int -> JType -> JMonad ()

getRec :: Int -> JMonad [(Ident, JType)]

putRec :: Int -> [(Ident, JType)] -> JMonad ()

recLookup :: Ident -> JType -> JMonad (Maybe JType)

newRec :: JMonad JType

unzipConstrs :: [JConstr] -> ([JType], [JType])

zipConstrs :: [JType] -> [JType] -> [JConstr]

lookupConstraints :: Int -> JMonad [JConstr]

addConstraint :: Int -> JConstr -> JMonad ()

chkNoNull :: [JType] -> JMonad ()

showType :: JType -> JMonad String

prettyType :: JType -> JMonad String

prettyType' :: JType -> JMonad String

resolveType :: JType -> JMonad JType

resolveState :: JMonad ()

ifDbg :: JMonad () -> JMonad ()

traceSats :: JMonad ()

traceVars :: JMonad ()

traceConstrs :: JMonad ()

tyErr1 :: String -> JType -> JMonad a

tyErr2 :: String -> JType -> JType -> JMonad a

tyErr2l :: String -> [JType] -> [JType] -> JMonad a

traceTy :: String -> JType -> JMonad ()

traceTys :: String -> JType -> JType -> JMonad ()

(<:) :: JType -> JType -> JMonad ()

subtype :: JType -> JType -> JMonad ()

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

(<=.=) :: JType -> JType -> JMonad ()

(=.=) :: JType -> JType -> JMonad ()

type JMonadClone a = StateT [(Int, JType)] (ErrorT String (State TCState)) a

addSub :: (Int, JType) -> JMonadClone ()

findSub :: Int -> JMonadClone (Maybe JType)

traceSubs :: JMonadClone ()

traceC :: JConstr -> JMonadClone ()

clone :: JType -> JMonad JType

cloneMany :: [JType] -> JMonad [JType]

clone'' :: JType -> JMonadClone JType

clone' :: JType -> JMonadClone JType

substitute :: JType -> JMonadClone JType

resC :: Bool -> JType -> JMonad JType

resC' :: Bool -> Bool -> JType -> JMonadClone JType

simplifyCs :: [JConstr] -> JMonadClone [JConstr]

simplifyC :: JConstr -> JMonadClone [JConstr]

(\/) :: JType -> JType -> JMonad JType

lub :: JType -> JType -> JMonad JType

luball :: [JType] -> JMonad JType

(/\) :: JType -> JType -> JMonad JType

glb :: JType -> JType -> JMonad JType

glball :: [JType] -> JMonad JType

class JTypeCheck a where

Methods

typecheck :: a -> JMonad JType

Instances

JTypeCheck JVal

JTypeCheck JExpr

JTypeCheck JStat

JTypeCheck [JStat]

typecheckLhs :: JExpr -> JMonad JType

appFun :: JType -> [JType] -> JMonad JType

typecheckAnnotated :: (JMacro a, JsToDoc a, JTypeCheck a) => a -> JMonad JType