choose
API
Generated with
choose/org.atnos.eff

org.atnos.eff

package org.atnos.eff

Members list

Packages

package org.atnos.eff.syntax

Type members

Classlikes

sealed trait Choose[T]

Attributes

Source
Choose.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ChoosePlus
class ChooseZero[T]
trait ChooseCreation

Attributes

Companion
object
Source
ChooseCreation.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ChooseEffect
object ChooseEffect
object ChooseCreation extends ChooseCreation

Attributes

Companion
trait
Source
ChooseCreation.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait ChooseEffect extends ChooseCreation, ChooseInterpretation

The Choose effect models non-determinism So we can get results, either:

The Choose effect models non-determinism So we can get results, either:

  • no results (when using ChooseZero)
  • the result for action1 or the result for action b (when using ChoosePlus)

When running this effect we can "collect" the results with any F which has an Alternative instance.

For example if F is List then:

  • no results is the empty list
  • the result for a or b is List(a, b)

If F is Option then:

  • no results is the None
  • the result for a or b is Some(a) or Some(b

Attributes

Companion
object
Source
ChooseEffect.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ChooseEffect
object ChooseEffect extends ChooseEffect

Attributes

Companion
trait
Source
ChooseEffect.scala
Supertypes
trait ChooseEffect
class Object
trait Matchable
class Any
Show all
Self type
trait ChooseImplicits

Attributes

Companion
object
Source
ChooseImplicits.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ChooseImplicits extends ChooseImplicits

Attributes

Companion
trait
Source
ChooseImplicits.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait ChooseInterpretation

Attributes

Companion
object
Source
ChooseInterpretation.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ChooseEffect
object ChooseEffect
object ChooseInterpretation extends ChooseInterpretation

Attributes

Companion
trait
Source
ChooseInterpretation.scala
Supertypes
class Object
trait Matchable
class Any
Self type
case object ChoosePlus extends Choose[Boolean]

Attributes

Source
Choose.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Choose[Boolean]
class Object
trait Matchable
class Any
Show all
Self type
ChoosePlus.type
case class ChooseZero[T]() extends Choose[T]

Attributes

Source
Choose.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Choose[T]
class Object
trait Matchable
class Any
Show all
case class Rand[A](run: Random => Option[A])

This class can be used as a F in runChoose to generate random alternatives

This class can be used as a F in runChoose to generate random alternatives

Attributes

Companion
object
Source
Rand.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Rand

Attributes

Companion
class
Source
Rand.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Rand.type
Generated with