SynInfo Module
Operations related to the syntactic analysis of arguments of value, function and member definitions and signatures.
Functions and values
Function or value |
Description
|
Full Usage:
AdjustArgsForUnitElimination infosForArgs
Parameters:
SynArgInfo list list
Returns: SynArgInfo list list
|
Make sure only a solitary unit argument has unit elimination
|
Full Usage:
AdjustMemberArgs memFlags infosForArgs
Parameters:
SynMemberKind
infosForArgs : 'a list list
Returns: 'a list list
|
Transform a property declared using '[static] member P = expr' to a method taking a "unit" argument. This is similar to IncorporateEmptyTupledArgForPropertyGetter, but applies to member definitions rather than member signatures.
|
|
Get the argument counts for each curried argument group. Used in some adhoc places in tc.fs.
|
|
Get the argument attributes from the syntactic information for an argument.
|
|
Determine if a syntactic information represents a member without arguments (which is implicitly a property getter)
|
|
Check if there are any optional arguments in the syntactic argument information. Used when adjusting the types of optional arguments for function and member signatures.
|
Full Usage:
IncorporateEmptyTupledArgForPropertyGetter arg1
Parameters:
SynValInfo
Returns: SynValInfo
|
Add a parameter entry to the syntactic value information to represent the '()' argument to a property getter. This is used for the implicit '()' argument in property getter signature specifications.
|
|
Add a parameter entry to the syntactic value information to represent the 'this' argument. This is used for the implicit 'this' argument in member signature specifications.
|
|
Add a parameter entry to the syntactic value information to represent the value argument for a property setter. This is used for the implicit value argument in property setter signature specifications.
|
|
Infer the syntactic argument info for one or more arguments a pattern.
|
Full Usage:
InferSynArgInfoFromSimplePat attribs p
Parameters:
SynAttributes
p : SynSimplePat
Returns: SynArgInfo
|
Infer the syntactic argument info for a single argument from a simple pattern.
|
|
Infer the syntactic argument info for one or more arguments one or more simple patterns.
|
Full Usage:
InferSynReturnData retInfo
Parameters:
SynReturnInfo option
Returns: SynArgInfo
|
|
Full Usage:
InferSynValData (memberFlagsOpt, pat, retInfo, origRhsExpr)
Parameters:
SynMemberFlags option
pat : SynPat option
retInfo : SynReturnInfo option
origRhsExpr : SynExpr
Returns: SynValData
|
Infer the syntactic information for a 'let' or 'member' definition, based on the argument pattern, any declared return information (e.g. .NET attributes on the return element), and the r.h.s. expression in the case of 'let' definitions.
|
|
Check if one particular argument is an optional argument. Used when adjusting the types of optional arguments for function and member signatures.
|
|
|
|
|
|
The 'argument' information for the 'this'/'self' parameter in the cases where it is not given explicitly
|
|
The argument information for a '()' argument
|
|
The 'argument' information for a return value where no attributes are given for the return value (the normal case)
|
|
The argument information for a curried argument without a name
|
|
The argument information for an argument without a name
|