safe-tensor-0.2.1.0: Dependently typed tensor algebra
Copyright (c) Nils Alex 2020 MIT nils.alex@fau.de None Haskell2010

Math.Tensor.Safe

Description

Dependently typed implementation of the Einstein tensor calculus, primarily used in mathematical physics. For usage examples, see https://github.com/nilsalex/safe-tensor/#readme.

Synopsis

# Tensor calculus

Given a field $$K$$ and a $$K$$-vector space $$V$$ of dimension $$n$$, a tensor $$T$$ of rank $$(r,s)$$ is a multilinear map from $$r$$ copies of the dual vector space $$V^\ast$$ and $$s$$ copies of $$V$$ to $$K$$,

$T \colon \underbrace{V^\ast \times \dots \times V^\ast}_{r\text{ times}} \times \underbrace{V \times \dots \times V}_{s\text{ times}} \rightarrow K.$

The components $$T^{a_1\dots a_r}_{\hphantom{a_1\dots a_r}b_1\dots b_s} \in K$$ with respect to a basis $$(e_i)_{i=1\dots n}$$ of $$V$$ and a corresponding dual basis $$(\epsilon^i)_{i=1\dots n}$$ of $$V^\ast$$ are the $$n^{r+s}$$ numbers

$T^{a_1\dots a_r}_{\hphantom{a_1\dots a_r}b_1\dots b_s} = T(\epsilon^{a_1},\dots,\epsilon^{a_r},e_{b_1},\dots,e_{b_s}).$

The upper indices $$a_i$$ are called contravariant and the lower indices $$b_i$$ are called covariant, reflecting their behaviour under a change of basis. From the components and the basis, the tensor can be reconstructed as

$T = T^{a_1\dots a_r}_{\hphantom{a_1\dots a_3}b_1\dots b_s} \cdot e_{a_1} \otimes \dots \otimes e_{a_r} \otimes \epsilon^{b_1} \otimes \dots \otimes \epsilon^{b_s}$

using the Einstein summation convention and the tensor product.

The representation of tensors using their components with respect to a fixed but arbitrary basis forms the foundation of this tensor calculus. An example is the sum of a $$(2,0)$$ tensor $$T$$ and the transposition of a $$(2,0)$$ tensor $$S$$, which using the calculus can be written as

$\lbrack T + \operatorname{transpose}(S)\rbrack^{a b} = T^{a b} + S^{b a}.$

The generalized rank of the tensor $$T^{a b}$$ in the above example is the set of contravariant indices $$\{a, b\}$$. The indices must be distinct. The generalized rank of a tensor with both contravariant and covariant indices (e.g. $$T^{ac}_{\hphantom{ac}rbl}$$) is the set of contravariant and the set of covariant indices (e.g. $$(\{a,c\}, \{b,l,r\})$$). Note that both sets need not be distinct, as they label completely different entities (basis vectors vs. dual basis vectors). Overlapping indices can be removed by performing a contraction, see also contract.

Tensors with generalized rank can be understood as a graded algebra where only tensors of the same generalized rank can be added together and the tensor product of two tensors yields a tensor with new generalized rank. Importantly, this product is only possible if both the contravariant indices and the covariant indices of the factors do not overlap. As an example, the generalized rank of the tensor product $$T^{ap}_{\hphantom{ap}fc} S^{eg}_{\hphantom{eg}p}$$ would be $$(\{a,e,g,p\},\{c,f,p\})$$.

We take this abstraction one step further and consider tensors that are multilinear maps over potentially different vector spaces and duals thereof. The generalized rank now consists of the contra- and covariant index sets for each distinct vector space. Upon multiplication of tensors, only the indices for each vector space must be distinct and contraction only removes overlapping indices among the same vector space.

Practical examples of configurations with multiple vector spaces are situations where both the tangent space to spacetime, $$V = T_pM$$, and symmetric tensors $$S^2(V) \subset V\otimes V$$, which form a proper subset of $$V\otimes V$$, are considered simultaneously. See also Math.Tensor.Basic.Sym2.

# Generalized rank

The tensor calculus described above is now implemented in Haskell. Using Template Haskell provided by the singletons library, this code is lifted to the type level and singletons are generated.

A vector space is parameterised by a label a and a dimension b.

data VSpace a b Source #

Constructors

 VSpace FieldsvId :: a vDim :: b

#### Instances

