Core

Type Members

implicit class ParserOps[+T] extends AnyRef

Definition Classes
Literals

Abstract Value Members

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

Parses simple blocks { ... }
Parses simple blocks { ... }

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

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

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

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

Definition Classes
Literals
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.
Create SourceContext using current input string and the given index.

Definition Classes
Literals

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
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

Definition Classes
AnyRef → Any
def =>[_](implicit arg0: P[Any]): P[Unit]
def >:[_](implicit arg0: P[Any]): P[Unit]
def @[_](implicit arg0: P[Any]): P[Unit]
def BacktickId[_](implicit arg0: P[Any]): P[Unit]
def ExprLiteral[_](implicit arg0: P[Any]): P[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]
def Id[_](implicit arg0: P[Any]): P[Unit]
object Literals

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

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

Look ahead whitespaces, but not new line.
Look ahead whitespaces, but not new line.

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

Definition Classes
Literals
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
def Semi[_](implicit arg0: P[Any]): P[Unit]

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

Definition Classes
Literals
def StableId[_](implicit arg0: P[Any]): P[SValue]
def TrailingComma[_](implicit arg0: P[Any]): P0

Parses optional trailing comma.
Parses optional trailing comma.

Definition Classes
Literals
def VarId[_](implicit arg0: P[Any]): P[Unit]
def WL[_](implicit arg0: P[Any]): P[Unit]

Definition Classes
Literals
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
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
def _[_](implicit arg0: P[Any]): P[Unit]
def _*[_](implicit arg0: P[Any]): P[Unit]
final def asInstanceOf[T0]: T0

Definition Classes
Any
val builder: SigmaBuilder

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

Definition Classes
Literals
def case[_](implicit arg0: P[Any]): P[Unit]
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def def[_](implicit arg0: P[Any]): P[Unit]
def else[_](implicit arg0: P[Any]): P[Unit]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def extends[_](implicit arg0: P[Any]): P[Unit]
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def if[_](implicit arg0: P[Any]): P[Unit]
def implicit[_](implicit arg0: P[Any]): P[Unit]
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def lazy[_](implicit arg0: P[Any]): P[Unit]
def match[_](implicit arg0: P[Any]): P[Unit]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def new[_](implicit arg0: P[Any]): P[Unit]
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def super[_](implicit arg0: P[Any]): P[Unit]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def this[_](implicit arg0: P[Any]): P[Unit]
def toString(): String

Definition Classes
AnyRef → Any
def type[_](implicit arg0: P[Any]): P[Unit]
def val[_](implicit arg0: P[Any]): P[Unit]
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( ... )
def with[_](implicit arg0: P[Any]): P[Unit]
def {[_](implicit arg0: P[Any]): P[Unit]
def }[_](implicit arg0: P[Any]): P[Unit]

Related Doc: package syntax

trait Core extends Literals

Type Members

implicit class ParserOps[+T] extends AnyRef

Abstract Value Members

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

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

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

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

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

abstract def srcCtx(parserIndex: Int): SourceContext

Concrete Value Members

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 BacktickId[_](implicit arg0: P[Any]): P[Unit]

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

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

object Literals

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

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

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

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

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

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

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

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

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

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

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

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

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

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

final def asInstanceOf[T0]: T0

val builder: SigmaBuilder

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

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]

Inherited from Literals

Inherited from AnyRef

Inherited from Any

Ungrouped