Comment on page
Types
type : typeNoVoid | voidType
typeNoVoid : namedType | genericType | nullType | arrayType
| lambdaType | tupleType | wildcardType | infixType
| prefixType | postfixType
types : type { comma type }?
namedType : identifierList
genericType : namedType '<' types? '>'
nullType : 'null'
voidType : '(' ')'
wildcardType : '_'
mutability : 'var' | 'final'
tupleType : '(' types ')'
arrayType : '[' mutability? type? ']'
| type '[' ']' # Java-Style, causes warning
mapType : '[' mutability? type ':' type ']'
lambdaType : '=>' type
| typeNoVoid '=>' type
| '(' types? ')' '=>' type
| type '.' '(' types? ')' '=>' type
infixType : type identifier type
prefixType : identifier type
postfixType : type identifier
Last modified 5yr ago