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