prop/nyaya.prop/PropA

PropA

object PropA
Companion
class
class Object
trait Matchable
class Any

Implicits

Implicits

implicit val propInstances: Contravariant[[A] =>> PropA[A]]