object SigmaParser extends Exprs with Types with Core
- Alphabetic
- By Inheritance
- SigmaParser
- Exprs
- Types
- Core
- Literals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
val
#: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
val
*: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
:: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
<:: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
=: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
val
=>: Parser[Unit, Char, String]
- Definition Classes
- Core
-
val
>:: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
@: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
Annot: fastparse.noApi.P0
- Definition Classes
- Types
-
val
AnnotType: fastparse.noApi.Parser[SType]
- Definition Classes
- Types
-
val
AnonTmpl: Parser[Unit, Char, String]
- Definition Classes
- SigmaParser → Exprs
-
val
ArgList: fastparse.noApi.Parser[Value[SType]]
- Definition Classes
- Exprs
-
val
BacktickId: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
def
BaseBlock(end: fastparse.noApi.P0)(implicit name: Name): fastparse.noApi.P[Value[SType]]
- Definition Classes
- Exprs
-
val
BindPattern: fastparse.noApi.Parser[Any]
- Definition Classes
- Exprs
- val Block: fastparse.noApi.P[Value[SType]]
-
val
BlockChunk: fastparse.noApi.Parser[(Seq[Seq[(String, SType)]], Seq[Value[SType]])]
- Definition Classes
- Exprs
-
val
BlockDef: fastparse.noApi.Parser[Value[SType]]
- Definition Classes
- SigmaParser → Exprs
-
val
BlockExpr: fastparse.noApi.Parser[Value[SType]]
- Definition Classes
- Exprs
-
val
BlockLambda: fastparse.noApi.Parser[Seq[(String, SType)]]
- Definition Classes
- Exprs
-
val
BlockLambdaHead: Parser[Seq[(String, SType)], Char, String]
- Definition Classes
- Exprs
-
val
CaseBlock: fastparse.noApi.P[Value[SType]]
- Definition Classes
- Exprs
-
val
CaseClauses: fastparse.noApi.P0
- Definition Classes
- Exprs
-
val
CompoundType: Parser[SType, Char, String]
- Definition Classes
- Types
- val Constr: fastparse.noApi.Parser[(SType, Seq[Value[SType]])]
- val Constrs: fastparse.noApi.Parser[Seq[(SType, Seq[Value[SType]])]]
-
val
Dcl: fastparse.noApi.Parser[Value[SType]]
- Definition Classes
- Types
- val DefTmpl: fastparse.noApi.Parser[Any]
-
val
DottyExtMethodSubj: fastparse.noApi.Parser[(String, SType)]
- Definition Classes
- Types
- val EarlyDefTmpl: fastparse.noApi.Parser[(Option[Seq[(String, SType)]], Seq[Value[SType]], Seq[(SType, Seq[Value[SType]])], Option[(Option[Seq[(String, SType)]], Seq[Value[SType]])])]
-
val
ExprLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]
- Definition Classes
- Core
-
val
Exprs: fastparse.noApi.Parser[Seq[Value[SType]]]
- Definition Classes
- Types
-
val
FunDef: Parser[Val, Char, String]
- Definition Classes
- Exprs
-
val
FunSig: fastparse.noApi.Parser[Seq[Seq[(String, SType)]]]
- Definition Classes
- Types
-
val
Id: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
Ids: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
InfixType: Parser[SType, Char, String]
- Definition Classes
- Types
-
val
NLAnnot: fastparse.noApi.Parser[Unit]
- Definition Classes
- Types
- val NamedTmpl: fastparse.noApi.Parser[(Seq[(SType, Seq[Value[SType]])], Option[(Option[Seq[(String, SType)]], Seq[Value[SType]])])]
-
val
Newline: fastparse.all.Parser[Unit]
- Definition Classes
- Literals
-
val
NotNewline: fastparse.all.P0
- Definition Classes
- Literals
-
val
OneNLMax: fastparse.all.P0
- Definition Classes
- Literals
-
val
ParenArgList: Parser[Value[SType], Char, String]
- Definition Classes
- Exprs
-
val
PatLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]
- Definition Classes
- Core
- val Pattern: fastparse.noApi.P0
-
val
Patterns: fastparse.noApi.P0
- Definition Classes
- Exprs
-
val
PostDotCheck: fastparse.noApi.P0
Sketchy way to whitelist a few suffixes that come after a .
Sketchy way to whitelist a few suffixes that come after a . select; apart from these and IDs, everything else is illegal
- Definition Classes
- Core
-
val
PostfixType: Parser[SType, Char, String]
- Definition Classes
- Types
-
val
QualId: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
Semi: fastparse.all.Parser[Unit]
- Definition Classes
- Literals
-
val
Semis: fastparse.all.Parser[Unit]
- Definition Classes
- Literals
-
val
SimplePattern: fastparse.noApi.Parser[Any]
- Definition Classes
- Exprs
-
val
SimpleType: Parser[SType, Char, String]
- Definition Classes
- Types
-
val
StableId: fastparse.noApi.Parser[SValue]
- Definition Classes
- Core
- val TmplBody: fastparse.noApi.Parser[(Option[Seq[(String, SType)]], Seq[Value[SType]])]
-
val
TrailingComma: fastparse.all.P0
- Definition Classes
- Literals
-
val
Type: fastparse.noApi.P[SType]
- Definition Classes
- Types
-
val
TypeArg: fastparse.noApi.P0
- Definition Classes
- Types
-
val
TypeArgList: fastparse.noApi.P0
- Definition Classes
- Types
-
val
TypeArgs: fastparse.noApi.Parser[Seq[SType]]
- Definition Classes
- Types
-
val
TypeBounds: fastparse.noApi.P0
- Definition Classes
- Types
- val TypeExpr: fastparse.noApi.P[Value[SType]]
-
val
TypeId: Parser[SType, Char, String]
- Definition Classes
- Types
-
val
TypeOrBindPattern: fastparse.noApi.P0
- Definition Classes
- Exprs
-
val
TypePat: fastparse.noApi.Parser[SType]
- Definition Classes
- Exprs
-
val
TypePattern: fastparse.noApi.Parser[SType]
- Definition Classes
- Exprs
-
val
ValVarDef: Parser[Value[SType], Char, String]
- Definition Classes
- SigmaParser → Types
-
val
VarId: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
WL: fastparse.all.Parser[Unit]
- Definition Classes
- Literals
-
val
WL0: fastparse.all.Parser[Unit]
Parses whitespace, including newlines.
Parses whitespace, including newlines. This is the default for most things
- Definition Classes
- Literals
-
val
WS: fastparse.all.Parser[Unit]
Parses all whitespace, excluding newlines.
Parses all whitespace, excluding newlines. This is only really useful in e.g. {} blocks, where we want to avoid capturing newlines so semicolon-inference would work
- Definition Classes
- Literals
-
val
WhitespaceApi: Wrapper2
- Definition Classes
- Core
-
val
_: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
_*: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
- def apply(script: String, sigmaBuilder: SigmaBuilder): Parsed[Value[_ <: SType], Char, String]
-
def
applySuffix(f: Value[SType], args: Seq[SigmaNode]): Value[SType]
- Attributes
- protected
- Definition Classes
- Exprs
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
atSrcPos[A](parserIndex: Int)(thunk: ⇒ A): A
- Definition Classes
- SigmaParser → Literals
-
def
block(stats: Seq[SValue]): SValue
- Attributes
- protected
- Definition Classes
- Exprs
-
val
builder: SigmaBuilder
- Definition Classes
- Literals
-
val
case: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- val currentInput: DynamicVariable[String]
-
val
def: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
else: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
val
extends: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
extractBlockStats(stats: Seq[SValue]): (Seq[Val], SValue)
- Definition Classes
- Exprs
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
val
if: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
implicit: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
lambda(args: Seq[Value[SType]], body: Value[SType]): Value[SType]
- Attributes
- protected
- Definition Classes
- Exprs
-
val
lazy: fastparse.all.Parser[Unit]
- Definition Classes
- Core
- val logged: Buffer[String]
- implicit val logger: Logger
-
val
match: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
mkBinaryOp(l: Value[SType], opName: String, r: Value[SType]): Value[SType]
- Definition Classes
- SigmaParser → Core
- def mkInfixTree(lhs: SValue, rhss: Seq[(String, SValue)]): SValue
-
def
mkUnaryOp(opName: String, arg: Value[SType]): Value[SType]
- Definition Classes
- SigmaParser → Core
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
val
new: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val parseAsMethods: Set[String]
- def parseType(str: String): SType
- def parsedType(str: String): Parsed[SType, Char, String]
-
def
precedenceOf(op: String): Int
- Definition Classes
- Exprs
- Annotations
- @inline()
-
def
precedenceOf(ch: Char): Int
- Definition Classes
- Exprs
- Annotations
- @inline()
-
val
predefTypes: Map[String, SType { type WrappedType >: Unit with special.sigma.Box with String with special.sigma.PreHeader with special.sigma.Header with special.sigma.SigmaDslBuilder with special.sigma.SigmaProp with special.sigma.GroupElement with org.ergoplatform.ErgoLikeContext with special.sigma.AvlTree with special.collection.Coll[Byte] with special.sigma.BigInt with Long with Int with Short with Byte with Boolean }]
This map should be in sync with SType.allPredefTypes
This map should be in sync with SType.allPredefTypes
- Definition Classes
- Types
-
val
priorityList: Seq[Seq[Char]]
The precedence of an infix operator is determined by the operator's first character.
The precedence of an infix operator is determined by the operator's first character. Characters are listed below in increasing order of precedence, with characters on the same line having the same precedence.
- Definition Classes
- Exprs
-
val
priorityMap: Map[Char, Int]
- Definition Classes
- Exprs
-
val
return: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
srcCtx(parserIndex: Int): SourceContext
- Definition Classes
- SigmaParser → Literals
-
val
super: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
val
then: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
this: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
val
type: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
typeFromName(tn: String): Option[SType]
- Definition Classes
- Types
-
val
val: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
val
with: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
{: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
}: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
object
ExprCtx extends WsCtx
- Definition Classes
- Exprs
-
object
FreeCtx extends WsCtx
- Definition Classes
- Exprs
-
object
StatCtx extends WsCtx
- Definition Classes
- Exprs
-
object
Literals
- Definition Classes
- Literals