Represents a type syntax in the AST.

Values

TPath(p:TypePath)

Represents the type path.

TAnonymous(fields:Array<Field>)

Represents an anonymous structure type.

See also:

TParent(t:ComplexType)

Represents parentheses around a type, e.g. the (Int -> Void) part in (Int -> Void) -> String.

TExtend(p:Array<TypePath>, fields:Array<Field>)

Represents typedef extensions > Iterable<T>. The array p holds the type paths to the given types.

See also:

TOptional(t:ComplexType)

Represents an optional type.

TNamed(n:String, t:ComplexType)

Represents a type with a name.

TIntersection(tl:Array<ComplexType>)

Represents an intersection type T1 & T2 & ... & TN.