NotValidator

org.plasmalabs.quivr.models.PropositionValidator.NotValidator
object NotValidator extends Validator[Not]

Attributes

Graph
Supertypes
trait Validator[Not]
trait Serializable
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def validate(input: Not): Result

Inherited methods

def optional: Validator[Option[Not]]

Attributes

Inherited from:
Validator