Checker
hscript.Checker (Class)
Static Members
typeIter(t: Anonymous, callb: Function): Void
| Name |
Type |
t |
Anonymous |
callb |
Function |
Instance Members
allowReturn: Null<Anonymous>
| Name |
Type |
Default |
cl |
CClass |
|
allowPrivate |
Bool |
false |
| Name |
Type |
name |
String |
type |
Anonymous |
| Name |
Type |
name |
String |
type |
Anonymous |
check(expr: Expr, ?withType: Anonymous, ?isCompletion: Bool = false): Anonymous
| Name |
Type |
Default |
expr |
Expr |
|
withType |
Anonymous |
(optional) |
isCompletion |
Bool |
false |
tryUnify(t1: Anonymous, t2: Anonymous): Bool
| Name |
Type |
t1 |
Anonymous |
t2 |
Anonymous |
unify(t1: Anonymous, t2: Anonymous, e: Expr): Void
| Name |
Type |
t1 |
Anonymous |
t2 |
Anonymous |
e |
Expr |
apply(t: Anonymous, params: Array<Anonymous>, args: Array<Anonymous>): Anonymous
mapType(t: Anonymous, f: Function): Anonymous
| Name |
Type |
t |
Anonymous |
f |
Function |
follow(t: Anonymous): Anonymous
getFields(t: Anonymous): Array<AnonStruct>
unasync(t: Anonymous): Anonymous
Private Members
currentFunType: Anonymous
makeType(t: Anonymous, e: Expr): Anonymous
| Name |
Type |
t |
Anonymous |
e |
Expr |
linkLoop(a: Anonymous, t: Anonymous): Bool
| Name |
Type |
a |
Anonymous |
t |
Anonymous |
link(a: Anonymous, b: Anonymous, r: AnonStruct): Bool
| Name |
Type |
a |
Anonymous |
b |
Anonymous |
r |
AnonStruct |
typeEq(t1: Anonymous, t2: Anonymous): Bool
| Name |
Type |
t1 |
Anonymous |
t2 |
Anonymous |
getField(t: Anonymous, f: String, e: Expr, ?forWrite: Bool = false): Anonymous
typeExprWith(expr: Expr, t: Anonymous): Anonymous
| Name |
Type |
expr |
Expr |
t |
Anonymous |
makeMono(): Anonymous
makeIterator(t: Anonymous): Anonymous
mk(e: Anonymous, p: AnonStruct): Expr
| Name |
Type |
e |
Anonymous |
p |
AnonStruct |
isString(t: Anonymous): Bool
onCompletion(expr: Expr, t: Anonymous): Void
| Name |
Type |
expr |
Expr |
t |
Anonymous |
typeExpr(expr: Expr, withType: Anonymous): Anonymous
| Name |
Type |
expr |
Expr |
withType |
Anonymous |
getIteratorType(it: Expr, itt: Anonymous): Anonymous
| Name |
Type |
it |
Expr |
itt |
Anonymous |