How to remove leading or trailing spaces

eg. to remove leading space from date/time string :- f$edit(f$extract(0,11,f$time()),"trim") eg. generally f$edit( string, "trim")