functional php library