MCPcopy Create free account

hub / github.com/LambdaNote/support-ts-tapl / functions

Functions135 in github.com/LambdaNote/support-ts-tapl

⨍ Functions 135◇ Types & classes 0
↓ 196 callersFunctionerror
(msg: string, node: any)
book/tiny-ts-parser.ts:1291
↓ 59 callersFunctionerror
(msg: string, node: any)
article/utils.ts:593
↓ 17 callersFunctionok
(expected: string, code: string)
book/typecheckers/sub_test.ts:9
↓ 16 callersFunctionok
(expected: string, code: string)
book/typecheckers/poly_test.ts:9
↓ 11 callersFunctionparse
(code: string)
book/tiny-ts-parser.ts:1058
↓ 11 callersFunctionsubsetSystem
( node: Term, keepTypes: Types[], keepTerms: Terms[], keepDefaultClause: boolean = false, )
book/tiny-ts-parser.ts:1032
↓ 11 callersFunctiontypeShow
(ty: Type)
book/tiny-ts-parser.ts:1301
↓ 11 callersFunctiontypecheck
(t: Term, tyEnv: TypeEnv)
book/typecheckers/obj.ts:60
↓ 9 callersFunctionconvertStmts
(nodes: p.TSESTree.Statement[], requireReturn: boolean, ctx: Context)
book/tiny-ts-parser.ts:854
↓ 9 callersFunctionconvertType
(node: p.TSESTree.TypeNode)
book/tiny-ts-parser.ts:592
↓ 9 callersFunctionsimplifyType
(ty: Type, ctx: Context)
book/tiny-ts-parser.ts:516
↓ 9 callersFunctionsimplifyType
(ty: Type)
book/typecheckers/rec2.ts:140
↓ 8 callersFunctiongetIdentifier
(node: p.TSESTree.Expression | p.TSESTree.PrivateIdentifier | p.TSESTree.TSQualifiedName)
book/tiny-ts-parser.ts:525
↓ 8 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/sub_test.ts:12
↓ 8 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/poly_test.ts:12
↓ 8 callersFunctionok
(expected: string, code: string)
book/typecheckers/basic2_test.ts:9
↓ 8 callersFunctionok
(expected: string, code: string)
book/typecheckers/basic_test.ts:9
↓ 7 callersFunctionparse
(code: string)
article/utils.ts:499
↓ 7 callersFunctionsimplifyType
(ty: Type)
book/typecheckers/rec.ts:109
↓ 7 callersFunctionsubsetSystem
( node: Term, keepTypes: Types[], keepTerms: Terms[], )
article/utils.ts:476
↓ 6 callersFunctionconvertExpr
(node: p.TSESTree.Expression, ctx: Context)
book/tiny-ts-parser.ts:674
↓ 6 callersFunctionconvertStmts
(nodes: p.TSESTree.Statement[], requireReturn: boolean, ctx: Context)
article/utils.ts:381
↓ 6 callersFunctionconvertType
(node: p.TSESTree.TypeNode)
article/utils.ts:244
↓ 6 callersFunctionsimplifyType
(ty: Type, ctx: Context)
article/utils.ts:174
↓ 5 callersFunctiongetIdentifier
(node: p.TSESTree.Expression | p.TSESTree.PrivateIdentifier | p.TSESTree.TSQualifiedName)
article/utils.ts:178
↓ 5 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/union_test.ts:12
↓ 5 callersFunctionok
(expected: string, code: string)
book/typecheckers/rec_test.ts:9
↓ 5 callersFunctionok
(expected: string, code: string)
book/typecheckers/arith_test.ts:9
↓ 5 callersFunctiontypeEq
(ty1: Type, ty2: Type)
book/typecheckers/rec2.ts:208
↓ 5 callersFunctiontypeEq
(ty1: Type, ty2: Type)
book/typecheckers/recfunc2.ts:32
↓ 4 callersFunctionconvertExpr
(node: p.TSESTree.Expression, ctx: Context)
article/utils.ts:292
↓ 4 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/basic2_test.ts:12
↓ 4 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/basic_test.ts:12
↓ 4 callersFunctionok
(expected: string, code: string)
book/typecheckers/rec2_test.ts:9
↓ 4 callersFunctiontypeEq
(ty1: Type, ty2: Type)
book/typecheckers/union.ts:35
↓ 4 callersFunctiontypecheck
(t: Term)
article/arith.ts:14
↓ 3 callersFunctionaddDefinedTypeVars
(tyVars: string[], ctx: Context)
article/utils.ts:98
↓ 3 callersFunctionextendContextWithTypeVars
(ctx: Context, tyVars: string[])
book/tiny-ts-parser.ts:428
↓ 3 callersFunctiongetLiteralString
(node: p.TSESTree.Expression)
book/tiny-ts-parser.ts:530
↓ 3 callersFunctiongetLiteralString
(node: p.TSESTree.Expression)
article/utils.ts:183
↓ 3 callersFunctiongetParam
(node: p.TSESTree.Parameter)
book/tiny-ts-parser.ts:568
↓ 3 callersFunctiongetParam
(node: p.TSESTree.Parameter)
article/utils.ts:221
↓ 3 callersFunctiongetProp
(property: p.TSESTree.ObjectLiteralElement)
article/utils.ts:195
↓ 3 callersFunctiongetTypeProp
(member: p.TSESTree.TypeElement)
article/utils.ts:188
↓ 3 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/arith_test.ts:12
↓ 3 callersFunctionok
(expected: string, code: string)
book/typecheckers/obj_test.ts:9
↓ 3 callersFunctiontypeEq
(ty1: Type, ty2: Type)
book/typecheckers/recfunc.ts:32
↓ 3 callersFunctiontypeEq
(ty1: Type, ty2: Type)
book/typecheckers/rec.ts:160
↓ 2 callersFunctionfreeTyVars
(ty: Type)
article/utils.ts:78
↓ 2 callersFunctionfreeTypeVars
(ty: Type)
book/tiny-ts-parser.ts:396
↓ 2 callersFunctiongenerateTestUtils
(typecheck: (code: any) => Type)
article/utils.ts:603
↓ 2 callersFunctiongetRecFunc
(node: p.TSESTree.FunctionDeclaration, ctx: Context, restFunc: (() => Term) | null)
book/tiny-ts-parser.ts:576
↓ 2 callersFunctiongetRecFunc
(node: p.TSESTree.FunctionDeclaration, ctx: Context, restFunc: (() => Term) | null)
article/utils.ts:229
↓ 2 callersFunctionnewIfNode
(cond: Term, thn: Term, els: Term, loc: Location)
book/tiny-ts-parser.ts:656
↓ 2 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/obj_test.ts:12
↓ 2 callersFunctionok
(expected: string, code: string)
book/typecheckers/recfunc_test.ts:9
↓ 2 callersFunctionparseRecFunc
(code: string)
book/tiny-ts-parser.ts:1165
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/sub_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/recfunc2_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/rec2_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/rec_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/recfunc_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/arith_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/union_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/basic2_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/poly_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/obj_test.ts:6
↓ 2 callersFunctionrun
(code: string)
book/typecheckers/basic_test.ts:6
↓ 2 callersFunctionsubst
(ty: Type, tyVarName: string, repTy: Type)
book/typecheckers/poly.ts:41
↓ 2 callersFunctiontypeEq
(ty1: Type, ty2: Type)
book/typecheckers/basic2.ts:24
↓ 2 callersFunctiontypeEq
(ty1: Type, ty2: Type, tyVars: string[])
book/typecheckers/poly_bug.ts:87
↓ 2 callersFunctiontypeEq
(ty1: Type, ty2: Type, tyVars: string[])
book/typecheckers/poly.ts:101
↓ 2 callersFunctiontypeEq
(ty1: Type, ty2: Type)
book/typecheckers/obj.ts:30
↓ 2 callersFunctiontypeEq
(ty1: Type, ty2: Type)
book/typecheckers/basic.ts:24
↓ 2 callersFunctiontypeEq
(ty1: Type, ty2: Type)
article/basic.ts:24
↓ 2 callersFunctiontypeEqNaive
(ty1: Type, ty2: Type, map: Record<string, string>)
book/typecheckers/rec2.ts:45
↓ 2 callersFunctiontypeEqNaive
(ty1: Type, ty2: Type, map: Record<string, string>)
book/typecheckers/rec.ts:40
↓ 1 callersFunctionconv
(node: Term)
book/tiny-ts-parser.ts:1080
↓ 1 callersFunctionconvertProgram
(nodes: p.TSESTree.Statement[])
book/tiny-ts-parser.ts:998
↓ 1 callersFunctionconvertProgram
(nodes: p.TSESTree.Statement[])
article/utils.ts:442
↓ 1 callersFunctionconvertStmt
(i: number, ctx: Context)
book/tiny-ts-parser.ts:855
↓ 1 callersFunctionconvertStmt
(i: number, ctx: Context)
article/utils.ts:382
↓ 1 callersFunctionexpandType
(ty: Type, tyVarName: string, repTy: Type)
book/typecheckers/rec2.ts:102
↓ 1 callersFunctionexpandType
(ty: Type, tyVarName: string, repTy: Type)
book/typecheckers/rec.ts:80
↓ 1 callersFunctionexpandTypeAliases
(ty: Type, recDefined: Set<string>, ctx: Context)
book/tiny-ts-parser.ts:439
↓ 1 callersFunctionexpandTypeAliases
(ty: Type, recDefined: Set<string>, ctx: Context)
article/utils.ts:108
↓ 1 callersFunctionfreshTypeAbs
(typeParams: string[], ty: Type)
book/typecheckers/poly.ts:30
↓ 1 callersFunctiongetProp
(property: p.TSESTree.ObjectLiteralElement)
book/tiny-ts-parser.ts:542
↓ 1 callersFunctiongetSwitchVarName
(node: p.TSESTree.Expression)
book/tiny-ts-parser.ts:561
↓ 1 callersFunctiongetSwitchVarName
(node: p.TSESTree.Expression)
article/utils.ts:214
↓ 1 callersFunctiongetTagAndProps
(node: p.TSESTree.ObjectExpression)
book/tiny-ts-parser.ts:552
↓ 1 callersFunctiongetTagAndVal
(node: p.TSESTree.ObjectExpression)
article/utils.ts:205
↓ 1 callersFunctiongetTypeProp
(member: p.TSESTree.TypeElement)
book/tiny-ts-parser.ts:535
↓ 1 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/recfunc2_test.ts:12
↓ 1 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/rec2_test.ts:12
↓ 1 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/rec_test.ts:12
↓ 1 callersFunctionng
(expected: RegExp, code: string)
book/typecheckers/recfunc_test.ts:12
↓ 1 callersFunctionok
(expected: string, code: string)
book/typecheckers/recfunc2_test.ts:9
↓ 1 callersFunctionok
(expected: string, code: string)
book/typecheckers/union_test.ts:9
↓ 1 callersFunctionparseArith
(code: string)
book/tiny-ts-parser.ts:1063
next →1–100 of 135, ranked by callers