Header menu logo fantomas

ParseHelpers Module

Types and nested modules

Type/Module Description

LexbufCommentStore

LexbufIfdefStore

LexbufLocalXmlDocStore

BindingSet

IndentationProblem

LexCont

LexerContinuation

LexerEndlineContinuation

LexerIfdefExpression

LexerIfdefStack

LexerIfdefStackEntries

LexerIfdefStackEntry

LexerInterpolatedStringNesting

LexerStringKind

LexerStringStyle

SyntaxError

The error raised by the parse_error_rich function, which is called by the parser engine when a syntax error occurs. The first object is the ParseErrorContext which contains a dump of information about the grammar at the point where the error occurred, e.g. what tokens are valid to shift next at that point in the grammar. This information is processed in CompileOps.fs.

Functions and values

Function or value Description

LexerIfdefEval lookup _arg1

Full Usage: LexerIfdefEval lookup _arg1

Parameters:
Returns: bool
lookup : string -> bool
_arg1 : LexerIfdefExpression
Returns: bool

ParseAssemblyCodeInstructions s reportLibraryOnlyFeatures langVersion strictIndentation m

Full Usage: ParseAssemblyCodeInstructions s reportLibraryOnlyFeatures langVersion strictIndentation m

Parameters:
    s : string
    reportLibraryOnlyFeatures : bool
    langVersion : LanguageVersion
    strictIndentation : bool option
    m : range

Returns: ILInstr[]
s : string
reportLibraryOnlyFeatures : bool
langVersion : LanguageVersion
strictIndentation : bool option
m : range
Returns: ILInstr[]

ParseAssemblyCodeType s reportLibraryOnlyFeatures langVersion strictIndentation m

Full Usage: ParseAssemblyCodeType s reportLibraryOnlyFeatures langVersion strictIndentation m

Parameters:
    s : string
    reportLibraryOnlyFeatures : bool
    langVersion : LanguageVersion
    strictIndentation : bool option
    m : range

Returns: ILType
s : string
reportLibraryOnlyFeatures : bool
langVersion : LanguageVersion
strictIndentation : bool option
m : range
Returns: ILType

addAttribs attrs p

Full Usage: addAttribs attrs p

Parameters:
Returns: SynPat
attrs : SynAttributes
p : SynPat
Returns: SynPat

adjustHatPrefixToTyparLookup mFull rightExpr

Full Usage: adjustHatPrefixToTyparLookup mFull rightExpr

Parameters:
Returns: SynExpr

Incorporate a '^' for an qualified access to a generic type parameter

mFull : range
rightExpr : SynExpr
Returns: SynExpr

appendValToLeadingKeyword mVal leadingKeyword

Full Usage: appendValToLeadingKeyword mVal leadingKeyword

Parameters:
Returns: SynLeadingKeyword
mVal : range
leadingKeyword : SynLeadingKeyword
Returns: SynLeadingKeyword

checkEndOfFileError t

Full Usage: checkEndOfFileError t

Parameters:
t : LexerContinuation

checkForMultipleAugmentations m a1 a2

Full Usage: checkForMultipleAugmentations m a1 a2

Parameters:
    m : range
    a1 : 'a list
    a2 : 'a list

Returns: 'a list
m : range
a1 : 'a list
a2 : 'a list
Returns: 'a list

debugPrint s

Full Usage: debugPrint s

Parameters:
    s : 'a

s : 'a

exprFromParseError e

Full Usage: exprFromParseError e

Parameters:
Returns: SynExpr
e : SynExpr
Returns: SynExpr

grabXmlDoc (parseState, optAttributes, elemIdx)

Full Usage: grabXmlDoc (parseState, optAttributes, elemIdx)

Parameters:
Returns: PreXmlDoc
parseState : IParseState
optAttributes : SynAttributeList list
elemIdx : int
Returns: PreXmlDoc

grabXmlDocAtRangeStart (parseState, optAttributes, range)

Full Usage: grabXmlDocAtRangeStart (parseState, optAttributes, range)

Parameters:
Returns: PreXmlDoc
parseState : IParseState
optAttributes : SynAttributeList list
range : range
Returns: PreXmlDoc

idOfPat parseState m p

Full Usage: idOfPat parseState m p

Parameters:
Returns: Ident
parseState : IParseState
m : range
p : SynPat
Returns: Ident

