Phunctional tools for php