| OVERVIEW | PACKAGE | CONSTR | FIELDS | METHODS | FRAMES NO FRAMES | INHERITED |
| factory |
val factory
|
RulesWithState | |
| failure |
def failure
|
Rule[Any, Nothing, Nothing, Nothing] | Rules |
| get |
def get
|
Rule[S, S, S, Nothing] | StateRules |
| nil |
def nil
|
Rule[S, S, Nil, Nothing] | StateRules |
| none |
def none
|
Rule[S, S, None, Nothing] | StateRules |
| != |
final def !=(arg0 : Any)
|
Boolean | Any |
| != |
final def !=(arg0 : Object)
|
Boolean | AnyRef |
| == |
final def ==(arg0 : Object)
|
Boolean | AnyRef |
| == |
final def ==(arg0 : Any)
|
Boolean | Any |
| allOf |
def allOf[A, X](rules : Seq[Rule[A, X]])
Create a rule that succeeds if all of the given rules succeed
[details]
|
Rule[List[A], X] | StateRules |
| apply |
def apply[A, X](f : (S) => Result[S, A, X])
|
Rule[S, S, A, X] | StateRules |
| asInstanceOf |
final def asInstanceOf[T0]
|
T0 | Any |
| clone |
protected def clone
|
Object | AnyRef |
| cond |
def cond(f : (S) => Boolean)
Create a rule that suceeds if f(in) is true
|
Rule[S, S, S, Nothing] | StateRules |
| eq |
final def eq(arg0 : Object)
|
Boolean | AnyRef |
| equals |
def equals(arg0 : Any)
|
Boolean | AnyRef |
| error |
def error[In]
|
Rule[In, Nothing, Nothing, In] | Rules |
| error |
def error[X](err : X)
|
Rule[Any, Nothing, Nothing, X] | Rules |
| expect |
def expect[In, Out, A, Any](rule : Rule[In, Out, A, Any])
Converts a rule into a function that throws an Exception on failure
|
(In) => A | Rules |
| finalize |
protected def finalize
|
Unit | AnyRef |
| from |
def from[In]
|
Object | Rules |
| getClass |
final def getClass
|
Class[Any] | AnyRef |
| hashCode |
def hashCode
|
Int | AnyRef |
| inRule |
implicit def inRule[In, Out, A, X](rule : Rule[In, Out, A, X])
|
InRule[In, Out, A, X] | Rules |
| isInstanceOf |
final def isInstanceOf[T0]
|
Boolean | Any |
| ne |
final def ne(arg0 : Object)
|
Boolean | AnyRef |
| notify |
final def notify
|
Unit | AnyRef |
| notifyAll |
final def notifyAll
|
Unit | AnyRef |
| oneOf |
def oneOf[In, Out, A, X](rules : Seq[Rule[In, Out, A, X]])
|
Rule[In, Out, A, X] | Rules |
| read |
def read[A](f : (S) => A)
|
Rule[S, S, A, Nothing] | StateRules |
| rule |
implicit def rule[In, Out, A, X](f : (In) => Result[Out, A, X])
|
Rule[In, Out, A, X] | Rules |
| ruleWithName |
def ruleWithName[In, Out, A, X](_name : String, f : (In) => Result[Out, A, X])
|
Rule[In, Out, A, X] with Name |
Rules |
| seqRule |
implicit def seqRule[In, A, X](rule : Rule[In, In, A, X])
|
SeqRule[In, A, X] | Rules |
| set |
def set(s : => S)
|
Rule[S, S, S, Nothing] | StateRules |
| state |
def state[s]
|
StateRules | Rules |
| success |
def success[Out, A](out : Out, a : A)
|
Rule[Any, Out, A, Nothing] | Rules |
| synchronized |
final def synchronized[T0](arg0 : T0)
|
T0 | AnyRef |
| toString |
def toString
|
String | AnyRef |
| unit |
def unit[A](a : => A)
|
Rule[S, S, A, Nothing] | StateRules |
| update |
def update(f : (S) => S)
|
Rule[S, S, S, Nothing] | StateRules |
| wait |
final def wait
|
Unit | AnyRef |
| wait |
final def wait(arg0 : Long)
|
Unit | AnyRef |
| wait |
final def wait(arg0 : Long, arg1 : Int)
|
Unit | AnyRef |
| OVERVIEW | PACKAGE | CONSTR | FIELDS | METHODS | FRAMES NO FRAMES | INHERITED |