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 WsCtx extends AnyRef
    Definition Classes
    Exprs
  2. implicit class ParserOps[+T] extends AnyRef
    Definition Classes
    Literals

Value Members

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

    Parses whitespace, including newlines.

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

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

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from Exprs

Inherited from Types

Inherited from Core

Inherited from Literals

Inherited from AnyRef

Inherited from Any

Ungrouped