🚧 Still under progress. Soon will be finished.

TypeKind

ENUM code

Description

Represents all the different kinds of types that the analyser reflects

Members

Name Value Description
Array 'Array'
Union 'Union'

A union type. For example: type foo = string | number
Intersection 'Intersection'

An intersection type. For example: type foo = string & number
TypeLiteral 'TypeLiteral'
Conditional 'Conditional'

A conditional type. For example: type foo<T> = T extends boolean ? 1 : 0
Reference 'Reference'

A type reference. For example: type foo = HTMLElement
Intrinsic 'Intrinsic'

An intrinsic type. For example: type foo = string or type foo = object
Tuple 'Tuple'
NamedTupleMember 'NamedTupleMember'
Operator 'Operator'
Unknown 'Unknown'

An unknown type represents any type that we don’t have a match for it
IndexAccess 'IndexAccess'
Literal 'Literal'

A literal type. For example: type foo = 4
Function 'Function'

A function type. For example: type foo = () => void
Query 'Query'

A query type. For example: type foo = typeof Bar
Infer 'Infer'

An inferred type. For example: type foo = Promise<string> extends Promise<infer U> ? U : never
Mapped 'Mapped'
Optional 'Optional'
Predicate 'Predicate'
Rest 'Rest'
TemplateLiteral 'TemplateLiteral'