SyntaxTreeOps Module
Types and nested modules
Type/Module | Description |
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:
AbstractMemberFlags isInstance k
Parameters:
bool
k : SynMemberKind
Returns: SynMemberFlags
|
|
|
|
Full Usage:
ConcatAttributesLists attrsLists
Parameters:
SynAttributeList list
Returns: SynAttribute list
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
PushCurriedPatternsToExpr synArgNameGenerator wholem isMember pats arrow rhs
Parameters:
SynArgNameGenerator
wholem : range
isMember : bool
pats : SynPat list
arrow : Range option
rhs : SynExpr
Returns: SynSimplePats list * SynExpr
|
"fun (UnionCase x) (UnionCase y) -> body" ==> "fun tmp1 tmp2 -> let (UnionCase x) = tmp1 in let (UnionCase y) = tmp2 in body"
|
Full Usage:
PushPatternToExpr synArgNameGenerator isMember pat rhs
Parameters:
SynArgNameGenerator
isMember : bool
pat : SynPat
rhs : SynExpr
Returns: SynSimplePats * SynExpr
|
|
Full Usage:
SimplePatOfPat synArgNameGenerator p
Parameters:
SynArgNameGenerator
p : SynPat
Returns: SynSimplePat * (SynExpr -> SynExpr) option
|
Push non-simple parts of a patten match over onto the r.h.s. of a lambda. Return a simple pattern and a function to build a match on the r.h.s. if the pattern is complex
|
Full Usage:
SimplePatsOfPat synArgNameGenerator p
Parameters:
SynArgNameGenerator
p : SynPat
Returns: SynSimplePats * (SynExpr -> SynExpr) option
|
|
|
|
Full Usage:
addEmptyMatchClause mBar1 mBar2 clauses
Parameters:
range
mBar2 : range
clauses : SynMatchClause list
Returns: SynMatchClause list
|
Adds SynPat.Or pattern for unfinished empty clause above
|
Full Usage:
appFunOpt funOpt x
Parameters:
('a -> 'a) option
x : 'a
Returns: 'a
|
|
|
|
|
|
Full Usage:
composeFunOpt funOpt1 funOpt2
Parameters:
('a -> 'a) option
funOpt2 : ('a -> 'a) option
Returns: ('a -> 'a) option
|
|
Full Usage:
desugarGetSetMembers memberDefns
Parameters:
SynMemberDefns
Returns: SynMemberDefns
|
|
Full Usage:
getTypeFromTuplePath path
Parameters:
SynTupleTypeSegment list
Returns: SynType list
|
|
|
|
|
|
Full Usage:
mkAttributeList attrs range
Parameters:
SynAttribute list
range : range
Returns: SynAttributeList list
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
mkSynBinding (xmlDoc, headPat) (vis, isInline, isMutable, mBind, spBind, retInfo, origRhsExpr, mRhs, staticOptimizations, attrs, memberFlagsOpt, trivia)
Parameters:
PreXmlDoc
headPat : SynPat
vis : SynAccess option
isInline : bool
isMutable : bool
mBind : range
spBind : DebugPointAtBinding
retInfo : (range option * SynReturnInfo) option
origRhsExpr : SynExpr
mRhs : range
staticOptimizations : (SynStaticOptimizationConstraint list * SynExpr) list
attrs : SynAttributes
memberFlagsOpt : SynMemberFlags option
trivia : SynBindingTrivia
Returns: SynBinding
|
|
Full Usage:
mkSynBindingRhs staticOptimizations rhsExpr mRhs retInfo
Parameters:
(SynStaticOptimizationConstraint list * SynExpr) list
rhsExpr : SynExpr
mRhs : range
retInfo : (range option * SynReturnInfo) option
Returns: SynExpr * SynBindingReturnInfo option
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
mkSynIdGetWithAlt m id altInfo
Parameters:
range
id : Ident
altInfo : SynSimplePatAlternativeIdInfo ref option
Returns: SynExpr
|
|
|
|
|
|
|
|
Full Usage:
mkSynPatMaybeVar lidwd vis m
Parameters:
SynLongIdent
vis : SynAccess option
m : range
Returns: SynPat
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
opNameParenGet
Returns: string
|
|
Full Usage:
opNameQMark
Returns: string
|
|
Full Usage:
parsedHashDirectiveArguments arg1 arg2
Parameters:
ParsedHashDirectiveArgument list
arg1 : LanguageVersion
Returns: string list
|
|
Full Usage:
parsedHashDirectiveStringArguments arg1 arg2
Parameters:
ParsedHashDirectiveArgument list
arg1 : LanguageVersion
Returns: string list
|
|
|
|
|
|
Full Usage:
prependIdentInLongIdentWithTrivia ident mDot lid
Parameters:
SynIdent
mDot : range
lid : SynLongIdent
Returns: SynLongIdent
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
textOfPath path
Parameters:
string seq
Returns: string
|
|
Full Usage:
unionBindingAndMembers bindings members
Parameters:
SynBinding list
members : SynMemberDefn list
Returns: SynBinding list
|
|
|
|
|
Active patterns
Active pattern |
Description
|
Full Usage:
(|Attributes|) synAttributes
Parameters:
SynAttributeList list
Returns: SynAttribute list
|
|
|
|
Full Usage:
(|LongOrSingleIdent|_|) inp
Parameters:
SynExpr
Returns: (bool * SynLongIdent * SynSimplePatAlternativeIdInfo ref option * range) voption
|
Match a long identifier, including the case for single identifiers which gets a more optimized node in the syntax tree.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
(|TyparDecls|) typarDecls
Parameters:
SynTyparDecls option
Returns: SynTyparDecl list
|
|
Full Usage:
(|TyparsAndConstraints|) typarDecls
Parameters:
SynTyparDecls option
Returns: SynTyparDecl list * SynTypeConstraint list
|
|
|
|
Full Usage:
(|ValTyparDecls|) valTyparDecls
Parameters:
SynValTyparDecls
Returns: SynTyparDecl list * SynTypeConstraint list * bool
|
|