Number.ResidueClass.Func

Documentation

newtype T a

Here a residue class is a representative and the modulus is an argument. You cannot show a value of type T, you can only show it with respect to a concrete modulus. Values cannot be compared, because the comparison result depends on the modulus.

Constructors

Cons (a -> a)

Instances

Eq (T a)

Defined in Number.ResidueClass.Func

Methods

(==) :: T a -> T a -> Bool

(/=) :: T a -> T a -> Bool

Integral a => Num (T a)

Defined in Number.ResidueClass.Func

Methods

(+) :: T a -> T a -> T a

(-) :: T a -> T a -> T a

(*) :: T a -> T a -> T a

negate :: T a -> T a

abs :: T a -> T a

signum :: T a -> T a

fromInteger :: Integer -> T a

Show (T a)

Defined in Number.ResidueClass.Func

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

C a => C (T a)

Defined in Number.ResidueClass.Func

Methods

zero :: T a

(+) :: T a -> T a -> T a

(-) :: T a -> T a -> T a

negate :: T a -> T a

C a => C (T a)

Defined in Number.ResidueClass.Func

Methods

(*) :: T a -> T a -> T a

one :: T a

fromInteger :: Integer -> T a

(^) :: T a -> Integer -> T a

C a => C (T a)

Defined in Number.ResidueClass.Func

Methods

(/) :: T a -> T a -> T a

recip :: T a -> T a

fromRational' :: Rational -> T a

(^-) :: T a -> Integer -> T a

concrete :: a -> T a -> a

fromRepresentative :: C a => a -> T a

lift0 :: (a -> a) -> T a

lift1 :: (a -> a -> a) -> T a -> T a

lift2 :: (a -> a -> a -> a) -> T a -> T a -> T a

zero :: C a => T a

one :: C a => T a

fromInteger :: C a => Integer -> T a

equal :: Eq a => a -> T a -> T a -> Bool

notImplemented :: String -> a

lift98_1 :: (T a -> T a -> T a) -> T a -> T a

lift98_2 :: (T a -> T a -> T a -> T a) -> T a -> T a -> T a