Types

abstract def Block[_](implicit arg0: P[Any]): P[Value[SType]]

Parses simple blocks { ... }

abstract def Pattern[_](implicit arg0: P[Any]): P0

Parses pattern, like in the expression val <pattern> = expr

abstract def TypeExpr[_](implicit arg0: P[Any]): P[Value[SType]]

Parser of typed expressions.

abstract def ValVarDef[_](implicit arg0: P[Any]): P[Value[SType]]

Parser of name = expr syntax.

abstract def atSrcPos[A](parserIndex: Int)(thunk: ⇒ A): A

Set the current source position (dynamic variable) and execute the given thunk.

abstract def mkBinaryOp(l: Value[SType], opName: String, r: Value[SType]): Value[SType]

Constructor of ErgoTree binary operation.

abstract def mkUnaryOp(opName: String, arg: Value[SType]): Value[SType]

Constructor of ErgoTree unary operation.

abstract def srcCtx(parserIndex: Int): SourceContext

Create SourceContext using current input string and the given index.

final def !=(arg0: Any): Boolean

final def ##(): Int

def *[_](implicit arg0: P[Any]): P[Unit]

def :[_](implicit arg0: P[Any]): P[Unit]

def <:[_](implicit arg0: P[Any]): P[Unit]

def =[_](implicit arg0: P[Any]): P[Unit]

final def ==(arg0: Any): Boolean

def =>[_](implicit arg0: P[Any]): P[Unit]

def >:[_](implicit arg0: P[Any]): P[Unit]

def @[_](implicit arg0: P[Any]): P[Unit]

def Annot[_](implicit arg0: P[Any]): P0

Annotation with optional arguments, result is ignored.

def AnnotType[_](implicit arg0: P[Any]): P[SType]

def BacktickId[_](implicit arg0: P[Any]): P[Unit]

def CompoundType[_](implicit arg0: P[Any]): P[SType]

def Dcl[_](implicit arg0: P[Any]): P[Value[SType]]

Parser of val name = expr syntax.

def DottyExtMethodSubj[_](implicit arg0: P[Any]): P[(String, SType)]

def ExprLiteral[_](implicit arg0: P[Any]): P[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]

def Exprs[_](implicit arg0: P[Any]): P[Seq[Value[SType]]]

Sequence of comma separated expressions.

def FunSig[_](implicit arg0: P[Any]): P[Seq[Seq[(String, SType)]]]

Parses [T1,T2](a1: T, a2: S)

def Id[_](implicit arg0: P[Any]): P[Unit]

def InfixType[_](implicit arg0: P[Any]): P[SType]

object Literals

def Newline[_](implicit arg0: P[Any]): P[Unit]

def NotNewline[_](implicit arg0: P[Any]): P0

Look ahead whitespaces, but not new line.

def OneNLMax[_](implicit arg0: P[Any]): P0

def PostDotCheck[_](implicit arg0: P[Any]): P0

Sketchy way to whitelist a few suffixes that come after a .

def PostfixType[_](implicit arg0: P[Any]): P[SType]

def Semi[_](implicit arg0: P[Any]): P[Unit]

def Semis[_](implicit arg0: P[Any]): P[Unit]

def SimpleType[_](implicit arg0: P[Any]): P[SType]

def StableId[_](implicit arg0: P[Any]): P[SValue]

def TrailingComma[_](implicit arg0: P[Any]): P0

Parses optional trailing comma.

def Type[_](implicit arg0: P[Any]): P[SType]

def TypeArgs[_](implicit arg0: P[Any]): P[Seq[SType]]

def TypeId[_](implicit arg0: P[Any]): P[SType]

def VarId[_](implicit arg0: P[Any]): P[Unit]

def WL[_](implicit arg0: P[Any]): P[Unit]

def WL0[_](implicit arg0: P[Any]): P[Unit]

Parses whitespace, including newlines.

def WS[_](implicit arg0: P[Any]): P[Unit]

Parses all whitespace, excluding newlines.

def _[_](implicit arg0: P[Any]): P[Unit]

def _*[_](implicit arg0: P[Any]): P[Unit]

final def asInstanceOf[T0]: T0

val builder: SigmaBuilder

A builder instance used by the parsers to create ErgoTree expressions.

def case[_](implicit arg0: P[Any]): P[Unit]

def clone(): AnyRef

def def[_](implicit arg0: P[Any]): P[Unit]

def else[_](implicit arg0: P[Any]): P[Unit]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def extends[_](implicit arg0: P[Any]): P[Unit]

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def if[_](implicit arg0: P[Any]): P[Unit]

def implicit[_](implicit arg0: P[Any]): P[Unit]

final def isInstanceOf[T0]: Boolean

def lazy[_](implicit arg0: P[Any]): P[Unit]

def match[_](implicit arg0: P[Any]): P[Unit]

final def ne(arg0: AnyRef): Boolean

def new[_](implicit arg0: P[Any]): P[Unit]

final def notify(): Unit

final def notifyAll(): Unit

val predefTypes: Map[String, SType with Serializable { 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.sigma.BigInt with Long with Int with Short with Byte with Boolean }]

This map should be in sync with SType.allPredefTypes

def super[_](implicit arg0: P[Any]): P[Unit]

final def synchronized[T0](arg0: ⇒ T0): T0

def this[_](implicit arg0: P[Any]): P[Unit]

def toString(): String

def type[_](implicit arg0: P[Any]): P[Unit]

def val[_](implicit arg0: P[Any]): P[Unit]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def with[_](implicit arg0: P[Any]): P[Unit]

def {[_](implicit arg0: P[Any]): P[Unit]

def }[_](implicit arg0: P[Any]): P[Unit]