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

Inherited from PackageTrait

Inherited from AnyRef

Inherited from Any

Ungrouped