Packages

final class ResetStream[A] extends Stream[A]

Linear Supertypes
Stream[A], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ResetStream
  2. Stream
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ResetStream(value: ⇒ Stream[A], proposed_: ⇒ Stream[A])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def %(other: Stream[A])(implicit ev: ||:[=:=[Stream[A], Stream[Int]], ||:[=:=[Stream[A], Stream[Double]], CFalse]]): Stream[A]
    Definition Classes
    Stream
  4. def %(other: Double)(implicit ev: =:=[Stream[A], Stream[Double]]): Stream[Double]
    Definition Classes
    Stream
  5. def %(other: Int)(implicit ev: =:=[Stream[A], Stream[Int]]): Stream[Int]
    Definition Classes
    Stream
  6. def &&(other: Stream[Boolean])(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[Boolean]
    Definition Classes
    Stream
  7. def &&(other: Boolean)(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[Boolean]
    Definition Classes
    Stream
  8. def *[T](other: Stream[T])(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  9. def *[T](other: T)(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  10. def +[T](other: Stream[T])(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  11. def +[T](other: T)(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  12. def -[T](other: Stream[T])(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  13. def -[T](other: T)(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  14. def /(other: Stream[A])(implicit ev: ||:[=:=[Stream[A], Stream[Int]], ||:[=:=[Stream[A], Stream[Double]], CFalse]]): Stream[A]
    Definition Classes
    Stream
  15. def /(other: Double)(implicit ev: =:=[Stream[A], Stream[Double]]): Stream[Double]
    Definition Classes
    Stream
  16. def /(other: Int)(implicit ev: =:=[Stream[A], Stream[Int]]): Stream[Int]
    Definition Classes
    Stream
  17. def <[T](other: Stream[T])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Boolean]
    Definition Classes
    Stream
  18. def <[T](other: T)(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Boolean]
    Definition Classes
    Stream
  19. def <=[T](other: Stream[T])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Boolean]
    Definition Classes
    Stream
  20. def <=[T](other: T)(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Boolean]
    Definition Classes
    Stream
  21. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  22. def ===(other: A): Stream[Boolean]
    Definition Classes
    Stream
  23. def ===(other: Stream[A]): Stream[Boolean]
    Definition Classes
    Stream
  24. def >[T](other: Stream[T])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Boolean]
    Definition Classes
    Stream
  25. def >[T](other: T)(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Boolean]
    Definition Classes
    Stream
  26. def >=[T](other: Stream[T])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Boolean]
    Definition Classes
    Stream
  27. def >=[T](other: T)(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Boolean]
    Definition Classes
    Stream
  28. def addListener(listener: (Option[A]) ⇒ Unit): Unit
    Definition Classes
    Stream
  29. def alsoAt[T](other: Stream[T]): Stream[A]
    Definition Classes
    Stream
  30. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  31. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. def compare[T](other: Stream[T])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Int]
    Definition Classes
    Stream
  33. def compare[T](other: T)(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[Int]
    Definition Classes
    Stream
  34. def const[T](other: T): Stream[T]
    Definition Classes
    Stream
  35. def count: Stream[Int]
    Definition Classes
    Stream
  36. def default(when: Stream[A]): Stream[A]
    Definition Classes
    Stream
  37. def default(value: A): Stream[A]
    Definition Classes
    Stream
  38. def defined[T](other: Stream[T]): Stream[T]
    Definition Classes
    Stream
  39. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  40. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  41. def exists(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[Boolean]
    Definition Classes
    Stream
  42. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  43. def first(): Stream[A]
    Definition Classes
    Stream
  44. def fold[T](init: T)(f: (Stream[T], Stream[A]) ⇒ Stream[T]): Stream[T]
    Definition Classes
    Stream
  45. def forall(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[Boolean]
    Definition Classes
    Stream
  46. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  47. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  48. def ifThen()(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[Unit]
    Definition Classes
    Stream
  49. def ifThen[T](other: Stream[T])(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[T]
    Definition Classes
    Stream
  50. def ifThenElse[T](other1: Stream[T], other2: Stream[T])(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[T]
    Definition Classes
    Stream
  51. def init(): Unit
    Attributes
    protected[de.uni_luebeck.isp.tessla.interpreter.Specification]
    Definition Classes
    ResetStream → Stream
  52. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  53. def mark(from: ⇒ Stream[Boolean], to: Stream[Boolean]): Stream[RegionMark]
    Definition Classes
    Stream
  54. def max[T](implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  55. def max[T](other: Stream[T])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  56. def max[T](other: T)(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  57. def merge[T](other: Stream[T]): Stream[Unit]
    Definition Classes
    Stream
  58. def min[T](implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  59. def min[T](other: Stream[T])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  60. def min[T](other: T)(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  61. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  62. final def notify(): Unit
    Definition Classes
    AnyRef
  63. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  64. def prod[T](implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  65. def proposed: Stream[A]
  66. def reduce(f: (Stream[A], Stream[A]) ⇒ Stream[A]): Stream[A]
    Definition Classes
    Stream
  67. def resetCount(reset: ⇒ Stream[_]): ResetStream[Int]
    Definition Classes
    Stream
  68. def resetExists(reset: ⇒ Stream[_])(implicit ev: =:=[Stream[A], Stream[Boolean]]): ResetStream[Boolean]
    Definition Classes
    Stream
  69. def resetFirst(reset: ⇒ Stream[_]): ResetStream[A]
    Definition Classes
    Stream
  70. def resetFold[T](init: T, reset: ⇒ Stream[_])(f: (Stream[T], Stream[A]) ⇒ Stream[T]): ResetStream[T]
    Definition Classes
    Stream
  71. def resetForall(reset: ⇒ Stream[_])(implicit ev: =:=[Stream[A], Stream[Boolean]]): ResetStream[Boolean]
    Definition Classes
    Stream
  72. def resetMax[T](reset: ⇒ Stream[_])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): ResetStream[T]
    Definition Classes
    Stream
  73. def resetMin[T](reset: ⇒ Stream[_])(implicit arg0: Ordering[T], ev: =:=[Stream[A], Stream[T]]): ResetStream[T]
    Definition Classes
    Stream
  74. def resetProd[T](reset: ⇒ Stream[_])(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): ResetStream[T]
    Definition Classes
    Stream
  75. def resetReduce(reset: ⇒ Stream[_])(f: (Stream[A], Stream[A]) ⇒ Stream[A]): ResetStream[A]
    Definition Classes
    Stream
  76. def resetSum[T](reset: ⇒ Stream[_])(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): ResetStream[T]
    Definition Classes
    Stream
  77. def sum[T](implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  78. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  79. def time(): Stream[Time]
    Definition Classes
    Stream
  80. def toDouble[T](implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[Double]
    Definition Classes
    Stream
  81. def toInt[T](implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[Int]
    Definition Classes
    Stream
  82. def toString(): String
    Definition Classes
    AnyRef → Any
  83. def unary_!()(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[Boolean]
    Definition Classes
    Stream
  84. def unary_/[T]()(implicit arg0: Numeric[T], ev: =:=[Stream[A], Stream[T]]): Stream[T]
    Definition Classes
    Stream
  85. def undefined(other: Stream[A]): Stream[A]
    Definition Classes
    Stream
  86. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  87. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  88. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  89. def ||(other: Stream[Boolean])(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[Boolean]
    Definition Classes
    Stream
  90. def ||(other: Boolean)(implicit ev: =:=[Stream[A], Stream[Boolean]]): Stream[Boolean]
    Definition Classes
    Stream

Inherited from Stream[A]

Inherited from AnyRef

Inherited from Any

Ungrouped