summaryrefslogtreecommitdiff
path: root/tests/examples/pre-ghc86/TensorTests.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examples/pre-ghc86/TensorTests.hs')
-rw-r--r--tests/examples/pre-ghc86/TensorTests.hs43
1 files changed, 43 insertions, 0 deletions
diff --git a/tests/examples/pre-ghc86/TensorTests.hs b/tests/examples/pre-ghc86/TensorTests.hs
new file mode 100644
index 0000000..497b839
--- /dev/null
+++ b/tests/examples/pre-ghc86/TensorTests.hs
@@ -0,0 +1,43 @@
+{-# LANGUAGE ConstraintKinds, FlexibleContexts, DataKinds, NoImplicitPrelude,
+ RebindableSyntax, ScopedTypeVariables, TypeFamilies, TypeOperators,
+ UndecidableInstances #-}
+
+module TensorTests (tensorTests) where
+
+import Apply.Cyc
+import Tests
+import Utils
+
+import TestTypes
+
+import Crypto.Lol
+import Crypto.Lol.CRTrans
+import Crypto.Lol.Cyclotomic.Tensor
+import Crypto.Lol.Types
+
+import Control.Applicative
+
+import Data.Maybe
+
+import Data.Singletons
+import Data.Promotion.Prelude.Eq
+import Data.Singletons.TypeRepStar ()
+
+import qualified Test.Framework as TF
+
+type TMRParams = ( '( , ,) <$> Tensors <*> Tensors) <*> MRCombos
+
+type TMRParams = ( '(,) <$> Tensors) <*> MRCombos
+tmrParams :: Proxy TMRParams
+tmrParams = Proxy
+
+--type ExtParams = ( '(,) <$> Tensors) <*> MRExtCombos
+type TrEmParams = ( '(,) <$> Tensors) <*> MM'RCombos
+tremParams :: Proxy TrEmParams
+tremParams = Proxy
+
+type NormParams = ( '(,) <$> '[RT]) <*> (Filter Liftable MRCombos)
+
+data Liftable :: TyFun (Factored, *) Bool -> *
+type instance Apply Liftable '(m,zq) = Int64 :== (LiftOf zq)
+