Remove `TokenQuantity.unsafeSubtract`.
This function is now unused.
This function is now unused.
, isNonZero
, isZero
-- * Unsafe operations
, unsafeSubtract
) where
import Prelude hiding
isZero :: TokenQuantity -> Bool
isZero = (== zero)
--------------------------------------------------------------------------------
-- Unsafe operations
--------------------------------------------------------------------------------
-- | Subtracts the second token quantity from the first.
--
-- Pre-condition: the first quantity is not less than the second quantity.
--
-- Throws a run-time exception if the pre-condition is violated.
--
unsafeSubtract :: TokenQuantity -> TokenQuantity -> TokenQuantity
unsafeSubtract (TokenQuantity x) (TokenQuantity y) = TokenQuantity $ x - y
So far only `x86_64-linux` works, I’ll fix an `aarch64-linux` version shortly