fs2-data-finite-state
1.8.1
API
Generated with
fs2-data-finite-state/fs2.data/fs2.data.pfsa/Pred/syntax/PredOps

PredOps

fs2.data.pfsa.Pred$.syntax$.PredOps
final implicit class PredOps[P](val p1: P) extends AnyVal

Attributes

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

Members list

Value members

Concrete methods

def &&[Elt](p2: P)(implicit P: Pred[P, Elt]): P

Attributes

Source
Pred.scala
def isSatisfiable[Elt](implicit P: Pred[P, Elt]): Boolean

Attributes

Source
Pred.scala
def satisfies[Elt](e: Elt)(implicit P: Pred[P, Elt]): Boolean

Attributes

Source
Pred.scala
def unary_![Elt](implicit P: Pred[P, Elt]): P

Attributes

Source
Pred.scala
def ||[Elt](p2: P)(implicit P: Pred[P, Elt]): P

Attributes

Source
Pred.scala

Concrete fields

val p1: P

Attributes

Source
Pred.scala
Generated with