lhs parseState

Full Usage: lhs parseState

Parameters:
Returns: range
parseState : IParseState
Returns: range

mkAutoPropDefn mVal access ident typ mEquals expr (accessors, arg8) xmlDoc attribs (flags, arg12) rangeStart

Full Usage: mkAutoPropDefn mVal access ident typ mEquals expr (accessors, arg8) xmlDoc attribs (flags, arg12) rangeStart

Parameters:
Returns: SynMemberDefn
mVal : range
access : SynAccess option
ident : Ident
typ : SynType option
mEquals : range option
expr : SynExpr
accessors : range option
arg7 : SynMemberKind * GetSetKeywords option
xmlDoc : PreXmlDoc
attribs : SynAttributes
flags : SynMemberKind -> SynMemberFlags
arg11 : SynLeadingKeyword
rangeStart : range
Returns: SynMemberDefn

mkClassMemberLocalBindings (isStatic, initialRangeOpt, attrs, vis, arg5)

Full Usage: mkClassMemberLocalBindings (isStatic, initialRangeOpt, attrs, vis, arg5)

Parameters:
Returns: SynMemberDefn
isStatic : bool
initialRangeOpt : range option
attrs : SynAttributes
vis : SynAccess option
arg4 : BindingSet
Returns: SynMemberDefn

mkDefnBindings (mWhole, arg2, attrs, vis, attrsm)

Full Usage: mkDefnBindings (mWhole, arg2, attrs, vis, attrsm)

Parameters:
Returns: SynModuleDecl list
mWhole : range
arg1 : BindingSet
attrs : SynAttributes
vis : SynAccess option
attrsm : range
Returns: SynModuleDecl list

mkLocalBindings (mWhole, arg2, mIn, body)

Full Usage: mkLocalBindings (mWhole, arg2, mIn, body)

Parameters:
Returns: SynExpr
mWhole : range
arg1 : BindingSet
mIn : range option
body : SynExpr
Returns: SynExpr

mkRecdField lidwd

Full Usage: mkRecdField lidwd

Parameters:
Returns: SynLongIdent * bool
lidwd : SynLongIdent
Returns: SynLongIdent * bool

mkSynDoBinding (vis, mDo, expr, m)

Full Usage: mkSynDoBinding (vis, mDo, expr, m)

Parameters:
Returns: SynBinding
vis : SynAccess option
mDo : range
expr : SynExpr
m : range
Returns: SynBinding

mkSynExprDecl e

Full Usage: mkSynExprDecl e

Parameters:
Returns: SynModuleDecl
e : SynExpr
Returns: SynModuleDecl

mkSynField parseState idOpt t isMutable vis attributes mStatic rangeStart leadingKeyword

Full Usage: mkSynField parseState idOpt t isMutable vis attributes mStatic rangeStart leadingKeyword

Parameters:
Returns: SynField
parseState : IParseState
idOpt : Ident option
t : SynType option
isMutable : range option
vis : SynAccess option
attributes : SynAttributeList list
mStatic : range option
rangeStart : range
leadingKeyword : SynLeadingKeyword option
Returns: SynField

mkSynMemberDefnGetSet parseState opt_inline mWith classDefnMemberGetSetElements mAnd mWhole propertyNameBindingPat optPropertyType visNoLongerUsed (flagsBuilderAndLeadingKeyword, arg11) attrs rangeStart

Full Usage: mkSynMemberDefnGetSet parseState opt_inline mWith classDefnMemberGetSetElements mAnd mWhole propertyNameBindingPat optPropertyType visNoLongerUsed (flagsBuilderAndLeadingKeyword, arg11) attrs rangeStart

Parameters:
Returns: SynMemberDefn list
parseState : IParseState
opt_inline : range option
mWith : range
classDefnMemberGetSetElements : (range option * SynAttributeList list * (SynPat * range) * (range option * SynReturnInfo) option * range option * SynExpr * range) list
mAnd : range option
mWhole : range
propertyNameBindingPat : SynPat
optPropertyType : (range option * SynReturnInfo) option
visNoLongerUsed : SynAccess option
flagsBuilderAndLeadingKeyword : SynMemberKind -> SynMemberFlags
arg10 : SynLeadingKeyword
attrs : SynAttributeList list
rangeStart : range
Returns: SynMemberDefn list

