package sireum
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- sireum
- PackageTrait
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- implicit final class $Arrow[T1] extends AnyVal
- implicit class $Slang extends AnyRef
- trait $ZCompanion[T] extends AnyRef
- trait $ZCompanionBigInt[T] extends AnyRef
- trait $ZCompanionInt[T] extends AnyRef
- trait $ZCompanionLong[T] extends AnyRef
- trait $ZCompanionString[T] extends AnyRef
- implicit final class Any2HashString extends AnyVal
- trait App extends AnyRef
- final class B extends AnyVal with Immutable with HasBoxer
-
final
class
Bag[T] extends DatatypeSig
- Annotations
- @datatype()
- final class C extends AnyVal with Immutable with HasBoxer
- trait DatatypeSig extends Immutable with DatatypeMarker
-
sealed
trait
Either[L, R] extends DatatypeSig
- Annotations
- @datatype()
- trait EnumSig extends Immutable
- final class F32 extends AnyVal with FloatingPoint with HasBoxer
- final class F64 extends AnyVal with FloatingPoint with HasBoxer
-
final
class
Graph[V, E] extends DatatypeSig
- Annotations
- @datatype()
-
final
class
HashBag[T] extends DatatypeSig
- Annotations
- @datatype()
-
final
class
HashMap[K, V] extends DatatypeSig
- Annotations
- @datatype()
-
final
class
HashSMap[K, V] extends DatatypeSig
- Annotations
- @datatype()
-
final
class
HashSSet[T] extends DatatypeSig
- Annotations
- @datatype()
-
final
class
HashSet[T] extends DatatypeSig
- Annotations
- @datatype()
- final class IS[I, V] extends Immutable with ISMarker with Iterable[V]
-
type
ISZ[T] = IS[Z, T]
- Definition Classes
- PackageTrait
- trait Immutable extends ImmutableMarker
-
sealed
trait
MEither[L, R] extends RecordSig
- Annotations
- @record()
-
final
class
MNone[T] extends MOption[T] with RecordSig
- Annotations
- @record()
-
sealed
trait
MOption[T] extends RecordSig
- Annotations
- @record()
- final class MS[I, V] extends Mutable with MSMarker with Iterable[V]
-
type
MSZ[T] = MS[Z, T]
- Definition Classes
- PackageTrait
-
final
class
MSome[T] extends MOption[T] with RecordSig
- Annotations
- @record()
-
final
class
Map[K, V] extends DatatypeSig
- Annotations
- @datatype()
- trait Mutable extends MutableMarker
- final class N extends AnyVal with Range[N]
- final class N16 extends AnyVal with Range[N16]
- final class N32 extends AnyVal with Range[N32]
- final class N64 extends AnyVal with Range[N64]
- final class N8 extends AnyVal with Range[N8]
-
final
class
None[T] extends Option[T] with DatatypeSig
- Annotations
- @datatype()
- trait Number extends Immutable
-
sealed
trait
Option[T] extends DatatypeSig
- Annotations
- @datatype()
-
final
class
Poset[T] extends DatatypeSig
- Annotations
- @datatype()
- final class R extends AnyVal with Number with HasBoxer
- trait RecordSig extends Mutable
- trait RichSig extends Immutable
- final class S16 extends AnyVal with Short[S16]
- final class S32 extends AnyVal with Int[S32]
- final class S64 extends AnyVal with Long[S64]
- final class S8 extends AnyVal with Byte[S8]
- final case class ST(parts: Seq[scala.Predef.String], args: Seq[Arg], source: scala.Predef.String) extends Immutable with STMarker with Product with Serializable
-
final
class
Set[T] extends DatatypeSig
- Annotations
- @datatype()
-
final
class
Some[T] extends Option[T] with DatatypeSig
- Annotations
- @datatype()
-
final
class
Stack[T] extends DatatypeSig
- Annotations
- @datatype()
- final class String extends AnyVal with Immutable with HasBoxer
- final class U16 extends AnyVal with Short[U16]
- final class U32 extends AnyVal with Int[U32]
- final class U64 extends AnyVal with Long[U64]
- final class U8 extends AnyVal with Byte[U8]
-
final
class
UnionFind[T] extends DatatypeSig
- Annotations
- @datatype()
- sealed trait Z extends ZLike[Z] with HasBoxer
- final class Z16 extends AnyVal with Range[Z16]
- final class Z32 extends AnyVal with Range[Z32]
- final class Z64 extends AnyVal with Range[Z64]
- final class Z8 extends AnyVal with Range[Z8]
- trait ZLike[T <: ZLike[T]] extends Number with Comparable[T]
- 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
-
type
ZS = MS[Z, Z]
- Definition Classes
- PackageTrait
- class bits extends AnyRef
- class contract extends Annotation with StaticAnnotation
- class datatype extends Annotation with StaticAnnotation
- class enum extends Annotation with StaticAnnotation
- class ext extends Annotation with StaticAnnotation
- class hidden extends Annotation with StaticAnnotation
- class memoize extends Annotation with StaticAnnotation
- class msig extends Annotation with StaticAnnotation
- class pure extends Annotation with StaticAnnotation
- class range extends AnyRef
- class record extends Annotation with StaticAnnotation
- class sig extends Annotation with StaticAnnotation
- class spec extends Annotation with StaticAnnotation
Value Members
-
macro
def
$[T]: T
- Definition Classes
- PackageTrait
-
implicit
def
$2BigIntOpt(n: Z): scala.Option[BigInt]
- Definition Classes
- PackageTrait
- Annotations
- @inline()
-
implicit
def
$2BigIntOpt(n: Long): scala.Option[BigInt]
- Definition Classes
- PackageTrait
- Annotations
- @inline()
-
implicit
def
$2BigIntOpt(n: Int): scala.Option[BigInt]
- Definition Classes
- PackageTrait
- Annotations
- @inline()
-
implicit
val
$ZCompanion: $ZCompanion[Z]
- Definition Classes
- PackageTrait
- Annotations
- @inline()
-
val
F: B
- Definition Classes
- PackageTrait
-
val
T: B
- Definition Classes
- PackageTrait
-
final
def
cprint(isErr: B, as: Any*): Unit
- Definition Classes
- PackageTrait
-
final
def
cprintln(isErr: B, as: Any*): Unit
- Definition Classes
- PackageTrait
-
final
def
eprint(as: Any*): Unit
- Definition Classes
- PackageTrait
-
final
def
eprintln(as: Any*): Unit
- Definition Classes
- PackageTrait
-
def
halt(msg: Any): Nothing
- Definition Classes
- PackageTrait
-
final
def
print(as: Any*): Unit
- Definition Classes
- PackageTrait
-
final
def
println(as: Any*): Unit
- Definition Classes
- PackageTrait
-
final
def
promptInt(msg: String): Z
- Definition Classes
- PackageTrait
-
final
def
randomInt(): Z
- Definition Classes
- PackageTrait
-
final
def
readInt(): Z
- Definition Classes
- PackageTrait
-
object
ISZ
- Definition Classes
- PackageTrait
-
object
MSZ
- Definition Classes
- PackageTrait
-
object
ZS
- Definition Classes
- PackageTrait
- object B
- object Bag
- object C
- object Either
- object F32
- object F64
- object Graph
- object Hash
- object HashBag
- object HashMap
- object HashSMap
- object HashSSet
- object HashSet
- object IS
- object Json
-
object
Library
- Annotations
- @ext()
- object Library_Ext
- object MEither
- object MNone
- object MOption
- object MS
- object MSome
- object Map
- object MessagePack
- object N extends $ZCompanion[N]
- object N16 extends $ZCompanion[N16]
- object N32 extends $ZCompanion[N32]
- object N64 extends $ZCompanion[N64]
- object N8 extends $ZCompanion[N8]
- object None
- object Option
- object Poset
- object R
- object S16 extends $ZCompanion[S16]
- object S32 extends $ZCompanion[S32]
- object S64 extends $ZCompanion[S64]
- object S8 extends $ZCompanion[S8]
- object ST extends Serializable
- object Set
- object Some
- object Stack
- object String
- object U16 extends $ZCompanion[U16]
- object U32 extends $ZCompanion[U32]
- object U64 extends $ZCompanion[U64]
- object U8 extends $ZCompanion[U8]
- object UnionFind
- object Z extends $ZCompanion[Z]
- object Z16 extends $ZCompanion[Z16]
- object Z32 extends $ZCompanion[Z32]
- object Z64 extends $ZCompanion[Z64]
- object Z8 extends $ZCompanion[Z8]