Prop

trait Prop[F[_], A]
Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def lift(a: A): F[Expectations]