Safe Haskell	Safe-Inferred
Language	GHC2021

Data.IntMod

Synopsis

modulus :: Num a => a
(+%) :: Int -> Int -> Int
(-%) :: Int -> Int -> Int
(*%) :: Int -> Int -> Int
(/%) :: Int -> Int -> Int
(^%) :: Int -> Int -> Int
newtype IntMod = IntMod {
- getIntMod :: Int
}
intMod :: Integral a => a -> IntMod
intModValidate :: IntMod -> Bool

Documentation

modulus :: Num a => a Source #

(+%) :: Int -> Int -> Int infixl 6 Source #

(-%) :: Int -> Int -> Int infixl 6 Source #

(*%) :: Int -> Int -> Int infixl 7 Source #

(/%) :: Int -> Int -> Int infixl 7 Source #

>>> 1 /% 0
0

(^%) :: Int -> Int -> Int infixr 8 Source #

newtype IntMod Source #

Constructors

IntMod
Fields getIntMod :: Int

Instances

Instances details

Bounded IntMod Source #
Instance details Defined in Data.IntMod Methods minBound :: IntMod # maxBound :: IntMod #
Enum IntMod Source #
Instance details Defined in Data.IntMod Methods succ :: IntMod -> IntMod # pred :: IntMod -> IntMod # toEnum :: Int -> IntMod # fromEnum :: IntMod -> Int # enumFrom :: IntMod -> [IntMod] # enumFromThen :: IntMod -> IntMod -> [IntMod] # enumFromTo :: IntMod -> IntMod -> [IntMod] # enumFromThenTo :: IntMod -> IntMod -> IntMod -> [IntMod] #
Num IntMod Source #
Instance details Defined in Data.IntMod Methods (+) :: IntMod -> IntMod -> IntMod # (-) :: IntMod -> IntMod -> IntMod # (*) :: IntMod -> IntMod -> IntMod # negate :: IntMod -> IntMod # abs :: IntMod -> IntMod # signum :: IntMod -> IntMod # fromInteger :: Integer -> IntMod #
Read IntMod Source #
Instance details Defined in Data.IntMod Methods readsPrec :: Int -> ReadS IntMod # readList :: ReadS [IntMod] # readPrec :: ReadPrec IntMod # readListPrec :: ReadPrec [IntMod] #
Fractional IntMod Source #
Instance details Defined in Data.IntMod Methods (/) :: IntMod -> IntMod -> IntMod # recip :: IntMod -> IntMod # fromRational :: Rational -> IntMod #
Integral IntMod Source #
Instance details Defined in Data.IntMod Methods quot :: IntMod -> IntMod -> IntMod # rem :: IntMod -> IntMod -> IntMod # div :: IntMod -> IntMod -> IntMod # mod :: IntMod -> IntMod -> IntMod # quotRem :: IntMod -> IntMod -> (IntMod, IntMod) # divMod :: IntMod -> IntMod -> (IntMod, IntMod) # toInteger :: IntMod -> Integer #
Real IntMod Source #
Instance details Defined in Data.IntMod Methods toRational :: IntMod -> Rational #
Show IntMod Source #
Instance details Defined in Data.IntMod Methods showsPrec :: Int -> IntMod -> ShowS # show :: IntMod -> String # showList :: [IntMod] -> ShowS #
Eq IntMod Source #
Instance details Defined in Data.IntMod Methods (==) :: IntMod -> IntMod -> Bool # (/=) :: IntMod -> IntMod -> Bool #
Ord IntMod Source #
Instance details Defined in Data.IntMod Methods compare :: IntMod -> IntMod -> Ordering # (<) :: IntMod -> IntMod -> Bool # (<=) :: IntMod -> IntMod -> Bool # (>) :: IntMod -> IntMod -> Bool # (>=) :: IntMod -> IntMod -> Bool # max :: IntMod -> IntMod -> IntMod # min :: IntMod -> IntMod -> IntMod #
Prim IntMod Source #
Instance details Defined in Data.IntMod Methods sizeOf# :: IntMod -> Int# alignment# :: IntMod -> Int# indexByteArray# :: ByteArray# -> Int# -> IntMod readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, IntMod #) writeByteArray# :: MutableByteArray# s -> Int# -> IntMod -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> IntMod -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> IntMod readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, IntMod #) writeOffAddr# :: Addr# -> Int# -> IntMod -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> IntMod -> State# s -> State# s
Unbox IntMod Source #
Instance details Defined in Data.IntMod
Vector Vector IntMod Source #
Instance details Defined in Data.IntMod Methods basicUnsafeFreeze :: Mutable Vector s IntMod -> ST s (Vector IntMod) basicUnsafeThaw :: Vector IntMod -> ST s (Mutable Vector s IntMod) basicLength :: Vector IntMod -> Int basicUnsafeSlice :: Int -> Int -> Vector IntMod -> Vector IntMod basicUnsafeIndexM :: Vector IntMod -> Int -> Box IntMod basicUnsafeCopy :: Mutable Vector s IntMod -> Vector IntMod -> ST s () elemseq :: Vector IntMod -> IntMod -> b -> b
MVector MVector IntMod Source #
Instance details Defined in Data.IntMod Methods basicLength :: MVector s IntMod -> Int basicUnsafeSlice :: Int -> Int -> MVector s IntMod -> MVector s IntMod basicOverlaps :: MVector s IntMod -> MVector s IntMod -> Bool basicUnsafeNew :: Int -> ST s (MVector s IntMod) basicInitialize :: MVector s IntMod -> ST s () basicUnsafeReplicate :: Int -> IntMod -> ST s (MVector s IntMod) basicUnsafeRead :: MVector s IntMod -> Int -> ST s IntMod basicUnsafeWrite :: MVector s IntMod -> Int -> IntMod -> ST s () basicClear :: MVector s IntMod -> ST s () basicSet :: MVector s IntMod -> IntMod -> ST s () basicUnsafeCopy :: MVector s IntMod -> MVector s IntMod -> ST s () basicUnsafeMove :: MVector s IntMod -> MVector s IntMod -> ST s () basicUnsafeGrow :: MVector s IntMod -> Int -> ST s (MVector s IntMod)
newtype Vector IntMod Source #
Instance details Defined in Data.IntMod newtype Vector IntMod = V_IntMod (Vector Int)
newtype MVector s IntMod Source #
Instance details Defined in Data.IntMod newtype MVector s IntMod = MV_IntMod (MVector s Int)

intMod :: Integral a => a -> IntMod Source #

intModValidate :: IntMod -> Bool Source #