Crypto.Lol.Cyclotomic.Tensor.CTensor

The wrapper for a C implementation of the Tensor interface.

Documentation

data CT m r

A wrapper type to seamlessly convert between internal representations This type is an instance of Tensor.

Instances

Tensor CT

Fact m => Functor (CT m)

Fact m => Applicative (CT m)

Fact m => Foldable (CT m)

Fact m => Traversable (CT m)

Eq r => Eq (CT m r)

Show r => Show (CT m r)

(Storable r, Random (CT' m r)) => Random (CT m r)

(Storable r, Arbitrary (CT' m r)) => Arbitrary (CT m r)

NFData r => NFData (CT m r)

(Fact m, Ring r, Storable r, CRNS r) => C (CT m r)

(ZeroTestable r, Storable r, Fact m) => C (CT m r)

(Additive r, Storable r, CRNS r, Fact m) => C (CT m r)

type TElt CT r = (IntegralDomain r, ZeroTestable r, Eq r, Random r, NFData r, Storable r, CRNS r)

class CRNS r

Class to dispatch tuples to the C backend. In a different life, the library used product-ring representation at the Cyclotomic level, so FastCyc called Tensor-level functions on each component of the product ring. This class emulates that behavior because making C handle arbitrary product rings seems difficult.

Minimal complete definition

zipWrapper, crtWrapper, lgWrapper, divGWrapper, gaussWrapper

Instances

CRNS Double

CRNS Int64

(TElt CT (Complex a), Dispatch (Complex a)) => CRNS (Complex a)

(Storable a, Storable b, CRNS a, CRNS b, CRTrans a, CRTrans b) => CRNS (a, b)

(TElt CT (ZqBasic k q i), Dispatch (ZqBasic k q i)) => CRNS (ZqBasic k q i)

class Dispatch r

Class to safely match Haskell types with the appropriate C function.

Minimal complete definition

dcrt, dcrtinv, dl, dlinv, dmulgpow, dmulgdec, dginvpow, dginvdec, dadd, dmul, dgcrt, dginvcrt, dgaussdec

Instances

Dispatch Double

Dispatch Int64

Dispatch (Complex Double)

Reflects k q Int64 => Dispatch (ZqBasic k q Int64)