logo
class

compiler::MapType

sys::Obj
  compiler::GenericType
    compiler::MapType

MapType models a parameterized Map type.

Slots

doParameterize

virtual CType doParameterize(Int ch)

fits

virtual Bool fits(CType t)

isGenericParameter

virtual Bool isGenericParameter()

k

CType k { private set }

make

new make(CType k, CType v)

signature

virtual Str signature { virtual private set }

v

CType v { private set }