DictionaryInvariant

final class DictionaryInvariant(name: String, val keyTypeRef: TypeRef, val valueTypeRef: TypeRef, val entries: Map[Simple, TypeInvariant]) extends TypeInvariant
Value parameters:
typeRef

the values type

Companion:
object
class Object
trait Matchable
class Any

Value members

Concrete methods

override def equals(that: Any): Boolean
Definition Classes
TypeMember -> Any
override def hashCode: Int
Definition Classes
TypeMember -> Any
override def toString: String
Definition Classes
TypeMember -> Any

Concrete fields

val entries: Map[Simple, TypeInvariant]

Inherited fields

Inherited from:
TypeMember