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

Inherited from PackageTrait

Inherited from AnyRef

Inherited from Any

Ungrouped