Number.Modulo

Documentation

newtype Mod a

Constructors

Mod (a -> a)

Instances

(C a, C a, C a) => Num (Mod a)

(Show a, Bounded a) => Show (Mod a)

(C a, C a, C a, Eq a, C a) => C (Mod a)

(C a, C a, C a) => C (Mod a)

(C a, C a, Eq a) => C (Mod a)

(C a, C a) => C (Mod a)

(C a, C a) => C (Mod a)

sq :: C a => a -> a -> a

pow :: (Num a1, C a1, C a) => (t -> a -> a) -> (t -> t) -> t -> a1 -> a

modulo :: Mod t -> t -> t

Calculate x modulo n

(===) :: Eq a => t -> t -> (t -> a) -> Bool

n :: Mod Integer

Examples

ex1 :: Integer

ex2 :: Bool