Header menu logo fantomas

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

AdjustArgsForUnitElimination infosForArgs

Full Usage: AdjustArgsForUnitElimination infosForArgs

Parameters:
Returns: SynArgInfo list list

Make sure only a solitary unit argument has unit elimination

infosForArgs : SynArgInfo list list
Returns: SynArgInfo list list

AdjustMemberArgs memFlags infosForArgs

Full Usage: AdjustMemberArgs memFlags infosForArgs

Parameters:
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.

memFlags : SynMemberKind
infosForArgs : 'a list list
Returns: 'a list list

AritiesOfArgs arg1

Full Usage: AritiesOfArgs arg1

Parameters:
Returns: int list

Get the argument counts for each curried argument group. Used in some adhoc places in tc.fs.

arg0 : SynValInfo
Returns: int list

AttribsOfArgData arg1

Full Usage: AttribsOfArgData arg1

Parameters:
Returns: SynAttribute list

Get the argument attributes from the syntactic information for an argument.

arg0 : SynArgInfo
Returns: SynAttribute list

HasNoArgs arg1

Full Usage: HasNoArgs arg1

Parameters:
Returns: bool

Determine if a syntactic information represents a member without arguments (which is implicitly a property getter)

arg0 : SynValInfo
Returns: bool

HasOptionalArgs arg1

Full Usage: HasOptionalArgs arg1

Parameters:
Returns: bool

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.

arg0 : SynValInfo
Returns: bool

IncorporateEmptyTupledArgForPropertyGetter arg1

Full Usage: IncorporateEmptyTupledArgForPropertyGetter arg1

Parameters:
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.

arg0 : SynValInfo
Returns: SynValInfo

IncorporateSelfArg arg1

Full Usage: IncorporateSelfArg arg1

Parameters:
Returns: SynValInfo

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.

arg0 : SynValInfo
Returns: SynValInfo

IncorporateSetterArg arg1

Full Usage: IncorporateSetterArg arg1

Parameters:
Returns: SynValInfo

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.

arg0 : SynValInfo
Returns: SynValInfo

InferSynArgInfoFromPat p

Full Usage: InferSynArgInfoFromPat p

Parameters:
Returns: SynArgInfo list

Infer the syntactic argument info for one or more arguments a pattern.

p : SynPat
Returns: SynArgInfo list

InferSynArgInfoFromSimplePat attribs p

Full Usage: InferSynArgInfoFromSimplePat attribs p

Parameters:
Returns: SynArgInfo

Infer the syntactic argument info for a single argument from a simple pattern.

attribs : SynAttributes
p : SynSimplePat
Returns: SynArgInfo

InferSynArgInfoFromSimplePats x

Full Usage: InferSynArgInfoFromSimplePats x

Parameters:
Returns: SynArgInfo list

Infer the syntactic argument info for one or more arguments one or more simple patterns.

x : SynSimplePats
Returns: SynArgInfo list

InferSynReturnData retInfo

Full Usage: InferSynReturnData retInfo

Parameters:
Returns: SynArgInfo
retInfo : SynReturnInfo option
Returns: SynArgInfo

InferSynValData (memberFlagsOpt, pat, retInfo, origRhsExpr)

Full Usage: InferSynValData (memberFlagsOpt, pat, retInfo, origRhsExpr)

Parameters:
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.

memberFlagsOpt : SynMemberFlags option
pat : SynPat option
retInfo : SynReturnInfo option
origRhsExpr : SynExpr
Returns: SynValData

IsOptionalArg arg1

Full Usage: IsOptionalArg arg1

Parameters:
Returns: bool

Check if one particular argument is an optional argument. Used when adjusting the types of optional arguments for function and member signatures.

arg0 : SynArgInfo
Returns: bool

emptySynArgInfo

Full Usage: emptySynArgInfo

Returns: SynArgInfo
Returns: SynArgInfo

emptySynValData

Full Usage: emptySynValData

Returns: SynValData
Returns: SynValData

selfMetadata

Full Usage: selfMetadata

Returns: SynArgInfo list

The 'argument' information for the 'this'/'self' parameter in the cases where it is not given explicitly

Returns: SynArgInfo list

unitArgData

Full Usage: unitArgData

Returns: SynArgInfo list

The argument information for a '()' argument

Returns: SynArgInfo list

unnamedRetVal

Full Usage: unnamedRetVal

Returns: SynArgInfo

The 'argument' information for a return value where no attributes are given for the return value (the normal case)

Returns: SynArgInfo

unnamedTopArg

Full Usage: unnamedTopArg

Returns: SynArgInfo list

The argument information for a curried argument without a name

Returns: SynArgInfo list

unnamedTopArg1

Full Usage: unnamedTopArg1

Returns: SynArgInfo

The argument information for an argument without a name

Returns: SynArgInfo

Type something to start searching.