case class Island[Y, InitState, O, Boat](output: RandomVar[Y], islandOutput: (Boat) => RandomVar[O], initMap: (InitState) => (Double) => (InitState, Boat), export: (Boat, O) => Y, finalMap: (Boat, InitState) => InitState) extends RecursiveGeneratorNode[InitState, Y] with Product with Serializable
An island, i.e., a full map from initial state to all required distributions,
which is used in recursive definitions where we recurse on not just the final state
but also the dynamics. One enters the island using a boat which is returned, and must exit by the same boat.
- Y
the scala type of the island output
- InitState
the initial state
- O
the scala type of the final output
- Boat
scala type of the
boat- output
the final output, as seen from the outside
- islandOutput
the variable whose distribution from the island is used
- initMap
the map from the initial state on the outside to the initial state in the island
- export
the object (e.g. term) level map applied when mapping a distribution obtained in the island to the outside; this is specific to the island
- Alphabetic
- By Inheritance
- Island
- Serializable
- Product
- Equals
- RecursiveGeneratorNode
- RecursiveGeneratorNodeFamily
- GeneratorNode
- GeneratorNodeFamily
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new Island(output: RandomVar[Y], islandOutput: (Boat) => RandomVar[O], initMap: (InitState) => (Double) => (InitState, Boat), export: (Boat, O) => Y, finalMap: (Boat, InitState) => InitState)
- output
the final output, as seen from the outside
- islandOutput
the variable whose distribution from the island is used
- initMap
the map from the initial state on the outside to the initial state in the island
- export
the object (e.g. term) level map applied when mapping a distribution obtained in the island to the outside; this is specific to the island
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (Island[Y, InitState, O, Boat], B)
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- def ensuring(cond: (Island[Y, InitState, O, Boat]) => Boolean, msg: => Any): Island[Y, InitState, O, Boat]
- def ensuring(cond: (Island[Y, InitState, O, Boat]) => Boolean): Island[Y, InitState, O, Boat]
- def ensuring(cond: Boolean, msg: => Any): Island[Y, InitState, O, Boat]
- def ensuring(cond: Boolean): Island[Y, InitState, O, Boat]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val export: (Boat, O) => Y
- val finalMap: (Boat, InitState) => InitState
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val initMap: (InitState) => (Double) => (InitState, Boat)
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val islandOutput: (Boat) => RandomVar[O]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val output: RandomVar[Y]
- Definition Classes
- Island → GeneratorNode
- val outputFamily: RandomVar[Y]
the family of random variables for which this is a generation.
the family of random variables for which this is a generation.
- Definition Classes
- GeneratorNode → GeneratorNodeFamily
- def pi[D, S >: Y, T](conditionFamily: (D) => Sort[S, T], outputFamily: RandomVarFamily[::[D, HNil], T]): GeneratorNodeFamily[::[D, HNil], T]
- Definition Classes
- GeneratorNode
- def piFmly[Dom <: HList, S >: Y, T](conditionFamily: (Dom) => Sort[S, T], outputFamily: RandomVarFamily[Dom, T]): GeneratorNodeFamily[Dom, T]
- Definition Classes
- GeneratorNode
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def |[S >: Y, T](condition: Sort[S, T], output: RandomVar[T]): GeneratorNode[T]
- Definition Classes
- GeneratorNode
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
- def →[B](y: B): (Island[Y, InitState, O, Boat], B)
- Implicit
- This member is added by an implicit conversion from Island[Y, InitState, O, Boat] toArrowAssoc[Island[Y, InitState, O, Boat]] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.