Instances details
 NFData a => NFData1 (VSpace a) Source # Instance detailsDefined in Math.Tensor.Safe.TH MethodsliftRnf :: (a0 -> ()) -> VSpace a a0 -> () # Generic1 (VSpace a :: Type -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Associated Typestype Rep1 (VSpace a) :: k -> Type # Methodsfrom1 :: forall (a0 :: k). VSpace a a0 -> Rep1 (VSpace a) a0 #to1 :: forall (a0 :: k). Rep1 (VSpace a) a0 -> VSpace a a0 # (Eq a, Eq b) => Eq (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods(==) :: VSpace a b -> VSpace a b -> Bool #(/=) :: VSpace a b -> VSpace a b -> Bool # (Ord a, Ord b) => Ord (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodscompare :: VSpace a b -> VSpace a b -> Ordering #(<) :: VSpace a b -> VSpace a b -> Bool #(<=) :: VSpace a b -> VSpace a b -> Bool #(>) :: VSpace a b -> VSpace a b -> Bool #(>=) :: VSpace a b -> VSpace a b -> Bool #max :: VSpace a b -> VSpace a b -> VSpace a b #min :: VSpace a b -> VSpace a b -> VSpace a b # (Show a, Show b) => Show (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH MethodsshowsPrec :: Int -> VSpace a b -> ShowS #show :: VSpace a b -> String #showList :: [VSpace a b] -> ShowS # Generic (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Associated Typestype Rep (VSpace a b) :: Type -> Type # Methodsfrom :: VSpace a b -> Rep (VSpace a b) x #to :: Rep (VSpace a b) x -> VSpace a b # (NFData a, NFData b) => NFData (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodsrnf :: VSpace a b -> () # PShow (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Associated Typestype ShowsPrec arg arg1 arg2 :: Symbol #type Show_ arg :: Symbol #type ShowList arg arg1 :: Symbol # (SShow a, SShow b) => SShow (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH MethodssShowsPrec :: forall (t1 :: Nat) (t2 :: VSpace a b) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) #sShow_ :: forall (t :: VSpace a b). Sing t -> Sing (Apply Show_Sym0 t) #sShowList :: forall (t1 :: [VSpace a b]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) # POrd (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Associated Typestype Compare arg arg1 :: Ordering #type arg < arg1 :: Bool #type arg <= arg1 :: Bool #type arg > arg1 :: Bool #type arg >= arg1 :: Bool #type Max arg arg1 :: a #type Min arg arg1 :: a # (SOrd a, SOrd b) => SOrd (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH MethodssCompare :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) #(%<) :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) #(%<=) :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) #(%>) :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) #(%>=) :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) #sMax :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) #sMin :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # (SEq a, SEq b) => SEq (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods(%==) :: forall (a0 :: VSpace a b) (b0 :: VSpace a b). Sing a0 -> Sing b0 -> Sing (a0 == b0) #(%/=) :: forall (a0 :: VSpace a b) (b0 :: VSpace a b). Sing a0 -> Sing b0 -> Sing (a0 /= b0) # PEq (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Associated Typestype x == y :: Bool #type x /= y :: Bool # (SDecide a, SDecide b) => SDecide (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods(%~) :: forall (a0 :: VSpace a b) (b0 :: VSpace a b). Sing a0 -> Sing b0 -> Decision (a0 :~: b0) # (SingKind a, SingKind b) => SingKind (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Associated Typestype Demote (VSpace a b) = (r :: Type) # MethodsfromSing :: forall (a0 :: VSpace a b). Sing a0 -> Demote (VSpace a b) #toSing :: Demote (VSpace a b) -> SomeSing (VSpace a b) # Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (DeltaRankSym1 a6989586621679574034 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjSym2ConRankSym1 a6989586621679573955 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjSym2CovRankSym1 a6989586621679573932 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjSym2ConRankSym1 a6989586621679573916 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjSym2CovRankSym1 a6989586621679573890 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (EpsilonRankSym1 a6989586621679574013 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (EpsilonInvRankSym1 a6989586621679573993 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaConRankSym1 a6989586621679573855 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaCovRankSym1 a6989586621679573829 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaConRankSym1 a6989586621679573803 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaCovRankSym1 a6989586621679573777 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SingI d => SingI (DeltaRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SingI d => SingI (InjSym2ConRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SingI d => SingI (InjSym2CovRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SingI d => SingI (SurjSym2ConRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SingI d => SingI (SurjSym2CovRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods (SDecide a, SDecide b) => TestCoercion (SVSpace :: VSpace a b -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH MethodstestCoercion :: forall (a0 :: k) (b0 :: k). SVSpace a0 -> SVSpace b0 -> Maybe (Coercion a0 b0) # (SDecide a, SDecide b) => TestEquality (SVSpace :: VSpace a b -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH MethodstestEquality :: forall (a0 :: k) (b0 :: k). SVSpace a0 -> SVSpace b0 -> Maybe (a0 :~: b0) # SuppressUnusedWarnings (ContractRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (MergeRSym0 :: TyFun [(VSpace s n, IList s)] ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (TailRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (HeadRSym0 :: TyFun [(VSpace s n, IList s)] (VSpace s n, Ix s) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (SaneSym0 :: TyFun [(VSpace a b, IList a)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (DeltaRankSym2 a6989586621679574034 a6989586621679574035 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjSym2ConRankSym2 a6989586621679573955 a6989586621679573956 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjSym2CovRankSym2 a6989586621679573932 a6989586621679573933 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjSym2ConRankSym2 a6989586621679573916 a6989586621679573917 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjSym2CovRankSym2 a6989586621679573890 a6989586621679573891 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaConRankSym2 a6989586621679573855 a6989586621679573856 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaCovRankSym2 a6989586621679573829 a6989586621679573830 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaConRankSym2 a6989586621679573803 a6989586621679573804 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaCovRankSym2 a6989586621679573777 a6989586621679573778 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (CanTransposeConSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeCovSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeSym0 :: TyFun (VSpace s n) (Ix s ~> (Ix s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Lambda_6989586621679113805Sym0 :: TyFun (VSpace s n) (IList s ~> ([(VSpace s n, IList s)] ~> (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])))))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (RelabelRSym0 :: TyFun (VSpace s n) (NonEmpty (s, s) ~> ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeMultSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym0 :: TyFun (VSpace s n) (TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (VDimSym0 :: TyFun (VSpace a b) b -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (VIdSym0 :: TyFun (VSpace a b) a -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (RemoveUntilSym0 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (VSpaceSym0 :: TyFun a (b ~> VSpace a b) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679573789RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573815RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573841RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573867RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573965RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573942RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (EpsilonRankSym2 a6989586621679574013 a6989586621679574014 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (EpsilonInvRankSym2 a6989586621679573993 a6989586621679573994 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SOrd s => SingI (ContractRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n) => SingI (MergeRSym0 :: TyFun [(VSpace s n, IList s)] ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SOrd s => SingI (TailRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SOrd s => SingI (HeadRSym0 :: TyFun [(VSpace s n, IList s)] (VSpace s n, Ix s) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd a, SOrd b) => SingI (SaneSym0 :: TyFun [(VSpace a b, IList a)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SingI (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SingI d1, SingI d2) => SingI (DeltaRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (DeltaRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (InjSym2ConRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjSym2ConRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (InjSym2CovRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjSym2CovRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (SurjSym2ConRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjSym2ConRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (SurjSym2CovRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjSym2CovRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (InjAreaConRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjAreaConRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (InjAreaCovRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjAreaCovRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (SurjAreaConRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjAreaConRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (SurjAreaCovRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjAreaCovRankSym2 d1 d2) # (SOrd s, SOrd n) => SingI (RelabelRSym0 :: TyFun (VSpace s n) (NonEmpty (s, s) ~> ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n) => SingI (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n) => SingI (CanTransposeMultSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n) => SingI (CanTransposeSym0 :: TyFun (VSpace s n) (Ix s ~> (Ix s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n) => SingI (CanTransposeCovSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n) => SingI (CanTransposeConSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SingI (VIdSym0 :: TyFun (VSpace a b) a -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SingI (VDimSym0 :: TyFun (VSpace a b) b -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SOrd s => SingI (RemoveUntilSym0 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SingI (VSpaceSym0 :: TyFun a (b ~> VSpace a b) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SingI d1, SingI d2) => SingI (EpsilonRankSym2 d1 d2 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (EpsilonRankSym2 d1 d2) # (SingI d1, SingI d2) => SingI (EpsilonInvRankSym2 d1 d2 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (EpsilonInvRankSym2 d1 d2) # SuppressUnusedWarnings (MergeRSym1 a6989586621679113791 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (RemoveUntilSym1 a6989586621679113432 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679573965RSym1 vid6989586621679573960 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573942RSym1 vid6989586621679573937 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (DeltaRankSym3 a6989586621679574034 a6989586621679574035 a6989586621679574036 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjSym2ConRankSym3 a6989586621679573955 a6989586621679573956 a6989586621679573957 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjSym2CovRankSym3 a6989586621679573932 a6989586621679573933 a6989586621679573934 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjSym2ConRankSym3 a6989586621679573916 a6989586621679573917 a6989586621679573918 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjSym2CovRankSym3 a6989586621679573890 a6989586621679573891 a6989586621679573892 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaConRankSym3 a6989586621679573855 a6989586621679573856 a6989586621679573857 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaCovRankSym3 a6989586621679573829 a6989586621679573830 a6989586621679573831 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaConRankSym3 a6989586621679573803 a6989586621679573804 a6989586621679573805 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaCovRankSym3 a6989586621679573777 a6989586621679573778 a6989586621679573779 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (ShowsPrec_6989586621679117751Sym1 a6989586621679117759 :: TyFun (VSpace a b) (Symbol ~> Symbol) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Compare_6989586621679117768Sym1 a6989586621679117773 :: TyFun (VSpace a b) Ordering -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeSym1 a6989586621679113455 :: TyFun (Ix s) (Ix s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679113436GoSym0 :: TyFun (Ix s) (TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Lambda_6989586621679113805Sym1 xv6989586621679113795 :: TyFun (IList s) ([(VSpace s n, IList s)] ~> (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)]))))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (TranspositionsSym1 a6989586621679113361 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeMultSym1 a6989586621679113407 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410 :: TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (VSpaceSym1 a6989586621679112978 :: TyFun b (VSpace a b) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeConSym1 a6989586621679113537 :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeCovSym1 a6989586621679113482 :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679573789RSym1 vid6989586621679573783 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573815RSym1 vid6989586621679573809 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573841RSym1 vid6989586621679573835 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573867RSym1 vid6989586621679573861 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (RelabelRSym1 a6989586621679113156 :: TyFun (NonEmpty (s, s)) ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SingI d) => SingI (RemoveUntilSym1 d :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n, SingI d) => SingI (MergeRSym1 d :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (MergeRSym1 d) # (SingI d1, SingI d2, SingI d3) => SingI (DeltaRankSym3 d1 d2 d3 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (DeltaRankSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3) => SingI (InjSym2ConRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjSym2ConRankSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3) => SingI (InjSym2CovRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjSym2CovRankSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3) => SingI (SurjSym2ConRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjSym2ConRankSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3) => SingI (SurjSym2CovRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjSym2CovRankSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3) => SingI (InjAreaConRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjAreaConRankSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3) => SingI (InjAreaCovRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjAreaCovRankSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3) => SingI (SurjAreaConRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjAreaConRankSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3) => SingI (SurjAreaCovRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjAreaCovRankSym3 d1 d2 d3) # (SOrd s, SOrd n, SingI d) => SingI (CanTransposeCovSym1 d :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n, SingI d) => SingI (CanTransposeConSym1 d :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n, SingI d) => SingI (CanTransposeSym1 d :: TyFun (Ix s) (Ix s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n, SingI d) => SingI (TranspositionsSym1 d :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods (SOrd s, SOrd n, SingI d) => SingI (CanTransposeMultSym1 d :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SingI d => SingI (VSpaceSym1 d :: TyFun b (VSpace a b) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (VSpaceSym1 d) # (SOrd s, SOrd n, SingI d) => SingI (RelabelRSym1 d :: TyFun (NonEmpty (s, s)) ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Lambda_6989586621679113805Sym2 xv6989586621679113795 xl6989586621679113796 :: TyFun [(VSpace s n, IList s)] (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (RelabelRSym2 a6989586621679113156 a6989586621679113157 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (TranspositionsSym2 a6989586621679113361 a6989586621679113362 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeMultSym2 a6989586621679113407 a6989586621679113408 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (InjSym2ConRankSym4 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjSym2CovRankSym4 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjSym2ConRankSym4 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjSym2CovRankSym4 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaConRankSym4 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaCovRankSym4 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaConRankSym4 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaCovRankSym4 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (CanTransposeSym2 a6989586621679113455 a6989586621679113456 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeConSym2 a6989586621679113537 a6989586621679113538 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeCovSym2 a6989586621679113482 a6989586621679113483 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679113436GoSym1 i6989586621679113434 :: TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679573789RSym2 vid6989586621679573783 a6989586621679573784 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573815RSym2 vid6989586621679573809 a6989586621679573810 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573841RSym2 vid6989586621679573835 a6989586621679573836 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573867RSym2 vid6989586621679573861 a6989586621679573862 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573965RSym2 vid6989586621679573960 vdim6989586621679573961 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573942RSym2 vid6989586621679573937 vdim6989586621679573938 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods (SingI n1, SingI n2) => SingI ('VSpace n1 n2 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing ('VSpace n1 n2) # (SOrd s, SOrd n, SingI d1, SingI d2) => SingI (RelabelRSym2 d1 d2 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (RelabelRSym2 d1 d2) # (SOrd s, SOrd n, SingI d1, SingI d2) => SingI (TranspositionsSym2 d1 d2 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (TranspositionsSym2 d1 d2) # (SOrd s, SOrd n, SingI d1, SingI d2) => SingI (CanTransposeMultSym2 d1 d2 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (CanTransposeMultSym2 d1 d2) # (SingI d1, SingI d2, SingI d3, SingI d4) => SingI (InjSym2ConRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjSym2ConRankSym4 d1 d2 d3 d4) # (SingI d1, SingI d2, SingI d3, SingI d4) => SingI (InjSym2CovRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjSym2CovRankSym4 d1 d2 d3 d4) # (SingI d1, SingI d2, SingI d3, SingI d4) => SingI (SurjSym2ConRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjSym2ConRankSym4 d1 d2 d3 d4) # (SingI d1, SingI d2, SingI d3, SingI d4) => SingI (SurjSym2CovRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjSym2CovRankSym4 d1 d2 d3 d4) # (SingI d1, SingI d2, SingI d3, SingI d4) => SingI (InjAreaConRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjAreaConRankSym4 d1 d2 d3 d4) # (SingI d1, SingI d2, SingI d3, SingI d4) => SingI (InjAreaCovRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjAreaCovRankSym4 d1 d2 d3 d4) # (SingI d1, SingI d2, SingI d3, SingI d4) => SingI (SurjAreaConRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjAreaConRankSym4 d1 d2 d3 d4) # (SingI d1, SingI d2, SingI d3, SingI d4) => SingI (SurjAreaCovRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjAreaCovRankSym4 d1 d2 d3 d4) # (SOrd s, SOrd n, SingI d1, SingI d2) => SingI (CanTransposeCovSym2 d1 d2 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (CanTransposeCovSym2 d1 d2) # (SOrd s, SOrd n, SingI d1, SingI d2) => SingI (CanTransposeConSym2 d1 d2 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (CanTransposeConSym2 d1 d2) # (SOrd s, SOrd n, SingI d1, SingI d2) => SingI (CanTransposeSym2 d1 d2 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (CanTransposeSym2 d1 d2) # SuppressUnusedWarnings (CanTransposeConSym3 a6989586621679113537 a6989586621679113538 a6989586621679113539 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeCovSym3 a6989586621679113482 a6989586621679113483 a6989586621679113484 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (CanTransposeSym3 a6989586621679113455 a6989586621679113456 a6989586621679113457 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (InjAreaConRankSym5 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (InjAreaCovRankSym5 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaConRankSym5 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (SurjAreaCovRankSym5 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Lambda_6989586621679113805Sym3 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 :: TyFun (VSpace s n) (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)]))) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679113436GoSym2 i6989586621679113434 r6989586621679113435 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679573789RSym3 vid6989586621679573783 a6989586621679573784 b6989586621679573785 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573815RSym3 vid6989586621679573809 a6989586621679573810 b6989586621679573811 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573841RSym3 vid6989586621679573835 a6989586621679573836 b6989586621679573837 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573867RSym3 vid6989586621679573861 a6989586621679573862 b6989586621679573863 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573965RSym3 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573942RSym3 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods (SOrd s, SOrd n, SingI d1, SingI d2, SingI d3) => SingI (CanTransposeSym3 d1 d2 d3 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (CanTransposeSym3 d1 d2 d3) # (SOrd s, SOrd n, SingI d1, SingI d2, SingI d3) => SingI (CanTransposeCovSym3 d1 d2 d3 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (CanTransposeCovSym3 d1 d2 d3) # (SOrd s, SOrd n, SingI d1, SingI d2, SingI d3) => SingI (CanTransposeConSym3 d1 d2 d3 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methodssing :: Sing (CanTransposeConSym3 d1 d2 d3) # (SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (InjAreaConRankSym5 d1 d2 d3 d4 d5 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjAreaConRankSym5 d1 d2 d3 d4 d5) # (SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (InjAreaCovRankSym5 d1 d2 d3 d4 d5 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (InjAreaCovRankSym5 d1 d2 d3 d4 d5) # (SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (SurjAreaConRankSym5 d1 d2 d3 d4 d5 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjAreaConRankSym5 d1 d2 d3 d4 d5) # (SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (SurjAreaCovRankSym5 d1 d2 d3 d4 d5 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methodssing :: Sing (SurjAreaCovRankSym5 d1 d2 d3 d4 d5) # SuppressUnusedWarnings (Let6989586621679113436GoSym3 i6989586621679113434 r6989586621679113435 a6989586621679113437 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Lambda_6989586621679113805Sym4 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 :: TyFun (IList s) ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679573789RSym4 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573815RSym4 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573841RSym4 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573867RSym4 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573965RSym4 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573942RSym4 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Lambda_6989586621679113805Sym5 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 :: TyFun [(VSpace s n, IList s)] (IList s ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods SuppressUnusedWarnings (Let6989586621679573789RSym5 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573815RSym5 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573841RSym5 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Let6989586621679573867RSym5 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # Instance detailsDefined in Math.Tensor.Basic.TH Methods SuppressUnusedWarnings (Lambda_6989586621679113805Sym6 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 ys6989586621679113800 :: TyFun (IList s) (Maybe [(VSpace s n, IList s)]) -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods type Apply (DeltaRankSym3 a6989586621679574034 a6989586621679574035 a6989586621679574036 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) (a6989586621679574037 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (DeltaRankSym3 a6989586621679574034 a6989586621679574035 a6989586621679574036 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) (a6989586621679574037 :: Symbol) = DeltaRankSym4 a6989586621679574034 a6989586621679574035 a6989586621679574036 a6989586621679574037 type Apply (InjSym2ConRankSym4 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573959 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjSym2ConRankSym4 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573959 :: Symbol) = InjSym2ConRankSym5 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 a6989586621679573959 type Apply (InjSym2CovRankSym4 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573936 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjSym2CovRankSym4 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573936 :: Symbol) = InjSym2CovRankSym5 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 a6989586621679573936 type Apply (SurjSym2ConRankSym4 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573920 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjSym2ConRankSym4 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573920 :: Symbol) = SurjSym2ConRankSym5 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 a6989586621679573920 type Apply (SurjSym2CovRankSym4 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573894 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjSym2CovRankSym4 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573894 :: Symbol) = SurjSym2CovRankSym5 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 a6989586621679573894 type Apply (InjAreaConRankSym5 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573860 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaConRankSym5 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573860 :: Symbol) = InjAreaConRankSym6 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 a6989586621679573860 type Apply (InjAreaCovRankSym5 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573834 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaCovRankSym5 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573834 :: Symbol) = InjAreaCovRankSym6 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 a6989586621679573834 type Apply (SurjAreaConRankSym5 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573808 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaConRankSym5 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573808 :: Symbol) = SurjAreaConRankSym6 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 a6989586621679573808 type Apply (SurjAreaCovRankSym5 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573782 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaCovRankSym5 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573782 :: Symbol) = SurjAreaCovRankSym6 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 a6989586621679573782 type Apply (Let6989586621679573965RSym4 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573964 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573965RSym4 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573964 :: a) = Let6989586621679573965RSym5 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 i6989586621679573964 type Apply (Let6989586621679573942RSym4 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573941 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573942RSym4 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573941 :: a) = Let6989586621679573942RSym5 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 i6989586621679573941 type Apply (Let6989586621679573789RSym5 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573788 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573789RSym5 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573788 :: a) = Let6989586621679573789RSym6 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 i6989586621679573788 type Apply (Let6989586621679573815RSym5 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573814 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573815RSym5 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573814 :: a) = Let6989586621679573815RSym6 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 i6989586621679573814 type Apply (Let6989586621679573841RSym5 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573840 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573841RSym5 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573840 :: a) = Let6989586621679573841RSym6 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 i6989586621679573840 type Apply (Let6989586621679573867RSym5 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573866 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573867RSym5 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573866 :: a) = Let6989586621679573867RSym6 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 i6989586621679573866 type Apply DeltaRankSym0 (a6989586621679574034 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply DeltaRankSym0 (a6989586621679574034 :: Symbol) = DeltaRankSym1 a6989586621679574034 type Apply InjSym2ConRankSym0 (a6989586621679573955 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply InjSym2ConRankSym0 (a6989586621679573955 :: Symbol) = InjSym2ConRankSym1 a6989586621679573955 type Apply InjSym2CovRankSym0 (a6989586621679573932 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply InjSym2CovRankSym0 (a6989586621679573932 :: Symbol) = InjSym2CovRankSym1 a6989586621679573932 type Apply SurjSym2ConRankSym0 (a6989586621679573916 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply SurjSym2ConRankSym0 (a6989586621679573916 :: Symbol) = SurjSym2ConRankSym1 a6989586621679573916 type Apply SurjSym2CovRankSym0 (a6989586621679573890 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply SurjSym2CovRankSym0 (a6989586621679573890 :: Symbol) = SurjSym2CovRankSym1 a6989586621679573890 type Apply EpsilonRankSym0 (a6989586621679574013 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply EpsilonRankSym0 (a6989586621679574013 :: Symbol) = EpsilonRankSym1 a6989586621679574013 type Apply EpsilonInvRankSym0 (a6989586621679573993 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply EpsilonInvRankSym0 (a6989586621679573993 :: Symbol) = EpsilonInvRankSym1 a6989586621679573993 type Apply InjAreaConRankSym0 (a6989586621679573855 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply InjAreaConRankSym0 (a6989586621679573855 :: Symbol) = InjAreaConRankSym1 a6989586621679573855 type Apply InjAreaCovRankSym0 (a6989586621679573829 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply InjAreaCovRankSym0 (a6989586621679573829 :: Symbol) = InjAreaCovRankSym1 a6989586621679573829 type Apply SurjAreaConRankSym0 (a6989586621679573803 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply SurjAreaConRankSym0 (a6989586621679573803 :: Symbol) = SurjAreaConRankSym1 a6989586621679573803 type Apply SurjAreaCovRankSym0 (a6989586621679573777 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply SurjAreaCovRankSym0 (a6989586621679573777 :: Symbol) = SurjAreaCovRankSym1 a6989586621679573777 type Apply (DeltaRankSym1 a6989586621679574034 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679574035 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (DeltaRankSym1 a6989586621679574034 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679574035 :: Nat) = DeltaRankSym2 a6989586621679574034 a6989586621679574035 type Apply (InjSym2ConRankSym1 a6989586621679573955 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573956 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjSym2ConRankSym1 a6989586621679573955 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573956 :: Nat) = InjSym2ConRankSym2 a6989586621679573955 a6989586621679573956 type Apply (InjSym2CovRankSym1 a6989586621679573932 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573933 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjSym2CovRankSym1 a6989586621679573932 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573933 :: Nat) = InjSym2CovRankSym2 a6989586621679573932 a6989586621679573933 type Apply (SurjSym2ConRankSym1 a6989586621679573916 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573917 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjSym2ConRankSym1 a6989586621679573916 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573917 :: Nat) = SurjSym2ConRankSym2 a6989586621679573916 a6989586621679573917 type Apply (SurjSym2CovRankSym1 a6989586621679573890 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573891 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjSym2CovRankSym1 a6989586621679573890 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573891 :: Nat) = SurjSym2CovRankSym2 a6989586621679573890 a6989586621679573891 type Apply (EpsilonRankSym1 a6989586621679574013 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679574014 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (EpsilonRankSym1 a6989586621679574013 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679574014 :: Nat) = EpsilonRankSym2 a6989586621679574013 a6989586621679574014 type Apply (EpsilonInvRankSym1 a6989586621679573993 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573994 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (EpsilonInvRankSym1 a6989586621679573993 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573994 :: Nat) = EpsilonInvRankSym2 a6989586621679573993 a6989586621679573994 type Apply (InjAreaConRankSym1 a6989586621679573855 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679573856 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaConRankSym1 a6989586621679573855 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679573856 :: Symbol) = InjAreaConRankSym2 a6989586621679573855 a6989586621679573856 type Apply (InjAreaCovRankSym1 a6989586621679573829 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679573830 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaCovRankSym1 a6989586621679573829 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679573830 :: Symbol) = InjAreaCovRankSym2 a6989586621679573829 a6989586621679573830 type Apply (SurjAreaConRankSym1 a6989586621679573803 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679573804 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaConRankSym1 a6989586621679573803 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679573804 :: Symbol) = SurjAreaConRankSym2 a6989586621679573803 a6989586621679573804 type Apply (SurjAreaCovRankSym1 a6989586621679573777 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679573778 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaCovRankSym1 a6989586621679573777 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679573778 :: Symbol) = SurjAreaCovRankSym2 a6989586621679573777 a6989586621679573778 type Apply (ShowsPrec_6989586621679117751Sym0 :: TyFun Nat (VSpace a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621679117759 :: Nat) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (ShowsPrec_6989586621679117751Sym0 :: TyFun Nat (VSpace a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621679117759 :: Nat) = ShowsPrec_6989586621679117751Sym1 a6989586621679117759 :: TyFun (VSpace a b) (Symbol ~> Symbol) -> Type type Apply (DeltaRankSym2 a6989586621679574034 a6989586621679574035 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679574036 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (DeltaRankSym2 a6989586621679574034 a6989586621679574035 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679574036 :: Symbol) = DeltaRankSym3 a6989586621679574034 a6989586621679574035 a6989586621679574036 type Apply (InjSym2ConRankSym2 a6989586621679573955 a6989586621679573956 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573957 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjSym2ConRankSym2 a6989586621679573955 a6989586621679573956 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573957 :: Symbol) = InjSym2ConRankSym3 a6989586621679573955 a6989586621679573956 a6989586621679573957 type Apply (InjSym2CovRankSym2 a6989586621679573932 a6989586621679573933 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573934 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjSym2CovRankSym2 a6989586621679573932 a6989586621679573933 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573934 :: Symbol) = InjSym2CovRankSym3 a6989586621679573932 a6989586621679573933 a6989586621679573934 type Apply (SurjSym2ConRankSym2 a6989586621679573916 a6989586621679573917 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573918 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjSym2ConRankSym2 a6989586621679573916 a6989586621679573917 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573918 :: Symbol) = SurjSym2ConRankSym3 a6989586621679573916 a6989586621679573917 a6989586621679573918 type Apply (SurjSym2CovRankSym2 a6989586621679573890 a6989586621679573891 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573892 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjSym2CovRankSym2 a6989586621679573890 a6989586621679573891 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573892 :: Symbol) = SurjSym2CovRankSym3 a6989586621679573890 a6989586621679573891 a6989586621679573892 type Apply (InjAreaConRankSym2 a6989586621679573855 a6989586621679573856 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573857 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaConRankSym2 a6989586621679573855 a6989586621679573856 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573857 :: Symbol) = InjAreaConRankSym3 a6989586621679573855 a6989586621679573856 a6989586621679573857 type Apply (InjAreaCovRankSym2 a6989586621679573829 a6989586621679573830 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573831 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaCovRankSym2 a6989586621679573829 a6989586621679573830 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573831 :: Symbol) = InjAreaCovRankSym3 a6989586621679573829 a6989586621679573830 a6989586621679573831 type Apply (SurjAreaConRankSym2 a6989586621679573803 a6989586621679573804 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573805 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaConRankSym2 a6989586621679573803 a6989586621679573804 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573805 :: Symbol) = SurjAreaConRankSym3 a6989586621679573803 a6989586621679573804 a6989586621679573805 type Apply (SurjAreaCovRankSym2 a6989586621679573777 a6989586621679573778 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573779 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaCovRankSym2 a6989586621679573777 a6989586621679573778 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573779 :: Symbol) = SurjAreaCovRankSym3 a6989586621679573777 a6989586621679573778 a6989586621679573779 type Apply (VSpaceSym0 :: TyFun a (b ~> VSpace a b) -> Type) (a6989586621679112978 :: a) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (VSpaceSym0 :: TyFun a (b ~> VSpace a b) -> Type) (a6989586621679112978 :: a) = VSpaceSym1 a6989586621679112978 :: TyFun b (VSpace a b) -> Type type Apply (Let6989586621679573789RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573783 :: k1) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573789RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573783 :: k1) = Let6989586621679573789RSym1 vid6989586621679573783 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type type Apply (Let6989586621679573815RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573809 :: k1) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573815RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573809 :: k1) = Let6989586621679573815RSym1 vid6989586621679573809 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type type Apply (Let6989586621679573841RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573835 :: k1) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573841RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573835 :: k1) = Let6989586621679573841RSym1 vid6989586621679573835 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type type Apply (Let6989586621679573867RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573861 :: k1) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573867RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573861 :: k1) = Let6989586621679573867RSym1 vid6989586621679573861 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type type Apply (Let6989586621679573965RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573960 :: k1) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573965RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573960 :: k1) = Let6989586621679573965RSym1 vid6989586621679573960 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type type Apply (Let6989586621679573942RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573937 :: k1) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573942RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679573937 :: k1) = Let6989586621679573942RSym1 vid6989586621679573937 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type type Apply (Let6989586621679573965RSym1 vid6989586621679573960 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (vdim6989586621679573961 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573965RSym1 vid6989586621679573960 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (vdim6989586621679573961 :: Nat) = Let6989586621679573965RSym2 vid6989586621679573960 vdim6989586621679573961 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type type Apply (Let6989586621679573942RSym1 vid6989586621679573937 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (vdim6989586621679573938 :: Nat) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573942RSym1 vid6989586621679573937 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (vdim6989586621679573938 :: Nat) = Let6989586621679573942RSym2 vid6989586621679573937 vdim6989586621679573938 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type type Apply (InjSym2ConRankSym3 a6989586621679573955 a6989586621679573956 a6989586621679573957 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573958 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjSym2ConRankSym3 a6989586621679573955 a6989586621679573956 a6989586621679573957 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573958 :: Symbol) = InjSym2ConRankSym4 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 type Apply (InjSym2CovRankSym3 a6989586621679573932 a6989586621679573933 a6989586621679573934 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573935 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjSym2CovRankSym3 a6989586621679573932 a6989586621679573933 a6989586621679573934 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573935 :: Symbol) = InjSym2CovRankSym4 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 type Apply (SurjSym2ConRankSym3 a6989586621679573916 a6989586621679573917 a6989586621679573918 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573919 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjSym2ConRankSym3 a6989586621679573916 a6989586621679573917 a6989586621679573918 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573919 :: Symbol) = SurjSym2ConRankSym4 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 type Apply (SurjSym2CovRankSym3 a6989586621679573890 a6989586621679573891 a6989586621679573892 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573893 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjSym2CovRankSym3 a6989586621679573890 a6989586621679573891 a6989586621679573892 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573893 :: Symbol) = SurjSym2CovRankSym4 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 type Apply (InjAreaConRankSym3 a6989586621679573855 a6989586621679573856 a6989586621679573857 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573858 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaConRankSym3 a6989586621679573855 a6989586621679573856 a6989586621679573857 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573858 :: Symbol) = InjAreaConRankSym4 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 type Apply (InjAreaCovRankSym3 a6989586621679573829 a6989586621679573830 a6989586621679573831 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573832 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaCovRankSym3 a6989586621679573829 a6989586621679573830 a6989586621679573831 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573832 :: Symbol) = InjAreaCovRankSym4 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 type Apply (SurjAreaConRankSym3 a6989586621679573803 a6989586621679573804 a6989586621679573805 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573806 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaConRankSym3 a6989586621679573803 a6989586621679573804 a6989586621679573805 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573806 :: Symbol) = SurjAreaConRankSym4 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 type Apply (SurjAreaCovRankSym3 a6989586621679573777 a6989586621679573778 a6989586621679573779 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573780 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaCovRankSym3 a6989586621679573777 a6989586621679573778 a6989586621679573779 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679573780 :: Symbol) = SurjAreaCovRankSym4 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 type Apply (VSpaceSym1 a6989586621679112978 :: TyFun b (VSpace a b) -> Type) (a6989586621679112979 :: b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (VSpaceSym1 a6989586621679112978 :: TyFun b (VSpace a b) -> Type) (a6989586621679112979 :: b) = VSpaceSym2 a6989586621679112978 a6989586621679112979 type Apply (CanTransposeConSym1 a6989586621679113537 :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) (a6989586621679113538 :: s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeConSym1 a6989586621679113537 :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) (a6989586621679113538 :: s) = CanTransposeConSym2 a6989586621679113537 a6989586621679113538 type Apply (CanTransposeCovSym1 a6989586621679113482 :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) (a6989586621679113483 :: s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeCovSym1 a6989586621679113482 :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) (a6989586621679113483 :: s) = CanTransposeCovSym2 a6989586621679113482 a6989586621679113483 type Apply (Let6989586621679573789RSym1 vid6989586621679573783 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679573784 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573789RSym1 vid6989586621679573783 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679573784 :: a) = Let6989586621679573789RSym2 vid6989586621679573783 a6989586621679573784 type Apply (Let6989586621679573815RSym1 vid6989586621679573809 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679573810 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573815RSym1 vid6989586621679573809 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679573810 :: a) = Let6989586621679573815RSym2 vid6989586621679573809 a6989586621679573810 type Apply (Let6989586621679573841RSym1 vid6989586621679573835 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679573836 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573841RSym1 vid6989586621679573835 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679573836 :: a) = Let6989586621679573841RSym2 vid6989586621679573835 a6989586621679573836 type Apply (Let6989586621679573867RSym1 vid6989586621679573861 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679573862 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573867RSym1 vid6989586621679573861 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679573862 :: a) = Let6989586621679573867RSym2 vid6989586621679573861 a6989586621679573862 type Apply (InjAreaConRankSym4 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573859 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaConRankSym4 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573859 :: Symbol) = InjAreaConRankSym5 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 type Apply (InjAreaCovRankSym4 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573833 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (InjAreaCovRankSym4 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573833 :: Symbol) = InjAreaCovRankSym5 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 type Apply (SurjAreaConRankSym4 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573807 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaConRankSym4 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573807 :: Symbol) = SurjAreaConRankSym5 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 type Apply (SurjAreaCovRankSym4 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573781 :: Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (SurjAreaCovRankSym4 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573781 :: Symbol) = SurjAreaCovRankSym5 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 type Apply (CanTransposeConSym2 a6989586621679113537 a6989586621679113538 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) (a6989586621679113539 :: s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeConSym2 a6989586621679113537 a6989586621679113538 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) (a6989586621679113539 :: s) = CanTransposeConSym3 a6989586621679113537 a6989586621679113538 a6989586621679113539 type Apply (CanTransposeCovSym2 a6989586621679113482 a6989586621679113483 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) (a6989586621679113484 :: s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeCovSym2 a6989586621679113482 a6989586621679113483 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) (a6989586621679113484 :: s) = CanTransposeCovSym3 a6989586621679113482 a6989586621679113483 a6989586621679113484 type Apply (Let6989586621679113436GoSym1 i6989586621679113434 :: TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type) (r6989586621679113435 :: k) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Let6989586621679113436GoSym1 i6989586621679113434 :: TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type) (r6989586621679113435 :: k) = Let6989586621679113436GoSym2 i6989586621679113434 r6989586621679113435 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type type Apply (Let6989586621679573789RSym2 vid6989586621679573783 a6989586621679573784 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679573785 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573789RSym2 vid6989586621679573783 a6989586621679573784 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679573785 :: a) = Let6989586621679573789RSym3 vid6989586621679573783 a6989586621679573784 b6989586621679573785 type Apply (Let6989586621679573815RSym2 vid6989586621679573809 a6989586621679573810 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679573811 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573815RSym2 vid6989586621679573809 a6989586621679573810 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679573811 :: a) = Let6989586621679573815RSym3 vid6989586621679573809 a6989586621679573810 b6989586621679573811 type Apply (Let6989586621679573841RSym2 vid6989586621679573835 a6989586621679573836 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679573837 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573841RSym2 vid6989586621679573835 a6989586621679573836 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679573837 :: a) = Let6989586621679573841RSym3 vid6989586621679573835 a6989586621679573836 b6989586621679573837 type Apply (Let6989586621679573867RSym2 vid6989586621679573861 a6989586621679573862 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679573863 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573867RSym2 vid6989586621679573861 a6989586621679573862 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679573863 :: a) = Let6989586621679573867RSym3 vid6989586621679573861 a6989586621679573862 b6989586621679573863 type Apply (Let6989586621679573965RSym2 vid6989586621679573960 vdim6989586621679573961 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (a6989586621679573962 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573965RSym2 vid6989586621679573960 vdim6989586621679573961 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (a6989586621679573962 :: a) = Let6989586621679573965RSym3 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 type Apply (Let6989586621679573942RSym2 vid6989586621679573937 vdim6989586621679573938 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (a6989586621679573939 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573942RSym2 vid6989586621679573937 vdim6989586621679573938 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (a6989586621679573939 :: a) = Let6989586621679573942RSym3 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 type Apply (Let6989586621679573789RSym3 vid6989586621679573783 a6989586621679573784 b6989586621679573785 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679573786 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573789RSym3 vid6989586621679573783 a6989586621679573784 b6989586621679573785 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679573786 :: a) = Let6989586621679573789RSym4 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 type Apply (Let6989586621679573815RSym3 vid6989586621679573809 a6989586621679573810 b6989586621679573811 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679573812 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573815RSym3 vid6989586621679573809 a6989586621679573810 b6989586621679573811 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679573812 :: a) = Let6989586621679573815RSym4 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 type Apply (Let6989586621679573841RSym3 vid6989586621679573835 a6989586621679573836 b6989586621679573837 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679573838 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573841RSym3 vid6989586621679573835 a6989586621679573836 b6989586621679573837 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679573838 :: a) = Let6989586621679573841RSym4 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 type Apply (Let6989586621679573867RSym3 vid6989586621679573861 a6989586621679573862 b6989586621679573863 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679573864 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573867RSym3 vid6989586621679573861 a6989586621679573862 b6989586621679573863 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679573864 :: a) = Let6989586621679573867RSym4 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 type Apply (Let6989586621679573965RSym3 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (b6989586621679573963 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573965RSym3 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (b6989586621679573963 :: a) = Let6989586621679573965RSym4 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 type Apply (Let6989586621679573942RSym3 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (b6989586621679573940 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573942RSym3 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (b6989586621679573940 :: a) = Let6989586621679573942RSym4 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 type Apply (Let6989586621679573789RSym4 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679573787 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573789RSym4 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679573787 :: a) = Let6989586621679573789RSym5 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 type Apply (Let6989586621679573815RSym4 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679573813 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573815RSym4 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679573813 :: a) = Let6989586621679573815RSym5 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 type Apply (Let6989586621679573841RSym4 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679573839 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573841RSym4 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679573839 :: a) = Let6989586621679573841RSym5 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 type Apply (Let6989586621679573867RSym4 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679573865 :: a) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (Let6989586621679573867RSym4 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679573865 :: a) = Let6989586621679573867RSym5 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 type Apply (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) (a6989586621679113897 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) (a6989586621679113897 :: [(VSpace s n, IList s)]) = LengthRSym1 a6989586621679113897 type Apply (SaneSym0 :: TyFun [(VSpace a b, IList a)] Bool -> Type) (a6989586621679113888 :: [(VSpace a b, IList a)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (SaneSym0 :: TyFun [(VSpace a b, IList a)] Bool -> Type) (a6989586621679113888 :: [(VSpace a b, IList a)]) = SaneSym1 a6989586621679113888 type Apply (CanTransposeMultSym2 a6989586621679113407 a6989586621679113408 :: TyFun [(VSpace s n, IList s)] Bool -> Type) (a6989586621679113409 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeMultSym2 a6989586621679113407 a6989586621679113408 :: TyFun [(VSpace s n, IList s)] Bool -> Type) (a6989586621679113409 :: [(VSpace s n, IList s)]) = CanTransposeMultSym3 a6989586621679113407 a6989586621679113408 a6989586621679113409 type Apply (CanTransposeConSym3 a6989586621679113537 a6989586621679113538 a6989586621679113539 :: TyFun [(VSpace s n, IList s)] Bool -> Type) (a6989586621679113540 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeConSym3 a6989586621679113537 a6989586621679113538 a6989586621679113539 :: TyFun [(VSpace s n, IList s)] Bool -> Type) (a6989586621679113540 :: [(VSpace s n, IList s)]) = CanTransposeConSym4 a6989586621679113537 a6989586621679113538 a6989586621679113539 a6989586621679113540 type Apply (CanTransposeCovSym3 a6989586621679113482 a6989586621679113483 a6989586621679113484 :: TyFun [(VSpace s n, IList s)] Bool -> Type) (a6989586621679113485 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeCovSym3 a6989586621679113482 a6989586621679113483 a6989586621679113484 :: TyFun [(VSpace s n, IList s)] Bool -> Type) (a6989586621679113485 :: [(VSpace s n, IList s)]) = CanTransposeCovSym4 a6989586621679113482 a6989586621679113483 a6989586621679113484 a6989586621679113485 type Apply (CanTransposeSym3 a6989586621679113455 a6989586621679113456 a6989586621679113457 :: TyFun [(VSpace s n, IList s)] Bool -> Type) (a6989586621679113458 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeSym3 a6989586621679113455 a6989586621679113456 a6989586621679113457 :: TyFun [(VSpace s n, IList s)] Bool -> Type) (a6989586621679113458 :: [(VSpace s n, IList s)]) = CanTransposeSym4 a6989586621679113455 a6989586621679113456 a6989586621679113457 a6989586621679113458 type Rep1 (VSpace a :: Type -> Type) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Rep1 (VSpace a :: Type -> Type) = D1 ('MetaData "VSpace" "Math.Tensor.Safe.TH" "safe-tensor-0.2.1.0-inplace" 'False) (C1 ('MetaCons "VSpace" 'PrefixI 'True) (S1 ('MetaSel ('Just "vId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "vDim") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1)) type Apply (ContractRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) (a6989586621679113695 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (ContractRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) (a6989586621679113695 :: [(VSpace s n, IList s)]) = ContractRSym1 a6989586621679113695 type Apply (TailRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) (a6989586621679113816 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (TailRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) (a6989586621679113816 :: [(VSpace s n, IList s)]) = TailRSym1 a6989586621679113816 type Apply (EpsilonRankSym2 a6989586621679574013 a6989586621679574014 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679574015 :: NonEmpty Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (EpsilonRankSym2 a6989586621679574013 a6989586621679574014 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679574015 :: NonEmpty Symbol) = EpsilonRankSym3 a6989586621679574013 a6989586621679574014 a6989586621679574015 type Apply (EpsilonInvRankSym2 a6989586621679573993 a6989586621679573994 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573995 :: NonEmpty Symbol) Source # Instance detailsDefined in Math.Tensor.Basic.TH type Apply (EpsilonInvRankSym2 a6989586621679573993 a6989586621679573994 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573995 :: NonEmpty Symbol) = EpsilonInvRankSym3 a6989586621679573993 a6989586621679573994 a6989586621679573995 type Apply (MergeRSym1 a6989586621679113791 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) (a6989586621679113792 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (MergeRSym1 a6989586621679113791 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) (a6989586621679113792 :: [(VSpace s n, IList s)]) = MergeRSym2 a6989586621679113791 a6989586621679113792 type Apply (RemoveUntilSym1 a6989586621679113432 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) (a6989586621679113433 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (RemoveUntilSym1 a6989586621679113432 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) (a6989586621679113433 :: [(VSpace s n, IList s)]) = RemoveUntilSym2 a6989586621679113432 a6989586621679113433 type Apply (RelabelRSym2 a6989586621679113156 a6989586621679113157 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) (a6989586621679113158 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (RelabelRSym2 a6989586621679113156 a6989586621679113157 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) (a6989586621679113158 :: [(VSpace s n, IList s)]) = RelabelRSym3 a6989586621679113156 a6989586621679113157 a6989586621679113158 type Apply (TranspositionsSym2 a6989586621679113361 a6989586621679113362 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) (a6989586621679113363 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (TranspositionsSym2 a6989586621679113361 a6989586621679113362 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) (a6989586621679113363 :: [(VSpace s n, IList s)]) = TranspositionsSym3 a6989586621679113361 a6989586621679113362 a6989586621679113363 type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) (r6989586621679113412 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) (r6989586621679113412 :: [(VSpace s n, IList s)]) = Let6989586621679113413Scrutinee_6989586621679107344Sym3 vs6989586621679113410 tl6989586621679113411 r6989586621679113412 type Apply (Let6989586621679113436GoSym3 i6989586621679113434 r6989586621679113435 a6989586621679113437 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) (a6989586621679113438 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Let6989586621679113436GoSym3 i6989586621679113434 r6989586621679113435 a6989586621679113437 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) (a6989586621679113438 :: [(VSpace s n, IList s)]) = Let6989586621679113436GoSym4 i6989586621679113434 r6989586621679113435 a6989586621679113437 a6989586621679113438 type Apply (Lambda_6989586621679113805Sym6 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 ys6989586621679113800 :: TyFun (IList s) (Maybe [(VSpace s n, IList s)]) -> Type) (xl'6989586621679113807 :: IList s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Lambda_6989586621679113805Sym6 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 ys6989586621679113800 :: TyFun (IList s) (Maybe [(VSpace s n, IList s)]) -> Type) (xl'6989586621679113807 :: IList s) = Lambda_6989586621679113805Sym7 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 ys6989586621679113800 xl'6989586621679113807 type Apply (MergeRSym0 :: TyFun [(VSpace s n, IList s)] ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) (a6989586621679113791 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (MergeRSym0 :: TyFun [(VSpace s n, IList s)] ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) (a6989586621679113791 :: [(VSpace s n, IList s)]) = MergeRSym1 a6989586621679113791 type Apply (HeadRSym0 :: TyFun [(VSpace s n, IList s)] (VSpace s n, Ix s) -> Type) (a6989586621679113871 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (HeadRSym0 :: TyFun [(VSpace s n, IList s)] (VSpace s n, Ix s) -> Type) (a6989586621679113871 :: [(VSpace s n, IList s)]) = HeadRSym1 a6989586621679113871 type Apply (RemoveUntilSym0 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) (a6989586621679113432 :: Ix s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (RemoveUntilSym0 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) (a6989586621679113432 :: Ix s) = RemoveUntilSym1 a6989586621679113432 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type type Apply (CanTransposeSym1 a6989586621679113455 :: TyFun (Ix s) (Ix s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) (a6989586621679113456 :: Ix s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeSym1 a6989586621679113455 :: TyFun (Ix s) (Ix s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) (a6989586621679113456 :: Ix s) = CanTransposeSym2 a6989586621679113455 a6989586621679113456 type Apply (Let6989586621679113436GoSym0 :: TyFun (Ix s) (TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type) -> Type) (i6989586621679113434 :: Ix s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Let6989586621679113436GoSym0 :: TyFun (Ix s) (TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type) -> Type) (i6989586621679113434 :: Ix s) = Let6989586621679113436GoSym1 i6989586621679113434 :: TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type type Apply (Lambda_6989586621679113805Sym1 xv6989586621679113795 :: TyFun (IList s) ([(VSpace s n, IList s)] ~> (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)]))))) -> Type) (xl6989586621679113796 :: IList s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Lambda_6989586621679113805Sym1 xv6989586621679113795 :: TyFun (IList s) ([(VSpace s n, IList s)] ~> (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)]))))) -> Type) (xl6989586621679113796 :: IList s) = Lambda_6989586621679113805Sym2 xv6989586621679113795 xl6989586621679113796 type Apply (TranspositionsSym1 a6989586621679113361 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) (a6989586621679113362 :: TransRule s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (TranspositionsSym1 a6989586621679113361 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) (a6989586621679113362 :: TransRule s) = TranspositionsSym2 a6989586621679113361 a6989586621679113362 type Apply (CanTransposeMultSym1 a6989586621679113407 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Bool) -> Type) (a6989586621679113408 :: TransRule s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeMultSym1 a6989586621679113407 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Bool) -> Type) (a6989586621679113408 :: TransRule s) = CanTransposeMultSym2 a6989586621679113407 a6989586621679113408 type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410 :: TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) (tl6989586621679113411 :: TransRule s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410 :: TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) (tl6989586621679113411 :: TransRule s) = Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411 type Apply (RelabelRSym1 a6989586621679113156 :: TyFun (NonEmpty (s, s)) ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) (a6989586621679113157 :: NonEmpty (s, s)) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (RelabelRSym1 a6989586621679113156 :: TyFun (NonEmpty (s, s)) ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) (a6989586621679113157 :: NonEmpty (s, s)) = RelabelRSym2 a6989586621679113156 a6989586621679113157 type Apply (Lambda_6989586621679113805Sym2 xv6989586621679113795 xl6989586621679113796 :: TyFun [(VSpace s n, IList s)] (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])))) -> Type) (xs6989586621679113797 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Lambda_6989586621679113805Sym2 xv6989586621679113795 xl6989586621679113796 :: TyFun [(VSpace s n, IList s)] (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])))) -> Type) (xs6989586621679113797 :: [(VSpace s n, IList s)]) = Lambda_6989586621679113805Sym3 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 type Apply (CanTransposeSym2 a6989586621679113455 a6989586621679113456 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> Bool) -> Type) (a6989586621679113457 :: Ix s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeSym2 a6989586621679113455 a6989586621679113456 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> Bool) -> Type) (a6989586621679113457 :: Ix s) = CanTransposeSym3 a6989586621679113455 a6989586621679113456 a6989586621679113457 type Apply (Let6989586621679113436GoSym2 i6989586621679113434 r6989586621679113435 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) (a6989586621679113437 :: Ix s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Let6989586621679113436GoSym2 i6989586621679113434 r6989586621679113435 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) (a6989586621679113437 :: Ix s) = Let6989586621679113436GoSym3 i6989586621679113434 r6989586621679113435 a6989586621679113437 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type type Apply (Lambda_6989586621679113805Sym4 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 :: TyFun (IList s) ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])) -> Type) (yl6989586621679113799 :: IList s) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Lambda_6989586621679113805Sym4 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 :: TyFun (IList s) ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])) -> Type) (yl6989586621679113799 :: IList s) = Lambda_6989586621679113805Sym5 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 type Apply (Lambda_6989586621679113805Sym5 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 :: TyFun [(VSpace s n, IList s)] (IList s ~> Maybe [(VSpace s n, IList s)]) -> Type) (ys6989586621679113800 :: [(VSpace s n, IList s)]) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Lambda_6989586621679113805Sym5 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 :: TyFun [(VSpace s n, IList s)] (IList s ~> Maybe [(VSpace s n, IList s)]) -> Type) (ys6989586621679113800 :: [(VSpace s n, IList s)]) = Lambda_6989586621679113805Sym6 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 ys6989586621679113800 type Rep (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Rep (VSpace a b) = D1 ('MetaData "VSpace" "Math.Tensor.Safe.TH" "safe-tensor-0.2.1.0-inplace" 'False) (C1 ('MetaCons "VSpace" 'PrefixI 'True) (S1 ('MetaSel ('Just "vId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "vDim") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b))) type Sing Source # Instance detailsDefined in Math.Tensor.Safe.TH type Sing = SVSpace :: VSpace a b -> Type type Demote (VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Demote (VSpace a b) = VSpace (Demote a) (Demote b) type Show_ (arg :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Show_ (arg :: VSpace a b) = Apply (Show__6989586621680635830Sym0 :: TyFun (VSpace a b) Symbol -> Type) arg type ShowList (arg :: [VSpace a b]) arg1 Source # Instance detailsDefined in Math.Tensor.Safe.TH type ShowList (arg :: [VSpace a b]) arg1 = Apply (Apply (ShowList_6989586621680635838Sym0 :: TyFun [VSpace a b] (Symbol ~> Symbol) -> Type) arg) arg1 type Min (arg :: VSpace a b) (arg1 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Min (arg :: VSpace a b) (arg1 :: VSpace a b) = Apply (Apply (Min_6989586621679837319Sym0 :: TyFun (VSpace a b) (VSpace a b ~> VSpace a b) -> Type) arg) arg1 type Max (arg :: VSpace a b) (arg1 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Max (arg :: VSpace a b) (arg1 :: VSpace a b) = Apply (Apply (Max_6989586621679837303Sym0 :: TyFun (VSpace a b) (VSpace a b ~> VSpace a b) -> Type) arg) arg1 type (arg :: VSpace a b) >= (arg1 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type (arg :: VSpace a b) >= (arg1 :: VSpace a b) = Apply (Apply (TFHelper_6989586621679837287Sym0 :: TyFun (VSpace a b) (VSpace a b ~> Bool) -> Type) arg) arg1 type (arg :: VSpace a b) > (arg1 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type (arg :: VSpace a b) > (arg1 :: VSpace a b) = Apply (Apply (TFHelper_6989586621679837271Sym0 :: TyFun (VSpace a b) (VSpace a b ~> Bool) -> Type) arg) arg1 type (arg :: VSpace a b) <= (arg1 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type (arg :: VSpace a b) <= (arg1 :: VSpace a b) = Apply (Apply (TFHelper_6989586621679837255Sym0 :: TyFun (VSpace a b) (VSpace a b ~> Bool) -> Type) arg) arg1 type (arg :: VSpace a b) < (arg1 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type (arg :: VSpace a b) < (arg1 :: VSpace a b) = Apply (Apply (TFHelper_6989586621679837239Sym0 :: TyFun (VSpace a b) (VSpace a b ~> Bool) -> Type) arg) arg1 type Compare (a2 :: VSpace a1 b) (a3 :: VSpace a1 b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Compare (a2 :: VSpace a1 b) (a3 :: VSpace a1 b) = Apply (Apply (Compare_6989586621679117768Sym0 :: TyFun (VSpace a1 b) (VSpace a1 b ~> Ordering) -> Type) a2) a3 type (x :: VSpace a b) /= (y :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type (x :: VSpace a b) /= (y :: VSpace a b) = Not (x == y) type (a2 :: VSpace a1 b1) == (b2 :: VSpace a1 b1) Source # Instance detailsDefined in Math.Tensor.Safe.TH type (a2 :: VSpace a1 b1) == (b2 :: VSpace a1 b1) = Equals_6989586621679117889 a2 b2 type ShowsPrec a2 (a3 :: VSpace a1 b) a4 Source # Instance detailsDefined in Math.Tensor.Safe.TH type ShowsPrec a2 (a3 :: VSpace a1 b) a4 = Apply (Apply (Apply (ShowsPrec_6989586621679117751Sym0 :: TyFun Nat (VSpace a1 b ~> (Symbol ~> Symbol)) -> Type) a2) a3) a4 type Apply (VDimSym0 :: TyFun (VSpace a b) b -> Type) (a6989586621679113973 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (VDimSym0 :: TyFun (VSpace a b) b -> Type) (a6989586621679113973 :: VSpace a b) = VDimSym1 a6989586621679113973 type Apply (VIdSym0 :: TyFun (VSpace a b) a -> Type) (a6989586621679113977 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (VIdSym0 :: TyFun (VSpace a b) a -> Type) (a6989586621679113977 :: VSpace a b) = VIdSym1 a6989586621679113977 type Apply (Compare_6989586621679117768Sym1 a6989586621679117773 :: TyFun (VSpace a b) Ordering -> Type) (a6989586621679117774 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Compare_6989586621679117768Sym1 a6989586621679117773 :: TyFun (VSpace a b) Ordering -> Type) (a6989586621679117774 :: VSpace a b) = Compare_6989586621679117768Sym2 a6989586621679117773 a6989586621679117774 type Apply (CanTransposeConSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) (a6989586621679113537 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeConSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) (a6989586621679113537 :: VSpace s n) = CanTransposeConSym1 a6989586621679113537 type Apply (CanTransposeCovSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) (a6989586621679113482 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeCovSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) (a6989586621679113482 :: VSpace s n) = CanTransposeCovSym1 a6989586621679113482 type Apply (CanTransposeSym0 :: TyFun (VSpace s n) (Ix s ~> (Ix s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) (a6989586621679113455 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeSym0 :: TyFun (VSpace s n) (Ix s ~> (Ix s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) (a6989586621679113455 :: VSpace s n) = CanTransposeSym1 a6989586621679113455 type Apply (Lambda_6989586621679113805Sym0 :: TyFun (VSpace s n) (IList s ~> ([(VSpace s n, IList s)] ~> (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])))))) -> Type) (xv6989586621679113795 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Lambda_6989586621679113805Sym0 :: TyFun (VSpace s n) (IList s ~> ([(VSpace s n, IList s)] ~> (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])))))) -> Type) (xv6989586621679113795 :: VSpace s n) = Lambda_6989586621679113805Sym1 xv6989586621679113795 type Apply (RelabelRSym0 :: TyFun (VSpace s n) (NonEmpty (s, s) ~> ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)])) -> Type) (a6989586621679113156 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (RelabelRSym0 :: TyFun (VSpace s n) (NonEmpty (s, s) ~> ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)])) -> Type) (a6989586621679113156 :: VSpace s n) = RelabelRSym1 a6989586621679113156 type Apply (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) (a6989586621679113361 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) (a6989586621679113361 :: VSpace s n) = TranspositionsSym1 a6989586621679113361 type Apply (CanTransposeMultSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) (a6989586621679113407 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (CanTransposeMultSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) (a6989586621679113407 :: VSpace s n) = CanTransposeMultSym1 a6989586621679113407 type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym0 :: TyFun (VSpace s n) (TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) -> Type) (vs6989586621679113410 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym0 :: TyFun (VSpace s n) (TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) -> Type) (vs6989586621679113410 :: VSpace s n) = Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410 type Apply (Compare_6989586621679117768Sym0 :: TyFun (VSpace a b) (VSpace a b ~> Ordering) -> Type) (a6989586621679117773 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Compare_6989586621679117768Sym0 :: TyFun (VSpace a b) (VSpace a b ~> Ordering) -> Type) (a6989586621679117773 :: VSpace a b) = Compare_6989586621679117768Sym1 a6989586621679117773 type Apply (ShowsPrec_6989586621679117751Sym1 a6989586621679117759 :: TyFun (VSpace a b) (Symbol ~> Symbol) -> Type) (a6989586621679117760 :: VSpace a b) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (ShowsPrec_6989586621679117751Sym1 a6989586621679117759 :: TyFun (VSpace a b) (Symbol ~> Symbol) -> Type) (a6989586621679117760 :: VSpace a b) = ShowsPrec_6989586621679117751Sym2 a6989586621679117759 a6989586621679117760 type Apply (Lambda_6989586621679113805Sym3 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 :: TyFun (VSpace s n) (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)]))) -> Type) (yv6989586621679113798 :: VSpace s n) Source # Instance detailsDefined in Math.Tensor.Safe.TH type Apply (Lambda_6989586621679113805Sym3 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 :: TyFun (VSpace s n) (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)]))) -> Type) (yv6989586621679113798 :: VSpace s n) = Lambda_6989586621679113805Sym4 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798

Each vector space must have a list of indices. This can be a contravariant index list, a covariant index list, or both. For sane generalized ranks, the individual lists must be ascending. As already noted, both lists in the mixed case need not be disjoint.

data IList a Source #

Constructors

 ConCov (NonEmpty a) (NonEmpty a) Cov (NonEmpty a) Con (NonEmpty a)

#### Instances

Instances details
 Source # Instance detailsDefined in Math.Tensor.Safe.TH MethodsliftRnf :: (a -> ()) -> IList a -> () # Eq a => Eq (IList a) Source # Instance detailsDefined in Math.Tensor.Safe.TH Methods(==) :: IList a -> IList a -> Bool #(/=) :: IList a -> IList a -> Bool #