p

org

sireum

package sireum

Linear Supertypes
PackageTrait, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. sireum
  2. PackageTrait
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. implicit class $Slang extends AnyRef
  2. trait $ZCompanion[T] extends AnyRef
  3. trait $ZCompanionBigInt[T] extends AnyRef
  4. trait $ZCompanionInt[T] extends AnyRef
  5. trait $ZCompanionLong[T] extends AnyRef
  6. trait $ZCompanionString[T] extends AnyRef
  7. final class B extends AnyVal with Immutable with HasBoxer
  8. final class C extends AnyVal with HasBoxer
  9. trait DatatypeSig extends Immutable with DatatypeMarker
  10. class Either[L, R] extends DatatypeSig
    Annotations
    @datatype()
  11. trait EnumSig extends Immutable
  12. final class F32 extends AnyVal with FloatingPoint with HasBoxer
  13. final class F64 extends AnyVal with FloatingPoint with HasBoxer
  14. class HashMap[K, V] extends DatatypeSig
    Annotations
    @datatype()
  15. class HashSMap[K, V] extends DatatypeSig
    Annotations
    @datatype()
  16. class HashSSet[T] extends DatatypeSig
    Annotations
    @datatype()
  17. class HashSet[T] extends DatatypeSig
    Annotations
    @datatype()
  18. final class IS[I, V] extends Immutable with ISMarker
  19. type ISZ[T] = IS[Z, T]
    Definition Classes
    PackageTrait
  20. trait Immutable extends ImmutableMarker
  21. class MEither[L, R] extends DatatypeSig
    Annotations
    @datatype()
  22. class MNone[T] extends MOption[T] with RecordSig
    Annotations
    @record()
  23. trait MOption[T] extends RecordSig
    Annotations
    @record()
  24. final class MS[I, V] extends Mutable with MSMarker
  25. type MSZ[T] = MS[Z, T]
    Definition Classes
    PackageTrait
  26. class MSome[T] extends MOption[T] with RecordSig
    Annotations
    @record()
  27. class Map[K, V] extends DatatypeSig
    Annotations
    @datatype()
  28. trait Mutable extends MutableMarker
  29. final class N extends AnyVal with Range[N]
  30. final class N16 extends AnyVal with Range[N16]
  31. final class N32 extends AnyVal with Range[N32]
  32. final class N64 extends AnyVal with Range[N64]
  33. final class N8 extends AnyVal with Range[N8]
  34. class None[T] extends Option[T] with DatatypeSig
    Annotations
    @datatype()
  35. trait Number extends Immutable
  36. trait Option[T] extends DatatypeSig
    Annotations
    @datatype()
  37. class Poset[T] extends DatatypeSig
    Annotations
    @datatype()
  38. final class R extends AnyVal with Number with HasBoxer
  39. trait RecordSig extends Mutable
  40. trait RichSig extends Immutable
  41. final class S16 extends AnyVal with Short[S16]
  42. final class S32 extends AnyVal with Int[S32]
  43. final class S64 extends AnyVal with Long[S64]
  44. final class S8 extends AnyVal with Byte[S8]
  45. final case class ST(parts: Seq[scala.Predef.String], args: Seq[Arg], source: scala.Predef.String) extends Immutable with STMarker with Product with Serializable
  46. class Set[T] extends DatatypeSig
    Annotations
    @datatype()
  47. class Some[T] extends Option[T] with DatatypeSig
    Annotations
    @datatype()
  48. class Stack[T] extends DatatypeSig
    Annotations
    @datatype()
  49. final class String extends AnyVal with Immutable with HasBoxer
  50. final class U16 extends AnyVal with Short[U16]
  51. final class U32 extends AnyVal with Int[U32]
  52. final class U64 extends AnyVal with Long[U64]
  53. final class U8 extends AnyVal with Byte[U8]
  54. trait Z extends Number with Comparable[Z]
  55. final class Z16 extends AnyVal with Range[Z16]
  56. final class Z32 extends AnyVal with Range[Z32]
  57. final class Z64 extends AnyVal with Range[Z64]
  58. final class Z8 extends AnyVal with Range[Z8]
  59. final case class ZRange[I](init: I, to: I, cond: (I) ⇒ B, step: (B, I) ⇒ I, isReverse: B) extends Product with Serializable
  60. type ZS = MS[Z, Z]
    Definition Classes
    PackageTrait
  61. class bits extends AnyRef
  62. class datatype extends Annotation with StaticAnnotation
  63. class enum extends Annotation with StaticAnnotation
  64. class ext extends Annotation with StaticAnnotation
  65. class hidden extends Annotation with StaticAnnotation
  66. class memoize extends Annotation with StaticAnnotation
  67. class msig extends Annotation with StaticAnnotation
  68. class pure extends Annotation with StaticAnnotation
  69. class range extends AnyRef
  70. class record extends Annotation with StaticAnnotation
  71. class sig extends Annotation with StaticAnnotation
  72. class spec extends Annotation with StaticAnnotation

