@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(
ATOM.o(),
MapTypeDescriptor.mapTypeForSizesKeyTypeValueType(
IntegerRangeTypeDescriptor.inclusive(
IntegerDescriptor.zero(), IntegerDescriptor.fromInt(socketOptions.length - 1)),
IntegerRangeTypeDescriptor.inclusive(
IntegerDescriptor.one(), IntegerDescriptor.fromInt(socketOptions.length - 1)),
ANY.o())),
TOP.o());
}
@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(
MapTypeDescriptor.mapTypeForSizesKeyTypeValueType(
IntegerRangeTypeDescriptor.wholeNumbers(),
ATOM.o(),
InstanceMetaDescriptor.anyMeta())),
ObjectTypeDescriptor.meta());
}
@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(MESSAGE_BUNDLE.o()), IntegerRangeTypeDescriptor.wholeNumbers());
}
@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(ANY.o()),
TupleTypeDescriptor.oneOrMoreOf(IntegerRangeTypeDescriptor.bytes()));
}