PolicyKOps

fields.PolicyKOps
final class PolicyKOps[A, F[_], V[_], E](v: (A, F, V) => E) extends AnyVal

Attributes

Source
PolicyK.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any

Members list

Value members

Concrete methods

def and(ov: (A, F, V) => E)(implicit R: RuleOps[F, V, E]): (A, F, V) => E

Attributes

Source
PolicyK.scala
def andAll(ov: (A, F, V) => E*)(implicit R: RuleOps[F, V, E]): (A, F, V) => E

Attributes

Source
PolicyK.scala
def contramap[B](f: B => A): (B, F, V) => E

Attributes

Source
PolicyK.scala
def mapK[FF[_]](f: (F[V[E]]) => FF[V[E]]): (A, FF, V) => E

Attributes

Source
PolicyK.scala
def mappedRule[B](s: A => B)(ov: (B, F, V) => E*)(implicit R: RuleOps[F, V, E]): (A, F, V) => E

Attributes

Source
PolicyK.scala
def mappedRule[B, C](s1: A => B, s2: A => C)(ov: (B, C, F, V) => E*)(implicit R: RuleOps[F, V, E]): (A, F, V) => E

Attributes

Source
PolicyK.scala
def mappedRule[B, C, D](s1: A => B, s2: A => C, s3: A => D)(ov: (B, C, D, F, V) => E*)(implicit R: RuleOps[F, V, E]): (A, F, V) => E

Attributes

Source
PolicyK.scala
def or(ov: (A, F, V) => E)(implicit R: RuleOps[F, V, E]): (A, F, V) => E

Attributes

Source
PolicyK.scala
def orAll(ov: (A, F, V) => E*)(implicit R: RuleOps[F, V, E]): (A, F, V) => E

Attributes

Source
PolicyK.scala
def rule(ov: (A, F, V) => E*)(implicit R: RuleOps[F, V, E]): (A, F, V) => E

Attributes

Source
PolicyK.scala