Packages

c

es.weso.typing

TypingMap

case class TypingMap[Key, Value, Err, Evidence](m: Map[Key, Map[Value, TypingResult[Err, Evidence]]]) extends Typing[Key, Value, Err, Evidence] with Product with Serializable

Source
TypingMap.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, Typing[Key, Value, Err, Evidence], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypingMap
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Typing
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TypingMap(m: Map[Key, Map[Value, TypingResult[Err, Evidence]]])

Type Members

  1. type Evidences = List[Evidence]
    Definition Classes
    Typing
  2. type SimpleSeq = Seq[(Key, Either[Value, Value])]
    Definition Classes
    Typing

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addEvidence(key: Key, value: Value, e: Evidence): Typing[Key, Value, Err, Evidence]
    Definition Classes
    TypingMap → Typing
  5. def addEvidences(key: Key, value: Value, es: List[Evidence]): Typing[Key, Value, Err, Evidence]
    Definition Classes
    TypingMap → Typing
  6. def addNotEvidence(key: Key, value: Value, e: Err): Typing[Key, Value, Err, Evidence]
    Definition Classes
    TypingMap → Typing
  7. def addType(key: Key, value: Value, evidences: List[Evidence] = List()): Typing[Key, Value, Err, Evidence]
    Definition Classes
    Typing
  8. def allOk: Boolean
    Definition Classes
    TypingMap → Typing
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  11. def combineTyping(t: Typing[Key, Value, Err, Evidence]): Typing[Key, Value, Err, Evidence]
    Definition Classes
    TypingMap → Typing
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def firstEvidences(es: List[Evidence]): TypingResult[Err, Evidence]
  14. def firstNotEvidence(e: Err): TypingResult[Err, Evidence]
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. def getEvidences(key: Key, value: Value): Option[List[Evidence]]
    Definition Classes
    TypingMap → Typing
  17. def getFailed: List[Key]
    Definition Classes
    TypingMap → Typing
  18. def getFailedValues(key: Key): Set[Value]
    Definition Classes
    TypingMap → Typing
  19. def getKeys: Seq[Key]
    Definition Classes
    TypingMap → Typing
  20. def getMap: Map[Key, Map[Value, TypingResult[Err, Evidence]]]
    Definition Classes
    TypingMap → Typing
  21. def getOkValues(key: Key): Set[Value]
    Definition Classes
    TypingMap → Typing
  22. def getResult(key: Key, value: Value): Option[TypingResult[Err, Evidence]]
  23. def getValues(key: Key): Map[Value, TypingResult[Err, Evidence]]
    Definition Classes
    TypingMap → Typing
  24. def hasType(key: Key, value: Value): Boolean
    Definition Classes
    Typing
  25. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  26. val m: Map[Key, Map[Value, TypingResult[Err, Evidence]]]
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def negateValues(cond: (Value) ⇒ Boolean, err: Err)(m: Map[Value, TypingResult[Err, Evidence]]): Map[Value, TypingResult[Err, Evidence]]
  29. def negateValuesWith(cond: (Value) ⇒ Boolean, err: Err): Typing[Key, Value, Err, Evidence]
    Definition Classes
    TypingMap → Typing
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  32. def removeValue(key: Key, value: Value): Typing[Key, Value, Err, Evidence]
    Definition Classes
    TypingMap → Typing
  33. def removeValuesWith(cond: (Value) ⇒ Boolean): Typing[Key, Value, Err, Evidence]
    Definition Classes
    TypingMap → Typing
  34. def rmValues(cond: (Value) ⇒ Boolean)(m: Map[Value, TypingResult[Err, Evidence]]): Map[Value, TypingResult[Err, Evidence]]
  35. def simplified: SimpleSeq
    Definition Classes
    Typing
  36. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  37. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Typing[Key, Value, Err, Evidence]

Inherited from AnyRef

Inherited from Any

Ungrouped