rbe/es.weso.rbe/nodeShape/RefNot

RefNot

case class RefNot[Label, Err, Evidence](label: Label) extends NodeShape[Nothing, Label, Err, Evidence]

Negation of a expression

trait Serializable
trait Product
trait Equals
trait NodeShape[Nothing, Label, Err, Evidence]
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product