purity question

[Brad Roberts via Digitalmars-d-learn]

Is there a mechanism for declaring something pure when it's built from 
parts which individually aren't?

string foo(string s)
{
     // do something arbitrarily complex with s that doesn't touch 
globals or change global state except possibly state of the heap or gc
     return s;
}