SynPat (F# Compiler Guide)

SynPat Type

Namespace: FSharp.Compiler.Syntax
Assembly: FSharp.Compiler.Service.dll
Base Type: obj

Represents a syntax tree for an F# pattern

Union cases

Union case	Description
`Ands(pats, range)` Full Usage: `Ands(pats, range)` Parameters: pats : `SynPat list` range : `range`	A conjunctive pattern 'pat1 & pat2' pats : `SynPat list` range : `range`
`ArrayOrList(isArray, elementPats, range)` Full Usage: `ArrayOrList(isArray, elementPats, range)` Parameters: isArray : `bool` elementPats : `SynPat list` range : `range`	An array or a list as a pattern isArray : `bool` elementPats : `SynPat list` range : `range`
`As(lhsPat, rhsPat, range)` Full Usage: `As(lhsPat, rhsPat, range)` Parameters: lhsPat : `SynPat` rhsPat : `SynPat` range : `range`	A conjunctive pattern 'pat1 as pat2' lhsPat : `SynPat` rhsPat : `SynPat` range : `range`
`Attrib(pat, attributes, range)` Full Usage: `Attrib(pat, attributes, range)` Parameters: pat : `SynPat` attributes : `SynAttributes` range : `range`	An attributed pattern, used in argument or declaration position pat : `SynPat` attributes : `SynAttributes` range : `range`
`Const(constant, range)` Full Usage: `Const(constant, range)` Parameters: constant : `SynConst` range : `range`	A constant in a pattern constant : `SynConst` range : `range`
`FromParseError(pat, range)` Full Usage: `FromParseError(pat, range)` Parameters: pat : `SynPat` range : `range`	A pattern arising from a parse error pat : `SynPat` range : `range`
`InstanceMember(thisId, memberId, toolingId, accessibility, range)` Full Usage: `InstanceMember(thisId, memberId, toolingId, accessibility, range)` Parameters: thisId : `Ident` memberId : `Ident` toolingId : `Ident option` accessibility : `SynAccess option` range : `range`	Used internally in the type checker thisId : `Ident` memberId : `Ident` toolingId : `Ident option` accessibility : `SynAccess option` range : `range`
`IsInst(pat, range)` Full Usage: `IsInst(pat, range)` Parameters: pat : `SynType` range : `range`	A type test pattern ':? type ' pat : `SynType` range : `range`
`ListCons(lhsPat, rhsPat, range, trivia)` Full Usage: `ListCons(lhsPat, rhsPat, range, trivia)` Parameters: lhsPat : `SynPat` rhsPat : `SynPat` range : `range` trivia : `SynPatListConsTrivia`	A conjunctive pattern 'pat1 :: pat2' lhsPat : `SynPat` rhsPat : `SynPat` range : `range` trivia : `SynPatListConsTrivia`
`LongIdent(longDotId, extraId, typarDecls, argPats, accessibility, range)` Full Usage: `LongIdent(longDotId, extraId, typarDecls, argPats, accessibility, range)` Parameters: longDotId : `SynLongIdent` extraId : `Ident option` typarDecls : `SynValTyparDecls option` argPats : `SynArgPats` accessibility : `SynAccess option` range : `range`	A long identifier pattern possibly with argument patterns longDotId : `SynLongIdent` extraId : `Ident option` typarDecls : `SynValTyparDecls option` argPats : `SynArgPats` accessibility : `SynAccess option` range : `range`
`Named(ident, isThisVal, accessibility, range)` Full Usage: `Named(ident, isThisVal, accessibility, range)` Parameters: ident : `SynIdent` isThisVal : `bool` accessibility : `SynAccess option` range : `range`	A name pattern 'ident' ident : `SynIdent` isThisVal : `bool` accessibility : `SynAccess option` range : `range`
`Null range` Full Usage: `Null range` Parameters: range : `range`	The 'null' pattern range : `range`
`OptionalVal(ident, range)` Full Usage: `OptionalVal(ident, range)` Parameters: ident : `Ident` range : `range`	'?id' -- for optional argument names ident : `Ident` range : `range`
`Or(lhsPat, rhsPat, range, trivia)` Full Usage: `Or(lhsPat, rhsPat, range, trivia)` Parameters: lhsPat : `SynPat` rhsPat : `SynPat` range : `range` trivia : `SynPatOrTrivia`	A disjunctive pattern 'pat1 \| pat2' lhsPat : `SynPat` rhsPat : `SynPat` range : `range` trivia : `SynPatOrTrivia`
`Paren(pat, range)` Full Usage: `Paren(pat, range)` Parameters: pat : `SynPat` range : `range`	A parenthesized pattern pat : `SynPat` range : `range`
`QuoteExpr(expr, range)` Full Usage: `QuoteExpr(expr, range)` Parameters: expr : `SynExpr` range : `range`	<@ expr @>, used for active pattern arguments expr : `SynExpr` range : `range`
`Record(fieldPats, range)` Full Usage: `Record(fieldPats, range)` Parameters: fieldPats : `((LongIdent * Ident) * range option * SynPat) list` range : `range`	A record pattern fieldPats : `((LongIdent * Ident) * range option * SynPat) list` range : `range`
`Tuple(isStruct, elementPats, commaRanges, range)` Full Usage: `Tuple(isStruct, elementPats, commaRanges, range)` Parameters: isStruct : `bool` elementPats : `SynPat list` commaRanges : `range list` range : `range`	A tuple pattern isStruct : `bool` elementPats : `SynPat list` commaRanges : `range list` range : `range`
`Typed(pat, targetType, range)` Full Usage: `Typed(pat, targetType, range)` Parameters: pat : `SynPat` targetType : `SynType` range : `range`	A typed pattern 'pat : type' pat : `SynPat` targetType : `SynType` range : `range`
`Wild range` Full Usage: `Wild range` Parameters: range : `range`	A wildcard '_' in a pattern range : `range`

Instance members

Instance member	Description
`this.Range` Full Usage: `this.Range` Returns: `range`	Gets the syntax range of this construct Returns: `range`