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)

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

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

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

(Fact m, Reflects k q Int64) => Protoable (CT m (ZqBasic k q Int64))

(GFCtx k fp d, Fact m, Additive (CT m fp)) => C (GF k fp d) (CT m fp)

type TElt CT r

type ProtoType (CT m (RRq k q Double)) = Kq

type ProtoType (CT m (ZqBasic k q Int64)) = Rq