Trait

sigmastate.lang.syntax

Core

Related Doc: package syntax

Permalink

trait Core extends Literals

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Core
  2. Literals
  3. AnyRef
  4. 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

Abstract Value Members

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

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

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

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

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

    Permalink
  6. 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. def #[_](implicit arg0: P[Any]): P[Unit]

    Permalink
  3. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  4. def *[_](implicit arg0: P[Any]): P[Unit]

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  9. def =>[_](implicit arg0: P[Any]): P[Unit]

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

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

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

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

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

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

    Permalink
  16. object Literals

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

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

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

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

    Permalink
  21. def PostDotCheck[_](implicit arg0: P[Any]): 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

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

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

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

    Permalink
    Definition Classes
    Literals
  25. def StableId[_](implicit arg0: P[Any]): P[SValue]

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

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

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

    Permalink
    Definition Classes
    Literals
  29. def WL0[_](implicit arg0: P[Any]): P[Unit]

    Permalink

    Parses whitespace, including newlines.

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

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

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

    Permalink
  33. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  34. val builder: SigmaBuilder

    Permalink
    Definition Classes
    Literals
  35. def case[_](implicit arg0: P[Any]): P[Unit]

    Permalink
  36. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. def def[_](implicit arg0: P[Any]): P[Unit]

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

    Permalink
  39. final def eq(arg0: AnyRef): Boolean

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

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

    Permalink
  42. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  45. def if[_](implicit arg0: P[Any]): P[Unit]

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

    Permalink
  47. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  48. def lazy[_](implicit arg0: P[Any]): P[Unit]

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

    Permalink
  50. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  51. def new[_](implicit arg0: P[Any]): P[Unit]

    Permalink
  52. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  54. def return[_](implicit arg0: P[Any]): P[Unit]

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

    Permalink
  56. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  57. def then[_](implicit arg0: P[Any]): P[Unit]

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

    Permalink
  59. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  60. def type[_](implicit arg0: P[Any]): P[Unit]

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

    Permalink
  62. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  65. def with[_](implicit arg0: P[Any]): P[Unit]

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

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

    Permalink

Inherited from Literals

Inherited from AnyRef

Inherited from Any

Ungrouped