f

Render a floating point number using normal notation, with the given number of decimal places.
Format a Double using decimal notation with 6 digits of precision
>>> format f 25.1
"25.100000"
Uninterpreted function in the theorem
An uninterpreted function
Declare an uninterpreted function that works over Q's
Calculate the frequency of a note, with A corresponding to 220 Hz.
The Church-encoded free monad for a functor f. It is asymptotically more efficient to use (>>=) for F than it is to (>>=) with Free. https://ekmett.github.io/reader/2011/free-monads-for-less-2/
The "free monad" for a functor f.
Arrays represented as foreign buffers in the C heap.
Generic type F. Can be used to test polymorphic functions with five type variables. This type is homomorphic to A, B, C, D, E and Nat6.