Crypto.Lol.Types.Unsafe.RRq

An implementation of the additive quotient group \(\R/(q\Z)\). This module is "unsafe" because it exports the RRq constructor. This module should only be used to make tensor-specific instances for RRq. The safe way to use this type is to import Crypto.Lol.Types.

Documentation

newtype RRq q r

The ring \(\R/(q\Z)\) of reals modulo q, using underlying floating type r.

Constructors

RRq' r

Instances

(Reflects k q r, RealField r, Additive (RRq k q r)) => Reduce r (RRq k q r)

Methods

reduce :: r -> RRq k q r

(Protoable (IZipVector m (RRq k q Double)), (~) * (ProtoType (IZipVector m (RRq k q Double))) KqProduct, Protoable (IZipVector m b), (~) * (ProtoType (IZipVector m b)) KqProduct) => Protoable (IZipVector m (RRq k q Double, b))

Associated Types

type ProtoType (IZipVector m (RRq k q Double, b)) :: *

Methods

toProto :: IZipVector m (RRq k q Double, b) -> ProtoType (IZipVector m (RRq k q Double, b))

fromProto :: MonadError String m => ProtoType (IZipVector m (RRq k q Double, b)) -> m (IZipVector m (RRq k q Double, b))

(Fact m, Reflects k q Double) => Protoable (IZipVector m (RRq k q Double))

Associated Types

type ProtoType (IZipVector m (RRq k q Double)) :: *

Methods

toProto :: IZipVector m (RRq k q Double) -> ProtoType (IZipVector m (RRq k q Double))

fromProto :: MonadError String m => ProtoType (IZipVector m (RRq k q Double)) -> m (IZipVector m (RRq k q Double))

Eq r => Eq (RRq k q r)

Methods

(==) :: RRq k q r -> RRq k q r -> Bool

(/=) :: RRq k q r -> RRq k q r -> Bool

Ord r => Ord (RRq k q r)

Methods

compare :: RRq k q r -> RRq k q r -> Ordering

(<) :: RRq k q r -> RRq k q r -> Bool

(<=) :: RRq k q r -> RRq k q r -> Bool

(>) :: RRq k q r -> RRq k q r -> Bool

(>=) :: RRq k q r -> RRq k q r -> Bool

max :: RRq k q r -> RRq k q r -> RRq k q r

min :: RRq k q r -> RRq k q r -> RRq k q r

Show r => Show (RRq k q r)

Methods

showsPrec :: Int -> RRq k q r -> ShowS

show :: RRq k q r -> String

showList :: [RRq k q r] -> ShowS

NFData r => NFData (RRq k q r)

Methods

rnf :: RRq k q r -> ()

C r => C (RRq k q r)

Methods

isZero :: RRq k q r -> Bool

(Reflects k q r, RealField r, Ord r) => C (RRq k q r)

Methods

zero :: RRq k q r

(+) :: RRq k q r -> RRq k q r -> RRq k q r

(-) :: RRq k q r -> RRq k q r -> RRq k q r

negate :: RRq k q r -> RRq k q r

(Reflects k q r, Reduce r (RRq k q r), Ord r, Ring r) => Lift' (RRq k q r)

Methods

lift :: RRq k q r -> LiftOf (RRq k q r)

(ToInteger i, RealField r, Reflects k q i, Reflects k q r) => Subgroup (ZqBasic k q i) (RRq k q r)

Methods

fromSubgroup :: ZqBasic k q i -> RRq k q r

type ProtoType (IZipVector m (RRq k q Double, b))

type ProtoType (IZipVector m (RRq k q Double, b)) = KqProduct

type ProtoType (IZipVector m (RRq k q Double))

type ProtoType (IZipVector m (RRq k q Double)) = KqProduct

type LiftOf (RRq k q r)

type LiftOf (RRq k q r) = r