@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(
SetTypeDescriptor.mostGeneralType(), SetTypeDescriptor.mostGeneralType()),
SetTypeDescriptor.mostGeneralType());
}
@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(
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(InstanceMetaDescriptor.topMeta(), InstanceMetaDescriptor.topMeta()),
InstanceMetaDescriptor.topMeta());
}
@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(LiteralTokenTypeDescriptor.mostGeneralType()),
LITERAL_NODE.mostGeneralType());
}
@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(ANY.o()),
TupleTypeDescriptor.oneOrMoreOf(IntegerRangeTypeDescriptor.bytes()));
}