Crypto.Lol.Cyclotomic.Tensor.CTensor

Wrapper for a C implementation of the Tensor interface.

Documentation

data CT m r

An implementation of Tensor backed by C code.

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 = (Storable r, CRNS r)

class CRNS r

Class to dispatch to the C backend for various element types.

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, ZeroTestable a, ZeroTestable b, IntegralDomain a, IntegralDomain b, Random a, Random 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)