f -package:leancheck

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.