o

sigmastate.lang

SigmaParser

object SigmaParser extends Exprs with Types with Core

Linear Supertypes
Exprs, Types, Core, Literals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SigmaParser
  2. Exprs
  3. Types
  4. Core
  5. Literals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class WhitespaceApi2[+T] extends WhitespaceApi[T]
    Definition Classes
    Core
  2. class Wrapper2 extends AnyRef
    Definition Classes
    Core
  3. class WsCtx extends AnyRef
    Definition Classes
    Exprs
  4. implicit class ParserOps[+T] extends AnyRef
    Definition Classes
    Literals

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. val #: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  3. final def ##(): Int
    Definition Classes
    AnyRef → Any
  4. val *: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  5. val :: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  6. val <:: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  7. val =: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. val =>: Parser[Unit, Char, String]
    Definition Classes
    Core
  10. val >:: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  11. val @: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  12. val Annot: fastparse.noApi.P0
    Definition Classes
    Types
  13. val AnnotType: fastparse.noApi.Parser[SType]
    Definition Classes
    Types
  14. val AnonTmpl: Parser[Unit, Char, String]
    Definition Classes
    SigmaParserExprs
  15. val ArgList: fastparse.noApi.Parser[Value[SType]]
    Definition Classes
    Exprs
  16. val BacktickId: fastparse.noApi.Parser[Unit]
    Definition Classes
    Core
  17. def BaseBlock(end: fastparse.noApi.P0)(implicit name: Name): fastparse.noApi.P[Value[SType]]
    Definition Classes
    Exprs
  18. val BindPattern: fastparse.noApi.Parser[Any]
    Definition Classes
    Exprs
  19. val Block: fastparse.noApi.P[Value[SType]]
    Definition Classes
    ExprsLiterals
  20. val BlockChunk: fastparse.noApi.Parser[(Seq[Seq[(String, SType)]], Seq[Value[SType]])]
    Definition Classes
    Exprs
  21. val BlockDef: fastparse.noApi.Parser[Value[SType]]
    Definition Classes
    SigmaParserExprs
  22. val BlockExpr: fastparse.noApi.Parser[Value[SType]]
    Definition Classes
    Exprs
  23. val BlockLambda: fastparse.noApi.Parser[Seq[(String, SType)]]
    Definition Classes
    Exprs
  24. val BlockLambdaHead: Parser[Seq[(String, SType)], Char, String]
    Definition Classes
    Exprs
  25. val CaseBlock: fastparse.noApi.P[Value[SType]]
    Definition Classes
    Exprs
  26. val CaseClauses: fastparse.noApi.P0
    Definition Classes
    Exprs
  27. val CompoundType: Parser[SType, Char, String]
    Definition Classes
    Types
  28. val Constr: fastparse.noApi.Parser[(SType, Seq[Value[SType]])]
  29. val Constrs: fastparse.noApi.Parser[Seq[(SType, Seq[Value[SType]])]]
  30. val Dcl: fastparse.noApi.Parser[Value[SType]]
    Definition Classes
    Types
  31. val DefTmpl: fastparse.noApi.Parser[Any]
  32. val DottyExtMethodSubj: fastparse.noApi.Parser[(String, SType)]
    Definition Classes
    Types
  33. 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]])])]
  34. val ExprLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]
    Definition Classes
    Core
  35. val Exprs: fastparse.noApi.Parser[Seq[Value[SType]]]
    Definition Classes
    Types
  36. val FunDef: Parser[Val, Char, String]
    Definition Classes
    Exprs
  37. val FunSig: fastparse.noApi.Parser[Seq[Seq[(String, SType)]]]
    Definition Classes
    Types
  38. val Id: fastparse.noApi.Parser[Unit]
    Definition Classes
    Core
  39. val Ids: fastparse.noApi.Parser[Unit]
    Definition Classes
    Core
  40. val InfixType: Parser[SType, Char, String]
    Definition Classes
    Types
  41. val NLAnnot: fastparse.noApi.Parser[Unit]
    Definition Classes
    Types
  42. val NamedTmpl: fastparse.noApi.Parser[(Seq[(SType, Seq[Value[SType]])], Option[(Option[Seq[(String, SType)]], Seq[Value[SType]])])]
  43. val Newline: fastparse.all.Parser[Unit]
    Definition Classes
    Literals
  44. val NotNewline: fastparse.all.P0
    Definition Classes
    Literals
  45. val OneNLMax: fastparse.all.P0
    Definition Classes
    Literals
  46. val ParenArgList: Parser[Value[SType], Char, String]
    Definition Classes
    Exprs
  47. val PatLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]
    Definition Classes
    Core
  48. val Pattern: fastparse.noApi.P0
    Definition Classes
    ExprsLiterals
  49. val Patterns: fastparse.noApi.P0
    Definition Classes
    Exprs
  50. 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
  51. val PostfixType: Parser[SType, Char, String]
    Definition Classes
    Types
  52. val QualId: fastparse.noApi.Parser[Unit]
    Definition Classes
    Core
  53. val Semi: fastparse.all.Parser[Unit]
    Definition Classes
    Literals
  54. val Semis: fastparse.all.Parser[Unit]
    Definition Classes
    Literals
  55. val SimplePattern: fastparse.noApi.Parser[Any]
    Definition Classes
    Exprs
  56. val SimpleType: Parser[SType, Char, String]
    Definition Classes
    Types
  57. val StableId: fastparse.noApi.Parser[SValue]
    Definition Classes
    Core
  58. val TmplBody: fastparse.noApi.Parser[(Option[Seq[(String, SType)]], Seq[Value[SType]])]
  59. val TrailingComma: fastparse.all.P0
    Definition Classes
    Literals
  60. val Type: fastparse.noApi.P[SType]
    Definition Classes
    Types
  61. val TypeArg: fastparse.noApi.P0
    Definition Classes
    Types
  62. val TypeArgList: fastparse.noApi.P0
    Definition Classes
    Types
  63. val TypeArgs: fastparse.noApi.Parser[Seq[SType]]
    Definition Classes
    Types
  64. val TypeBounds: fastparse.noApi.P0
    Definition Classes
    Types
  65. val TypeExpr: fastparse.noApi.P[Value[SType]]
    Definition Classes
    ExprsTypes
  66. val TypeId: Parser[SType, Char, String]
    Definition Classes
    Types
  67. val TypeOrBindPattern: fastparse.noApi.P0
    Definition Classes
    Exprs
  68. val TypePat: fastparse.noApi.Parser[SType]
    Definition Classes
    Exprs
  69. val TypePattern: fastparse.noApi.Parser[SType]
    Definition Classes
    Exprs
  70. val ValVarDef: Parser[Value[SType], Char, String]
    Definition Classes
    SigmaParserTypes
  71. val VarId: fastparse.noApi.Parser[Unit]
    Definition Classes
    Core
  72. val WL: fastparse.all.Parser[Unit]
    Definition Classes
    Literals
  73. val WL0: fastparse.all.Parser[Unit]

    Parses whitespace, including newlines.

    Parses whitespace, including newlines. This is the default for most things

    Definition Classes
    Literals
  74. 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
  75. val WhitespaceApi: Wrapper2
    Definition Classes
    Core
  76. val _: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  77. val _*: fastparse.noApi.Parser[Unit]
    Definition Classes
    Core
  78. def apply(script: String, sigmaBuilder: SigmaBuilder): Parsed[Value[_ <: SType], Char, String]
  79. def applySuffix(f: Value[SType], args: Seq[SigmaNode]): Value[SType]
    Attributes
    protected
    Definition Classes
    Exprs
  80. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  81. def atSrcPos[A](parserIndex: Int)(thunk: ⇒ A): A
    Definition Classes
    SigmaParserLiterals
  82. def block(stats: Seq[SValue]): SValue
    Attributes
    protected
    Definition Classes
    Exprs
  83. val builder: SigmaBuilder
    Definition Classes
    Literals
  84. val case: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  85. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  86. val currentInput: DynamicVariable[String]
  87. val def: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  88. val else: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  89. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  90. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  91. val extends: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  92. def extractBlockStats(stats: Seq[SValue]): (Seq[Val], SValue)
    Definition Classes
    Exprs
  93. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  94. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  95. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  96. val if: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  97. val implicit: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  98. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  99. def lambda(args: Seq[Value[SType]], body: Value[SType]): Value[SType]
    Attributes
    protected
    Definition Classes
    Exprs
  100. val lazy: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  101. val logged: Buffer[String]
  102. implicit val logger: Logger
  103. val match: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  104. def mkBinaryOp(l: Value[SType], opName: String, r: Value[SType]): Value[SType]
    Definition Classes
    SigmaParserCore
  105. def mkInfixTree(lhs: SValue, rhss: Seq[(String, SValue)]): SValue
    Attributes
    protected[lang]
    Definition Classes
    Exprs
  106. def mkUnaryOp(opName: String, arg: Value[SType]): Value[SType]
    Definition Classes
    SigmaParserCore
  107. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  108. val new: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  109. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  110. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  111. val parseAsMethods: Set[String]
  112. def parseType(str: String): SType
  113. def parsedType(str: String): Parsed[SType, Char, String]
  114. def precedenceOf(op: String): Int
    Definition Classes
    Exprs
    Annotations
    @inline()
  115. def precedenceOf(ch: Char): Int
    Definition Classes
    Exprs
    Annotations
    @inline()
  116. 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
  117. 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
  118. val priorityMap: Map[Char, Int]
    Definition Classes
    Exprs
  119. val return: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  120. def srcCtx(parserIndex: Int): SourceContext
    Definition Classes
    SigmaParserLiterals
  121. val super: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  122. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  123. val then: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  124. val this: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  125. def toString(): String
    Definition Classes
    AnyRef → Any
  126. val type: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  127. def typeFromName(tn: String): Option[SType]
    Definition Classes
    Types
  128. val val: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  129. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  130. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  131. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  132. val with: fastparse.all.Parser[Unit]
    Definition Classes
    Core
  133. val {: fastparse.noApi.Parser[Unit]
    Definition Classes
    Core
  134. val }: fastparse.noApi.Parser[Unit]
    Definition Classes
    Core
  135. object ExprCtx extends WsCtx
    Definition Classes
    Exprs
  136. object FreeCtx extends WsCtx
    Definition Classes
    Exprs
  137. object StatCtx extends WsCtx
    Definition Classes
    Exprs
  138. object Literals
    Definition Classes
    Literals

Inherited from Exprs

Inherited from Types

Inherited from Core

Inherited from Literals

Inherited from AnyRef

Inherited from Any

Ungrouped