-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | A fast C++ backend for . -- -- Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice -- cryptography. This package provides a C++ implementation of Lol's -- Tensor interface. @package lol-cpp @version 0.0.0.2 -- | Wrapper for a C++ implementation of the Tensor interface. module Crypto.Lol.Cyclotomic.Tensor.CPP -- | An implementation of Tensor backed by C++ code. data CT (m :: Factored) r instance Control.DeepSeq.NFData (Crypto.Lol.Cyclotomic.Tensor.CPP.CT' m r) instance (GHC.Classes.Eq r, Foreign.Storable.Storable r) => GHC.Classes.Eq (Crypto.Lol.Cyclotomic.Tensor.CPP.CT' m r) instance (Foreign.Storable.Storable r, GHC.Show.Show r) => GHC.Show.Show (Crypto.Lol.Cyclotomic.Tensor.CPP.CT' m r) instance GHC.Show.Show r => GHC.Show.Show (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r) instance GHC.Show.Show (Crypto.Lol.Utils.ShowType.ArgType Crypto.Lol.Cyclotomic.Tensor.CPP.CT) instance GHC.Classes.Eq r => GHC.Classes.Eq (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r) instance (Crypto.Lol.Types.Proto.Protoable (Crypto.Lol.Types.IZipVector.IZipVector m r), Crypto.Lol.FactoredDefs.Fact m, Foreign.Storable.Storable r) => Crypto.Lol.Types.Proto.Protoable (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r) instance (Crypto.Lol.Types.Numeric.Additive r, Foreign.Storable.Storable r, Crypto.Lol.FactoredDefs.Fact m) => Algebra.Additive.C (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r) instance (Crypto.Lol.Types.Numeric.ZeroTestable r, Foreign.Storable.Storable r) => Algebra.ZeroTestable.C (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r) instance forall k fp (d :: k) (m :: Crypto.Lol.FactoredDefs.Factored). (Crypto.Lol.Types.FiniteField.GFCtx fp d, Crypto.Lol.FactoredDefs.Fact m, Crypto.Lol.Types.Numeric.Additive (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m fp)) => Algebra.Module.C (Crypto.Lol.Types.FiniteField.GF fp d) (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m fp) instance Crypto.Lol.FactoredDefs.Fact m => GHC.Base.Functor (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m) instance Crypto.Lol.FactoredDefs.Fact m => GHC.Base.Applicative (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m) instance Crypto.Lol.FactoredDefs.Fact m => Data.Foldable.Foldable (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m) instance Crypto.Lol.FactoredDefs.Fact m => Data.Traversable.Traversable (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m) instance Crypto.Lol.Cyclotomic.Tensor.Tensor Crypto.Lol.Cyclotomic.Tensor.CPP.CT instance (Foreign.Storable.Storable r, System.Random.Random r, Crypto.Lol.FactoredDefs.Fact m) => System.Random.Random (Crypto.Lol.Cyclotomic.Tensor.CPP.CT' m r) instance (Foreign.Storable.Storable r, System.Random.Random (Crypto.Lol.Cyclotomic.Tensor.CPP.CT' m r)) => System.Random.Random (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r) instance Control.DeepSeq.NFData r => Control.DeepSeq.NFData (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r)