TypingMap
case class TypingMap[Key, Value, Err, Evidence](m: Map[Key, Map[Value, TypingResult[Err, Evidence]]]) extends Typing[Key, Value, Err, Evidence]
Type members
Value members
Concrete methods
override def addEvidences(key: Key, value: Value, es: List[Evidence]): Typing[Key, Value, Err, Evidence]
- Definition Classes
def negateValues(cond: Value => Boolean, err: Err)(m: Map[Value, TypingResult[Err, Evidence]]): Map[Value, TypingResult[Err, Evidence]]
def rmValues(cond: Value => Boolean)(m: Map[Value, TypingResult[Err, Evidence]]): Map[Value, TypingResult[Err, Evidence]]