Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

6.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

7.  val f: (⇒ A) ⇒ F[A]
8.  def filter(f: (F[A]) ⇒ Boolean): Stochastic[F[A]]

   Definition Classes

   Stochastic

9.  def finalize(): Unit

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

10.  def flatMap[B](f: (F[A]) ⇒ Stochastic[B]): Stochastic[B]

    Definition Classes

    Stochastic

11.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

12.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

13.  def map[B](f: (F[A]) ⇒ B): Stochastic[B]

    Definition Classes

    Stochastic

14.  def markov[B >: F[A]](f: (B) ⇒ Stochastic[B]): Stochastic[Stream[B]]

    Definition Classes

    Stochastic

15.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

16.  final def notify(): Unit

    Definition Classes

    AnyRef

17.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

18.  def repeat[B >: F[A], F[_]](f: (⇒ B) ⇒ F[B]): Stochastic[F[B]]

    Definition Classes

    Stochastic

19.  def sample: F[A]

    This repeat feature could have been implemented using "map".

    This repeat feature could have been implemented using "map". The only change is replacing f: A => B by f: (=> A) => B. This would have worked:

    scala> val die = Stochastic.discreteUniform(6).map(_ + 1)
    die: cardano.Stochastic[Int] = StochasticMap(cardano.distributions.DiscreteDistributions$$anon$1@fc1001b,<function1>)
    
    scala> val dice = die.map(Stream.continually[Int])
    dice: cardano.Stochastic[scala.collection.immutable.Stream[Int]] = StochasticMap(StochasticMap(
    cardano.distributions.DiscreteDistributions$$anon$1@fc1001b,<function1>),<function1>)
    
    scala> val diePlus5 = die.map(_ + 5)
    diePlus5: cardano.Stochastic[Int] = StochasticMap(StochasticMap(cardano.distributions.DiscreteDistributions$$anon$1@fc1001b,<function1>),<function1>)

    But not:

    scala> def f(i: Int) = i + 3
    f: (i: Int)Int
    
    scala> die.map(f)
    <console>:17: error: type mismatch;
      found   : Int => Int
      required: (=> Int) => ?
         die.map(f)

    Since it is not reasonable to ask the user to put (=> A) in all their signatures for something as basic as map, it is better to separate the two features

    Definition Classes

    StochasticHigherKind → Stochastic

20.  val stochastic: Stochastic[A]
21.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

22.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

23.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

24.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

25.  def withFilter(f: (F[A]) ⇒ Boolean): Stochastic[F[A]]

    Definition Classes

    Stochastic