mkSynRange p1 p2

Full Usage: mkSynRange p1 p2

Parameters:
Returns: range
p1 : Position
p2 : Position
Returns: range

mkSynTypeTuple elementTypes

Full Usage: mkSynTypeTuple elementTypes

Parameters:
Returns: SynType
elementTypes : SynTupleTypeSegment list
Returns: SynType

mkSynUnionCase attributes access id kind mDecl arg6

Full Usage: mkSynUnionCase attributes access id kind mDecl arg6

Parameters:
Returns: SynUnionCase
attributes : SynAttributes
access : SynAccess option
id : SynIdent
kind : SynUnionCaseKind
mDecl : range
arg5 : PreXmlDoc * range
Returns: SynUnionCase

mkUnderscoreRecdField m

Full Usage: mkUnderscoreRecdField m

Parameters:
Returns: SynLongIdent * bool
m : range
Returns: SynLongIdent * bool

mkValField parseState mVal isMutable access idOpt typ rangeStart arg8 arg9

Full Usage: mkValField parseState mVal isMutable access idOpt typ rangeStart arg8 arg9

Parameters:
Returns: SynMemberDefn
parseState : IParseState
mVal : range
isMutable : range option
access : SynAccess option
idOpt : Ident option
typ : SynType option
rangeStart : range
arg7 : SynAttributes
arg8 : range option
Returns: SynMemberDefn

patFromParseError e

Full Usage: patFromParseError e

Parameters:
Returns: SynPat
e : SynPat
Returns: SynPat

posOfLexPosition p

Full Usage: posOfLexPosition p

Parameters:
Returns: pos
p : Position
Returns: pos

raiseParseErrorAt arg1 arg2

Full Usage: raiseParseErrorAt arg1 arg2

Parameters:
    arg0 : range
    arg1 : int * string

Returns: 'a
arg0 : range
arg1 : int * string
Returns: 'a

rangeOfLongIdent lid

Full Usage: rangeOfLongIdent lid

Parameters:
Returns: range
lid : LongIdent
Returns: range

rebindRanges first fields lastSep

Full Usage: rebindRanges first fields lastSep

Parameters:
Returns: SynExprRecordField list
first : RecordFieldName * range option * SynExpr option
fields : ((RecordFieldName * range option * SynExpr option) * BlockSeparator option) list
lastSep : BlockSeparator option
Returns: SynExprRecordField list

reportParseErrorAt arg1 arg2

Full Usage: reportParseErrorAt arg1 arg2

Parameters:
    arg0 : range
    arg1 : int * string

arg0 : range
arg1 : int * string

rhs parseState i

Full Usage: rhs parseState i

Parameters:
Returns: range
parseState : IParseState
i : int
Returns: range

rhs2 parseState i j

Full Usage: rhs2 parseState i j

Parameters:
Returns: range
parseState : IParseState
i : int
j : int
Returns: range

unionRangeWithPos r p

Full Usage: unionRangeWithPos r p

Parameters:
Returns: range
r : range
p : pos
Returns: range

warningStringOfCoords line column

Full Usage: warningStringOfCoords line column

Parameters:
    line : int
    column : int

Returns: string
line : int
column : int
Returns: string

warningStringOfPos p

Full Usage: warningStringOfPos p

Parameters:
Returns: string
p : pos
Returns: string

Type extensions

Type extension Description

this.LexemeRange

Full Usage: this.LexemeRange

Parameters:
    () : unit

Returns: range

Extended Type: LexBuffer

() : unit
Returns: range

this.LexemeRange

Full Usage: this.LexemeRange

Returns: range

Extended Type: LexBuffer

Returns: range

this.ResetSynArgNameGenerator

Full Usage: this.ResetSynArgNameGenerator

Parameters:
    () : unit

Extended Type: IParseState

() : unit

this.SynArgNameGenerator

Full Usage: this.SynArgNameGenerator

Parameters:
    () : unit

Returns: SynArgNameGenerator

Extended Type: IParseState

() : unit
Returns: SynArgNameGenerator

this.SynArgNameGenerator

Full Usage: this.SynArgNameGenerator

Returns: SynArgNameGenerator

Extended Type: IParseState

Returns: SynArgNameGenerator

Type something to start searching.