Text this: Extending set functors to generalised metric spaces