PropRelToolkit

Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def run[A](f: [M[_]] => (P: Propagation[M], R: Relations[M]) => M[Out[A]]): A

Concrete fields