Interpolation of compactness using Aronszajn-Gagliardo functors