Value Members

  1. macro def $[T]: T
    Definition Classes
    PackageTrait
  2. implicit def $2BigIntOpt(n: Z): scala.Option[BigInt]
    Definition Classes
    PackageTrait
    Annotations
    @inline()
  3. implicit def $2BigIntOpt(n: Long): scala.Option[BigInt]
    Definition Classes
    PackageTrait
    Annotations
    @inline()
  4. implicit def $2BigIntOpt(n: Int): scala.Option[BigInt]
    Definition Classes
    PackageTrait
    Annotations
    @inline()
  5. implicit val $ZCompanion: $ZCompanion[Z]
    Definition Classes
    PackageTrait
    Annotations
    @inline()
  6. val F: B
    Definition Classes
    PackageTrait
  7. val T: B
    Definition Classes
    PackageTrait
  8. final def cprint(isErr: B, as: Any*): Unit
    Definition Classes
    PackageTrait
  9. final def cprintln(isErr: B, as: Any*): Unit
    Definition Classes
    PackageTrait
  10. final def eprint(as: Any*): Unit
    Definition Classes
    PackageTrait
  11. final def eprintln(as: Any*): Unit
    Definition Classes
    PackageTrait
  12. def halt(msg: Any): Nothing
    Definition Classes
    PackageTrait
  13. final def print(as: Any*): Unit
    Definition Classes
    PackageTrait
  14. final def println(as: Any*): Unit
    Definition Classes
    PackageTrait
  15. final def promptInt(msg: String): Z
    Definition Classes
    PackageTrait
  16. final def randomInt(): Z
    Definition Classes
    PackageTrait
  17. final def readInt(): Z
    Definition Classes
    PackageTrait
  18. object $SlangFiles
  19. object ISZ
    Definition Classes
    PackageTrait
  20. object MSZ
    Definition Classes
    PackageTrait
  21. object ZS
    Definition Classes
    PackageTrait
  22. object pat
    Definition Classes
    PackageTrait
  23. object up
    Definition Classes
    PackageTrait
  24. object B
  25. object C
  26. object Either
  27. object F32
  28. object F64
  29. object HashMap
  30. object HashSMap
  31. object HashSSet
  32. object HashSet
  33. object IS
  34. object Json
  35. object MEither
  36. object MNone
  37. object MS
  38. object MSome
  39. object Map
  40. object N extends $ZCompanion[N]
  41. object N16 extends $ZCompanion[N16]
  42. object N32 extends $ZCompanion[N32]
  43. object N64 extends $ZCompanion[N64]
  44. object N8 extends $ZCompanion[N8]
  45. object None
  46. object Poset
  47. object R
  48. object S16 extends $ZCompanion[S16]
  49. object S32 extends $ZCompanion[S32]
  50. object S64 extends $ZCompanion[S64]
  51. object S8 extends $ZCompanion[S8]
  52. object ST extends Serializable
  53. object Set
  54. object Some
  55. object Stack
  56. object String
  57. object U16 extends $ZCompanion[U16]
  58. object U32 extends $ZCompanion[U32]
  59. object U64 extends $ZCompanion[U64]
  60. object U8 extends $ZCompanion[U8]
  61. object Z extends $ZCompanion[Z]
  62. object Z16 extends $ZCompanion[Z16]
  63. object Z32 extends $ZCompanion[Z32]
  64. object Z64 extends $ZCompanion[Z64]
  65. object Z8 extends $ZCompanion[Z8]

Inherited from PackageTrait

Inherited from AnyRef

Inherited from Any

Ungrouped