IRTS.Java.JTypes
charType
byteType
shortType
integerType
longType
doubleType
array
addressType
objectType
bigIntegerType
stringType
bufferType
threadType
callableType
voidType
box
isFloating
isPrimitive
isArray
isString
idrisClosureType
idrisTailCallClosureType
idrisObjectType
foreignWrapperType
primFnType
arraysType
mathType
exceptionType
runtimeExceptionType
nativeTyToJType
intTyToJType
arithTyToJType
localContextID
localContext
globalContextID
globalContext
newContextID
newContext
contextArray
contextParam
constType
foreignType
opName
sourceTypes
endiannessConstant
endiannessArguments