typing/es.weso.typing/TypingMap

TypingMap

case
class TypingMap[Key, Value, Err, Evidence](m: Map[Key, Map[Value, TypingResult[Err, Evidence]]]) extends Typing[Key, Value, Err, Evidence]
trait Serializable
trait Product
trait Equals
class Typing[Key, Value, Err, Evidence]
class Object
trait Matchable
class Any

Type members

Inherited types

type Evidences = List[Evidence]
Inherited from
Typing
type SimpleSeq = Seq[(Key, Either[Value, Value])]
Inherited from
Typing

Value members

Concrete methods

override
def addEvidence(key: Key, value: Value, e: Evidence): Typing[Key, Value, Err, Evidence]
Definition Classes
override
def addEvidences(key: Key, value: Value, es: List[Evidence]): Typing[Key, Value, Err, Evidence]
Definition Classes
override
def addNotEvidence(key: Key, value: Value, e: Err): Typing[Key, Value, Err, Evidence]
Definition Classes
override
def allOk: Boolean
Definition Classes
override
def combineTyping(t: Typing[Key, Value, Err, Evidence]): Typing[Key, Value, Err, Evidence]
Definition Classes
def firstEvidences(es: List[Evidence]): TypingResult[Err, Evidence]
def firstNotEvidence(e: Err): TypingResult[Err, Evidence]
override
def getEvidences(key: Key, value: Value): Option[List[Evidence]]
Definition Classes
override
def getFailed: List[Key]
Definition Classes
def getFailedValues(key: Key): Set[Value]
override
def getKeys: Seq[Key]
Definition Classes
override
def getMap: Map[Key, Map[Value, TypingResult[Err, Evidence]]]
Definition Classes
override
def getOkValues(key: Key): Set[Value]
Definition Classes
def getResult(key: Key, value: Value): Option[TypingResult[Err, Evidence]]
override
def getValues(key: Key): Map[Value, TypingResult[Err, Evidence]]
Definition Classes
def negateValues(cond: Value => Boolean, err: Err)(m: Map[Value, TypingResult[Err, Evidence]]): Map[Value, TypingResult[Err, Evidence]]
override
def negateValuesWith(cond: Value => Boolean, err: Err): Typing[Key, Value, Err, Evidence]
Definition Classes
override
def removeValue(key: Key, value: Value): Typing[Key, Value, Err, Evidence]
Definition Classes
override
def removeValuesWith(cond: Value => Boolean): Typing[Key, Value, Err, Evidence]
Definition Classes
def rmValues(cond: Value => Boolean)(m: Map[Value, TypingResult[Err, Evidence]]): Map[Value, TypingResult[Err, Evidence]]

Inherited methods

def addType(key: Key, value: Value, evidences: List[Evidence]): Typing[Key, Value, Err, Evidence]
Inherited from
Typing
def hasType(key: Key, value: Value): Boolean
Inherited from
Typing
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
def simplified: SimpleSeq
Inherited from
Typing