trait Exprs extends Core with Types
- Alphabetic
- By Inheritance
- Exprs
- Types
- Core
- Literals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
Abstract Value Members
- abstract def AnonTmpl: fastparse.noApi.P0
- abstract def BlockDef: fastparse.noApi.P[Value[SType]]
-
abstract
def
ValVarDef: fastparse.noApi.P[Value[SType]]
- Definition Classes
- Types
-
abstract
def
atSrcPos[A](parserIndex: Int)(thunk: ⇒ A): A
- Definition Classes
- Literals
-
abstract
def
mkBinaryOp(l: Value[SType], opName: String, r: Value[SType]): Value[SType]
- Definition Classes
- Core
-
abstract
def
mkUnaryOp(opName: String, arg: Value[SType]): Value[SType]
- Definition Classes
- Core
-
abstract
def
srcCtx(parserIndex: Int): SourceContext
- Definition Classes
- Literals
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
val
#: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
val
*: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
:: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
<:: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
=: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
val
=>: Parser[Unit, Char, String]
- Definition Classes
- Core
-
val
>:: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
@: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
Annot: fastparse.noApi.P0
- Definition Classes
- Types
-
val
AnnotType: fastparse.noApi.Parser[SType]
- Definition Classes
- Types
- val ArgList: fastparse.noApi.Parser[Value[SType]]
-
val
BacktickId: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
- def BaseBlock(end: fastparse.noApi.P0)(implicit name: Name): fastparse.noApi.P[Value[SType]]
- val BindPattern: fastparse.noApi.Parser[Any]
- val Block: fastparse.noApi.P[Value[SType]]
- val BlockChunk: fastparse.noApi.Parser[(Seq[Seq[(String, SType)]], Seq[Value[SType]])]
- val BlockExpr: fastparse.noApi.Parser[Value[SType]]
- val BlockLambda: fastparse.noApi.Parser[Seq[(String, SType)]]
- val BlockLambdaHead: Parser[Seq[(String, SType)], Char, String]
- val CaseBlock: fastparse.noApi.P[Value[SType]]
- val CaseClauses: fastparse.noApi.P0
-
val
CompoundType: Parser[SType, Char, String]
- Definition Classes
- Types
-
val
Dcl: fastparse.noApi.Parser[Value[SType]]
- Definition Classes
- Types
-
val
DottyExtMethodSubj: fastparse.noApi.Parser[(String, SType)]
- Definition Classes
- Types
-
val
ExprLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]
- Definition Classes
- Core
-
val
Exprs: fastparse.noApi.Parser[Seq[Value[SType]]]
- Definition Classes
- Types
- val FunDef: Parser[Val, Char, String]
-
val
FunSig: fastparse.noApi.Parser[Seq[Seq[(String, SType)]]]
- Definition Classes
- Types
-
val
Id: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
Ids: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
InfixType: Parser[SType, Char, String]
- Definition Classes
- Types
-
val
NLAnnot: fastparse.noApi.Parser[Unit]
- Definition Classes
- Types
-
val
Newline: fastparse.all.Parser[Unit]
- Definition Classes
- Literals
-
val
NotNewline: fastparse.all.P0
- Definition Classes
- Literals
-
val
OneNLMax: fastparse.all.P0
- Definition Classes
- Literals
- val ParenArgList: Parser[Value[SType], Char, String]
-
val
PatLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]
- Definition Classes
- Core
- val Pattern: fastparse.noApi.P0
- val Patterns: fastparse.noApi.P0
-
val
PostDotCheck: fastparse.noApi.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
-
val
PostfixType: Parser[SType, Char, String]
- Definition Classes
- Types
-
val
QualId: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
Semi: fastparse.all.Parser[Unit]
- Definition Classes
- Literals
-
val
Semis: fastparse.all.Parser[Unit]
- Definition Classes
- Literals
- val SimplePattern: fastparse.noApi.Parser[Any]
-
val
SimpleType: Parser[SType, Char, String]
- Definition Classes
- Types
-
val
StableId: fastparse.noApi.Parser[SValue]
- Definition Classes
- Core
-
val
TrailingComma: fastparse.all.P0
- Definition Classes
- Literals
-
val
Type: fastparse.noApi.P[SType]
- Definition Classes
- Types
-
val
TypeArg: fastparse.noApi.P0
- Definition Classes
- Types
-
val
TypeArgList: fastparse.noApi.P0
- Definition Classes
- Types
-
val
TypeArgs: fastparse.noApi.Parser[Seq[SType]]
- Definition Classes
- Types
-
val
TypeBounds: fastparse.noApi.P0
- Definition Classes
- Types
- val TypeExpr: fastparse.noApi.P[Value[SType]]
-
val
TypeId: Parser[SType, Char, String]
- Definition Classes
- Types
- val TypeOrBindPattern: fastparse.noApi.P0
- val TypePat: fastparse.noApi.Parser[SType]
- val TypePattern: fastparse.noApi.Parser[SType]
-
val
VarId: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
WL: fastparse.all.Parser[Unit]
- Definition Classes
- Literals
-
val
WL0: fastparse.all.Parser[Unit]
Parses whitespace, including newlines.
Parses whitespace, including newlines. This is the default for most things
- Definition Classes
- Literals
-
val
WS: fastparse.all.Parser[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
-
val
WhitespaceApi: Wrapper2
- Definition Classes
- Core
-
val
_: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
_*: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
def
applySuffix(f: Value[SType], args: Seq[SigmaNode]): Value[SType]
- Attributes
- protected
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
block(stats: Seq[SValue]): SValue
- Attributes
- protected
-
val
builder: SigmaBuilder
- Definition Classes
- Literals
-
val
case: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
val
def: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
else: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
val
extends: fastparse.all.Parser[Unit]
- Definition Classes
- Core
- def extractBlockStats(stats: Seq[SValue]): (Seq[Val], SValue)
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
val
if: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
implicit: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
lambda(args: Seq[Value[SType]], body: Value[SType]): Value[SType]
- Attributes
- protected
-
val
lazy: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
match: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
mkInfixTree(lhs: SValue, rhss: Seq[(String, SValue)]): SValue
- Attributes
- protected[lang]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
val
new: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
precedenceOf(op: String): Int
- Annotations
- @inline()
-
def
precedenceOf(ch: Char): Int
- Annotations
- @inline()
-
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 }]
This map should be in sync with SType.allPredefTypes
This map should be in sync with SType.allPredefTypes
- Definition Classes
- Types
-
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.
- val priorityMap: Map[Char, Int]
-
val
return: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
super: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
val
then: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
this: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
val
type: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
def
typeFromName(tn: String): Option[SType]
- Definition Classes
- Types
-
val
val: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
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( ... ) @native()
-
val
with: fastparse.all.Parser[Unit]
- Definition Classes
- Core
-
val
{: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
-
val
}: fastparse.noApi.Parser[Unit]
- Definition Classes
- Core
- object ExprCtx extends WsCtx
- object FreeCtx extends WsCtx
- object StatCtx extends WsCtx
-
object
Literals
- Definition Classes
- Literals