trait Choice[-In, +Out, +A, +X] extends Rule[In, Out, A, X]
- Alphabetic
- By Inheritance
- Choice
- Rule
- Function1
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def !^[Y](fx2y: (X) => Y): Rule[In, Out, A, Y]
Maps an Error
Maps an Error
- Definition Classes
- Rule
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def -[In2 <: In](exclude: => Rule[In2, Any, Any, Any]): Rule[In2, Out, A, X]
- Definition Classes
- Rule
- def ->[B](y: B): (Choice[In, Out, A, X], B)
- def -^[B](b: B): Rule[In, Out, B, X]
- Definition Classes
- Rule
- def -~[Out2, B, X2 >: X](next: => Rule[Out, Out2, B, X2]): Rule[In, Out2, B, X2]
- Definition Classes
- Rule
- def -~: Rule[In, Out2, B, Any]
- Definition Classes
- Rule
- def <~:[InPrev, B, X2 >: X](prev: => Rule[InPrev, In, (A) => B, X2]): Rule[InPrev, Out, B, X2]
Apply the result of this rule to the function returned by the previous rule
Apply the result of this rule to the function returned by the previous rule
- Definition Classes
- Rule
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def >->[Out2, B, X2 >: X](fa2resultb: (A) => Result[Out2, B, X2]): Rule[In, Out2, B, X2]
- Definition Classes
- Rule
- def >>[Out2, B, X2 >: X](fa2ruleb: (A) => (Out) => Result[Out2, B, X2]): Rule[In, Out2, B, X2]
- Definition Classes
- Rule
- def >>&[B, X2 >: X](fa2ruleb: (A) => (Out) => Result[Any, B, X2]): Rule[In, Out, B, X2]
- Definition Classes
- Rule
- def >>?[Out2, B, X2 >: X](pf: PartialFunction[A, Rule[Out, Out2, B, X2]]): Rule[In, Out2, B, X2]
- Definition Classes
- Rule
- def >~>[Out2, B1, B2, B >: A, C, X2 >: X](f: (B1, B2) => (Out) => Result[Out2, C, X2])(implicit viewbound_0: (B) => ~[B1, B2]): Rule[In, Out2, C, X2]
>~>(f) is equivalent to >> { case b1 ~ b2 => f(b1, b2) }
>~>(f) is equivalent to >> { case b1 ~ b2 => f(b1, b2) }
- Definition Classes
- Rule
- def ??(pf: PartialFunction[A, Any]): Rule[In, Out, A, X]
- Definition Classes
- Rule
- def ^-^[B1, B2 >: A, C](f: (B1, B2) => C): Rule[In, Out, (B1) => C, X]
-(f) is equivalent to ^^ { b2 => b1 => f(b1, b2) }
-(f) is equivalent to ^^ { b2 => b1 => f(b1, b2) }
- Definition Classes
- Rule
- def ^^[B](fa2b: (A) => B): Rule[In, Out, B, X]
- Definition Classes
- Rule
- def ^^?[B](pf: PartialFunction[A, B]): Rule[In, Out, B, X]
- Definition Classes
- Rule
- def ^~>~^[B1, B2, B3, B >: A, C](f: (B1, B2, B3) => C)(implicit viewbound_0: (B) => ~[B2, B3]): Rule[In, Out, (B1) => C, X]
~>~(f) is equivalent to ^^ { case b2 ~ b3 => b1 => f(b1, b2, b3) }
~>~(f) is equivalent to ^^ { case b2 ~ b3 => b1 => f(b1, b2, b3) }
- Definition Classes
- Rule
- def ^~^[B1, B2, B >: A, C](f: (B1, B2) => C)(implicit viewbound_0: (B) => ~[B1, B2]): Rule[In, Out, C, X]
~(f) is equivalent to ^^ { case b1 ~ b2 => f(b1, b2) }
~(f) is equivalent to ^^ { case b1 ~ b2 => f(b1, b2) }
- Definition Classes
- Rule
- def ^~~^[B1, B2, B3, B >: A, C](f: (B1, B2, B3) => C)(implicit viewbound_0: (B) => ~[~[B1, B2], B3]): Rule[In, Out, C, X]
~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 => f(b1, b2, b3) }
~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 => f(b1, b2, b3) }
- Definition Classes
- Rule
- def ^~~~^[B1, B2, B3, B4, B >: A, C](f: (B1, B2, B3, B4) => C)(implicit viewbound_0: (B) => ~[~[~[B1, B2], B3], B4]): Rule[In, Out, C, X]
~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 => f(b1, b2, b3, b4) }
~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 => f(b1, b2, b3, b4) }
- Definition Classes
- Rule
- def ^~~~~^[B1, B2, B3, B4, B5, B >: A, C](f: (B1, B2, B3, B4, B5) => C)(implicit viewbound_0: (B) => ~[~[~[~[B1, B2], B3], B4], B5]): Rule[In, Out, C, X]
~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 => f(b1, b2, b3, b4, b5) }
~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 => f(b1, b2, b3, b4, b5) }
- Definition Classes
- Rule
- def ^~~~~~^[B1, B2, B3, B4, B5, B6, B >: A, C](f: (B1, B2, B3, B4, B5, B6) => C)(implicit viewbound_0: (B) => ~[~[~[~[~[B1, B2], B3], B4], B5], B6]): Rule[In, Out, C, X]
~~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 ~ b6 => f(b1, b2, b3, b4, b5, b6) }
~~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 ~ b6 => f(b1, b2, b3, b4, b5, b6) }
- Definition Classes
- Rule
- def ^~~~~~~^[B1, B2, B3, B4, B5, B6, B7, B >: A, C](f: (B1, B2, B3, B4, B5, B6, B7) => C)(implicit viewbound_0: (B) => ~[~[~[~[~[~[B1, B2], B3], B4], B5], B6], B7]): Rule[In, Out, C, X]
~~~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 ~ b6 => f(b1, b2, b3, b4, b5, b6) }
~~~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 ~ b6 => f(b1, b2, b3, b4, b5, b6) }
- Definition Classes
- Rule
- def andThen[A](g: (Result[Out, A, X]) => A): (In) => A
- Definition Classes
- Function1
- Annotations
- @unspecialized()
- def apply(in: In): Result[Out, A, X]
- Definition Classes
- Choice → Function1
- def as(name: String): Rule[In, Out, A, X] with Name
- Definition Classes
- Rule
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def compose[A](g: (A) => In): (A) => Result[Out, A, X]
- Definition Classes
- Function1
- Annotations
- @unspecialized()
- def ensuring(cond: (Choice[In, Out, A, X]) => Boolean, msg: => Any): Choice[In, Out, A, X]
- def ensuring(cond: (Choice[In, Out, A, X]) => Boolean): Choice[In, Out, A, X]
- def ensuring(cond: Boolean, msg: => Any): Choice[In, Out, A, X]
- def ensuring(cond: Boolean): Choice[In, Out, A, X]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def filter(f: (A) => Boolean): Rule[In, Out, A, X]
- Definition Classes
- Rule
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def flatMap[Out2, B, X2 >: X](fa2ruleb: (A) => (Out) => Result[Out2, B, X2]): Rule[In, Out2, B, X2]
- Definition Classes
- Rule
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def map[B](fa2b: (A) => B): Rule[In, Out, B, X]
- Definition Classes
- Rule
- def mapResult[Out2, B, Y](f: (Result[Out, A, X]) => Result[Out2, B, Y]): Rule[In, Out2, B, Y]
- Definition Classes
- Rule
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def orElse[In2 <: In, Out2 >: Out, A2 >: A, X2 >: X](other: => Rule[In2, Out2, A2, X2]): Rule[In2, Out2, A2, X2]
- def orError[In2 <: In]: Rule[In, Out, A, Any]
- Definition Classes
- Rule
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- Function1 → AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- 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()
- def |[In2 <: In, Out2 >: Out, A2 >: A, X2 >: X](other: => Rule[In2, Out2, A2, X2]): Rule[In2, Out2, A2, X2]
- Definition Classes
- Rule
- def ~[Out2, B, X2 >: X](next: => Rule[Out, Out2, B, X2]): Rule[In, Out2, ~[A, B], X2]
- Definition Classes
- Rule
- def ~: Rule[In, Out2, ~[A, B], Any]
- Definition Classes
- Rule
- def ~++[Out2, B >: A, X2 >: X](next: => Rule[Out, Out2, Seq[B], X2]): Rule[In, Out2, collection.immutable.List[B], X2]
- Definition Classes
- Rule
- def ~-[Out2, B, X2 >: X](next: => Rule[Out, Out2, B, X2]): Rule[In, Out2, A, X2]
- Definition Classes
- Rule
- def ~-: Rule[In, Out2, A, Any]
- Definition Classes
- Rule
- def ~>[Out2, B, X2 >: X](next: => Rule[Out, Out2, (A) => B, X2]): Rule[In, Out2, B, X2]
Apply the result of this rule to the function returned by the next rule
Apply the result of this rule to the function returned by the next rule
- Definition Classes
- Rule
Deprecated Value Members
- def →[B](y: B): (Choice[In, Out, A, X], B)
- Implicit
- This member is added by an implicit conversion from Choice[In, Out, A, X] toArrowAssoc[Choice[In, Out, A, X]] 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.