logo
class

compiler::FuncType

sys::Obj
  compiler::GenericType
    compiler::FuncType

FuncType models a parameterized Func type.

Slots

doParameterize

virtual CType doParameterize(Int ch)

fits

virtual Bool fits(CType t)

isGenericParameter

virtual Bool isGenericParameter { virtual private set }

make

new make(CType[] params, Str[] names, CType ret)

names

Str[] names { private set }

params

CType[] params { private set }

ret

CType ret { private set }

signature

virtual Str signature { virtual private set }

toParamDefs

ParamDef[] toParamDefs(Location loc)