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)

(Fact m, Ring r, Unbox r, Elt r) => C (RT m r)

(Fact m, ZeroTestable r, Unbox r, Elt r) => C (RT m r)

(Fact m, Additive r, Unbox r, Elt r) => C (RT m r)

type TElt RT r = (IntegralDomain r, ZeroTestable r, Eq r, Random r, NFData r, Unbox r, Elt r)