Science.Constants.Dimensional.Private

Private Functions

Documentation

(~~) :: Quantity d a -> Unit d a -> Quantity d a

This is a compile-time check function, it ensures that the first argument has the Unit-type of the second argument.