fs2-data-finite-state/fs2.data.pfsa/Pred/syntax/PredOps

PredOps

final implicit class PredOps[P](val p1: P) extends AnyVal
Source:
Pred.scala
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def &&[Elt](p2: P)(implicit P: Pred[P, Elt]): P
Source:
Pred.scala
def isSatisfiable[Elt](implicit P: Pred[P, Elt]): Boolean
Source:
Pred.scala
def satisfies[Elt](e: Elt)(implicit P: Pred[P, Elt]): Boolean
Source:
Pred.scala
def unary_![Elt](implicit P: Pred[P, Elt]): P
Source:
Pred.scala
def ||[Elt](p2: P)(implicit P: Pred[P, Elt]): P
Source:
Pred.scala

Concrete fields

val p1: P
Source:
Pred.scala