Object

sigmastate.lang

SigmaParser

Related Doc: package lang

Permalink

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. implicit class ParserOps[+T] extends AnyRef

    Permalink
    Definition Classes
    Literals
  2. class WhitespaceApi2[+T] extends WhitespaceApi[T]

    Permalink
    Definition Classes
    Core
  3. class Wrapper2 extends AnyRef

    Permalink
    Definition Classes
    Core
  4. class WsCtx extends AnyRef

    Permalink
    Definition Classes
    Exprs

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. val #: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  3. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  4. val *: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  5. val :: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  6. val <:: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  7. val =: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  8. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. val =>: Parser[Unit, Char, String]

    Permalink
    Definition Classes
    Core
  10. val >:: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  11. val @: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  12. val Annot: fastparse.noApi.P0

    Permalink
    Definition Classes
    Types
  13. val AnnotType: fastparse.noApi.Parser[SType]

    Permalink
    Definition Classes
    Types
  14. val AnonTmpl: Parser[Unit, Char, String]

    Permalink
    Definition Classes
    SigmaParserExprs
  15. val ArgList: fastparse.noApi.Parser[Value[SType]]

    Permalink
    Definition Classes
    Exprs
  16. val BacktickId: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  17. def BaseBlock(end: fastparse.noApi.P0)(implicit name: Name): fastparse.noApi.P[Value[SType]]

    Permalink
    Definition Classes
    Exprs
  18. val BindPattern: fastparse.noApi.Parser[Any]

    Permalink
    Definition Classes
    Exprs
  19. val Block: fastparse.noApi.P[Value[SType]]

    Permalink
    Definition Classes
    ExprsLiterals
  20. val BlockChunk: fastparse.noApi.Parser[(Seq[Seq[(String, SType)]], Seq[Value[SType]])]

    Permalink
    Definition Classes
    Exprs
  21. val BlockDef: fastparse.noApi.Parser[Value[SType]]

    Permalink
    Definition Classes
    SigmaParserExprs
  22. val BlockExpr: fastparse.noApi.Parser[Value[SType]]

    Permalink
    Definition Classes
    Exprs
  23. val BlockLambda: fastparse.noApi.Parser[Seq[(String, SType)]]

    Permalink
    Definition Classes
    Exprs
  24. val BlockLambdaHead: Parser[Seq[(String, SType)], Char, String]

    Permalink
    Definition Classes
    Exprs
  25. val CaseBlock: fastparse.noApi.P[Value[SType]]

    Permalink
    Definition Classes
    Exprs
  26. val CaseClauses: fastparse.noApi.P0

    Permalink
    Definition Classes
    Exprs
  27. val CompoundType: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  28. val Constr: fastparse.noApi.Parser[(SType, Seq[Value[SType]])]

    Permalink
  29. val Constrs: fastparse.noApi.Parser[Seq[(SType, Seq[Value[SType]])]]

    Permalink
  30. val Dcl: fastparse.noApi.Parser[Value[SType]]

    Permalink
    Definition Classes
    Types
  31. val DefTmpl: fastparse.noApi.Parser[Any]

    Permalink
  32. val DottyExtMethodSubj: fastparse.noApi.Parser[(String, SType)]

    Permalink
    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]])])]

    Permalink
  34. object ExprCtx extends WsCtx

    Permalink
    Definition Classes
    Exprs
  35. val ExprLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]

    Permalink
    Definition Classes
    Core
  36. val Exprs: fastparse.noApi.Parser[Seq[Value[SType]]]

    Permalink
    Definition Classes
    Types
  37. object FreeCtx extends WsCtx

    Permalink
    Definition Classes
    Exprs
  38. val FunDef: Parser[Val, Char, String]

    Permalink
    Definition Classes
    Exprs
  39. val FunSig: fastparse.noApi.Parser[Seq[Seq[(String, SType)]]]

    Permalink
    Definition Classes
    Types
  40. val Id: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  41. val Ids: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  42. val InfixType: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  43. object Literals

    Permalink
    Definition Classes
    Literals
  44. val NLAnnot: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Types
  45. val NamedTmpl: fastparse.noApi.Parser[(Seq[(SType, Seq[Value[SType]])], Option[(Option[Seq[(String, SType)]], Seq[Value[SType]])])]

    Permalink
  46. val Newline: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Literals
  47. val NotNewline: fastparse.all.P0

    Permalink
    Definition Classes
    Literals
  48. val OneNLMax: fastparse.all.P0

    Permalink
    Definition Classes
    Literals
  49. val ParenArgList: Parser[Value[SType], Char, String]

    Permalink
    Definition Classes
    Exprs
  50. val PatLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]

    Permalink
    Definition Classes
    Core
  51. val Pattern: fastparse.noApi.P0

    Permalink
    Definition Classes
    ExprsLiterals
  52. val Patterns: fastparse.noApi.P0

    Permalink
    Definition Classes
    Exprs
  53. val PostDotCheck: fastparse.noApi.P0

    Permalink

    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
  54. val PostfixType: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  55. val QualId: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  56. val Semi: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Literals
  57. val Semis: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Literals
  58. val SimplePattern: fastparse.noApi.Parser[Any]

    Permalink
    Definition Classes
    Exprs
  59. val SimpleType: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  60. val StableId: fastparse.noApi.Parser[SValue]

    Permalink
    Definition Classes
    Core
  61. object StatCtx extends WsCtx

    Permalink
    Definition Classes
    Exprs
  62. val TmplBody: fastparse.noApi.Parser[(Option[Seq[(String, SType)]], Seq[Value[SType]])]

    Permalink
  63. val TrailingComma: fastparse.all.P0

    Permalink
    Definition Classes
    Literals
  64. val Type: fastparse.noApi.P[SType]

    Permalink
    Definition Classes
    Types
  65. val TypeArg: fastparse.noApi.P0

    Permalink
    Definition Classes
    Types
  66. val TypeArgList: fastparse.noApi.P0

    Permalink
    Definition Classes
    Types
  67. val TypeArgs: fastparse.noApi.Parser[Seq[SType]]

    Permalink
    Definition Classes
    Types
  68. val TypeBounds: fastparse.noApi.P0

    Permalink
    Definition Classes
    Types
  69. val TypeExpr: fastparse.noApi.P[Value[SType]]

    Permalink
    Definition Classes
    ExprsTypes
  70. val TypeId: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  71. val TypeOrBindPattern: fastparse.noApi.P0

    Permalink
    Definition Classes
    Exprs
  72. val TypePat: fastparse.noApi.Parser[SType]

    Permalink
    Definition Classes
    Exprs
  73. val TypePattern: fastparse.noApi.Parser[SType]

    Permalink
    Definition Classes
    Exprs
  74. val ValVarDef: Parser[Val, Char, String]

    Permalink
    Definition Classes
    SigmaParserTypes
  75. val VarId: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  76. val WL: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Literals
  77. val WL0: fastparse.all.Parser[Unit]

    Permalink

    Parses whitespace, including newlines.

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

    Definition Classes
    Literals
  78. val WS: fastparse.all.Parser[Unit]

    Permalink

    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
  79. val WhitespaceApi: Wrapper2

    Permalink
    Definition Classes
    Core
  80. val _: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  81. val _*: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  82. def apply(script: String, sigmaBuilder: SigmaBuilder): Parsed[Value[_ <: SType], Char, String]

    Permalink
  83. def applySuffix(f: Value[SType], args: Seq[SigmaNode]): Value[SType]

    Permalink
    Attributes
    protected
    Definition Classes
    Exprs
  84. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  85. def atSrcPos[A](parserIndex: Int)(thunk: ⇒ A): A

    Permalink
    Definition Classes
    SigmaParserLiterals
  86. def block(stats: Seq[SValue]): SValue

    Permalink
    Attributes
    protected
    Definition Classes
    Exprs
  87. val builder: SigmaBuilder

    Permalink
    Definition Classes
    Literals
  88. val case: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  89. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  90. val currentInput: DynamicVariable[String]

    Permalink
  91. val def: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  92. val else: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  93. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  94. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  95. val extends: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  96. def extractBlockStats(stats: Seq[SValue]): (Seq[Val], SValue)

    Permalink
    Definition Classes
    Exprs
  97. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  98. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  99. val if: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  100. val implicit: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  101. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  102. def lambda(args: Seq[Value[SType]], body: Value[SType]): Value[SType]

    Permalink
    Attributes
    protected
    Definition Classes
    Exprs
  103. val lazy: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  104. val logged: Buffer[String]

    Permalink
  105. implicit val logger: Logger

    Permalink
  106. val match: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  107. def mkBinaryOp(l: Value[SType], opName: String, r: Value[SType]): Value[SType]

    Permalink
    Definition Classes
    SigmaParserCore
  108. def mkInfixTree(lhs: SValue, rhss: Seq[(String, SValue)]): SValue

    Permalink
    Attributes
    protected[sigmastate.lang]
    Definition Classes
    Exprs
  109. def mkUnaryOp(opName: String, arg: Value[SType]): Value[SType]

    Permalink
    Definition Classes
    SigmaParserCore
  110. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  111. val new: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  112. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  113. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  114. val parseAsMethods: Set[String]

    Permalink
  115. def parseType(str: String): SType

    Permalink
  116. def parsedType(str: String): Parsed[SType, Char, String]

    Permalink
  117. def precedenceOf(op: String): Int

    Permalink
    Definition Classes
    Exprs
    Annotations
    @inline()
  118. def precedenceOf(ch: Char): Int

    Permalink
    Definition Classes
    Exprs
    Annotations
    @inline()
  119. 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 }]

    Permalink

    This map should be in sync with SType.allPredefTypes

    This map should be in sync with SType.allPredefTypes

    Definition Classes
    Types
  120. val priorityList: Seq[Seq[Char]]

    Permalink

    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
  121. val priorityMap: Map[Char, Int]

    Permalink
    Definition Classes
    Exprs
  122. val return: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  123. def srcCtx(parserIndex: Int): SourceContext

    Permalink
    Definition Classes
    SigmaParserLiterals
  124. val super: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  125. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  126. val then: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  127. val this: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  128. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  129. val type: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  130. def typeFromName(tn: String): Option[SType]

    Permalink
    Definition Classes
    Types
  131. val val: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  132. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  133. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  134. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  135. val with: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  136. val {: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  137. val }: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Exprs

Inherited from Types

Inherited from Core

Inherited from Literals

Inherited from AnyRef

Inherited from Any

Ungrouped