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