TypingResult

case class TypingResult[Err, Evidence](t: ValidatedNel[Err, List[Evidence]])
Companion:
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def addEvidence(e: Evidence): TypingResult[Err, Evidence]
def addEvidences(es: List[Evidence]): TypingResult[Err, Evidence]
def addNotEvidence(e: Err): TypingResult[Err, Evidence]
def getErrors: Option[List[Err]]
def getEvidences: Option[List[Evidence]]

Inherited methods

Inherited from:
Product