TypingMap

case class TypingMap[Key, Value, Evidence](m: Map[Key, Map[Value, Info[Evidence]]])
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def addConformant(key: Key, value: Value, es: List[Evidence]): Either[String, TypingMap[Key, Value, Evidence]]
def addNonConformant(key: Key, value: Value, es: List[Evidence]): Either[String, TypingMap[Key, Value, Evidence]]
def addTesting(key: Key, value: Value): Either[String, TypingMap[Key, Value, Evidence]]
def conformingValues(key: Key): List[Value]

Inherited methods

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