1{-# LANGUAGE ConstraintKinds, FlexibleContexts, DataKinds,
2  NoImplicitPrelude, RebindableSyntax, ScopedTypeVariables,
3  TypeFamilies, TypeOperators, UndecidableInstances #-}
4module TensorTests (tensorTests) where
5
6type TMRParams = ('(,) <$> Tensors) <*> MRCombos
7
8tmrParams :: Proxy TMRParams
9tmrParams = Proxy
10
11type TrEmParams = ('(,) <$> Tensors) <*> MM'RCombos
12
13tremParams :: Proxy TrEmParams
14tremParams = Proxy
15
16type NormParams = ('(,) <$> '[RT]) <*> (Filter Liftable MRCombos)
17
18type instance Apply Liftable '(m, zq) = Int64 :== (LiftOf zq)
19