Crypto.Lol.Cyclotomic.Tensor.RepaTensor

A pure, repa-based implementation of the Tensor interface.

Documentation

data RT m r

An implementation of Tensor backed by repa.

Instances

Tensor RT

Fact m => Functor (RT m)

Fact m => Applicative (RT m)

Fact m => Foldable (RT m)

Fact m => Traversable (RT m)

Eq r => Eq (RT m r)

Show r => Show (RT m r)

(Unbox r, Random (Arr m r)) => Random (RT m r)

(Unbox r, Arbitrary (Arr m r)) => Arbitrary (RT m r)

NFData r => NFData (RT m r)

(ZeroTestable (Arr m r), ZeroTestable (IZipVector m r)) => C (RT m r)

(Unbox r, Additive (Arr m r)) => C (RT m r)

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

type TElt RT r = (Unbox r, Elt r)