Number.ResidueClass

Documentation

add :: C a => a -> a -> a -> a

sub :: C a => a -> a -> a -> a

neg :: C a => a -> a -> a

mul :: C a => a -> a -> a -> a

divideMaybe :: C a => a -> a -> a -> Maybe a

The division may be ambiguous. In this case an arbitrary quotient is returned.

0:4 * 2:4 == 0/:4
2:4 * 2:4 == 0/:4

divide :: C a => a -> a -> a -> a

recip :: C a => a -> a -> a