Pred

fs2.data.pfsa.Pred
See thePred companion object
trait Pred[P, Elt]

A typeclass for predicates, that can be combined together.

Attributes

Companion
object
Source
Pred.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def always: P

The predicate that is always true.

The predicate that is always true.

Attributes

Source
Pred.scala
def and(p1: P, p2: P): P

Conjunction of both predicates.

Conjunction of both predicates.

Attributes

Source
Pred.scala
def isSatisfiable(p: P): Boolean

Whether the predicate is not obviously non satisfiable.

Whether the predicate is not obviously non satisfiable.

Attributes

Source
Pred.scala
def never: P

The predicate that is always false.

The predicate that is always false.

Attributes

Source
Pred.scala
def not(p: P): P

The negation of this predicate.

The negation of this predicate.

Attributes

Source
Pred.scala
def or(p1: P, p2: P): P

Disjunction of both predicates.

Disjunction of both predicates.

Attributes

Source
Pred.scala
def satisfies(p: P)(e: Elt): Boolean

Whether the element e satisfies the predicate.

Whether the element e satisfies the predicate.

Attributes

Source
Pred.scala