MRule

object MRule

Convenient accessors makes type inference better

class Object
trait Matchable
class Any
MRule.type

Value members

Concrete methods

def and(ra: MRule, rb: MRule): MRule
def defer(rule: => MRule): MRule
def effect(effect: => F[V[E]]): MRule
def ensure(v: => V[E])(test: => Boolean): Rule[F, V, E]
def ensureF(v: => V[E])(test: => F[Boolean]): Rule[F, V, E]
def flatten(rule: => F[Rule[F, V, E]]): MRule
def invalid(error: => E): MRule
def modify(rule: MRule)(f: V[E] => V[E]): Rule[F, V, E]
def modifyM(rule: MRule)(f: V[E] => MRule): Rule[F, V, E]
def or(ra: MRule, rb: MRule): MRule

See Rule.or

See Rule.or

def orAll(rules: List[MRule]): MRule
def pure(validated: => V[E]): MRule
def when(test: => Boolean)(rule: => MRule): Rule[F, V, E]
def whenF(test: => F[Boolean])(rule: => MRule): Rule[F, V, E]

Concrete fields