-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A fast C++ backend for <https://hackage.haskell.org/package/lol lol>.
--   
--   Λ ⚬ λ (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.2.0.0


-- | Wrapper for a C++ implementation of <tt>Tensor</tt> interfaces.
module Crypto.Lol.Cyclotomic.Tensor.CPP

-- | An implementation of <tt>Tensor</tt> backend by C++ code.
data CT (m :: Factored) r
instance Control.DeepSeq.NFData (Crypto.Lol.Cyclotomic.Tensor.CPP.CT' m r)
instance (Foreign.Storable.Storable r, GHC.Classes.Eq r) => GHC.Classes.Eq (Crypto.Lol.Cyclotomic.Tensor.CPP.CT' m r)
instance (GHC.Show.Show r, Foreign.Storable.Storable 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.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, Crypto.Lol.Types.Numeric.Ring r, Foreign.Storable.Storable r) => Algebra.Ring.C (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r)
instance (Crypto.Lol.FactoredDefs.Fact m, Crypto.Lol.Types.Numeric.Ring r, Foreign.Storable.Storable r) => Algebra.Module.C r (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r)
instance (Crypto.Lol.Utils.Tests.ApproxEqual r, Foreign.Storable.Storable r) => Crypto.Lol.Utils.Tests.ApproxEqual (Crypto.Lol.Cyclotomic.Tensor.CPP.CT m r)
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.TensorGaussian Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Types.Double
instance (Crypto.Lol.Reflects.Reflects q GHC.Int.Int64, Crypto.Lol.FactoredDefs.Prime q, Crypto.Lol.Types.FiniteField.IrreduciblePoly (Crypto.Lol.Types.Unsafe.ZqBasic.ZqBasic q GHC.Int.Int64)) => Crypto.Lol.Cyclotomic.Tensor.TensorCRTSet Crypto.Lol.Cyclotomic.Tensor.CPP.CT (Crypto.Lol.Types.Unsafe.ZqBasic.ZqBasic q GHC.Int.Int64)
instance Crypto.Lol.Types.IFunctor.IFunctor Crypto.Lol.Cyclotomic.Tensor.CPP.CT
instance forall k (q :: k). Crypto.Lol.Reflects.Reflects q GHC.Int.Int64 => Crypto.Lol.Cyclotomic.Tensor.TensorPowDec Crypto.Lol.Cyclotomic.Tensor.CPP.CT (Crypto.Lol.Types.Unsafe.ZqBasic.ZqBasic q GHC.Int.Int64)
instance forall k (q :: k). Crypto.Lol.Reflects.Reflects q GHC.Int.Int64 => Crypto.Lol.Cyclotomic.Tensor.TensorG Crypto.Lol.Cyclotomic.Tensor.CPP.CT (Crypto.Lol.Types.Unsafe.ZqBasic.ZqBasic q GHC.Int.Int64)
instance forall k (q :: k). Crypto.Lol.Reflects.Reflects q GHC.Int.Int64 => Crypto.Lol.Cyclotomic.Tensor.TensorCRT Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Maybe.Maybe (Crypto.Lol.Types.Unsafe.ZqBasic.ZqBasic q GHC.Int.Int64)
instance Crypto.Lol.Cyclotomic.Tensor.TensorPowDec Crypto.Lol.Cyclotomic.Tensor.CPP.CT (Crypto.Lol.Types.Unsafe.Complex.Complex GHC.Types.Double)
instance Crypto.Lol.Cyclotomic.Tensor.TensorG Crypto.Lol.Cyclotomic.Tensor.CPP.CT (Crypto.Lol.Types.Unsafe.Complex.Complex GHC.Types.Double)
instance Crypto.Lol.Cyclotomic.Tensor.TensorCRT Crypto.Lol.Cyclotomic.Tensor.CPP.CT Data.Functor.Identity.Identity (Crypto.Lol.Types.Unsafe.Complex.Complex GHC.Types.Double)
instance Crypto.Lol.Cyclotomic.Tensor.TensorCRT Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Maybe.Maybe (Crypto.Lol.Types.Unsafe.Complex.Complex GHC.Types.Double)
instance Crypto.Lol.Cyclotomic.Tensor.TensorPowDec Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Types.Double
instance Crypto.Lol.Cyclotomic.Tensor.TensorG Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Types.Double
instance Crypto.Lol.Cyclotomic.Tensor.TensorCRT Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Maybe.Maybe GHC.Types.Double
instance Crypto.Lol.Cyclotomic.Tensor.TensorGSqNorm Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Types.Double
instance Crypto.Lol.Cyclotomic.Tensor.TensorPowDec Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Int.Int64
instance Crypto.Lol.Cyclotomic.Tensor.TensorG Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Int.Int64
instance Crypto.Lol.Cyclotomic.Tensor.TensorCRT Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Maybe.Maybe GHC.Int.Int64
instance Crypto.Lol.Cyclotomic.Tensor.TensorGSqNorm Crypto.Lol.Cyclotomic.Tensor.CPP.CT GHC.Int.Int64
instance forall k (q :: k). (Crypto.Lol.Reflects.Reflects q GHC.Int.Int64, Crypto.Lol.Reflects.Reflects q GHC.Types.Double) => Crypto.Lol.Cyclotomic.Tensor.TensorPowDec Crypto.Lol.Cyclotomic.Tensor.CPP.CT (Crypto.Lol.Types.Unsafe.RRq.RRq q GHC.Types.Double)
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 Control.DeepSeq.NFData r => Control.DeepSeq.NFData (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 (Foreign.Storable.Storable r, System.Random.Random r, Crypto.Lol.FactoredDefs.Fact m) => System.Random.Random (Crypto.Lol.Cyclotomic.Tensor.CPP.CT' m r)