Types

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

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

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

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

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

final def !=(arg0: Any): Boolean

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

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

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

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

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

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

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

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

object Literals

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 { 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

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

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

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

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

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

def toString(): String

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

def typeFromName(tn: String): Option[SType]

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]