Modulo-0.2.0.1: Modular arithmetic via Numeric-Prelude
Number.Modulo
Synopsis
newtype Mod a Source
Constructors
Instances
sq :: C a => a -> a -> aSource
pow :: (Num a1, C a1, C a) => (t -> a -> a) -> (t -> t) -> t -> a1 -> aSource
modulo :: Mod t -> t -> tSource
Calculate x modulo n
(===) :: Eq a => t -> t -> (t -> a) -> BoolSource
n :: Mod IntegerSource
Examples
ex1 :: IntegerSource
ex2 :: BoolSource