Trait

sigmastate.lang.syntax

Exprs

Related Doc: package syntax

Permalink

trait Exprs extends Core with Types

Linear Supertypes
Types, Core, Literals, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Exprs
  2. Types
  3. Core
  4. Literals
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. implicit class ParserOps[+T] extends AnyRef

    Permalink
    Definition Classes
    Literals
  2. class WhitespaceApi2[+T] extends WhitespaceApi[T]

    Permalink
    Definition Classes
    Core
  3. class Wrapper2 extends AnyRef

    Permalink
    Definition Classes
    Core
  4. class WsCtx extends AnyRef

    Permalink

Abstract Value Members

  1. abstract def AnonTmpl: fastparse.noApi.P0

    Permalink
  2. abstract def BlockDef: fastparse.noApi.P[Value[SType]]

    Permalink
  3. abstract def ValVarDef: fastparse.noApi.P[Value[SType]]

    Permalink
    Definition Classes
    Types
  4. abstract def atSrcPos[A](parserIndex: Int)(thunk: ⇒ A): A

    Permalink
    Definition Classes
    Literals
  5. abstract def mkBinaryOp(l: Value[SType], opName: String, r: Value[SType]): Value[SType]

    Permalink
    Definition Classes
    Core
  6. abstract def mkUnaryOp(opName: String, arg: Value[SType]): Value[SType]

    Permalink
    Definition Classes
    Core
  7. abstract def srcCtx(parserIndex: Int): SourceContext

    Permalink
    Definition Classes
    Literals

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. val #: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  3. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  4. val *: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  5. val :: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  6. val <:: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  7. val =: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  8. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. val =>: Parser[Unit, Char, String]

    Permalink
    Definition Classes
    Core
  10. val >:: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  11. val @: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  12. val Annot: fastparse.noApi.P0

    Permalink
    Definition Classes
    Types
  13. val AnnotType: fastparse.noApi.Parser[SType]

    Permalink
    Definition Classes
    Types
  14. val ArgList: fastparse.noApi.Parser[Value[SType]]

    Permalink
  15. val BacktickId: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  16. def BaseBlock(end: fastparse.noApi.P0)(implicit name: Name): fastparse.noApi.P[Value[SType]]

    Permalink
  17. val BindPattern: fastparse.noApi.Parser[Any]

    Permalink
  18. val Block: fastparse.noApi.P[Value[SType]]

    Permalink
    Definition Classes
    ExprsLiterals
  19. val BlockChunk: fastparse.noApi.Parser[(Seq[Seq[(String, SType)]], Seq[Value[SType]])]

    Permalink
  20. val BlockExpr: fastparse.noApi.Parser[Value[SType]]

    Permalink
  21. val BlockLambda: fastparse.noApi.Parser[Seq[(String, SType)]]

    Permalink
  22. val BlockLambdaHead: Parser[Seq[(String, SType)], Char, String]

    Permalink
  23. val CaseBlock: fastparse.noApi.P[Value[SType]]

    Permalink
  24. val CaseClauses: fastparse.noApi.P0

    Permalink
  25. val CompoundType: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  26. val Dcl: fastparse.noApi.Parser[Value[SType]]

    Permalink
    Definition Classes
    Types
  27. val DottyExtMethodSubj: fastparse.noApi.Parser[(String, SType)]

    Permalink
    Definition Classes
    Types
  28. object ExprCtx extends WsCtx

    Permalink
  29. val ExprLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]

    Permalink
    Definition Classes
    Core
  30. val Exprs: fastparse.noApi.Parser[Seq[Value[SType]]]

    Permalink
    Definition Classes
    Types
  31. object FreeCtx extends WsCtx

    Permalink
  32. val FunDef: Parser[Val, Char, String]

    Permalink
  33. val FunSig: fastparse.noApi.Parser[Seq[Seq[(String, SType)]]]

    Permalink
    Definition Classes
    Types
  34. val Id: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  35. val Ids: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  36. val InfixType: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  37. object Literals

    Permalink
    Definition Classes
    Literals
  38. val NLAnnot: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Types
  39. val Newline: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Literals
  40. val NotNewline: fastparse.all.P0

    Permalink
    Definition Classes
    Literals
  41. val OneNLMax: fastparse.all.P0

    Permalink
    Definition Classes
    Literals
  42. val ParenArgList: Parser[Value[SType], Char, String]

    Permalink
  43. val PatLiteral: fastparse.noApi.Parser[Constant[SMonoType with SProduct with Serializable { type WrappedType >: Long with Int with Boolean with String }]]

    Permalink
    Definition Classes
    Core
  44. val Pattern: fastparse.noApi.P0

    Permalink
    Definition Classes
    ExprsLiterals
  45. val Patterns: fastparse.noApi.P0

    Permalink
  46. val PostDotCheck: fastparse.noApi.P0

    Permalink

    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
  47. val PostfixType: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  48. val QualId: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  49. val Semi: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Literals
  50. val Semis: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Literals
  51. val SimplePattern: fastparse.noApi.Parser[Any]

    Permalink
  52. val SimpleType: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  53. val StableId: fastparse.noApi.Parser[SValue]

    Permalink
    Definition Classes
    Core
  54. object StatCtx extends WsCtx

    Permalink
  55. val TrailingComma: fastparse.all.P0

    Permalink
    Definition Classes
    Literals
  56. val Type: fastparse.noApi.P[SType]

    Permalink
    Definition Classes
    Types
  57. val TypeArg: fastparse.noApi.P0

    Permalink
    Definition Classes
    Types
  58. val TypeArgList: fastparse.noApi.P0

    Permalink
    Definition Classes
    Types
  59. val TypeArgs: fastparse.noApi.Parser[Seq[SType]]

    Permalink
    Definition Classes
    Types
  60. val TypeBounds: fastparse.noApi.P0

    Permalink
    Definition Classes
    Types
  61. val TypeExpr: fastparse.noApi.P[Value[SType]]

    Permalink
    Definition Classes
    ExprsTypes
  62. val TypeId: Parser[SType, Char, String]

    Permalink
    Definition Classes
    Types
  63. val TypeOrBindPattern: fastparse.noApi.P0

    Permalink
  64. val TypePat: fastparse.noApi.Parser[SType]

    Permalink
  65. val TypePattern: fastparse.noApi.Parser[SType]

    Permalink
  66. val VarId: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  67. val WL: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Literals
  68. val WL0: fastparse.all.Parser[Unit]

    Permalink

    Parses whitespace, including newlines.

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

    Definition Classes
    Literals
  69. val WS: fastparse.all.Parser[Unit]

    Permalink

    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
  70. val WhitespaceApi: Wrapper2

    Permalink
    Definition Classes
    Core
  71. val _: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  72. val _*: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  73. def applySuffix(f: Value[SType], args: Seq[SigmaNode]): Value[SType]

    Permalink
    Attributes
    protected
  74. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  75. def block(stats: Seq[SValue]): SValue

    Permalink
    Attributes
    protected
  76. val builder: SigmaBuilder

    Permalink
    Definition Classes
    Literals
  77. val case: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  78. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  79. val def: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  80. val else: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  81. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  82. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  83. val extends: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  84. def extractBlockStats(stats: Seq[SValue]): (Seq[Val], SValue)

    Permalink
  85. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  87. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  88. val if: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  89. val implicit: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  90. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  91. def lambda(args: Seq[Value[SType]], body: Value[SType]): Value[SType]

    Permalink
    Attributes
    protected
  92. val lazy: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  93. val match: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  94. def mkInfixTree(lhs: SValue, rhss: Seq[(String, SValue)]): SValue

    Permalink
    Attributes
    protected[sigmastate.lang]
  95. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  96. val new: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  97. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  98. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  99. def precedenceOf(op: String): Int

    Permalink
    Annotations
    @inline()
  100. def precedenceOf(ch: Char): Int

    Permalink
    Annotations
    @inline()
  101. 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 }]

    Permalink

    This map should be in sync with SType.allPredefTypes

    This map should be in sync with SType.allPredefTypes

    Definition Classes
    Types
  102. val priorityList: Seq[Seq[Char]]

    Permalink

    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.

  103. val priorityMap: Map[Char, Int]

    Permalink
  104. val return: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  105. val super: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  106. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  107. val then: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  108. val this: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  109. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  110. val type: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  111. def typeFromName(tn: String): Option[SType]

    Permalink
    Definition Classes
    Types
  112. val val: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  113. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  114. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  115. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  116. val with: fastparse.all.Parser[Unit]

    Permalink
    Definition Classes
    Core
  117. val {: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core
  118. val }: fastparse.noApi.Parser[Unit]

    Permalink
    Definition Classes
    Core

Inherited from Types

Inherited from Core

Inherited from Literals

Inherited from AnyRef

Inherited from Any

Ungrouped