Trait

sigmastate.lang

Types

Related Doc: package lang

Permalink

trait Types extends Core

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

Abstract Value Members

  1. abstract def Block: fastparse.all.P[Value[SType]]

    Permalink
    Definition Classes
    Literals
  2. abstract def Pattern: fastparse.all.P0

    Permalink
    Definition Classes
    Literals
  3. abstract def TypeExpr: fastparse.noApi.P[Value[SType]]

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

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

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

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

    Permalink
    Definition Classes
    Core
  8. 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
  13. val AnnotType: fastparse.noApi.Parser[SType]

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

    Permalink
    Definition Classes
    Core
  15. val CompoundType: Parser[SType, Char, String]

    Permalink
  16. val Dcl: fastparse.noApi.Parser[Value[SType]]

    Permalink
  17. val DottyExtMethodSubj: fastparse.noApi.Parser[(String, SType)]

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

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

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

    Permalink
  21. val Id: fastparse.noApi.Parser[Unit]

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

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

    Permalink
  24. object Literals

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

    Permalink
  26. val Newline: fastparse.all.Parser[Unit]

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

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

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

    Permalink
    Definition Classes
    Core
  30. 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
  31. val PostfixType: Parser[SType, Char, String]

    Permalink
  32. val QualId: fastparse.noApi.Parser[Unit]

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

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

    Permalink
    Definition Classes
    Literals
  35. val SimpleType: Parser[SType, Char, String]

    Permalink
  36. val StableId: fastparse.noApi.Parser[SValue]

    Permalink
    Definition Classes
    Core
  37. val TrailingComma: fastparse.all.P0

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

    Permalink
  39. val TypeArg: fastparse.noApi.P0

    Permalink
  40. val TypeArgList: fastparse.noApi.P0

    Permalink
  41. val TypeArgs: fastparse.noApi.Parser[Seq[SType]]

    Permalink
  42. val TypeBounds: fastparse.noApi.P0

    Permalink
  43. val TypeId: Parser[SType, Char, String]

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

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

    Permalink
    Definition Classes
    Literals
  46. 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
  47. 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
  48. val WhitespaceApi: Wrapper2

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

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

    Permalink
    Definition Classes
    Core
  51. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  52. val builder: SigmaBuilder

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    Core
  60. def finalize(): Unit

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

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

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

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

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

    Permalink
    Definition Classes
    Any
  66. val lazy: fastparse.all.Parser[Unit]

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

    Permalink
    Definition Classes
    Core
  68. final def ne(arg0: AnyRef): Boolean

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

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

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

    Permalink
    Definition Classes
    AnyRef
  72. 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

  73. val return: fastparse.all.Parser[Unit]

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

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

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

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

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

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

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

    Permalink
  81. val val: fastparse.all.Parser[Unit]

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

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

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

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

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

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

    Permalink
    Definition Classes
    Core

Inherited from Core

Inherited from Literals

Inherited from AnyRef

Inherited from Any

Ungrouped