Any package out there defining a function type with inner product? In functional data analysis we often define the inner product between two functions as

\langle f, g \rangle = \int_a^b f(t)\bar{g(t)} dt

More formally, this defines the Hilbert space of functions in the interval [a,b].