p

org.sireum

logika

package logika

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

Type Members

  1. sealed trait B extends Clonable
  2. type BS = logika.collection.MS[Z, B]
  3. trait Clonable extends AnyRef
  4. type F32 = logika.math.F32.Value
  5. type F32S = logika.collection.MS[Z, F32]
  6. type F64 = logika.math.F64.Value
  7. type F64S = logika.collection.MS[Z, F64]
  8. type IS[I <: LogikaIntegralNumber, V] = logika.collection.IS[I, V]
  9. type MS[I <: LogikaIntegralNumber, V] = logika.collection.MS[I, V]
  10. type N = logika.math.N
  11. type N16 = logika.math.N16.Value
  12. type N16S = logika.collection.MS[Z, N16]
  13. type N32 = logika.math.N32.Value
  14. type N32S = logika.collection.MS[Z, N32]
  15. type N64 = logika.math.N64.Value
  16. type N64S = logika.collection.MS[Z, N64]
  17. type N8 = logika.math.N8.Value
  18. type N8S = logika.collection.MS[Z, N8]
  19. type NS = logika.collection.MS[Z, N]
  20. type R = logika.math.R
  21. type RS = logika.collection.MS[Z, R]
  22. type S16 = logika.math.S16.Value
  23. type S16S = logika.collection.MS[Z, S16]
  24. type S32 = logika.math.S32.Value
  25. type S32S = logika.collection.MS[Z, S32]
  26. type S64 = logika.math.S64.Value
  27. type S64S = logika.collection.MS[Z, S64]
  28. type S8 = logika.math.S8.Value
  29. type S8S = logika.collection.MS[Z, S8]
  30. type U16 = logika.math.U16.Value
  31. type U16S = logika.collection.MS[Z, U16]
  32. type U32 = logika.math.U32.Value
  33. type U32S = logika.collection.MS[Z, U32]
  34. type U64 = logika.math.U64.Value
  35. type U64S = logika.collection.MS[Z, U64]
  36. type U8 = logika.math.U8.Value
  37. type U8S = logika.collection.MS[Z, U8]
  38. type Z = logika.math.Z
  39. type Z16 = logika.math.Z16.Value
  40. type Z16S = logika.collection.MS[Z, Z16]
  41. type Z32 = logika.math.Z32.Value
  42. type Z32S = logika.collection.MS[Z, Z32]
  43. type Z64 = logika.math.Z64.Value
  44. type Z64S = logika.collection.MS[Z, Z64]
  45. type Z8 = logika.math.Z8.Value
  46. type Z8S = logika.collection.MS[Z, Z8]
  47. type ZS = logika.collection.MS[Z, Z]
  48. implicit final class _Clonable [T] extends AnyVal
  49. implicit final class _Logika extends AnyVal
  50. final macro class enum extends Annotation with StaticAnnotation
    Annotations
    @compileTimeOnly( ... ) @compileTimeOnly( "Enum" )
  51. final class helper extends Annotation with StaticAnnotation
  52. final macro class irecord extends Annotation with StaticAnnotation
    Annotations
    @compileTimeOnly( ... ) @compileTimeOnly( "Immutable Record" )
  53. final class native extends Annotation with StaticAnnotation
  54. final class part extends Annotation with StaticAnnotation
  55. final class pure extends Annotation with StaticAnnotation
  56. final macro class record extends Annotation with StaticAnnotation
    Annotations
    @compileTimeOnly( ... ) @compileTimeOnly( "Record" )

Value Members

  1. final val F32: logika.math.F32.type
  2. final val F64: logika.math.F64.type
  3. final val IS: logika.collection.IS.type
  4. final val MS: logika.collection.MS.type
  5. final val N: logika.math.N.type
  6. final val N16: logika.math.N16.type
  7. final val N32: logika.math.N32.type
  8. final val N64: logika.math.N64.type
  9. final val N8: logika.math.N8.type
  10. final val R: logika.math.R.type
  11. final val S16: logika.math.S16.type
  12. final val S32: logika.math.S32.type
  13. final val S64: logika.math.S64.type
  14. final val S8: logika.math.S8.type
  15. final val U16: logika.math.U16.type
  16. final val U32: logika.math.U32.type
  17. final val U64: logika.math.U64.type
  18. final val U8: logika.math.U8.type
  19. final val Z: logika.math.Z.type
  20. final val Z16: logika.math.Z16.type
  21. final val Z32: logika.math.Z32.type
  22. final val Z64: logika.math.Z64.type
  23. final val Z8: logika.math.Z8.type
  24. implicit final def _2B(b: Boolean): B
  25. implicit final def _2Boolean(b: B): Boolean
  26. implicit final def _Z(n: Int): Z
  27. final def print(as: Any*): Unit
  28. final def println(as: Any*): Unit
  29. final def randomInt(): Z
  30. final def readInt(msg: String = "Enter an integer: "): Z
  31. object B
  32. object BS
  33. object F extends B
  34. object F32S
  35. object F64S
  36. object N16S
  37. object N32S
  38. object N64S
  39. object N8S
  40. object NS
  41. object RS
  42. object S16S
  43. object S32S
  44. object S64S
  45. object S8S
  46. object T extends B
  47. object U16S
  48. object U32S
  49. object U64S
  50. object U8S
  51. object Z16S
  52. object Z32S
  53. object Z64S
  54. object Z8S
  55. object ZS
  56. object _macro

Inherited from AnyRef

Inherited from Any

Ungrouped