Math.Tensor.Basic.TH

Template Haskell for Basic.

Documentation

type family Let6989586621679568740R vid a b c d i where ...

Equations

Let6989586621679568740R vid a b c d i = Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) (FromInteger 4 :: Nat))) (Apply ConSym0 (Apply (Apply (:|@#@$) a) (Apply (Apply (:@#@$) b) (Apply (Apply (:@#@$) c) (Apply (Apply (:@#@$) d) NilSym0))))))) (Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 (Apply (Apply (<>@#@$) vid) (FromString "Area"))) (FromInteger 21 :: Nat))) (Apply CovSym0 (Apply (Apply (:|@#@$) i) NilSym0)))) NilSym0)

type Let6989586621679568740RSym6 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739 = Let6989586621679568740R vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739

data Let6989586621679568740RSym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739 where

Constructors

Let6989586621679568740RSym5KindInference :: SameKind (Apply (Let6989586621679568740RSym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738) arg) (Let6989586621679568740RSym6 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 arg) => Let6989586621679568740RSym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739

Instances

SuppressUnusedWarnings (Let6989586621679568740RSym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568740RSym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568739 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568740RSym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568739 :: a) = Let6989586621679568740RSym6 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739

data Let6989586621679568740RSym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 where

Constructors

Let6989586621679568740RSym4KindInference :: SameKind (Apply (Let6989586621679568740RSym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737) arg) (Let6989586621679568740RSym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 arg) => Let6989586621679568740RSym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738

Instances

SuppressUnusedWarnings (Let6989586621679568740RSym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568740RSym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679568738 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568740RSym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679568738 :: a) = Let6989586621679568740RSym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738

data Let6989586621679568740RSym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 where

Constructors

Let6989586621679568740RSym3KindInference :: SameKind (Apply (Let6989586621679568740RSym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736) arg) (Let6989586621679568740RSym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 arg) => Let6989586621679568740RSym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737

Instances

SuppressUnusedWarnings (Let6989586621679568740RSym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568740RSym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679568737 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568740RSym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679568737 :: a) = Let6989586621679568740RSym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737

data Let6989586621679568740RSym2 vid6989586621679568734 a6989586621679568735 b6989586621679568736 where

Constructors

Let6989586621679568740RSym2KindInference :: SameKind (Apply (Let6989586621679568740RSym2 vid6989586621679568734 a6989586621679568735) arg) (Let6989586621679568740RSym3 vid6989586621679568734 a6989586621679568735 arg) => Let6989586621679568740RSym2 vid6989586621679568734 a6989586621679568735 b6989586621679568736

Instances

SuppressUnusedWarnings (Let6989586621679568740RSym2 vid6989586621679568734 a6989586621679568735 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568740RSym2 vid6989586621679568734 a6989586621679568735 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679568736 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568740RSym2 vid6989586621679568734 a6989586621679568735 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679568736 :: a) = Let6989586621679568740RSym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736

data Let6989586621679568740RSym1 vid6989586621679568734 a6989586621679568735 where

Constructors

Let6989586621679568740RSym1KindInference :: SameKind (Apply (Let6989586621679568740RSym1 vid6989586621679568734) arg) (Let6989586621679568740RSym2 vid6989586621679568734 arg) => Let6989586621679568740RSym1 vid6989586621679568734 a6989586621679568735

Instances

SuppressUnusedWarnings (Let6989586621679568740RSym1 vid6989586621679568734 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568740RSym1 vid6989586621679568734 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568735 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568740RSym1 vid6989586621679568734 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568735 :: a) = Let6989586621679568740RSym2 vid6989586621679568734 a6989586621679568735

data Let6989586621679568740RSym0 vid6989586621679568734 where

Constructors

Let6989586621679568740RSym0KindInference :: SameKind (Apply Let6989586621679568740RSym0 arg) (Let6989586621679568740RSym1 arg) => Let6989586621679568740RSym0 vid6989586621679568734

Instances

SuppressUnusedWarnings (Let6989586621679568740RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568740RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568734 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568740RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568734 :: k1) = Let6989586621679568740RSym1 vid6989586621679568734 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type

type family Let6989586621679568742Scrutinee_6989586621679566452 vid a b c d i where ...

Equations

Let6989586621679568742Scrutinee_6989586621679566452 vid a b c d i = Apply SaneSym0 (Let6989586621679568740RSym6 vid a b c d i)

type Let6989586621679568742Scrutinee_6989586621679566452Sym6 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739 = Let6989586621679568742Scrutinee_6989586621679566452 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739

data Let6989586621679568742Scrutinee_6989586621679566452Sym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739 where

Constructors

Let6989586621679568742Scrutinee_6989586621679566452Sym5KindInference :: SameKind (Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738) arg) (Let6989586621679568742Scrutinee_6989586621679566452Sym6 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 arg) => Let6989586621679568742Scrutinee_6989586621679566452Sym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739

Instances

SuppressUnusedWarnings (Let6989586621679568742Scrutinee_6989586621679566452Sym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 :: TyFun a Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 :: TyFun a Bool -> Type) (i6989586621679568739 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 :: TyFun a Bool -> Type) (i6989586621679568739 :: a) = Let6989586621679568742Scrutinee_6989586621679566452Sym6 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 i6989586621679568739

data Let6989586621679568742Scrutinee_6989586621679566452Sym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738 where

Constructors

Let6989586621679568742Scrutinee_6989586621679566452Sym4KindInference :: SameKind (Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737) arg) (Let6989586621679568742Scrutinee_6989586621679566452Sym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 arg) => Let6989586621679568742Scrutinee_6989586621679566452Sym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738

Instances

SuppressUnusedWarnings (Let6989586621679568742Scrutinee_6989586621679566452Sym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 :: TyFun a (TyFun a Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 :: TyFun a (TyFun a Bool -> Type) -> Type) (d6989586621679568738 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 :: TyFun a (TyFun a Bool -> Type) -> Type) (d6989586621679568738 :: a) = Let6989586621679568742Scrutinee_6989586621679566452Sym5 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 d6989586621679568738

data Let6989586621679568742Scrutinee_6989586621679566452Sym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737 where

Constructors

Let6989586621679568742Scrutinee_6989586621679566452Sym3KindInference :: SameKind (Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736) arg) (Let6989586621679568742Scrutinee_6989586621679566452Sym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 arg) => Let6989586621679568742Scrutinee_6989586621679566452Sym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737

Instances

SuppressUnusedWarnings (Let6989586621679568742Scrutinee_6989586621679566452Sym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (c6989586621679568737 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (c6989586621679568737 :: a) = Let6989586621679568742Scrutinee_6989586621679566452Sym4 vid6989586621679568734 a6989586621679568735 b6989586621679568736 c6989586621679568737

data Let6989586621679568742Scrutinee_6989586621679566452Sym2 vid6989586621679568734 a6989586621679568735 b6989586621679568736 where

Constructors

Let6989586621679568742Scrutinee_6989586621679566452Sym2KindInference :: SameKind (Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym2 vid6989586621679568734 a6989586621679568735) arg) (Let6989586621679568742Scrutinee_6989586621679566452Sym3 vid6989586621679568734 a6989586621679568735 arg) => Let6989586621679568742Scrutinee_6989586621679566452Sym2 vid6989586621679568734 a6989586621679568735 b6989586621679568736

Instances

SuppressUnusedWarnings (Let6989586621679568742Scrutinee_6989586621679566452Sym2 vid6989586621679568734 a6989586621679568735 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym2 vid6989586621679568734 a6989586621679568735 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (b6989586621679568736 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym2 vid6989586621679568734 a6989586621679568735 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (b6989586621679568736 :: a) = Let6989586621679568742Scrutinee_6989586621679566452Sym3 vid6989586621679568734 a6989586621679568735 b6989586621679568736

data Let6989586621679568742Scrutinee_6989586621679566452Sym1 vid6989586621679568734 a6989586621679568735 where

Constructors

Let6989586621679568742Scrutinee_6989586621679566452Sym1KindInference :: SameKind (Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym1 vid6989586621679568734) arg) (Let6989586621679568742Scrutinee_6989586621679566452Sym2 vid6989586621679568734 arg) => Let6989586621679568742Scrutinee_6989586621679566452Sym1 vid6989586621679568734 a6989586621679568735

Instances

SuppressUnusedWarnings (Let6989586621679568742Scrutinee_6989586621679566452Sym1 vid6989586621679568734 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym1 vid6989586621679568734 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568735 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym1 vid6989586621679568734 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568735 :: a) = Let6989586621679568742Scrutinee_6989586621679566452Sym2 vid6989586621679568734 a6989586621679568735

data Let6989586621679568742Scrutinee_6989586621679566452Sym0 vid6989586621679568734 where

Constructors

Let6989586621679568742Scrutinee_6989586621679566452Sym0KindInference :: SameKind (Apply Let6989586621679568742Scrutinee_6989586621679566452Sym0 arg) (Let6989586621679568742Scrutinee_6989586621679566452Sym1 arg) => Let6989586621679568742Scrutinee_6989586621679566452Sym0 vid6989586621679568734

Instances

SuppressUnusedWarnings (Let6989586621679568742Scrutinee_6989586621679566452Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568734 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568742Scrutinee_6989586621679566452Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568734 :: a) = Let6989586621679568742Scrutinee_6989586621679566452Sym1 vid6989586621679568734

type family Case_6989586621679568744 vid a b c d i t where ...

Equations

Case_6989586621679568744 vid a b c d i 'True = Apply JustSym0 (Let6989586621679568740RSym6 vid a b c d i)

Case_6989586621679568744 vid a b c d i 'False = NothingSym0

type family Let6989586621679568766R vid a b c d i where ...

Equations

Let6989586621679568766R vid a b c d i = Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) (FromInteger 4 :: Nat))) (Apply CovSym0 (Apply (Apply (:|@#@$) a) (Apply (Apply (:@#@$) b) (Apply (Apply (:@#@$) c) (Apply (Apply (:@#@$) d) NilSym0))))))) (Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 (Apply (Apply (<>@#@$) vid) (FromString "Area"))) (FromInteger 21 :: Nat))) (Apply ConSym0 (Apply (Apply (:|@#@$) i) NilSym0)))) NilSym0)

type Let6989586621679568766RSym6 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765 = Let6989586621679568766R vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765

data Let6989586621679568766RSym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765 where

Constructors

Let6989586621679568766RSym5KindInference :: SameKind (Apply (Let6989586621679568766RSym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764) arg) (Let6989586621679568766RSym6 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 arg) => Let6989586621679568766RSym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765

Instances

SuppressUnusedWarnings (Let6989586621679568766RSym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568766RSym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568765 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568766RSym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568765 :: a) = Let6989586621679568766RSym6 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765

data Let6989586621679568766RSym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 where

Constructors

Let6989586621679568766RSym4KindInference :: SameKind (Apply (Let6989586621679568766RSym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763) arg) (Let6989586621679568766RSym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 arg) => Let6989586621679568766RSym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764

Instances

SuppressUnusedWarnings (Let6989586621679568766RSym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568766RSym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679568764 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568766RSym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679568764 :: a) = Let6989586621679568766RSym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764

data Let6989586621679568766RSym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 where

Constructors

Let6989586621679568766RSym3KindInference :: SameKind (Apply (Let6989586621679568766RSym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762) arg) (Let6989586621679568766RSym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 arg) => Let6989586621679568766RSym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763

Instances

SuppressUnusedWarnings (Let6989586621679568766RSym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568766RSym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679568763 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568766RSym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679568763 :: a) = Let6989586621679568766RSym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763

data Let6989586621679568766RSym2 vid6989586621679568760 a6989586621679568761 b6989586621679568762 where

Constructors

Let6989586621679568766RSym2KindInference :: SameKind (Apply (Let6989586621679568766RSym2 vid6989586621679568760 a6989586621679568761) arg) (Let6989586621679568766RSym3 vid6989586621679568760 a6989586621679568761 arg) => Let6989586621679568766RSym2 vid6989586621679568760 a6989586621679568761 b6989586621679568762

Instances

SuppressUnusedWarnings (Let6989586621679568766RSym2 vid6989586621679568760 a6989586621679568761 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568766RSym2 vid6989586621679568760 a6989586621679568761 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679568762 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568766RSym2 vid6989586621679568760 a6989586621679568761 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679568762 :: a) = Let6989586621679568766RSym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762

data Let6989586621679568766RSym1 vid6989586621679568760 a6989586621679568761 where

Constructors

Let6989586621679568766RSym1KindInference :: SameKind (Apply (Let6989586621679568766RSym1 vid6989586621679568760) arg) (Let6989586621679568766RSym2 vid6989586621679568760 arg) => Let6989586621679568766RSym1 vid6989586621679568760 a6989586621679568761

Instances

SuppressUnusedWarnings (Let6989586621679568766RSym1 vid6989586621679568760 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568766RSym1 vid6989586621679568760 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568761 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568766RSym1 vid6989586621679568760 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568761 :: a) = Let6989586621679568766RSym2 vid6989586621679568760 a6989586621679568761

data Let6989586621679568766RSym0 vid6989586621679568760 where

Constructors

Let6989586621679568766RSym0KindInference :: SameKind (Apply Let6989586621679568766RSym0 arg) (Let6989586621679568766RSym1 arg) => Let6989586621679568766RSym0 vid6989586621679568760

Instances

SuppressUnusedWarnings (Let6989586621679568766RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568766RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568760 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568766RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568760 :: k1) = Let6989586621679568766RSym1 vid6989586621679568760 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type

type family Let6989586621679568768Scrutinee_6989586621679566450 vid a b c d i where ...

Equations

Let6989586621679568768Scrutinee_6989586621679566450 vid a b c d i = Apply SaneSym0 (Let6989586621679568766RSym6 vid a b c d i)

type Let6989586621679568768Scrutinee_6989586621679566450Sym6 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765 = Let6989586621679568768Scrutinee_6989586621679566450 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765

data Let6989586621679568768Scrutinee_6989586621679566450Sym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765 where

Constructors

Let6989586621679568768Scrutinee_6989586621679566450Sym5KindInference :: SameKind (Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764) arg) (Let6989586621679568768Scrutinee_6989586621679566450Sym6 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 arg) => Let6989586621679568768Scrutinee_6989586621679566450Sym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765

Instances

SuppressUnusedWarnings (Let6989586621679568768Scrutinee_6989586621679566450Sym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 :: TyFun a Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 :: TyFun a Bool -> Type) (i6989586621679568765 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 :: TyFun a Bool -> Type) (i6989586621679568765 :: a) = Let6989586621679568768Scrutinee_6989586621679566450Sym6 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 i6989586621679568765

data Let6989586621679568768Scrutinee_6989586621679566450Sym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764 where

Constructors

Let6989586621679568768Scrutinee_6989586621679566450Sym4KindInference :: SameKind (Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763) arg) (Let6989586621679568768Scrutinee_6989586621679566450Sym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 arg) => Let6989586621679568768Scrutinee_6989586621679566450Sym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764

Instances

SuppressUnusedWarnings (Let6989586621679568768Scrutinee_6989586621679566450Sym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 :: TyFun a (TyFun a Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 :: TyFun a (TyFun a Bool -> Type) -> Type) (d6989586621679568764 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 :: TyFun a (TyFun a Bool -> Type) -> Type) (d6989586621679568764 :: a) = Let6989586621679568768Scrutinee_6989586621679566450Sym5 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 d6989586621679568764

data Let6989586621679568768Scrutinee_6989586621679566450Sym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763 where

Constructors

Let6989586621679568768Scrutinee_6989586621679566450Sym3KindInference :: SameKind (Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762) arg) (Let6989586621679568768Scrutinee_6989586621679566450Sym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 arg) => Let6989586621679568768Scrutinee_6989586621679566450Sym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763

Instances

SuppressUnusedWarnings (Let6989586621679568768Scrutinee_6989586621679566450Sym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (c6989586621679568763 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (c6989586621679568763 :: a) = Let6989586621679568768Scrutinee_6989586621679566450Sym4 vid6989586621679568760 a6989586621679568761 b6989586621679568762 c6989586621679568763

data Let6989586621679568768Scrutinee_6989586621679566450Sym2 vid6989586621679568760 a6989586621679568761 b6989586621679568762 where

Constructors

Let6989586621679568768Scrutinee_6989586621679566450Sym2KindInference :: SameKind (Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym2 vid6989586621679568760 a6989586621679568761) arg) (Let6989586621679568768Scrutinee_6989586621679566450Sym3 vid6989586621679568760 a6989586621679568761 arg) => Let6989586621679568768Scrutinee_6989586621679566450Sym2 vid6989586621679568760 a6989586621679568761 b6989586621679568762

Instances

SuppressUnusedWarnings (Let6989586621679568768Scrutinee_6989586621679566450Sym2 vid6989586621679568760 a6989586621679568761 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym2 vid6989586621679568760 a6989586621679568761 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (b6989586621679568762 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym2 vid6989586621679568760 a6989586621679568761 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (b6989586621679568762 :: a) = Let6989586621679568768Scrutinee_6989586621679566450Sym3 vid6989586621679568760 a6989586621679568761 b6989586621679568762

data Let6989586621679568768Scrutinee_6989586621679566450Sym1 vid6989586621679568760 a6989586621679568761 where

Constructors

Let6989586621679568768Scrutinee_6989586621679566450Sym1KindInference :: SameKind (Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym1 vid6989586621679568760) arg) (Let6989586621679568768Scrutinee_6989586621679566450Sym2 vid6989586621679568760 arg) => Let6989586621679568768Scrutinee_6989586621679566450Sym1 vid6989586621679568760 a6989586621679568761

Instances

SuppressUnusedWarnings (Let6989586621679568768Scrutinee_6989586621679566450Sym1 vid6989586621679568760 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym1 vid6989586621679568760 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568761 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym1 vid6989586621679568760 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568761 :: a) = Let6989586621679568768Scrutinee_6989586621679566450Sym2 vid6989586621679568760 a6989586621679568761

data Let6989586621679568768Scrutinee_6989586621679566450Sym0 vid6989586621679568760 where

Constructors

Let6989586621679568768Scrutinee_6989586621679566450Sym0KindInference :: SameKind (Apply Let6989586621679568768Scrutinee_6989586621679566450Sym0 arg) (Let6989586621679568768Scrutinee_6989586621679566450Sym1 arg) => Let6989586621679568768Scrutinee_6989586621679566450Sym0 vid6989586621679568760

Instances

SuppressUnusedWarnings (Let6989586621679568768Scrutinee_6989586621679566450Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568760 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568768Scrutinee_6989586621679566450Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568760 :: a) = Let6989586621679568768Scrutinee_6989586621679566450Sym1 vid6989586621679568760

type family Case_6989586621679568770 vid a b c d i t where ...

Equations

Case_6989586621679568770 vid a b c d i 'True = Apply JustSym0 (Let6989586621679568766RSym6 vid a b c d i)

Case_6989586621679568770 vid a b c d i 'False = NothingSym0

type family Let6989586621679568792R vid a b c d i where ...

Equations

Let6989586621679568792R vid a b c d i = Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) (FromInteger 4 :: Nat))) (Apply CovSym0 (Apply (Apply (:|@#@$) a) (Apply (Apply (:@#@$) b) (Apply (Apply (:@#@$) c) (Apply (Apply (:@#@$) d) NilSym0))))))) (Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 (Apply (Apply (<>@#@$) vid) (FromString "Area"))) (FromInteger 21 :: Nat))) (Apply ConSym0 (Apply (Apply (:|@#@$) i) NilSym0)))) NilSym0)

type Let6989586621679568792RSym6 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791 = Let6989586621679568792R vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791

data Let6989586621679568792RSym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791 where

Constructors

Let6989586621679568792RSym5KindInference :: SameKind (Apply (Let6989586621679568792RSym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790) arg) (Let6989586621679568792RSym6 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 arg) => Let6989586621679568792RSym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791

Instances

SuppressUnusedWarnings (Let6989586621679568792RSym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568792RSym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568791 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568792RSym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568791 :: a) = Let6989586621679568792RSym6 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791

data Let6989586621679568792RSym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 where

Constructors

Let6989586621679568792RSym4KindInference :: SameKind (Apply (Let6989586621679568792RSym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789) arg) (Let6989586621679568792RSym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 arg) => Let6989586621679568792RSym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790

Instances

SuppressUnusedWarnings (Let6989586621679568792RSym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568792RSym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679568790 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568792RSym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679568790 :: a) = Let6989586621679568792RSym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790

data Let6989586621679568792RSym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 where

Constructors

Let6989586621679568792RSym3KindInference :: SameKind (Apply (Let6989586621679568792RSym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788) arg) (Let6989586621679568792RSym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 arg) => Let6989586621679568792RSym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789

Instances

SuppressUnusedWarnings (Let6989586621679568792RSym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568792RSym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679568789 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568792RSym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679568789 :: a) = Let6989586621679568792RSym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789

data Let6989586621679568792RSym2 vid6989586621679568786 a6989586621679568787 b6989586621679568788 where

Constructors

Let6989586621679568792RSym2KindInference :: SameKind (Apply (Let6989586621679568792RSym2 vid6989586621679568786 a6989586621679568787) arg) (Let6989586621679568792RSym3 vid6989586621679568786 a6989586621679568787 arg) => Let6989586621679568792RSym2 vid6989586621679568786 a6989586621679568787 b6989586621679568788

Instances

SuppressUnusedWarnings (Let6989586621679568792RSym2 vid6989586621679568786 a6989586621679568787 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568792RSym2 vid6989586621679568786 a6989586621679568787 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679568788 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568792RSym2 vid6989586621679568786 a6989586621679568787 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679568788 :: a) = Let6989586621679568792RSym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788

data Let6989586621679568792RSym1 vid6989586621679568786 a6989586621679568787 where

Constructors

Let6989586621679568792RSym1KindInference :: SameKind (Apply (Let6989586621679568792RSym1 vid6989586621679568786) arg) (Let6989586621679568792RSym2 vid6989586621679568786 arg) => Let6989586621679568792RSym1 vid6989586621679568786 a6989586621679568787

Instances

SuppressUnusedWarnings (Let6989586621679568792RSym1 vid6989586621679568786 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568792RSym1 vid6989586621679568786 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568787 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568792RSym1 vid6989586621679568786 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568787 :: a) = Let6989586621679568792RSym2 vid6989586621679568786 a6989586621679568787

data Let6989586621679568792RSym0 vid6989586621679568786 where

Constructors

Let6989586621679568792RSym0KindInference :: SameKind (Apply Let6989586621679568792RSym0 arg) (Let6989586621679568792RSym1 arg) => Let6989586621679568792RSym0 vid6989586621679568786

Instances

SuppressUnusedWarnings (Let6989586621679568792RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568792RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568786 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568792RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568786 :: k1) = Let6989586621679568792RSym1 vid6989586621679568786 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type

type family Let6989586621679568794Scrutinee_6989586621679566448 vid a b c d i where ...

Equations

Let6989586621679568794Scrutinee_6989586621679566448 vid a b c d i = Apply SaneSym0 (Let6989586621679568792RSym6 vid a b c d i)

type Let6989586621679568794Scrutinee_6989586621679566448Sym6 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791 = Let6989586621679568794Scrutinee_6989586621679566448 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791

data Let6989586621679568794Scrutinee_6989586621679566448Sym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791 where

Constructors

Let6989586621679568794Scrutinee_6989586621679566448Sym5KindInference :: SameKind (Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790) arg) (Let6989586621679568794Scrutinee_6989586621679566448Sym6 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 arg) => Let6989586621679568794Scrutinee_6989586621679566448Sym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791

Instances

SuppressUnusedWarnings (Let6989586621679568794Scrutinee_6989586621679566448Sym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 :: TyFun a Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 :: TyFun a Bool -> Type) (i6989586621679568791 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 :: TyFun a Bool -> Type) (i6989586621679568791 :: a) = Let6989586621679568794Scrutinee_6989586621679566448Sym6 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 i6989586621679568791

data Let6989586621679568794Scrutinee_6989586621679566448Sym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790 where

Constructors

Let6989586621679568794Scrutinee_6989586621679566448Sym4KindInference :: SameKind (Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789) arg) (Let6989586621679568794Scrutinee_6989586621679566448Sym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 arg) => Let6989586621679568794Scrutinee_6989586621679566448Sym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790

Instances

SuppressUnusedWarnings (Let6989586621679568794Scrutinee_6989586621679566448Sym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 :: TyFun a (TyFun a Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 :: TyFun a (TyFun a Bool -> Type) -> Type) (d6989586621679568790 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 :: TyFun a (TyFun a Bool -> Type) -> Type) (d6989586621679568790 :: a) = Let6989586621679568794Scrutinee_6989586621679566448Sym5 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 d6989586621679568790

data Let6989586621679568794Scrutinee_6989586621679566448Sym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789 where

Constructors

Let6989586621679568794Scrutinee_6989586621679566448Sym3KindInference :: SameKind (Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788) arg) (Let6989586621679568794Scrutinee_6989586621679566448Sym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 arg) => Let6989586621679568794Scrutinee_6989586621679566448Sym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789

Instances

SuppressUnusedWarnings (Let6989586621679568794Scrutinee_6989586621679566448Sym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (c6989586621679568789 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (c6989586621679568789 :: a) = Let6989586621679568794Scrutinee_6989586621679566448Sym4 vid6989586621679568786 a6989586621679568787 b6989586621679568788 c6989586621679568789

data Let6989586621679568794Scrutinee_6989586621679566448Sym2 vid6989586621679568786 a6989586621679568787 b6989586621679568788 where

Constructors

Let6989586621679568794Scrutinee_6989586621679566448Sym2KindInference :: SameKind (Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym2 vid6989586621679568786 a6989586621679568787) arg) (Let6989586621679568794Scrutinee_6989586621679566448Sym3 vid6989586621679568786 a6989586621679568787 arg) => Let6989586621679568794Scrutinee_6989586621679566448Sym2 vid6989586621679568786 a6989586621679568787 b6989586621679568788

Instances

SuppressUnusedWarnings (Let6989586621679568794Scrutinee_6989586621679566448Sym2 vid6989586621679568786 a6989586621679568787 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym2 vid6989586621679568786 a6989586621679568787 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (b6989586621679568788 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym2 vid6989586621679568786 a6989586621679568787 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (b6989586621679568788 :: a) = Let6989586621679568794Scrutinee_6989586621679566448Sym3 vid6989586621679568786 a6989586621679568787 b6989586621679568788

data Let6989586621679568794Scrutinee_6989586621679566448Sym1 vid6989586621679568786 a6989586621679568787 where

Constructors

Let6989586621679568794Scrutinee_6989586621679566448Sym1KindInference :: SameKind (Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym1 vid6989586621679568786) arg) (Let6989586621679568794Scrutinee_6989586621679566448Sym2 vid6989586621679568786 arg) => Let6989586621679568794Scrutinee_6989586621679566448Sym1 vid6989586621679568786 a6989586621679568787

Instances

SuppressUnusedWarnings (Let6989586621679568794Scrutinee_6989586621679566448Sym1 vid6989586621679568786 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym1 vid6989586621679568786 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568787 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym1 vid6989586621679568786 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568787 :: a) = Let6989586621679568794Scrutinee_6989586621679566448Sym2 vid6989586621679568786 a6989586621679568787

data Let6989586621679568794Scrutinee_6989586621679566448Sym0 vid6989586621679568786 where

Constructors

Let6989586621679568794Scrutinee_6989586621679566448Sym0KindInference :: SameKind (Apply Let6989586621679568794Scrutinee_6989586621679566448Sym0 arg) (Let6989586621679568794Scrutinee_6989586621679566448Sym1 arg) => Let6989586621679568794Scrutinee_6989586621679566448Sym0 vid6989586621679568786

Instances

SuppressUnusedWarnings (Let6989586621679568794Scrutinee_6989586621679566448Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568786 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568794Scrutinee_6989586621679566448Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568786 :: a) = Let6989586621679568794Scrutinee_6989586621679566448Sym1 vid6989586621679568786

type family Case_6989586621679568796 vid a b c d i t where ...

Equations

Case_6989586621679568796 vid a b c d i 'True = Apply JustSym0 (Let6989586621679568792RSym6 vid a b c d i)

Case_6989586621679568796 vid a b c d i 'False = NothingSym0

type family Let6989586621679568818R vid a b c d i where ...

Equations

Let6989586621679568818R vid a b c d i = Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) (FromInteger 4 :: Nat))) (Apply ConSym0 (Apply (Apply (:|@#@$) a) (Apply (Apply (:@#@$) b) (Apply (Apply (:@#@$) c) (Apply (Apply (:@#@$) d) NilSym0))))))) (Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 (Apply (Apply (<>@#@$) vid) (FromString "Area"))) (FromInteger 21 :: Nat))) (Apply CovSym0 (Apply (Apply (:|@#@$) i) NilSym0)))) NilSym0)

type Let6989586621679568818RSym6 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817 = Let6989586621679568818R vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817

data Let6989586621679568818RSym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817 where

Constructors

Let6989586621679568818RSym5KindInference :: SameKind (Apply (Let6989586621679568818RSym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816) arg) (Let6989586621679568818RSym6 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 arg) => Let6989586621679568818RSym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817

Instances

SuppressUnusedWarnings (Let6989586621679568818RSym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568818RSym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568817 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568818RSym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568817 :: a) = Let6989586621679568818RSym6 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817

data Let6989586621679568818RSym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 where

Constructors

Let6989586621679568818RSym4KindInference :: SameKind (Apply (Let6989586621679568818RSym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815) arg) (Let6989586621679568818RSym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 arg) => Let6989586621679568818RSym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816

Instances

SuppressUnusedWarnings (Let6989586621679568818RSym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568818RSym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679568816 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568818RSym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (d6989586621679568816 :: a) = Let6989586621679568818RSym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816

data Let6989586621679568818RSym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 where

Constructors

Let6989586621679568818RSym3KindInference :: SameKind (Apply (Let6989586621679568818RSym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814) arg) (Let6989586621679568818RSym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 arg) => Let6989586621679568818RSym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815

Instances

SuppressUnusedWarnings (Let6989586621679568818RSym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568818RSym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679568815 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568818RSym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (c6989586621679568815 :: a) = Let6989586621679568818RSym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815

data Let6989586621679568818RSym2 vid6989586621679568812 a6989586621679568813 b6989586621679568814 where

Constructors

Let6989586621679568818RSym2KindInference :: SameKind (Apply (Let6989586621679568818RSym2 vid6989586621679568812 a6989586621679568813) arg) (Let6989586621679568818RSym3 vid6989586621679568812 a6989586621679568813 arg) => Let6989586621679568818RSym2 vid6989586621679568812 a6989586621679568813 b6989586621679568814

Instances

SuppressUnusedWarnings (Let6989586621679568818RSym2 vid6989586621679568812 a6989586621679568813 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568818RSym2 vid6989586621679568812 a6989586621679568813 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679568814 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568818RSym2 vid6989586621679568812 a6989586621679568813 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (b6989586621679568814 :: a) = Let6989586621679568818RSym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814

data Let6989586621679568818RSym1 vid6989586621679568812 a6989586621679568813 where

Constructors

Let6989586621679568818RSym1KindInference :: SameKind (Apply (Let6989586621679568818RSym1 vid6989586621679568812) arg) (Let6989586621679568818RSym2 vid6989586621679568812 arg) => Let6989586621679568818RSym1 vid6989586621679568812 a6989586621679568813

Instances

SuppressUnusedWarnings (Let6989586621679568818RSym1 vid6989586621679568812 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568818RSym1 vid6989586621679568812 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568813 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568818RSym1 vid6989586621679568812 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568813 :: a) = Let6989586621679568818RSym2 vid6989586621679568812 a6989586621679568813

data Let6989586621679568818RSym0 vid6989586621679568812 where

Constructors

Let6989586621679568818RSym0KindInference :: SameKind (Apply Let6989586621679568818RSym0 arg) (Let6989586621679568818RSym1 arg) => Let6989586621679568818RSym0 vid6989586621679568812

Instances

SuppressUnusedWarnings (Let6989586621679568818RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568818RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568812 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568818RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568812 :: k1) = Let6989586621679568818RSym1 vid6989586621679568812 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type

type family Let6989586621679568820Scrutinee_6989586621679566446 vid a b c d i where ...

Equations

Let6989586621679568820Scrutinee_6989586621679566446 vid a b c d i = Apply SaneSym0 (Let6989586621679568818RSym6 vid a b c d i)

type Let6989586621679568820Scrutinee_6989586621679566446Sym6 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817 = Let6989586621679568820Scrutinee_6989586621679566446 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817

data Let6989586621679568820Scrutinee_6989586621679566446Sym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817 where

Constructors

Let6989586621679568820Scrutinee_6989586621679566446Sym5KindInference :: SameKind (Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816) arg) (Let6989586621679568820Scrutinee_6989586621679566446Sym6 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 arg) => Let6989586621679568820Scrutinee_6989586621679566446Sym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817

Instances

SuppressUnusedWarnings (Let6989586621679568820Scrutinee_6989586621679566446Sym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 :: TyFun a Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 :: TyFun a Bool -> Type) (i6989586621679568817 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 :: TyFun a Bool -> Type) (i6989586621679568817 :: a) = Let6989586621679568820Scrutinee_6989586621679566446Sym6 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 i6989586621679568817

data Let6989586621679568820Scrutinee_6989586621679566446Sym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816 where

Constructors

Let6989586621679568820Scrutinee_6989586621679566446Sym4KindInference :: SameKind (Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815) arg) (Let6989586621679568820Scrutinee_6989586621679566446Sym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 arg) => Let6989586621679568820Scrutinee_6989586621679566446Sym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816

Instances

SuppressUnusedWarnings (Let6989586621679568820Scrutinee_6989586621679566446Sym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 :: TyFun a (TyFun a Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 :: TyFun a (TyFun a Bool -> Type) -> Type) (d6989586621679568816 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 :: TyFun a (TyFun a Bool -> Type) -> Type) (d6989586621679568816 :: a) = Let6989586621679568820Scrutinee_6989586621679566446Sym5 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 d6989586621679568816

data Let6989586621679568820Scrutinee_6989586621679566446Sym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815 where

Constructors

Let6989586621679568820Scrutinee_6989586621679566446Sym3KindInference :: SameKind (Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814) arg) (Let6989586621679568820Scrutinee_6989586621679566446Sym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 arg) => Let6989586621679568820Scrutinee_6989586621679566446Sym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815

Instances

SuppressUnusedWarnings (Let6989586621679568820Scrutinee_6989586621679566446Sym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (c6989586621679568815 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (c6989586621679568815 :: a) = Let6989586621679568820Scrutinee_6989586621679566446Sym4 vid6989586621679568812 a6989586621679568813 b6989586621679568814 c6989586621679568815

data Let6989586621679568820Scrutinee_6989586621679566446Sym2 vid6989586621679568812 a6989586621679568813 b6989586621679568814 where

Constructors

Let6989586621679568820Scrutinee_6989586621679566446Sym2KindInference :: SameKind (Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym2 vid6989586621679568812 a6989586621679568813) arg) (Let6989586621679568820Scrutinee_6989586621679566446Sym3 vid6989586621679568812 a6989586621679568813 arg) => Let6989586621679568820Scrutinee_6989586621679566446Sym2 vid6989586621679568812 a6989586621679568813 b6989586621679568814

Instances

SuppressUnusedWarnings (Let6989586621679568820Scrutinee_6989586621679566446Sym2 vid6989586621679568812 a6989586621679568813 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym2 vid6989586621679568812 a6989586621679568813 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (b6989586621679568814 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym2 vid6989586621679568812 a6989586621679568813 :: TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (b6989586621679568814 :: a) = Let6989586621679568820Scrutinee_6989586621679566446Sym3 vid6989586621679568812 a6989586621679568813 b6989586621679568814

data Let6989586621679568820Scrutinee_6989586621679566446Sym1 vid6989586621679568812 a6989586621679568813 where

Constructors

Let6989586621679568820Scrutinee_6989586621679566446Sym1KindInference :: SameKind (Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym1 vid6989586621679568812) arg) (Let6989586621679568820Scrutinee_6989586621679566446Sym2 vid6989586621679568812 arg) => Let6989586621679568820Scrutinee_6989586621679566446Sym1 vid6989586621679568812 a6989586621679568813

Instances

SuppressUnusedWarnings (Let6989586621679568820Scrutinee_6989586621679566446Sym1 vid6989586621679568812 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym1 vid6989586621679568812 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568813 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym1 vid6989586621679568812 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (a6989586621679568813 :: a) = Let6989586621679568820Scrutinee_6989586621679566446Sym2 vid6989586621679568812 a6989586621679568813

data Let6989586621679568820Scrutinee_6989586621679566446Sym0 vid6989586621679568812 where

Constructors

Let6989586621679568820Scrutinee_6989586621679566446Sym0KindInference :: SameKind (Apply Let6989586621679568820Scrutinee_6989586621679566446Sym0 arg) (Let6989586621679568820Scrutinee_6989586621679566446Sym1 arg) => Let6989586621679568820Scrutinee_6989586621679566446Sym0 vid6989586621679568812

Instances

SuppressUnusedWarnings (Let6989586621679568820Scrutinee_6989586621679566446Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568812 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568820Scrutinee_6989586621679566446Sym0 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568812 :: a) = Let6989586621679568820Scrutinee_6989586621679566446Sym1 vid6989586621679568812

type family Case_6989586621679568822 vid a b c d i t where ...

Equations

Case_6989586621679568822 vid a b c d i 'True = Apply JustSym0 (Let6989586621679568818RSym6 vid a b c d i)

Case_6989586621679568822 vid a b c d i 'False = NothingSym0

type family Let6989586621679568935Scrutinee_6989586621679566440 acc n a_6989586621679568923 where ...

Equations

Let6989586621679568935Scrutinee_6989586621679566440 acc n a_6989586621679568923 = Apply (Apply (==@#@$) n) (FromInteger 0)

type Let6989586621679568935Scrutinee_6989586621679566440Sym3 acc6989586621679568933 n6989586621679568934 a_69895866216795689236989586621679568928 = Let6989586621679568935Scrutinee_6989586621679566440 acc6989586621679568933 n6989586621679568934 a_69895866216795689236989586621679568928

data Let6989586621679568935Scrutinee_6989586621679566440Sym2 acc6989586621679568933 n6989586621679568934 a_69895866216795689236989586621679568928 where

Constructors

Let6989586621679568935Scrutinee_6989586621679566440Sym2KindInference :: SameKind (Apply (Let6989586621679568935Scrutinee_6989586621679566440Sym2 acc6989586621679568933 n6989586621679568934) arg) (Let6989586621679568935Scrutinee_6989586621679566440Sym3 acc6989586621679568933 n6989586621679568934 arg) => Let6989586621679568935Scrutinee_6989586621679566440Sym2 acc6989586621679568933 n6989586621679568934 a_69895866216795689236989586621679568928

Instances

SuppressUnusedWarnings (Let6989586621679568935Scrutinee_6989586621679566440Sym2 acc6989586621679568933 n6989586621679568934 :: TyFun k3 Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568935Scrutinee_6989586621679566440Sym2 acc6989586621679568933 n6989586621679568934 :: TyFun k3 Bool -> Type) (a_69895866216795689236989586621679568928 :: k3)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568935Scrutinee_6989586621679566440Sym2 acc6989586621679568933 n6989586621679568934 :: TyFun k3 Bool -> Type) (a_69895866216795689236989586621679568928 :: k3) = Let6989586621679568935Scrutinee_6989586621679566440Sym3 acc6989586621679568933 n6989586621679568934 a_69895866216795689236989586621679568928

data Let6989586621679568935Scrutinee_6989586621679566440Sym1 acc6989586621679568933 n6989586621679568934 where

Constructors

Let6989586621679568935Scrutinee_6989586621679566440Sym1KindInference :: SameKind (Apply (Let6989586621679568935Scrutinee_6989586621679566440Sym1 acc6989586621679568933) arg) (Let6989586621679568935Scrutinee_6989586621679566440Sym2 acc6989586621679568933 arg) => Let6989586621679568935Scrutinee_6989586621679566440Sym1 acc6989586621679568933 n6989586621679568934

Instances

SuppressUnusedWarnings (Let6989586621679568935Scrutinee_6989586621679566440Sym1 acc6989586621679568933 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568935Scrutinee_6989586621679566440Sym1 acc6989586621679568933 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (n6989586621679568934 :: k2)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568935Scrutinee_6989586621679566440Sym1 acc6989586621679568933 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (n6989586621679568934 :: k2) = Let6989586621679568935Scrutinee_6989586621679566440Sym2 acc6989586621679568933 n6989586621679568934 :: TyFun k3 Bool -> Type

data Let6989586621679568935Scrutinee_6989586621679566440Sym0 acc6989586621679568933 where

Constructors

Let6989586621679568935Scrutinee_6989586621679566440Sym0KindInference :: SameKind (Apply Let6989586621679568935Scrutinee_6989586621679566440Sym0 arg) (Let6989586621679568935Scrutinee_6989586621679566440Sym1 arg) => Let6989586621679568935Scrutinee_6989586621679566440Sym0 acc6989586621679568933

Instances

SuppressUnusedWarnings (Let6989586621679568935Scrutinee_6989586621679566440Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568935Scrutinee_6989586621679566440Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (acc6989586621679568933 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568935Scrutinee_6989586621679566440Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (acc6989586621679568933 :: k1) = Let6989586621679568935Scrutinee_6989586621679566440Sym1 acc6989586621679568933 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type

type family Let6989586621679568929Go a_6989586621679568923 (a :: Nat) (a :: Nat) :: Nat where ...

Equations

Let6989586621679568929Go a_6989586621679568923 acc n = Case_6989586621679568937 acc n a_6989586621679568923 (Let6989586621679568935Scrutinee_6989586621679566440Sym3 acc n a_6989586621679568923)

type family Case_6989586621679568937 acc n a_6989586621679568923 t where ...

Equations

Case_6989586621679568937 acc n a_6989586621679568923 'True = acc

Case_6989586621679568937 acc n a_6989586621679568923 'False = Apply (Apply (Let6989586621679568929GoSym1 a_6989586621679568923) (Apply (Apply (+@#@$) acc) n)) (Apply PredSym0 n)

data Let6989586621679568929GoSym1 a_69895866216795689236989586621679568928 :: (~>) Nat ((~>) Nat Nat) where

Constructors

Let6989586621679568929GoSym1KindInference :: SameKind (Apply (Let6989586621679568929GoSym1 a_69895866216795689236989586621679568928) arg) (Let6989586621679568929GoSym2 a_69895866216795689236989586621679568928 arg) => Let6989586621679568929GoSym1 a_69895866216795689236989586621679568928 a6989586621679568930

Instances

SuppressUnusedWarnings (Let6989586621679568929GoSym1 a_69895866216795689236989586621679568928 :: TyFun Nat (Nat ~> Nat) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568929GoSym1 a_69895866216795689236989586621679568928 :: TyFun Nat (Nat ~> Nat) -> Type) (a6989586621679568930 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568929GoSym1 a_69895866216795689236989586621679568928 :: TyFun Nat (Nat ~> Nat) -> Type) (a6989586621679568930 :: Nat) = Let6989586621679568929GoSym2 a_69895866216795689236989586621679568928 a6989586621679568930

data Let6989586621679568929GoSym2 a_69895866216795689236989586621679568928 (a6989586621679568930 :: Nat) :: (~>) Nat Nat where

Constructors

Let6989586621679568929GoSym2KindInference :: SameKind (Apply (Let6989586621679568929GoSym2 a_69895866216795689236989586621679568928 a6989586621679568930) arg) (Let6989586621679568929GoSym3 a_69895866216795689236989586621679568928 a6989586621679568930 arg) => Let6989586621679568929GoSym2 a_69895866216795689236989586621679568928 a6989586621679568930 a6989586621679568931

Instances

SuppressUnusedWarnings (Let6989586621679568929GoSym2 a_69895866216795689236989586621679568928 a6989586621679568930 :: TyFun Nat Nat -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568929GoSym2 a_69895866216795689236989586621679568928 a6989586621679568930 :: TyFun Nat Nat -> Type) (a6989586621679568931 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568929GoSym2 a_69895866216795689236989586621679568928 a6989586621679568930 :: TyFun Nat Nat -> Type) (a6989586621679568931 :: Nat) = Let6989586621679568929GoSym3 a_69895866216795689236989586621679568928 a6989586621679568930 a6989586621679568931

type Let6989586621679568929GoSym3 a_69895866216795689236989586621679568928 (a6989586621679568930 :: Nat) (a6989586621679568931 :: Nat) = Let6989586621679568929Go a_69895866216795689236989586621679568928 a6989586621679568930 a6989586621679568931 :: Nat

data Let6989586621679568929GoSym0 a_69895866216795689236989586621679568928 where

Constructors

Let6989586621679568929GoSym0KindInference :: SameKind (Apply Let6989586621679568929GoSym0 arg) (Let6989586621679568929GoSym1 arg) => Let6989586621679568929GoSym0 a_69895866216795689236989586621679568928

Instances

SuppressUnusedWarnings (Let6989586621679568929GoSym0 :: TyFun k (TyFun Nat (Nat ~> Nat) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568929GoSym0 :: TyFun k (TyFun Nat (Nat ~> Nat) -> Type) -> Type) (a_69895866216795689236989586621679568928 :: k)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568929GoSym0 :: TyFun k (TyFun Nat (Nat ~> Nat) -> Type) -> Type) (a_69895866216795689236989586621679568928 :: k) = Let6989586621679568929GoSym1 a_69895866216795689236989586621679568928

type family Let6989586621679568950Scrutinee_6989586621679566436 vid vdim is where ...

Equations

Let6989586621679568950Scrutinee_6989586621679566436 vid vdim is = Apply (Apply IsLengthNESym0 is) vdim

type Let6989586621679568950Scrutinee_6989586621679566436Sym3 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949 = Let6989586621679568950Scrutinee_6989586621679566436 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949

data Let6989586621679568950Scrutinee_6989586621679566436Sym2 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949 where

Constructors

Let6989586621679568950Scrutinee_6989586621679566436Sym2KindInference :: SameKind (Apply (Let6989586621679568950Scrutinee_6989586621679566436Sym2 vid6989586621679568947 vdim6989586621679568948) arg) (Let6989586621679568950Scrutinee_6989586621679566436Sym3 vid6989586621679568947 vdim6989586621679568948 arg) => Let6989586621679568950Scrutinee_6989586621679566436Sym2 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949

Instances

SuppressUnusedWarnings (Let6989586621679568950Scrutinee_6989586621679566436Sym2 vid6989586621679568947 vdim6989586621679568948 :: TyFun (NonEmpty a) Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568950Scrutinee_6989586621679566436Sym2 vid6989586621679568947 vdim6989586621679568948 :: TyFun (NonEmpty a) Bool -> Type) (is6989586621679568949 :: NonEmpty a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568950Scrutinee_6989586621679566436Sym2 vid6989586621679568947 vdim6989586621679568948 :: TyFun (NonEmpty a) Bool -> Type) (is6989586621679568949 :: NonEmpty a) = Let6989586621679568950Scrutinee_6989586621679566436Sym3 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949

data Let6989586621679568950Scrutinee_6989586621679566436Sym1 vid6989586621679568947 vdim6989586621679568948 where

Constructors

Let6989586621679568950Scrutinee_6989586621679566436Sym1KindInference :: SameKind (Apply (Let6989586621679568950Scrutinee_6989586621679566436Sym1 vid6989586621679568947) arg) (Let6989586621679568950Scrutinee_6989586621679566436Sym2 vid6989586621679568947 arg) => Let6989586621679568950Scrutinee_6989586621679566436Sym1 vid6989586621679568947 vdim6989586621679568948

Instances

SuppressUnusedWarnings (Let6989586621679568950Scrutinee_6989586621679566436Sym1 vid6989586621679568947 :: TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568950Scrutinee_6989586621679566436Sym1 vid6989586621679568947 :: TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) (vdim6989586621679568948 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568950Scrutinee_6989586621679566436Sym1 vid6989586621679568947 :: TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) (vdim6989586621679568948 :: Nat) = Let6989586621679568950Scrutinee_6989586621679566436Sym2 vid6989586621679568947 vdim6989586621679568948 :: TyFun (NonEmpty a) Bool -> Type

data Let6989586621679568950Scrutinee_6989586621679566436Sym0 vid6989586621679568947 where

Constructors

Let6989586621679568950Scrutinee_6989586621679566436Sym0KindInference :: SameKind (Apply Let6989586621679568950Scrutinee_6989586621679566436Sym0 arg) (Let6989586621679568950Scrutinee_6989586621679566436Sym1 arg) => Let6989586621679568950Scrutinee_6989586621679566436Sym0 vid6989586621679568947

Instances

SuppressUnusedWarnings (Let6989586621679568950Scrutinee_6989586621679566436Sym0 :: TyFun k (TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568950Scrutinee_6989586621679566436Sym0 :: TyFun k (TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type) (vid6989586621679568947 :: k)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568950Scrutinee_6989586621679566436Sym0 :: TyFun k (TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type) (vid6989586621679568947 :: k) = Let6989586621679568950Scrutinee_6989586621679566436Sym1 vid6989586621679568947 :: TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type

type family Let6989586621679568954Scrutinee_6989586621679566438 vid vdim is where ...

Equations

Let6989586621679568954Scrutinee_6989586621679566438 vid vdim is = Apply IsAscendingNESym0 is

type Let6989586621679568954Scrutinee_6989586621679566438Sym3 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949 = Let6989586621679568954Scrutinee_6989586621679566438 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949

data Let6989586621679568954Scrutinee_6989586621679566438Sym2 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949 where

Constructors

Let6989586621679568954Scrutinee_6989586621679566438Sym2KindInference :: SameKind (Apply (Let6989586621679568954Scrutinee_6989586621679566438Sym2 vid6989586621679568947 vdim6989586621679568948) arg) (Let6989586621679568954Scrutinee_6989586621679566438Sym3 vid6989586621679568947 vdim6989586621679568948 arg) => Let6989586621679568954Scrutinee_6989586621679566438Sym2 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949

Instances

SuppressUnusedWarnings (Let6989586621679568954Scrutinee_6989586621679566438Sym2 vid6989586621679568947 vdim6989586621679568948 :: TyFun (NonEmpty a) Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568954Scrutinee_6989586621679566438Sym2 vid6989586621679568947 vdim6989586621679568948 :: TyFun (NonEmpty a) Bool -> Type) (is6989586621679568949 :: NonEmpty a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568954Scrutinee_6989586621679566438Sym2 vid6989586621679568947 vdim6989586621679568948 :: TyFun (NonEmpty a) Bool -> Type) (is6989586621679568949 :: NonEmpty a) = Let6989586621679568954Scrutinee_6989586621679566438Sym3 vid6989586621679568947 vdim6989586621679568948 is6989586621679568949

data Let6989586621679568954Scrutinee_6989586621679566438Sym1 vid6989586621679568947 vdim6989586621679568948 where

Constructors

Let6989586621679568954Scrutinee_6989586621679566438Sym1KindInference :: SameKind (Apply (Let6989586621679568954Scrutinee_6989586621679566438Sym1 vid6989586621679568947) arg) (Let6989586621679568954Scrutinee_6989586621679566438Sym2 vid6989586621679568947 arg) => Let6989586621679568954Scrutinee_6989586621679566438Sym1 vid6989586621679568947 vdim6989586621679568948

Instances

SuppressUnusedWarnings (Let6989586621679568954Scrutinee_6989586621679566438Sym1 vid6989586621679568947 :: TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568954Scrutinee_6989586621679566438Sym1 vid6989586621679568947 :: TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) (vdim6989586621679568948 :: k2)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568954Scrutinee_6989586621679566438Sym1 vid6989586621679568947 :: TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) (vdim6989586621679568948 :: k2) = Let6989586621679568954Scrutinee_6989586621679566438Sym2 vid6989586621679568947 vdim6989586621679568948 :: TyFun (NonEmpty a) Bool -> Type

data Let6989586621679568954Scrutinee_6989586621679566438Sym0 vid6989586621679568947 where

Constructors

Let6989586621679568954Scrutinee_6989586621679566438Sym0KindInference :: SameKind (Apply Let6989586621679568954Scrutinee_6989586621679566438Sym0 arg) (Let6989586621679568954Scrutinee_6989586621679566438Sym1 arg) => Let6989586621679568954Scrutinee_6989586621679566438Sym0 vid6989586621679568947

Instances

SuppressUnusedWarnings (Let6989586621679568954Scrutinee_6989586621679566438Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568954Scrutinee_6989586621679566438Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type) (vid6989586621679568947 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568954Scrutinee_6989586621679566438Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type) (vid6989586621679568947 :: k1) = Let6989586621679568954Scrutinee_6989586621679566438Sym1 vid6989586621679568947 :: TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type

type family Case_6989586621679568956 vid vdim is t where ...

Equations

Case_6989586621679568956 vid vdim is 'True = Apply JustSym0 (Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) vdim)) (Apply ConSym0 is))) NilSym0)

Case_6989586621679568956 vid vdim is 'False = NothingSym0

type family Case_6989586621679568952 vid vdim is t where ...

Equations

Case_6989586621679568952 vid vdim is 'True = Case_6989586621679568956 vid vdim is (Let6989586621679568954Scrutinee_6989586621679566438Sym3 vid vdim is)

Case_6989586621679568952 vid vdim is 'False = NothingSym0

type family Let6989586621679568970Scrutinee_6989586621679566432 vid vdim is where ...

Equations

Let6989586621679568970Scrutinee_6989586621679566432 vid vdim is = Apply (Apply IsLengthNESym0 is) vdim

type Let6989586621679568970Scrutinee_6989586621679566432Sym3 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969 = Let6989586621679568970Scrutinee_6989586621679566432 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969

data Let6989586621679568970Scrutinee_6989586621679566432Sym2 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969 where

Constructors

Let6989586621679568970Scrutinee_6989586621679566432Sym2KindInference :: SameKind (Apply (Let6989586621679568970Scrutinee_6989586621679566432Sym2 vid6989586621679568967 vdim6989586621679568968) arg) (Let6989586621679568970Scrutinee_6989586621679566432Sym3 vid6989586621679568967 vdim6989586621679568968 arg) => Let6989586621679568970Scrutinee_6989586621679566432Sym2 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969

Instances

SuppressUnusedWarnings (Let6989586621679568970Scrutinee_6989586621679566432Sym2 vid6989586621679568967 vdim6989586621679568968 :: TyFun (NonEmpty a) Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568970Scrutinee_6989586621679566432Sym2 vid6989586621679568967 vdim6989586621679568968 :: TyFun (NonEmpty a) Bool -> Type) (is6989586621679568969 :: NonEmpty a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568970Scrutinee_6989586621679566432Sym2 vid6989586621679568967 vdim6989586621679568968 :: TyFun (NonEmpty a) Bool -> Type) (is6989586621679568969 :: NonEmpty a) = Let6989586621679568970Scrutinee_6989586621679566432Sym3 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969

data Let6989586621679568970Scrutinee_6989586621679566432Sym1 vid6989586621679568967 vdim6989586621679568968 where

Constructors

Let6989586621679568970Scrutinee_6989586621679566432Sym1KindInference :: SameKind (Apply (Let6989586621679568970Scrutinee_6989586621679566432Sym1 vid6989586621679568967) arg) (Let6989586621679568970Scrutinee_6989586621679566432Sym2 vid6989586621679568967 arg) => Let6989586621679568970Scrutinee_6989586621679566432Sym1 vid6989586621679568967 vdim6989586621679568968

Instances

SuppressUnusedWarnings (Let6989586621679568970Scrutinee_6989586621679566432Sym1 vid6989586621679568967 :: TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568970Scrutinee_6989586621679566432Sym1 vid6989586621679568967 :: TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) (vdim6989586621679568968 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568970Scrutinee_6989586621679566432Sym1 vid6989586621679568967 :: TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) (vdim6989586621679568968 :: Nat) = Let6989586621679568970Scrutinee_6989586621679566432Sym2 vid6989586621679568967 vdim6989586621679568968 :: TyFun (NonEmpty a) Bool -> Type

data Let6989586621679568970Scrutinee_6989586621679566432Sym0 vid6989586621679568967 where

Constructors

Let6989586621679568970Scrutinee_6989586621679566432Sym0KindInference :: SameKind (Apply Let6989586621679568970Scrutinee_6989586621679566432Sym0 arg) (Let6989586621679568970Scrutinee_6989586621679566432Sym1 arg) => Let6989586621679568970Scrutinee_6989586621679566432Sym0 vid6989586621679568967

Instances

SuppressUnusedWarnings (Let6989586621679568970Scrutinee_6989586621679566432Sym0 :: TyFun k (TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568970Scrutinee_6989586621679566432Sym0 :: TyFun k (TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type) (vid6989586621679568967 :: k)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568970Scrutinee_6989586621679566432Sym0 :: TyFun k (TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type) (vid6989586621679568967 :: k) = Let6989586621679568970Scrutinee_6989586621679566432Sym1 vid6989586621679568967 :: TyFun Nat (TyFun (NonEmpty a) Bool -> Type) -> Type

type family Let6989586621679568974Scrutinee_6989586621679566434 vid vdim is where ...

Equations

Let6989586621679568974Scrutinee_6989586621679566434 vid vdim is = Apply IsAscendingNESym0 is

type Let6989586621679568974Scrutinee_6989586621679566434Sym3 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969 = Let6989586621679568974Scrutinee_6989586621679566434 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969

data Let6989586621679568974Scrutinee_6989586621679566434Sym2 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969 where

Constructors

Let6989586621679568974Scrutinee_6989586621679566434Sym2KindInference :: SameKind (Apply (Let6989586621679568974Scrutinee_6989586621679566434Sym2 vid6989586621679568967 vdim6989586621679568968) arg) (Let6989586621679568974Scrutinee_6989586621679566434Sym3 vid6989586621679568967 vdim6989586621679568968 arg) => Let6989586621679568974Scrutinee_6989586621679566434Sym2 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969

Instances

SuppressUnusedWarnings (Let6989586621679568974Scrutinee_6989586621679566434Sym2 vid6989586621679568967 vdim6989586621679568968 :: TyFun (NonEmpty a) Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568974Scrutinee_6989586621679566434Sym2 vid6989586621679568967 vdim6989586621679568968 :: TyFun (NonEmpty a) Bool -> Type) (is6989586621679568969 :: NonEmpty a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568974Scrutinee_6989586621679566434Sym2 vid6989586621679568967 vdim6989586621679568968 :: TyFun (NonEmpty a) Bool -> Type) (is6989586621679568969 :: NonEmpty a) = Let6989586621679568974Scrutinee_6989586621679566434Sym3 vid6989586621679568967 vdim6989586621679568968 is6989586621679568969

data Let6989586621679568974Scrutinee_6989586621679566434Sym1 vid6989586621679568967 vdim6989586621679568968 where

Constructors

Let6989586621679568974Scrutinee_6989586621679566434Sym1KindInference :: SameKind (Apply (Let6989586621679568974Scrutinee_6989586621679566434Sym1 vid6989586621679568967) arg) (Let6989586621679568974Scrutinee_6989586621679566434Sym2 vid6989586621679568967 arg) => Let6989586621679568974Scrutinee_6989586621679566434Sym1 vid6989586621679568967 vdim6989586621679568968

Instances

SuppressUnusedWarnings (Let6989586621679568974Scrutinee_6989586621679566434Sym1 vid6989586621679568967 :: TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568974Scrutinee_6989586621679566434Sym1 vid6989586621679568967 :: TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) (vdim6989586621679568968 :: k2)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568974Scrutinee_6989586621679566434Sym1 vid6989586621679568967 :: TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) (vdim6989586621679568968 :: k2) = Let6989586621679568974Scrutinee_6989586621679566434Sym2 vid6989586621679568967 vdim6989586621679568968 :: TyFun (NonEmpty a) Bool -> Type

data Let6989586621679568974Scrutinee_6989586621679566434Sym0 vid6989586621679568967 where

Constructors

Let6989586621679568974Scrutinee_6989586621679566434Sym0KindInference :: SameKind (Apply Let6989586621679568974Scrutinee_6989586621679566434Sym0 arg) (Let6989586621679568974Scrutinee_6989586621679566434Sym1 arg) => Let6989586621679568974Scrutinee_6989586621679566434Sym0 vid6989586621679568967

Instances

SuppressUnusedWarnings (Let6989586621679568974Scrutinee_6989586621679566434Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568974Scrutinee_6989586621679566434Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type) (vid6989586621679568967 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568974Scrutinee_6989586621679566434Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type) -> Type) (vid6989586621679568967 :: k1) = Let6989586621679568974Scrutinee_6989586621679566434Sym1 vid6989586621679568967 :: TyFun k2 (TyFun (NonEmpty a) Bool -> Type) -> Type

type family Case_6989586621679568976 vid vdim is t where ...

Equations

Case_6989586621679568976 vid vdim is 'True = Apply JustSym0 (Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) vdim)) (Apply CovSym0 is))) NilSym0)

Case_6989586621679568976 vid vdim is 'False = NothingSym0

type family Case_6989586621679568972 vid vdim is t where ...

Equations

Case_6989586621679568972 vid vdim is 'True = Case_6989586621679568976 vid vdim is (Let6989586621679568974Scrutinee_6989586621679566434Sym3 vid vdim is)

Case_6989586621679568972 vid vdim is 'False = NothingSym0

type family SurjAreaCovRank a a a a a a where ...

Equations

SurjAreaCovRank vid a b c d i = Case_6989586621679568744 vid a b c d i (Let6989586621679568742Scrutinee_6989586621679566452Sym6 vid a b c d i)

type SurjAreaCovRankSym6 (a6989586621679568728 :: Symbol) (a6989586621679568729 :: Symbol) (a6989586621679568730 :: Symbol) (a6989586621679568731 :: Symbol) (a6989586621679568732 :: Symbol) (a6989586621679568733 :: Symbol) = SurjAreaCovRank a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 a6989586621679568733 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data SurjAreaCovRankSym5 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 a6989586621679568733 where

Constructors

SurjAreaCovRankSym5KindInference :: SameKind (Apply (SurjAreaCovRankSym5 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732) arg) (SurjAreaCovRankSym6 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 arg) => SurjAreaCovRankSym5 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 a6989586621679568733

Instances

SuppressUnusedWarnings (SurjAreaCovRankSym5 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(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)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaCovRankSym5 d1 d2 d3 d4 d5)

type Apply (SurjAreaCovRankSym5 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568733 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaCovRankSym5 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568733 :: Symbol) = SurjAreaCovRankSym6 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 a6989586621679568733

data SurjAreaCovRankSym4 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732 where

Constructors

SurjAreaCovRankSym4KindInference :: SameKind (Apply (SurjAreaCovRankSym4 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731) arg) (SurjAreaCovRankSym5 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 arg) => SurjAreaCovRankSym4 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732

Instances

SuppressUnusedWarnings (SurjAreaCovRankSym4 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3, SingI d4) => SingI (SurjAreaCovRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaCovRankSym4 d1 d2 d3 d4)

type Apply (SurjAreaCovRankSym4 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568732 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaCovRankSym4 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568732 :: Symbol) = SurjAreaCovRankSym5 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 a6989586621679568732

data SurjAreaCovRankSym3 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731 where

Constructors

SurjAreaCovRankSym3KindInference :: SameKind (Apply (SurjAreaCovRankSym3 a6989586621679568728 a6989586621679568729 a6989586621679568730) arg) (SurjAreaCovRankSym4 a6989586621679568728 a6989586621679568729 a6989586621679568730 arg) => SurjAreaCovRankSym3 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731

Instances

SuppressUnusedWarnings (SurjAreaCovRankSym3 a6989586621679568728 a6989586621679568729 a6989586621679568730 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (SurjAreaCovRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaCovRankSym3 d1 d2 d3)

type Apply (SurjAreaCovRankSym3 a6989586621679568728 a6989586621679568729 a6989586621679568730 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568731 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaCovRankSym3 a6989586621679568728 a6989586621679568729 a6989586621679568730 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568731 :: Symbol) = SurjAreaCovRankSym4 a6989586621679568728 a6989586621679568729 a6989586621679568730 a6989586621679568731

data SurjAreaCovRankSym2 a6989586621679568728 a6989586621679568729 a6989586621679568730 where

Constructors

SurjAreaCovRankSym2KindInference :: SameKind (Apply (SurjAreaCovRankSym2 a6989586621679568728 a6989586621679568729) arg) (SurjAreaCovRankSym3 a6989586621679568728 a6989586621679568729 arg) => SurjAreaCovRankSym2 a6989586621679568728 a6989586621679568729 a6989586621679568730

Instances

SuppressUnusedWarnings (SurjAreaCovRankSym2 a6989586621679568728 a6989586621679568729 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (SurjAreaCovRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaCovRankSym2 d1 d2)

type Apply (SurjAreaCovRankSym2 a6989586621679568728 a6989586621679568729 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568730 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaCovRankSym2 a6989586621679568728 a6989586621679568729 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568730 :: Symbol) = SurjAreaCovRankSym3 a6989586621679568728 a6989586621679568729 a6989586621679568730

data SurjAreaCovRankSym1 a6989586621679568728 a6989586621679568729 where

Constructors

SurjAreaCovRankSym1KindInference :: SameKind (Apply (SurjAreaCovRankSym1 a6989586621679568728) arg) (SurjAreaCovRankSym2 a6989586621679568728 arg) => SurjAreaCovRankSym1 a6989586621679568728 a6989586621679568729

Instances

SuppressUnusedWarnings (SurjAreaCovRankSym1 a6989586621679568728 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (SurjAreaCovRankSym1 d :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaCovRankSym1 d)

type Apply (SurjAreaCovRankSym1 a6989586621679568728 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679568729 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaCovRankSym1 a6989586621679568728 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679568729 :: Symbol) = SurjAreaCovRankSym2 a6989586621679568728 a6989586621679568729

data SurjAreaCovRankSym0 a6989586621679568728 where

Constructors

SurjAreaCovRankSym0KindInference :: SameKind (Apply SurjAreaCovRankSym0 arg) (SurjAreaCovRankSym1 arg) => SurjAreaCovRankSym0 a6989586621679568728

Instances

SuppressUnusedWarnings SurjAreaCovRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI SurjAreaCovRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing SurjAreaCovRankSym0

type Apply SurjAreaCovRankSym0 (a6989586621679568728 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply SurjAreaCovRankSym0 (a6989586621679568728 :: Symbol) = SurjAreaCovRankSym1 a6989586621679568728

type family SurjAreaConRank a a a a a a where ...

Equations

SurjAreaConRank vid a b c d i = Case_6989586621679568770 vid a b c d i (Let6989586621679568768Scrutinee_6989586621679566450Sym6 vid a b c d i)

type SurjAreaConRankSym6 (a6989586621679568754 :: Symbol) (a6989586621679568755 :: Symbol) (a6989586621679568756 :: Symbol) (a6989586621679568757 :: Symbol) (a6989586621679568758 :: Symbol) (a6989586621679568759 :: Symbol) = SurjAreaConRank a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 a6989586621679568759 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data SurjAreaConRankSym5 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 a6989586621679568759 where

Constructors

SurjAreaConRankSym5KindInference :: SameKind (Apply (SurjAreaConRankSym5 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758) arg) (SurjAreaConRankSym6 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 arg) => SurjAreaConRankSym5 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 a6989586621679568759

Instances

SuppressUnusedWarnings (SurjAreaConRankSym5 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(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)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaConRankSym5 d1 d2 d3 d4 d5)

type Apply (SurjAreaConRankSym5 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568759 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaConRankSym5 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568759 :: Symbol) = SurjAreaConRankSym6 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 a6989586621679568759

data SurjAreaConRankSym4 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758 where

Constructors

SurjAreaConRankSym4KindInference :: SameKind (Apply (SurjAreaConRankSym4 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757) arg) (SurjAreaConRankSym5 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 arg) => SurjAreaConRankSym4 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758

Instances

SuppressUnusedWarnings (SurjAreaConRankSym4 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3, SingI d4) => SingI (SurjAreaConRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaConRankSym4 d1 d2 d3 d4)

type Apply (SurjAreaConRankSym4 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568758 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaConRankSym4 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568758 :: Symbol) = SurjAreaConRankSym5 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 a6989586621679568758

data SurjAreaConRankSym3 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757 where

Constructors

SurjAreaConRankSym3KindInference :: SameKind (Apply (SurjAreaConRankSym3 a6989586621679568754 a6989586621679568755 a6989586621679568756) arg) (SurjAreaConRankSym4 a6989586621679568754 a6989586621679568755 a6989586621679568756 arg) => SurjAreaConRankSym3 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757

Instances

SuppressUnusedWarnings (SurjAreaConRankSym3 a6989586621679568754 a6989586621679568755 a6989586621679568756 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (SurjAreaConRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaConRankSym3 d1 d2 d3)

type Apply (SurjAreaConRankSym3 a6989586621679568754 a6989586621679568755 a6989586621679568756 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568757 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaConRankSym3 a6989586621679568754 a6989586621679568755 a6989586621679568756 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568757 :: Symbol) = SurjAreaConRankSym4 a6989586621679568754 a6989586621679568755 a6989586621679568756 a6989586621679568757

data SurjAreaConRankSym2 a6989586621679568754 a6989586621679568755 a6989586621679568756 where

Constructors

SurjAreaConRankSym2KindInference :: SameKind (Apply (SurjAreaConRankSym2 a6989586621679568754 a6989586621679568755) arg) (SurjAreaConRankSym3 a6989586621679568754 a6989586621679568755 arg) => SurjAreaConRankSym2 a6989586621679568754 a6989586621679568755 a6989586621679568756

Instances

SuppressUnusedWarnings (SurjAreaConRankSym2 a6989586621679568754 a6989586621679568755 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (SurjAreaConRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaConRankSym2 d1 d2)

type Apply (SurjAreaConRankSym2 a6989586621679568754 a6989586621679568755 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568756 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaConRankSym2 a6989586621679568754 a6989586621679568755 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568756 :: Symbol) = SurjAreaConRankSym3 a6989586621679568754 a6989586621679568755 a6989586621679568756

data SurjAreaConRankSym1 a6989586621679568754 a6989586621679568755 where

Constructors

SurjAreaConRankSym1KindInference :: SameKind (Apply (SurjAreaConRankSym1 a6989586621679568754) arg) (SurjAreaConRankSym2 a6989586621679568754 arg) => SurjAreaConRankSym1 a6989586621679568754 a6989586621679568755

Instances

SuppressUnusedWarnings (SurjAreaConRankSym1 a6989586621679568754 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (SurjAreaConRankSym1 d :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaConRankSym1 d)

type Apply (SurjAreaConRankSym1 a6989586621679568754 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679568755 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaConRankSym1 a6989586621679568754 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679568755 :: Symbol) = SurjAreaConRankSym2 a6989586621679568754 a6989586621679568755

data SurjAreaConRankSym0 a6989586621679568754 where

Constructors

SurjAreaConRankSym0KindInference :: SameKind (Apply SurjAreaConRankSym0 arg) (SurjAreaConRankSym1 arg) => SurjAreaConRankSym0 a6989586621679568754

Instances

SuppressUnusedWarnings SurjAreaConRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI SurjAreaConRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing SurjAreaConRankSym0

type Apply SurjAreaConRankSym0 (a6989586621679568754 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply SurjAreaConRankSym0 (a6989586621679568754 :: Symbol) = SurjAreaConRankSym1 a6989586621679568754

type family InjAreaCovRank a a a a a a where ...

Equations

InjAreaCovRank vid a b c d i = Case_6989586621679568796 vid a b c d i (Let6989586621679568794Scrutinee_6989586621679566448Sym6 vid a b c d i)

type InjAreaCovRankSym6 (a6989586621679568780 :: Symbol) (a6989586621679568781 :: Symbol) (a6989586621679568782 :: Symbol) (a6989586621679568783 :: Symbol) (a6989586621679568784 :: Symbol) (a6989586621679568785 :: Symbol) = InjAreaCovRank a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 a6989586621679568785 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data InjAreaCovRankSym5 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 a6989586621679568785 where

Constructors

InjAreaCovRankSym5KindInference :: SameKind (Apply (InjAreaCovRankSym5 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784) arg) (InjAreaCovRankSym6 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 arg) => InjAreaCovRankSym5 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 a6989586621679568785

Instances

SuppressUnusedWarnings (InjAreaCovRankSym5 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(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)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaCovRankSym5 d1 d2 d3 d4 d5)

type Apply (InjAreaCovRankSym5 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568785 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaCovRankSym5 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568785 :: Symbol) = InjAreaCovRankSym6 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 a6989586621679568785

data InjAreaCovRankSym4 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784 where

Constructors

InjAreaCovRankSym4KindInference :: SameKind (Apply (InjAreaCovRankSym4 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783) arg) (InjAreaCovRankSym5 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 arg) => InjAreaCovRankSym4 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784

Instances

SuppressUnusedWarnings (InjAreaCovRankSym4 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3, SingI d4) => SingI (InjAreaCovRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaCovRankSym4 d1 d2 d3 d4)

type Apply (InjAreaCovRankSym4 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568784 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaCovRankSym4 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568784 :: Symbol) = InjAreaCovRankSym5 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 a6989586621679568784

data InjAreaCovRankSym3 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783 where

Constructors

InjAreaCovRankSym3KindInference :: SameKind (Apply (InjAreaCovRankSym3 a6989586621679568780 a6989586621679568781 a6989586621679568782) arg) (InjAreaCovRankSym4 a6989586621679568780 a6989586621679568781 a6989586621679568782 arg) => InjAreaCovRankSym3 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783

Instances

SuppressUnusedWarnings (InjAreaCovRankSym3 a6989586621679568780 a6989586621679568781 a6989586621679568782 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (InjAreaCovRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaCovRankSym3 d1 d2 d3)

type Apply (InjAreaCovRankSym3 a6989586621679568780 a6989586621679568781 a6989586621679568782 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568783 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaCovRankSym3 a6989586621679568780 a6989586621679568781 a6989586621679568782 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568783 :: Symbol) = InjAreaCovRankSym4 a6989586621679568780 a6989586621679568781 a6989586621679568782 a6989586621679568783

data InjAreaCovRankSym2 a6989586621679568780 a6989586621679568781 a6989586621679568782 where

Constructors

InjAreaCovRankSym2KindInference :: SameKind (Apply (InjAreaCovRankSym2 a6989586621679568780 a6989586621679568781) arg) (InjAreaCovRankSym3 a6989586621679568780 a6989586621679568781 arg) => InjAreaCovRankSym2 a6989586621679568780 a6989586621679568781 a6989586621679568782

Instances

SuppressUnusedWarnings (InjAreaCovRankSym2 a6989586621679568780 a6989586621679568781 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (InjAreaCovRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaCovRankSym2 d1 d2)

type Apply (InjAreaCovRankSym2 a6989586621679568780 a6989586621679568781 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568782 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaCovRankSym2 a6989586621679568780 a6989586621679568781 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568782 :: Symbol) = InjAreaCovRankSym3 a6989586621679568780 a6989586621679568781 a6989586621679568782

data InjAreaCovRankSym1 a6989586621679568780 a6989586621679568781 where

Constructors

InjAreaCovRankSym1KindInference :: SameKind (Apply (InjAreaCovRankSym1 a6989586621679568780) arg) (InjAreaCovRankSym2 a6989586621679568780 arg) => InjAreaCovRankSym1 a6989586621679568780 a6989586621679568781

Instances

SuppressUnusedWarnings (InjAreaCovRankSym1 a6989586621679568780 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (InjAreaCovRankSym1 d :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaCovRankSym1 d)

type Apply (InjAreaCovRankSym1 a6989586621679568780 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679568781 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaCovRankSym1 a6989586621679568780 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679568781 :: Symbol) = InjAreaCovRankSym2 a6989586621679568780 a6989586621679568781

data InjAreaCovRankSym0 a6989586621679568780 where

Constructors

InjAreaCovRankSym0KindInference :: SameKind (Apply InjAreaCovRankSym0 arg) (InjAreaCovRankSym1 arg) => InjAreaCovRankSym0 a6989586621679568780

Instances

SuppressUnusedWarnings InjAreaCovRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI InjAreaCovRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing InjAreaCovRankSym0

type Apply InjAreaCovRankSym0 (a6989586621679568780 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply InjAreaCovRankSym0 (a6989586621679568780 :: Symbol) = InjAreaCovRankSym1 a6989586621679568780

type family InjAreaConRank a a a a a a where ...

Equations

InjAreaConRank vid a b c d i = Case_6989586621679568822 vid a b c d i (Let6989586621679568820Scrutinee_6989586621679566446Sym6 vid a b c d i)

type InjAreaConRankSym6 (a6989586621679568806 :: Symbol) (a6989586621679568807 :: Symbol) (a6989586621679568808 :: Symbol) (a6989586621679568809 :: Symbol) (a6989586621679568810 :: Symbol) (a6989586621679568811 :: Symbol) = InjAreaConRank a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 a6989586621679568811 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data InjAreaConRankSym5 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 a6989586621679568811 where

Constructors

InjAreaConRankSym5KindInference :: SameKind (Apply (InjAreaConRankSym5 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810) arg) (InjAreaConRankSym6 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 arg) => InjAreaConRankSym5 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 a6989586621679568811

Instances

SuppressUnusedWarnings (InjAreaConRankSym5 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(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)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaConRankSym5 d1 d2 d3 d4 d5)

type Apply (InjAreaConRankSym5 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568811 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaConRankSym5 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568811 :: Symbol) = InjAreaConRankSym6 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 a6989586621679568811

data InjAreaConRankSym4 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810 where

Constructors

InjAreaConRankSym4KindInference :: SameKind (Apply (InjAreaConRankSym4 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809) arg) (InjAreaConRankSym5 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 arg) => InjAreaConRankSym4 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810

Instances

SuppressUnusedWarnings (InjAreaConRankSym4 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3, SingI d4) => SingI (InjAreaConRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaConRankSym4 d1 d2 d3 d4)

type Apply (InjAreaConRankSym4 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568810 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaConRankSym4 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568810 :: Symbol) = InjAreaConRankSym5 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 a6989586621679568810

data InjAreaConRankSym3 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809 where

Constructors

InjAreaConRankSym3KindInference :: SameKind (Apply (InjAreaConRankSym3 a6989586621679568806 a6989586621679568807 a6989586621679568808) arg) (InjAreaConRankSym4 a6989586621679568806 a6989586621679568807 a6989586621679568808 arg) => InjAreaConRankSym3 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809

Instances

SuppressUnusedWarnings (InjAreaConRankSym3 a6989586621679568806 a6989586621679568807 a6989586621679568808 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (InjAreaConRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaConRankSym3 d1 d2 d3)

type Apply (InjAreaConRankSym3 a6989586621679568806 a6989586621679568807 a6989586621679568808 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568809 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaConRankSym3 a6989586621679568806 a6989586621679568807 a6989586621679568808 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568809 :: Symbol) = InjAreaConRankSym4 a6989586621679568806 a6989586621679568807 a6989586621679568808 a6989586621679568809

data InjAreaConRankSym2 a6989586621679568806 a6989586621679568807 a6989586621679568808 where

Constructors

InjAreaConRankSym2KindInference :: SameKind (Apply (InjAreaConRankSym2 a6989586621679568806 a6989586621679568807) arg) (InjAreaConRankSym3 a6989586621679568806 a6989586621679568807 arg) => InjAreaConRankSym2 a6989586621679568806 a6989586621679568807 a6989586621679568808

Instances

SuppressUnusedWarnings (InjAreaConRankSym2 a6989586621679568806 a6989586621679568807 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (InjAreaConRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaConRankSym2 d1 d2)

type Apply (InjAreaConRankSym2 a6989586621679568806 a6989586621679568807 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568808 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaConRankSym2 a6989586621679568806 a6989586621679568807 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568808 :: Symbol) = InjAreaConRankSym3 a6989586621679568806 a6989586621679568807 a6989586621679568808

data InjAreaConRankSym1 a6989586621679568806 a6989586621679568807 where

Constructors

InjAreaConRankSym1KindInference :: SameKind (Apply (InjAreaConRankSym1 a6989586621679568806) arg) (InjAreaConRankSym2 a6989586621679568806 arg) => InjAreaConRankSym1 a6989586621679568806 a6989586621679568807

Instances

SuppressUnusedWarnings (InjAreaConRankSym1 a6989586621679568806 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (InjAreaConRankSym1 d :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaConRankSym1 d)

type Apply (InjAreaConRankSym1 a6989586621679568806 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679568807 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaConRankSym1 a6989586621679568806 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) (a6989586621679568807 :: Symbol) = InjAreaConRankSym2 a6989586621679568806 a6989586621679568807

data InjAreaConRankSym0 a6989586621679568806 where

Constructors

InjAreaConRankSym0KindInference :: SameKind (Apply InjAreaConRankSym0 arg) (InjAreaConRankSym1 arg) => InjAreaConRankSym0 a6989586621679568806

Instances

SuppressUnusedWarnings InjAreaConRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI InjAreaConRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing InjAreaConRankSym0

type Apply InjAreaConRankSym0 (a6989586621679568806 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply InjAreaConRankSym0 (a6989586621679568806 :: Symbol) = InjAreaConRankSym1 a6989586621679568806

type family Sym2Dim a where ...

Equations

Sym2Dim a_6989586621679568923 = Apply (Apply (Let6989586621679568929GoSym1 a_6989586621679568923) (FromInteger 0)) a_6989586621679568923

type Sym2DimSym1 (a6989586621679568927 :: Nat) = Sym2Dim a6989586621679568927 :: Nat

data Sym2DimSym0 a6989586621679568927 where

Constructors

Sym2DimSym0KindInference :: SameKind (Apply Sym2DimSym0 arg) (Sym2DimSym1 arg) => Sym2DimSym0 a6989586621679568927

Instances

SuppressUnusedWarnings Sym2DimSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI Sym2DimSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing Sym2DimSym0

type Apply Sym2DimSym0 (a6989586621679568927 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply Sym2DimSym0 (a6989586621679568927 :: Nat) = Sym2DimSym1 a6989586621679568927

type family Let6989586621679568916R vid vdim a b i where ...

Equations

Let6989586621679568916R vid vdim a b i = Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) vdim)) (Apply ConSym0 (Apply (Apply (:|@#@$) a) (Apply (Apply (:@#@$) b) NilSym0))))) (Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 (Apply (Apply (<>@#@$) vid) (FromString "Sym2"))) (Apply Sym2DimSym0 vdim))) (Apply CovSym0 (Apply (Apply (:|@#@$) i) NilSym0)))) NilSym0)

type Let6989586621679568916RSym5 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915 = Let6989586621679568916R vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915

type family Case_6989586621679568920 vid vdim a b i t where ...

Equations

Case_6989586621679568920 vid vdim a b i 'True = Apply JustSym0 (Let6989586621679568916RSym5 vid vdim a b i)

Case_6989586621679568920 vid vdim a b i 'False = NothingSym0

type family Let6989586621679568918Scrutinee_6989586621679566442 vid vdim a b i where ...

Equations

Let6989586621679568918Scrutinee_6989586621679566442 vid vdim a b i = Apply SaneSym0 (Let6989586621679568916RSym5 vid vdim a b i)

type Let6989586621679568918Scrutinee_6989586621679566442Sym5 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915 = Let6989586621679568918Scrutinee_6989586621679566442 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915

type family InjSym2ConRank a a a a a where ...

Equations

InjSym2ConRank vid vdim a b i = Case_6989586621679568920 vid vdim a b i (Let6989586621679568918Scrutinee_6989586621679566442Sym5 vid vdim a b i)

type InjSym2ConRankSym5 (a6989586621679568906 :: Symbol) (a6989586621679568907 :: Nat) (a6989586621679568908 :: Symbol) (a6989586621679568909 :: Symbol) (a6989586621679568910 :: Symbol) = InjSym2ConRank a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 a6989586621679568910 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data InjSym2ConRankSym4 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 a6989586621679568910 where

Constructors

InjSym2ConRankSym4KindInference :: SameKind (Apply (InjSym2ConRankSym4 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909) arg) (InjSym2ConRankSym5 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 arg) => InjSym2ConRankSym4 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 a6989586621679568910

Instances

SuppressUnusedWarnings (InjSym2ConRankSym4 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3, SingI d4) => SingI (InjSym2ConRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2ConRankSym4 d1 d2 d3 d4)

type Apply (InjSym2ConRankSym4 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568910 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2ConRankSym4 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568910 :: Symbol) = InjSym2ConRankSym5 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 a6989586621679568910

data InjSym2ConRankSym3 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909 where

Constructors

InjSym2ConRankSym3KindInference :: SameKind (Apply (InjSym2ConRankSym3 a6989586621679568906 a6989586621679568907 a6989586621679568908) arg) (InjSym2ConRankSym4 a6989586621679568906 a6989586621679568907 a6989586621679568908 arg) => InjSym2ConRankSym3 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909

Instances

SuppressUnusedWarnings (InjSym2ConRankSym3 a6989586621679568906 a6989586621679568907 a6989586621679568908 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (InjSym2ConRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2ConRankSym3 d1 d2 d3)

type Apply (InjSym2ConRankSym3 a6989586621679568906 a6989586621679568907 a6989586621679568908 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568909 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2ConRankSym3 a6989586621679568906 a6989586621679568907 a6989586621679568908 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568909 :: Symbol) = InjSym2ConRankSym4 a6989586621679568906 a6989586621679568907 a6989586621679568908 a6989586621679568909

data InjSym2ConRankSym2 a6989586621679568906 a6989586621679568907 a6989586621679568908 where

Constructors

InjSym2ConRankSym2KindInference :: SameKind (Apply (InjSym2ConRankSym2 a6989586621679568906 a6989586621679568907) arg) (InjSym2ConRankSym3 a6989586621679568906 a6989586621679568907 arg) => InjSym2ConRankSym2 a6989586621679568906 a6989586621679568907 a6989586621679568908

Instances

SuppressUnusedWarnings (InjSym2ConRankSym2 a6989586621679568906 a6989586621679568907 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (InjSym2ConRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2ConRankSym2 d1 d2)

type Apply (InjSym2ConRankSym2 a6989586621679568906 a6989586621679568907 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568908 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2ConRankSym2 a6989586621679568906 a6989586621679568907 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568908 :: Symbol) = InjSym2ConRankSym3 a6989586621679568906 a6989586621679568907 a6989586621679568908

data InjSym2ConRankSym1 a6989586621679568906 a6989586621679568907 where

Constructors

InjSym2ConRankSym1KindInference :: SameKind (Apply (InjSym2ConRankSym1 a6989586621679568906) arg) (InjSym2ConRankSym2 a6989586621679568906 arg) => InjSym2ConRankSym1 a6989586621679568906 a6989586621679568907

Instances

SuppressUnusedWarnings (InjSym2ConRankSym1 a6989586621679568906 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (InjSym2ConRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2ConRankSym1 d)

type Apply (InjSym2ConRankSym1 a6989586621679568906 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568907 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2ConRankSym1 a6989586621679568906 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568907 :: Nat) = InjSym2ConRankSym2 a6989586621679568906 a6989586621679568907

data InjSym2ConRankSym0 a6989586621679568906 where

Constructors

InjSym2ConRankSym0KindInference :: SameKind (Apply InjSym2ConRankSym0 arg) (InjSym2ConRankSym1 arg) => InjSym2ConRankSym0 a6989586621679568906

Instances

SuppressUnusedWarnings InjSym2ConRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI InjSym2ConRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing InjSym2ConRankSym0

type Apply InjSym2ConRankSym0 (a6989586621679568906 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply InjSym2ConRankSym0 (a6989586621679568906 :: Symbol) = InjSym2ConRankSym1 a6989586621679568906

type family SurjSym2CovRank a a a a a where ...

Equations

SurjSym2CovRank a_6989586621679568825 a_6989586621679568827 a_6989586621679568829 a_6989586621679568831 a_6989586621679568833 = Apply (Apply (Apply (Apply (Apply InjSym2ConRankSym0 a_6989586621679568825) a_6989586621679568827) a_6989586621679568829) a_6989586621679568831) a_6989586621679568833

type SurjSym2CovRankSym5 (a6989586621679568841 :: Symbol) (a6989586621679568842 :: Nat) (a6989586621679568843 :: Symbol) (a6989586621679568844 :: Symbol) (a6989586621679568845 :: Symbol) = SurjSym2CovRank a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 a6989586621679568845 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data SurjSym2CovRankSym4 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 a6989586621679568845 where

Constructors

SurjSym2CovRankSym4KindInference :: SameKind (Apply (SurjSym2CovRankSym4 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844) arg) (SurjSym2CovRankSym5 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 arg) => SurjSym2CovRankSym4 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 a6989586621679568845

Instances

SuppressUnusedWarnings (SurjSym2CovRankSym4 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3, SingI d4) => SingI (SurjSym2CovRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2CovRankSym4 d1 d2 d3 d4)

type Apply (SurjSym2CovRankSym4 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568845 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2CovRankSym4 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568845 :: Symbol) = SurjSym2CovRankSym5 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 a6989586621679568845

data SurjSym2CovRankSym3 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844 where

Constructors

SurjSym2CovRankSym3KindInference :: SameKind (Apply (SurjSym2CovRankSym3 a6989586621679568841 a6989586621679568842 a6989586621679568843) arg) (SurjSym2CovRankSym4 a6989586621679568841 a6989586621679568842 a6989586621679568843 arg) => SurjSym2CovRankSym3 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844

Instances

SuppressUnusedWarnings (SurjSym2CovRankSym3 a6989586621679568841 a6989586621679568842 a6989586621679568843 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (SurjSym2CovRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2CovRankSym3 d1 d2 d3)

type Apply (SurjSym2CovRankSym3 a6989586621679568841 a6989586621679568842 a6989586621679568843 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568844 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2CovRankSym3 a6989586621679568841 a6989586621679568842 a6989586621679568843 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568844 :: Symbol) = SurjSym2CovRankSym4 a6989586621679568841 a6989586621679568842 a6989586621679568843 a6989586621679568844

data SurjSym2CovRankSym2 a6989586621679568841 a6989586621679568842 a6989586621679568843 where

Constructors

SurjSym2CovRankSym2KindInference :: SameKind (Apply (SurjSym2CovRankSym2 a6989586621679568841 a6989586621679568842) arg) (SurjSym2CovRankSym3 a6989586621679568841 a6989586621679568842 arg) => SurjSym2CovRankSym2 a6989586621679568841 a6989586621679568842 a6989586621679568843

Instances

SuppressUnusedWarnings (SurjSym2CovRankSym2 a6989586621679568841 a6989586621679568842 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (SurjSym2CovRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2CovRankSym2 d1 d2)

type Apply (SurjSym2CovRankSym2 a6989586621679568841 a6989586621679568842 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568843 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2CovRankSym2 a6989586621679568841 a6989586621679568842 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568843 :: Symbol) = SurjSym2CovRankSym3 a6989586621679568841 a6989586621679568842 a6989586621679568843

data SurjSym2CovRankSym1 a6989586621679568841 a6989586621679568842 where

Constructors

SurjSym2CovRankSym1KindInference :: SameKind (Apply (SurjSym2CovRankSym1 a6989586621679568841) arg) (SurjSym2CovRankSym2 a6989586621679568841 arg) => SurjSym2CovRankSym1 a6989586621679568841 a6989586621679568842

Instances

SuppressUnusedWarnings (SurjSym2CovRankSym1 a6989586621679568841 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (SurjSym2CovRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2CovRankSym1 d)

type Apply (SurjSym2CovRankSym1 a6989586621679568841 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568842 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2CovRankSym1 a6989586621679568841 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568842 :: Nat) = SurjSym2CovRankSym2 a6989586621679568841 a6989586621679568842

data SurjSym2CovRankSym0 a6989586621679568841 where

Constructors

SurjSym2CovRankSym0KindInference :: SameKind (Apply SurjSym2CovRankSym0 arg) (SurjSym2CovRankSym1 arg) => SurjSym2CovRankSym0 a6989586621679568841

Instances

SuppressUnusedWarnings SurjSym2CovRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI SurjSym2CovRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing SurjSym2CovRankSym0

type Apply SurjSym2CovRankSym0 (a6989586621679568841 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply SurjSym2CovRankSym0 (a6989586621679568841 :: Symbol) = SurjSym2CovRankSym1 a6989586621679568841

data Let6989586621679568918Scrutinee_6989586621679566442Sym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915 where

Constructors

Let6989586621679568918Scrutinee_6989586621679566442Sym4KindInference :: SameKind (Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914) arg) (Let6989586621679568918Scrutinee_6989586621679566442Sym5 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 arg) => Let6989586621679568918Scrutinee_6989586621679566442Sym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915

Instances

SuppressUnusedWarnings (Let6989586621679568918Scrutinee_6989586621679566442Sym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 :: TyFun a Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 :: TyFun a Bool -> Type) (i6989586621679568915 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 :: TyFun a Bool -> Type) (i6989586621679568915 :: a) = Let6989586621679568918Scrutinee_6989586621679566442Sym5 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915

data Let6989586621679568918Scrutinee_6989586621679566442Sym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 where

Constructors

Let6989586621679568918Scrutinee_6989586621679566442Sym3KindInference :: SameKind (Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913) arg) (Let6989586621679568918Scrutinee_6989586621679566442Sym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 arg) => Let6989586621679568918Scrutinee_6989586621679566442Sym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914

Instances

SuppressUnusedWarnings (Let6989586621679568918Scrutinee_6989586621679566442Sym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 :: TyFun a (TyFun a Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 :: TyFun a (TyFun a Bool -> Type) -> Type) (b6989586621679568914 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 :: TyFun a (TyFun a Bool -> Type) -> Type) (b6989586621679568914 :: a) = Let6989586621679568918Scrutinee_6989586621679566442Sym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914

data Let6989586621679568918Scrutinee_6989586621679566442Sym2 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 where

Constructors

Let6989586621679568918Scrutinee_6989586621679566442Sym2KindInference :: SameKind (Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym2 vid6989586621679568911 vdim6989586621679568912) arg) (Let6989586621679568918Scrutinee_6989586621679566442Sym3 vid6989586621679568911 vdim6989586621679568912 arg) => Let6989586621679568918Scrutinee_6989586621679566442Sym2 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913

Instances

SuppressUnusedWarnings (Let6989586621679568918Scrutinee_6989586621679566442Sym2 vid6989586621679568911 vdim6989586621679568912 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym2 vid6989586621679568911 vdim6989586621679568912 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (a6989586621679568913 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym2 vid6989586621679568911 vdim6989586621679568912 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (a6989586621679568913 :: a) = Let6989586621679568918Scrutinee_6989586621679566442Sym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913

data Let6989586621679568918Scrutinee_6989586621679566442Sym1 vid6989586621679568911 vdim6989586621679568912 where

Constructors

Let6989586621679568918Scrutinee_6989586621679566442Sym1KindInference :: SameKind (Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym1 vid6989586621679568911) arg) (Let6989586621679568918Scrutinee_6989586621679566442Sym2 vid6989586621679568911 arg) => Let6989586621679568918Scrutinee_6989586621679566442Sym1 vid6989586621679568911 vdim6989586621679568912

Instances

SuppressUnusedWarnings (Let6989586621679568918Scrutinee_6989586621679566442Sym1 vid6989586621679568911 :: TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym1 vid6989586621679568911 :: TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (vdim6989586621679568912 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym1 vid6989586621679568911 :: TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (vdim6989586621679568912 :: Nat) = Let6989586621679568918Scrutinee_6989586621679566442Sym2 vid6989586621679568911 vdim6989586621679568912

data Let6989586621679568918Scrutinee_6989586621679566442Sym0 vid6989586621679568911 where

Constructors

Let6989586621679568918Scrutinee_6989586621679566442Sym0KindInference :: SameKind (Apply Let6989586621679568918Scrutinee_6989586621679566442Sym0 arg) (Let6989586621679568918Scrutinee_6989586621679566442Sym1 arg) => Let6989586621679568918Scrutinee_6989586621679566442Sym0 vid6989586621679568911

Instances

SuppressUnusedWarnings (Let6989586621679568918Scrutinee_6989586621679566442Sym0 :: TyFun a (TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym0 :: TyFun a (TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568911 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568918Scrutinee_6989586621679566442Sym0 :: TyFun a (TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568911 :: a) = Let6989586621679568918Scrutinee_6989586621679566442Sym1 vid6989586621679568911

data Let6989586621679568916RSym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915 where

Constructors

Let6989586621679568916RSym4KindInference :: SameKind (Apply (Let6989586621679568916RSym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914) arg) (Let6989586621679568916RSym5 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 arg) => Let6989586621679568916RSym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915

Instances

SuppressUnusedWarnings (Let6989586621679568916RSym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568916RSym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568915 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568916RSym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568915 :: a) = Let6989586621679568916RSym5 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 i6989586621679568915

data Let6989586621679568916RSym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914 where

Constructors

Let6989586621679568916RSym3KindInference :: SameKind (Apply (Let6989586621679568916RSym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913) arg) (Let6989586621679568916RSym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 arg) => Let6989586621679568916RSym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914

Instances

SuppressUnusedWarnings (Let6989586621679568916RSym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568916RSym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (b6989586621679568914 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568916RSym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (b6989586621679568914 :: a) = Let6989586621679568916RSym4 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 b6989586621679568914

data Let6989586621679568916RSym2 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913 where

Constructors

Let6989586621679568916RSym2KindInference :: SameKind (Apply (Let6989586621679568916RSym2 vid6989586621679568911 vdim6989586621679568912) arg) (Let6989586621679568916RSym3 vid6989586621679568911 vdim6989586621679568912 arg) => Let6989586621679568916RSym2 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913

Instances

SuppressUnusedWarnings (Let6989586621679568916RSym2 vid6989586621679568911 vdim6989586621679568912 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568916RSym2 vid6989586621679568911 vdim6989586621679568912 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (a6989586621679568913 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568916RSym2 vid6989586621679568911 vdim6989586621679568912 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (a6989586621679568913 :: a) = Let6989586621679568916RSym3 vid6989586621679568911 vdim6989586621679568912 a6989586621679568913

data Let6989586621679568916RSym1 vid6989586621679568911 vdim6989586621679568912 where

Constructors

Let6989586621679568916RSym1KindInference :: SameKind (Apply (Let6989586621679568916RSym1 vid6989586621679568911) arg) (Let6989586621679568916RSym2 vid6989586621679568911 arg) => Let6989586621679568916RSym1 vid6989586621679568911 vdim6989586621679568912

Instances

SuppressUnusedWarnings (Let6989586621679568916RSym1 vid6989586621679568911 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568916RSym1 vid6989586621679568911 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (vdim6989586621679568912 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568916RSym1 vid6989586621679568911 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (vdim6989586621679568912 :: Nat) = Let6989586621679568916RSym2 vid6989586621679568911 vdim6989586621679568912 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type

data Let6989586621679568916RSym0 vid6989586621679568911 where

Constructors

Let6989586621679568916RSym0KindInference :: SameKind (Apply Let6989586621679568916RSym0 arg) (Let6989586621679568916RSym1 arg) => Let6989586621679568916RSym0 vid6989586621679568911

Instances

SuppressUnusedWarnings (Let6989586621679568916RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568916RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568911 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568916RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568911 :: k1) = Let6989586621679568916RSym1 vid6989586621679568911 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type

type family Let6989586621679568893R vid vdim a b i where ...

Equations

Let6989586621679568893R vid vdim a b i = Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) vdim)) (Apply CovSym0 (Apply (Apply (:|@#@$) a) (Apply (Apply (:@#@$) b) NilSym0))))) (Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 (Apply (Apply (<>@#@$) vid) (FromString "Sym2"))) (Apply Sym2DimSym0 vdim))) (Apply ConSym0 (Apply (Apply (:|@#@$) i) NilSym0)))) NilSym0)

type Let6989586621679568893RSym5 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892 = Let6989586621679568893R vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892

type family Case_6989586621679568897 vid vdim a b i t where ...

Equations

Case_6989586621679568897 vid vdim a b i 'True = Apply JustSym0 (Let6989586621679568893RSym5 vid vdim a b i)

Case_6989586621679568897 vid vdim a b i 'False = NothingSym0

type family Let6989586621679568895Scrutinee_6989586621679566444 vid vdim a b i where ...

Equations

Let6989586621679568895Scrutinee_6989586621679566444 vid vdim a b i = Apply SaneSym0 (Let6989586621679568893RSym5 vid vdim a b i)

type Let6989586621679568895Scrutinee_6989586621679566444Sym5 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892 = Let6989586621679568895Scrutinee_6989586621679566444 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892

type family InjSym2CovRank a a a a a where ...

Equations

InjSym2CovRank vid vdim a b i = Case_6989586621679568897 vid vdim a b i (Let6989586621679568895Scrutinee_6989586621679566444Sym5 vid vdim a b i)

type InjSym2CovRankSym5 (a6989586621679568883 :: Symbol) (a6989586621679568884 :: Nat) (a6989586621679568885 :: Symbol) (a6989586621679568886 :: Symbol) (a6989586621679568887 :: Symbol) = InjSym2CovRank a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 a6989586621679568887 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data InjSym2CovRankSym4 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 a6989586621679568887 where

Constructors

InjSym2CovRankSym4KindInference :: SameKind (Apply (InjSym2CovRankSym4 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886) arg) (InjSym2CovRankSym5 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 arg) => InjSym2CovRankSym4 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 a6989586621679568887

Instances

SuppressUnusedWarnings (InjSym2CovRankSym4 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3, SingI d4) => SingI (InjSym2CovRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2CovRankSym4 d1 d2 d3 d4)

type Apply (InjSym2CovRankSym4 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568887 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2CovRankSym4 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568887 :: Symbol) = InjSym2CovRankSym5 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 a6989586621679568887

data InjSym2CovRankSym3 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886 where

Constructors

InjSym2CovRankSym3KindInference :: SameKind (Apply (InjSym2CovRankSym3 a6989586621679568883 a6989586621679568884 a6989586621679568885) arg) (InjSym2CovRankSym4 a6989586621679568883 a6989586621679568884 a6989586621679568885 arg) => InjSym2CovRankSym3 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886

Instances

SuppressUnusedWarnings (InjSym2CovRankSym3 a6989586621679568883 a6989586621679568884 a6989586621679568885 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (InjSym2CovRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2CovRankSym3 d1 d2 d3)

type Apply (InjSym2CovRankSym3 a6989586621679568883 a6989586621679568884 a6989586621679568885 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568886 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2CovRankSym3 a6989586621679568883 a6989586621679568884 a6989586621679568885 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568886 :: Symbol) = InjSym2CovRankSym4 a6989586621679568883 a6989586621679568884 a6989586621679568885 a6989586621679568886

data InjSym2CovRankSym2 a6989586621679568883 a6989586621679568884 a6989586621679568885 where

Constructors

InjSym2CovRankSym2KindInference :: SameKind (Apply (InjSym2CovRankSym2 a6989586621679568883 a6989586621679568884) arg) (InjSym2CovRankSym3 a6989586621679568883 a6989586621679568884 arg) => InjSym2CovRankSym2 a6989586621679568883 a6989586621679568884 a6989586621679568885

Instances

SuppressUnusedWarnings (InjSym2CovRankSym2 a6989586621679568883 a6989586621679568884 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (InjSym2CovRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2CovRankSym2 d1 d2)

type Apply (InjSym2CovRankSym2 a6989586621679568883 a6989586621679568884 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568885 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2CovRankSym2 a6989586621679568883 a6989586621679568884 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568885 :: Symbol) = InjSym2CovRankSym3 a6989586621679568883 a6989586621679568884 a6989586621679568885

data InjSym2CovRankSym1 a6989586621679568883 a6989586621679568884 where

Constructors

InjSym2CovRankSym1KindInference :: SameKind (Apply (InjSym2CovRankSym1 a6989586621679568883) arg) (InjSym2CovRankSym2 a6989586621679568883 arg) => InjSym2CovRankSym1 a6989586621679568883 a6989586621679568884

Instances

SuppressUnusedWarnings (InjSym2CovRankSym1 a6989586621679568883 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (InjSym2CovRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2CovRankSym1 d)

type Apply (InjSym2CovRankSym1 a6989586621679568883 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568884 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2CovRankSym1 a6989586621679568883 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568884 :: Nat) = InjSym2CovRankSym2 a6989586621679568883 a6989586621679568884

data InjSym2CovRankSym0 a6989586621679568883 where

Constructors

InjSym2CovRankSym0KindInference :: SameKind (Apply InjSym2CovRankSym0 arg) (InjSym2CovRankSym1 arg) => InjSym2CovRankSym0 a6989586621679568883

Instances

SuppressUnusedWarnings InjSym2CovRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI InjSym2CovRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing InjSym2CovRankSym0

type Apply InjSym2CovRankSym0 (a6989586621679568883 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply InjSym2CovRankSym0 (a6989586621679568883 :: Symbol) = InjSym2CovRankSym1 a6989586621679568883

type family SurjSym2ConRank a a a a a where ...

Equations

SurjSym2ConRank a_6989586621679568851 a_6989586621679568853 a_6989586621679568855 a_6989586621679568857 a_6989586621679568859 = Apply (Apply (Apply (Apply (Apply InjSym2CovRankSym0 a_6989586621679568851) a_6989586621679568853) a_6989586621679568855) a_6989586621679568857) a_6989586621679568859

type SurjSym2ConRankSym5 (a6989586621679568867 :: Symbol) (a6989586621679568868 :: Nat) (a6989586621679568869 :: Symbol) (a6989586621679568870 :: Symbol) (a6989586621679568871 :: Symbol) = SurjSym2ConRank a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 a6989586621679568871 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data SurjSym2ConRankSym4 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 a6989586621679568871 where

Constructors

SurjSym2ConRankSym4KindInference :: SameKind (Apply (SurjSym2ConRankSym4 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870) arg) (SurjSym2ConRankSym5 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 arg) => SurjSym2ConRankSym4 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 a6989586621679568871

Instances

SuppressUnusedWarnings (SurjSym2ConRankSym4 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3, SingI d4) => SingI (SurjSym2ConRankSym4 d1 d2 d3 d4 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2ConRankSym4 d1 d2 d3 d4)

type Apply (SurjSym2ConRankSym4 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568871 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2ConRankSym4 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568871 :: Symbol) = SurjSym2ConRankSym5 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 a6989586621679568871

data SurjSym2ConRankSym3 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870 where

Constructors

SurjSym2ConRankSym3KindInference :: SameKind (Apply (SurjSym2ConRankSym3 a6989586621679568867 a6989586621679568868 a6989586621679568869) arg) (SurjSym2ConRankSym4 a6989586621679568867 a6989586621679568868 a6989586621679568869 arg) => SurjSym2ConRankSym3 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870

Instances

SuppressUnusedWarnings (SurjSym2ConRankSym3 a6989586621679568867 a6989586621679568868 a6989586621679568869 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (SurjSym2ConRankSym3 d1 d2 d3 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2ConRankSym3 d1 d2 d3)

type Apply (SurjSym2ConRankSym3 a6989586621679568867 a6989586621679568868 a6989586621679568869 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568870 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2ConRankSym3 a6989586621679568867 a6989586621679568868 a6989586621679568869 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568870 :: Symbol) = SurjSym2ConRankSym4 a6989586621679568867 a6989586621679568868 a6989586621679568869 a6989586621679568870

data SurjSym2ConRankSym2 a6989586621679568867 a6989586621679568868 a6989586621679568869 where

Constructors

SurjSym2ConRankSym2KindInference :: SameKind (Apply (SurjSym2ConRankSym2 a6989586621679568867 a6989586621679568868) arg) (SurjSym2ConRankSym3 a6989586621679568867 a6989586621679568868 arg) => SurjSym2ConRankSym2 a6989586621679568867 a6989586621679568868 a6989586621679568869

Instances

SuppressUnusedWarnings (SurjSym2ConRankSym2 a6989586621679568867 a6989586621679568868 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (SurjSym2ConRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2ConRankSym2 d1 d2)

type Apply (SurjSym2ConRankSym2 a6989586621679568867 a6989586621679568868 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568869 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2ConRankSym2 a6989586621679568867 a6989586621679568868 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568869 :: Symbol) = SurjSym2ConRankSym3 a6989586621679568867 a6989586621679568868 a6989586621679568869

data SurjSym2ConRankSym1 a6989586621679568867 a6989586621679568868 where

Constructors

SurjSym2ConRankSym1KindInference :: SameKind (Apply (SurjSym2ConRankSym1 a6989586621679568867) arg) (SurjSym2ConRankSym2 a6989586621679568867 arg) => SurjSym2ConRankSym1 a6989586621679568867 a6989586621679568868

Instances

SuppressUnusedWarnings (SurjSym2ConRankSym1 a6989586621679568867 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (SurjSym2ConRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2ConRankSym1 d)

type Apply (SurjSym2ConRankSym1 a6989586621679568867 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568868 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2ConRankSym1 a6989586621679568867 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679568868 :: Nat) = SurjSym2ConRankSym2 a6989586621679568867 a6989586621679568868

data SurjSym2ConRankSym0 a6989586621679568867 where

Constructors

SurjSym2ConRankSym0KindInference :: SameKind (Apply SurjSym2ConRankSym0 arg) (SurjSym2ConRankSym1 arg) => SurjSym2ConRankSym0 a6989586621679568867

Instances

SuppressUnusedWarnings SurjSym2ConRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI SurjSym2ConRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing SurjSym2ConRankSym0

type Apply SurjSym2ConRankSym0 (a6989586621679568867 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply SurjSym2ConRankSym0 (a6989586621679568867 :: Symbol) = SurjSym2ConRankSym1 a6989586621679568867

data Let6989586621679568895Scrutinee_6989586621679566444Sym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892 where

Constructors

Let6989586621679568895Scrutinee_6989586621679566444Sym4KindInference :: SameKind (Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891) arg) (Let6989586621679568895Scrutinee_6989586621679566444Sym5 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 arg) => Let6989586621679568895Scrutinee_6989586621679566444Sym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892

Instances

SuppressUnusedWarnings (Let6989586621679568895Scrutinee_6989586621679566444Sym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 :: TyFun a Bool -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 :: TyFun a Bool -> Type) (i6989586621679568892 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 :: TyFun a Bool -> Type) (i6989586621679568892 :: a) = Let6989586621679568895Scrutinee_6989586621679566444Sym5 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892

data Let6989586621679568895Scrutinee_6989586621679566444Sym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 where

Constructors

Let6989586621679568895Scrutinee_6989586621679566444Sym3KindInference :: SameKind (Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890) arg) (Let6989586621679568895Scrutinee_6989586621679566444Sym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 arg) => Let6989586621679568895Scrutinee_6989586621679566444Sym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891

Instances

SuppressUnusedWarnings (Let6989586621679568895Scrutinee_6989586621679566444Sym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 :: TyFun a (TyFun a Bool -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 :: TyFun a (TyFun a Bool -> Type) -> Type) (b6989586621679568891 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 :: TyFun a (TyFun a Bool -> Type) -> Type) (b6989586621679568891 :: a) = Let6989586621679568895Scrutinee_6989586621679566444Sym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891

data Let6989586621679568895Scrutinee_6989586621679566444Sym2 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 where

Constructors

Let6989586621679568895Scrutinee_6989586621679566444Sym2KindInference :: SameKind (Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym2 vid6989586621679568888 vdim6989586621679568889) arg) (Let6989586621679568895Scrutinee_6989586621679566444Sym3 vid6989586621679568888 vdim6989586621679568889 arg) => Let6989586621679568895Scrutinee_6989586621679566444Sym2 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890

Instances

SuppressUnusedWarnings (Let6989586621679568895Scrutinee_6989586621679566444Sym2 vid6989586621679568888 vdim6989586621679568889 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym2 vid6989586621679568888 vdim6989586621679568889 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (a6989586621679568890 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym2 vid6989586621679568888 vdim6989586621679568889 :: TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) (a6989586621679568890 :: a) = Let6989586621679568895Scrutinee_6989586621679566444Sym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890

data Let6989586621679568895Scrutinee_6989586621679566444Sym1 vid6989586621679568888 vdim6989586621679568889 where

Constructors

Let6989586621679568895Scrutinee_6989586621679566444Sym1KindInference :: SameKind (Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym1 vid6989586621679568888) arg) (Let6989586621679568895Scrutinee_6989586621679566444Sym2 vid6989586621679568888 arg) => Let6989586621679568895Scrutinee_6989586621679566444Sym1 vid6989586621679568888 vdim6989586621679568889

Instances

SuppressUnusedWarnings (Let6989586621679568895Scrutinee_6989586621679566444Sym1 vid6989586621679568888 :: TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym1 vid6989586621679568888 :: TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (vdim6989586621679568889 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym1 vid6989586621679568888 :: TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) (vdim6989586621679568889 :: Nat) = Let6989586621679568895Scrutinee_6989586621679566444Sym2 vid6989586621679568888 vdim6989586621679568889

data Let6989586621679568895Scrutinee_6989586621679566444Sym0 vid6989586621679568888 where

Constructors

Let6989586621679568895Scrutinee_6989586621679566444Sym0KindInference :: SameKind (Apply Let6989586621679568895Scrutinee_6989586621679566444Sym0 arg) (Let6989586621679568895Scrutinee_6989586621679566444Sym1 arg) => Let6989586621679568895Scrutinee_6989586621679566444Sym0 vid6989586621679568888

Instances

SuppressUnusedWarnings (Let6989586621679568895Scrutinee_6989586621679566444Sym0 :: TyFun a (TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym0 :: TyFun a (TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568888 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568895Scrutinee_6989586621679566444Sym0 :: TyFun a (TyFun Nat (TyFun a (TyFun a (TyFun a Bool -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568888 :: a) = Let6989586621679568895Scrutinee_6989586621679566444Sym1 vid6989586621679568888

data Let6989586621679568893RSym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892 where

Constructors

Let6989586621679568893RSym4KindInference :: SameKind (Apply (Let6989586621679568893RSym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891) arg) (Let6989586621679568893RSym5 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 arg) => Let6989586621679568893RSym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892

Instances

SuppressUnusedWarnings (Let6989586621679568893RSym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568893RSym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568892 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568893RSym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679568892 :: a) = Let6989586621679568893RSym5 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 i6989586621679568892

data Let6989586621679568893RSym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891 where

Constructors

Let6989586621679568893RSym3KindInference :: SameKind (Apply (Let6989586621679568893RSym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890) arg) (Let6989586621679568893RSym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 arg) => Let6989586621679568893RSym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891

Instances

SuppressUnusedWarnings (Let6989586621679568893RSym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568893RSym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (b6989586621679568891 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568893RSym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) (b6989586621679568891 :: a) = Let6989586621679568893RSym4 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 b6989586621679568891

data Let6989586621679568893RSym2 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890 where

Constructors

Let6989586621679568893RSym2KindInference :: SameKind (Apply (Let6989586621679568893RSym2 vid6989586621679568888 vdim6989586621679568889) arg) (Let6989586621679568893RSym3 vid6989586621679568888 vdim6989586621679568889 arg) => Let6989586621679568893RSym2 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890

Instances

SuppressUnusedWarnings (Let6989586621679568893RSym2 vid6989586621679568888 vdim6989586621679568889 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568893RSym2 vid6989586621679568888 vdim6989586621679568889 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (a6989586621679568890 :: a)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568893RSym2 vid6989586621679568888 vdim6989586621679568889 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) (a6989586621679568890 :: a) = Let6989586621679568893RSym3 vid6989586621679568888 vdim6989586621679568889 a6989586621679568890

data Let6989586621679568893RSym1 vid6989586621679568888 vdim6989586621679568889 where

Constructors

Let6989586621679568893RSym1KindInference :: SameKind (Apply (Let6989586621679568893RSym1 vid6989586621679568888) arg) (Let6989586621679568893RSym2 vid6989586621679568888 arg) => Let6989586621679568893RSym1 vid6989586621679568888 vdim6989586621679568889

Instances

SuppressUnusedWarnings (Let6989586621679568893RSym1 vid6989586621679568888 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568893RSym1 vid6989586621679568888 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (vdim6989586621679568889 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568893RSym1 vid6989586621679568888 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) (vdim6989586621679568889 :: Nat) = Let6989586621679568893RSym2 vid6989586621679568888 vdim6989586621679568889 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type

data Let6989586621679568893RSym0 vid6989586621679568888 where

Constructors

Let6989586621679568893RSym0KindInference :: SameKind (Apply Let6989586621679568893RSym0 arg) (Let6989586621679568893RSym1 arg) => Let6989586621679568893RSym0 vid6989586621679568888

Instances

SuppressUnusedWarnings (Let6989586621679568893RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

type Apply (Let6989586621679568893RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568888 :: k1)

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679568893RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) (vid6989586621679568888 :: k1) = Let6989586621679568893RSym1 vid6989586621679568888 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type

type family EpsilonInvRank a a a where ...

Equations

EpsilonInvRank vid vdim is = Case_6989586621679568952 vid vdim is (Let6989586621679568950Scrutinee_6989586621679566436Sym3 vid vdim is)

type EpsilonInvRankSym3 (a6989586621679568944 :: Symbol) (a6989586621679568945 :: Nat) (a6989586621679568946 :: NonEmpty Symbol) = EpsilonInvRank a6989586621679568944 a6989586621679568945 a6989586621679568946 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data EpsilonInvRankSym2 a6989586621679568944 a6989586621679568945 a6989586621679568946 where

Constructors

EpsilonInvRankSym2KindInference :: SameKind (Apply (EpsilonInvRankSym2 a6989586621679568944 a6989586621679568945) arg) (EpsilonInvRankSym3 a6989586621679568944 a6989586621679568945 arg) => EpsilonInvRankSym2 a6989586621679568944 a6989586621679568945 a6989586621679568946

Instances

SuppressUnusedWarnings (EpsilonInvRankSym2 a6989586621679568944 a6989586621679568945 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (EpsilonInvRankSym2 d1 d2 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (EpsilonInvRankSym2 d1 d2)

type Apply (EpsilonInvRankSym2 a6989586621679568944 a6989586621679568945 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568946 :: NonEmpty Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (EpsilonInvRankSym2 a6989586621679568944 a6989586621679568945 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568946 :: NonEmpty Symbol) = EpsilonInvRankSym3 a6989586621679568944 a6989586621679568945 a6989586621679568946

data EpsilonInvRankSym1 a6989586621679568944 a6989586621679568945 where

Constructors

EpsilonInvRankSym1KindInference :: SameKind (Apply (EpsilonInvRankSym1 a6989586621679568944) arg) (EpsilonInvRankSym2 a6989586621679568944 arg) => EpsilonInvRankSym1 a6989586621679568944 a6989586621679568945

Instances

SuppressUnusedWarnings (EpsilonInvRankSym1 a6989586621679568944 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (EpsilonInvRankSym1 d :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (EpsilonInvRankSym1 d)

type Apply (EpsilonInvRankSym1 a6989586621679568944 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568945 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (EpsilonInvRankSym1 a6989586621679568944 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568945 :: Nat) = EpsilonInvRankSym2 a6989586621679568944 a6989586621679568945

data EpsilonInvRankSym0 a6989586621679568944 where

Constructors

EpsilonInvRankSym0KindInference :: SameKind (Apply EpsilonInvRankSym0 arg) (EpsilonInvRankSym1 arg) => EpsilonInvRankSym0 a6989586621679568944

Instances

SuppressUnusedWarnings EpsilonInvRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI EpsilonInvRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing EpsilonInvRankSym0

type Apply EpsilonInvRankSym0 (a6989586621679568944 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply EpsilonInvRankSym0 (a6989586621679568944 :: Symbol) = EpsilonInvRankSym1 a6989586621679568944

type family EpsilonRank a a a where ...

Equations

EpsilonRank vid vdim is = Case_6989586621679568972 vid vdim is (Let6989586621679568970Scrutinee_6989586621679566432Sym3 vid vdim is)

type EpsilonRankSym3 (a6989586621679568964 :: Symbol) (a6989586621679568965 :: Nat) (a6989586621679568966 :: NonEmpty Symbol) = EpsilonRank a6989586621679568964 a6989586621679568965 a6989586621679568966 :: Maybe [(VSpace Symbol Nat, IList Symbol)]

data EpsilonRankSym2 a6989586621679568964 a6989586621679568965 a6989586621679568966 where

Constructors

EpsilonRankSym2KindInference :: SameKind (Apply (EpsilonRankSym2 a6989586621679568964 a6989586621679568965) arg) (EpsilonRankSym3 a6989586621679568964 a6989586621679568965 arg) => EpsilonRankSym2 a6989586621679568964 a6989586621679568965 a6989586621679568966

Instances

SuppressUnusedWarnings (EpsilonRankSym2 a6989586621679568964 a6989586621679568965 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (EpsilonRankSym2 d1 d2 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (EpsilonRankSym2 d1 d2)

type Apply (EpsilonRankSym2 a6989586621679568964 a6989586621679568965 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568966 :: NonEmpty Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (EpsilonRankSym2 a6989586621679568964 a6989586621679568965 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568966 :: NonEmpty Symbol) = EpsilonRankSym3 a6989586621679568964 a6989586621679568965 a6989586621679568966

data EpsilonRankSym1 a6989586621679568964 a6989586621679568965 where

Constructors

EpsilonRankSym1KindInference :: SameKind (Apply (EpsilonRankSym1 a6989586621679568964) arg) (EpsilonRankSym2 a6989586621679568964 arg) => EpsilonRankSym1 a6989586621679568964 a6989586621679568965

Instances

SuppressUnusedWarnings (EpsilonRankSym1 a6989586621679568964 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (EpsilonRankSym1 d :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (EpsilonRankSym1 d)

type Apply (EpsilonRankSym1 a6989586621679568964 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568965 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (EpsilonRankSym1 a6989586621679568964 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568965 :: Nat) = EpsilonRankSym2 a6989586621679568964 a6989586621679568965

data EpsilonRankSym0 a6989586621679568964 where

Constructors

EpsilonRankSym0KindInference :: SameKind (Apply EpsilonRankSym0 arg) (EpsilonRankSym1 arg) => EpsilonRankSym0 a6989586621679568964

Instances

SuppressUnusedWarnings EpsilonRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI EpsilonRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing EpsilonRankSym0

type Apply EpsilonRankSym0 (a6989586621679568964 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply EpsilonRankSym0 (a6989586621679568964 :: Symbol) = EpsilonRankSym1 a6989586621679568964

type family DeltaRank a a a a where ...

Equations

DeltaRank vid vdim a b = Apply (Apply (:@#@$) (Apply (Apply Tuple2Sym0 (Apply (Apply VSpaceSym0 vid) vdim)) (Apply (Apply ConCovSym0 (Apply (Apply (:|@#@$) a) NilSym0)) (Apply (Apply (:|@#@$) b) NilSym0)))) NilSym0

type DeltaRankSym4 (a6989586621679568985 :: Symbol) (a6989586621679568986 :: Nat) (a6989586621679568987 :: Symbol) (a6989586621679568988 :: Symbol) = DeltaRank a6989586621679568985 a6989586621679568986 a6989586621679568987 a6989586621679568988 :: [(VSpace Symbol Nat, IList Symbol)]

data DeltaRankSym3 a6989586621679568985 a6989586621679568986 a6989586621679568987 a6989586621679568988 where

Constructors

DeltaRankSym3KindInference :: SameKind (Apply (DeltaRankSym3 a6989586621679568985 a6989586621679568986 a6989586621679568987) arg) (DeltaRankSym4 a6989586621679568985 a6989586621679568986 a6989586621679568987 arg) => DeltaRankSym3 a6989586621679568985 a6989586621679568986 a6989586621679568987 a6989586621679568988

Instances

SuppressUnusedWarnings (DeltaRankSym3 a6989586621679568985 a6989586621679568986 a6989586621679568987 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2, SingI d3) => SingI (DeltaRankSym3 d1 d2 d3 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (DeltaRankSym3 d1 d2 d3)

type Apply (DeltaRankSym3 a6989586621679568985 a6989586621679568986 a6989586621679568987 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) (a6989586621679568988 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (DeltaRankSym3 a6989586621679568985 a6989586621679568986 a6989586621679568987 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) (a6989586621679568988 :: Symbol) = DeltaRankSym4 a6989586621679568985 a6989586621679568986 a6989586621679568987 a6989586621679568988

data DeltaRankSym2 a6989586621679568985 a6989586621679568986 a6989586621679568987 where

Constructors

DeltaRankSym2KindInference :: SameKind (Apply (DeltaRankSym2 a6989586621679568985 a6989586621679568986) arg) (DeltaRankSym3 a6989586621679568985 a6989586621679568986 arg) => DeltaRankSym2 a6989586621679568985 a6989586621679568986 a6989586621679568987

Instances

SuppressUnusedWarnings (DeltaRankSym2 a6989586621679568985 a6989586621679568986 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (DeltaRankSym2 d1 d2 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (DeltaRankSym2 d1 d2)

type Apply (DeltaRankSym2 a6989586621679568985 a6989586621679568986 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568987 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply (DeltaRankSym2 a6989586621679568985 a6989586621679568986 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679568987 :: Symbol) = DeltaRankSym3 a6989586621679568985 a6989586621679568986 a6989586621679568987

data DeltaRankSym1 a6989586621679568985 a6989586621679568986 where

Constructors

DeltaRankSym1KindInference :: SameKind (Apply (DeltaRankSym1 a6989586621679568985) arg) (DeltaRankSym2 a6989586621679568985 arg) => DeltaRankSym1 a6989586621679568985 a6989586621679568986

Instances

SuppressUnusedWarnings (DeltaRankSym1 a6989586621679568985 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (DeltaRankSym1 d :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type)

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (DeltaRankSym1 d)

type Apply (DeltaRankSym1 a6989586621679568985 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568986 :: Nat)

Defined in Math.Tensor.Basic.TH

type Apply (DeltaRankSym1 a6989586621679568985 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679568986 :: Nat) = DeltaRankSym2 a6989586621679568985 a6989586621679568986

data DeltaRankSym0 a6989586621679568985 where

Constructors

DeltaRankSym0KindInference :: SameKind (Apply DeltaRankSym0 arg) (DeltaRankSym1 arg) => DeltaRankSym0 a6989586621679568985

Instances

SuppressUnusedWarnings DeltaRankSym0

Defined in Math.Tensor.Basic.TH

Methods

suppressUnusedWarnings :: ()

SingI DeltaRankSym0

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing DeltaRankSym0

type Apply DeltaRankSym0 (a6989586621679568985 :: Symbol)

Defined in Math.Tensor.Basic.TH

type Apply DeltaRankSym0 (a6989586621679568985 :: Symbol) = DeltaRankSym1 a6989586621679568985

sDeltaRank :: forall (t :: Symbol) (t :: Nat) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply DeltaRankSym0 t) t) t) t :: [(VSpace Symbol Nat, IList Symbol)])

sEpsilonRank :: forall (t :: Symbol) (t :: Nat) (t :: NonEmpty Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EpsilonRankSym0 t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sEpsilonInvRank :: forall (t :: Symbol) (t :: Nat) (t :: NonEmpty Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EpsilonInvRankSym0 t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sSym2Dim :: forall (t :: Nat). Sing t -> Sing (Apply Sym2DimSym0 t :: Nat)

sInjSym2ConRank :: forall (t :: Symbol) (t :: Nat) (t :: Symbol) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply InjSym2ConRankSym0 t) t) t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sInjSym2CovRank :: forall (t :: Symbol) (t :: Nat) (t :: Symbol) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply InjSym2CovRankSym0 t) t) t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sSurjSym2ConRank :: forall (t :: Symbol) (t :: Nat) (t :: Symbol) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply SurjSym2ConRankSym0 t) t) t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sSurjSym2CovRank :: forall (t :: Symbol) (t :: Nat) (t :: Symbol) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply SurjSym2CovRankSym0 t) t) t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sInjAreaConRank :: forall (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply InjAreaConRankSym0 t) t) t) t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sInjAreaCovRank :: forall (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply InjAreaCovRankSym0 t) t) t) t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sSurjAreaConRank :: forall (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply SurjAreaConRankSym0 t) t) t) t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

sSurjAreaCovRank :: forall (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply SurjAreaCovRankSym0 t) t) t) t) t) t :: Maybe [(VSpace Symbol Nat, IList Symbol)])

surjAreaCovRank :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Maybe Rank

surjAreaConRank :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Maybe Rank

injAreaCovRank :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Maybe Rank

injAreaConRank :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Maybe Rank

surjSym2CovRank :: Symbol -> Nat -> Symbol -> Symbol -> Symbol -> Maybe Rank

surjSym2ConRank :: Symbol -> Nat -> Symbol -> Symbol -> Symbol -> Maybe Rank

injSym2CovRank :: Symbol -> Nat -> Symbol -> Symbol -> Symbol -> Maybe Rank

injSym2ConRank :: Symbol -> Nat -> Symbol -> Symbol -> Symbol -> Maybe Rank

sym2Dim :: Nat -> Nat

epsilonInvRank :: Symbol -> Nat -> NonEmpty Symbol -> Maybe Rank

epsilonRank :: Symbol -> Nat -> NonEmpty Symbol -> Maybe Rank

deltaRank :: Symbol -> Nat -> Symbol -> Symbol -> Rank