Choices

cps.monads.logic.Choices
class Choices[M[_]](using mc: CpsLogicMonadContext[M])

Should be used inside of reify block over CpsLogicMonad. Form mini-DSL after choice prefux

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

transparent inline def apply[A](values: A*): A

Should be used inside of reify block over CpsLogicMonad. The next sequent code will be executed for all values

Should be used inside of reify block over CpsLogicMonad. The next sequent code will be executed for all values

Value parameters

mc
  • monad context
values
  • values to iterate over

Attributes

transparent inline def empty[A]: A
transparent inline def from[A](values: IterableOnce[A]): A