safe-tensor-0.2.1.0: Dependently typed tensor algebra
Copyright(c) Nils Alex 2020
LicenseMIT
Maintainernils.alex@fau.de
Safe HaskellNone
LanguageHaskell2010

Math.Tensor.Safe.TH

Description

Type families and singletons for generalized types. For documentation see re-exports in Math.Tensor.Safe.

Documentation

data N where Source #

Constructors

Z :: N 
S :: N -> N 

Instances

Instances details
Eq N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

(==) :: N -> N -> Bool #

(/=) :: N -> N -> Bool #

Num N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

(+) :: N -> N -> N #

(-) :: N -> N -> N #

(*) :: N -> N -> N #

negate :: N -> N #

abs :: N -> N #

signum :: N -> N #

fromInteger :: Integer -> N #

Ord N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

compare :: N -> N -> Ordering #

(<) :: N -> N -> Bool #

(<=) :: N -> N -> Bool #

(>) :: N -> N -> Bool #

(>=) :: N -> N -> Bool #

max :: N -> N -> N #

min :: N -> N -> N #

Show N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

showsPrec :: Int -> N -> ShowS #

show :: N -> String #

showList :: [N] -> ShowS #

Generic N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type Rep N :: Type -> Type #

Methods

from :: N -> Rep N x #

to :: Rep N x -> N #

NFData N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

rnf :: N -> () #

PShow N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg1 :: Symbol #

SShow N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sShowsPrec :: forall (t1 :: Nat) (t2 :: N) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) #

sShow_ :: forall (t :: N). Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: forall (t1 :: [N]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) #

PNum N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type arg + arg1 :: a #

type arg - arg1 :: a #

type arg * arg1 :: a #

type Negate arg :: a #

type Abs arg :: a #

type Signum arg :: a #

type FromInteger arg :: a #

SNum N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

(%+) :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply (+@#@$) t1) t2) #

(%-) :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply (-@#@$) t1) t2) #

(%*) :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply (*@#@$) t1) t2) #

sNegate :: forall (t :: N). Sing t -> Sing (Apply NegateSym0 t) #

sAbs :: forall (t :: N). Sing t -> Sing (Apply AbsSym0 t) #

sSignum :: forall (t :: N). Sing t -> Sing (Apply SignumSym0 t) #

sFromInteger :: forall (t :: Nat). Sing t -> Sing (Apply FromIntegerSym0 t) #

POrd N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type Compare arg arg1 :: Ordering #

type arg < arg1 :: Bool #

type arg <= arg1 :: Bool #

type arg > arg1 :: Bool #

type arg >= arg1 :: Bool #

type Max arg arg1 :: a #

type Min arg arg1 :: a #

SOrd N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sCompare :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) #

(%<) :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) #

(%<=) :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) #

(%>) :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) #

(%>=) :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) #

sMax :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) #

sMin :: forall (t1 :: N) (t2 :: N). Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) #

SEq N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

(%==) :: forall (a :: N) (b :: N). Sing a -> Sing b -> Sing (a == b) #

(%/=) :: forall (a :: N) (b :: N). Sing a -> Sing b -> Sing (a /= b) #

PEq N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type x == y :: Bool #

type x /= y :: Bool #

SDecide N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

(%~) :: forall (a :: N) (b :: N). Sing a -> Sing b -> Decision (a :~: b) #

SingKind N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type Demote N = (r :: Type) #

Methods

fromSing :: forall (a :: N). Sing a -> Demote N #

toSing :: Demote N -> SomeSing N #

TestCoercion SN Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

testCoercion :: forall (a :: k) (b :: k). SN a -> SN b -> Maybe (Coercion a b) #

TestEquality SN Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

testEquality :: forall (a :: k) (b :: k). SN a -> SN b -> Maybe (a :~: b) #

SingI 'Z Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing 'Z #

SingI n => SingI ('S n :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing ('S n) #

SuppressUnusedWarnings FromInteger_6989586621679117735Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings FromNatSym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings ShowsPrec_6989586621679115969Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings Signum_6989586621679117728Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings Abs_6989586621679117721Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings Negate_6989586621679117704Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings SSym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings TFHelper_6989586621679117270Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings TFHelper_6989586621679117711Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings TFHelper_6989586621679117693Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings TFHelper_6989586621679117681Sym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SingI FromNatSym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SingI SSym0 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing SSym0 #

SuppressUnusedWarnings (TFHelper_6989586621679117270Sym1 a6989586621679117275 :: TyFun N Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TFHelper_6989586621679117711Sym1 a6989586621679117716 :: TyFun N N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TFHelper_6989586621679117693Sym1 a6989586621679117698 :: TyFun N N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TFHelper_6989586621679117681Sym1 a6989586621679117686 :: TyFun N N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (ShowsPrec_6989586621679115969Sym1 a6989586621679115979 :: TyFun N (Symbol ~> Symbol) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (LengthILSym0 :: TyFun (IList a) N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (RelabelTranspositions'Sym0 :: TyFun (NonEmpty (a, a)) [(N, N)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (RelabelTranspositionsSym0 :: TyFun (NonEmpty (a, a)) (IList a ~> Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Transpositions'Sym0 :: TyFun (NonEmpty a) (NonEmpty a ~> (NonEmpty (Maybe a) ~> Maybe [(N, N)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (LengthNESym0 :: TyFun (NonEmpty a) N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SingI (LengthILSym0 :: TyFun (IList a) N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SOrd a => SingI (RelabelTranspositions'Sym0 :: TyFun (NonEmpty (a, a)) [(N, N)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SOrd a => SingI (RelabelTranspositionsSym0 :: TyFun (NonEmpty (a, a)) (IList a ~> Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SEq a => SingI (Transpositions'Sym0 :: TyFun (NonEmpty a) (NonEmpty a ~> (NonEmpty (Maybe a) ~> Maybe [(N, N)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SingI (LengthNESym0 :: TyFun (NonEmpty a) N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym0 :: TyFun (VSpace s n) (TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (RelabelTranspositionsSym1 a6989586621679113078 :: TyFun (IList a) (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001Is'''Sym0 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107210)) (NonEmpty (N, N)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001Is''Sym0 :: TyFun (NonEmpty (a6989586621679107207, k1)) (NonEmpty (N, k1)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001Is'Sym0 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107208)) (NonEmpty (N, b6989586621679107208)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Transpositions'Sym1 a6989586621679113245 :: TyFun (NonEmpty a) (NonEmpty (Maybe a) ~> Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SingI (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n) => SingI (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd a, SingI d) => SingI (RelabelTranspositionsSym1 d :: TyFun (IList a) (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SEq a, SingI d) => SingI (Transpositions'Sym1 d :: TyFun (NonEmpty a) (NonEmpty (Maybe a) ~> Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TranspositionsSym1 a6989586621679113361 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410 :: TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001Go'Sym0 :: TyFun k (TyFun N (NonEmpty (a6989586621679107209, b6989586621679107210) ~> NonEmpty (a6989586621679107209, N)) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001GoSym0 :: TyFun k (TyFun N (NonEmpty (a6989586621679107207, b6989586621679107208) ~> NonEmpty (N, b6989586621679107208)) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251Xs'Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113293Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113297Sym0 :: TyFun k1 (TyFun (NonEmpty a) (TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Transpositions'Sym2 a6989586621679113245 a6989586621679113246 :: TyFun (NonEmpty (Maybe a)) (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n, SingI d) => SingI (TranspositionsSym1 d :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SEq a, SingI d1, SingI d2) => SingI (Transpositions'Sym2 d1 d2 :: TyFun (NonEmpty (Maybe a)) (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (Transpositions'Sym2 d1 d2) #

SuppressUnusedWarnings (TranspositionsSym2 a6989586621679113361 a6989586621679113362 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001Go'Sym1 is6989586621679113000 :: TyFun N (NonEmpty (a6989586621679107209, b6989586621679107210) ~> NonEmpty (a6989586621679107209, N)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001GoSym1 is6989586621679113000 :: TyFun N (NonEmpty (a6989586621679107207, b6989586621679107208) ~> NonEmpty (N, b6989586621679107208)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251FindSym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251Go'Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251Xs'Sym1 sources6989586621679113248 :: TyFun k2 (TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113293Sym1 sources6989586621679113248 :: TyFun k2 (TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113300Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113297Sym1 sources6989586621679113248 :: TyFun (NonEmpty a) (TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n, SingI d1, SingI d2) => SingI (TranspositionsSym2 d1 d2 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (TranspositionsSym2 d1 d2) #

SuppressUnusedWarnings (Let6989586621679113251FindSym1 sources6989586621679113248 :: TyFun k2 (TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251Go'Sym1 sources6989586621679113248 :: TyFun k2 (TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113300Sym1 ss6989586621679113299 :: TyFun k2 (TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113293Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113297Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001Go'Sym2 is6989586621679113000 a6989586621679113010 :: TyFun (NonEmpty (a6989586621679107209, b6989586621679107210)) (NonEmpty (a6989586621679107209, N)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113001GoSym2 is6989586621679113000 a6989586621679113019 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107208)) (NonEmpty (N, b6989586621679107208)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251Xs'Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251FindSym2 sources6989586621679113248 targets6989586621679113249 :: TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251Go'Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113293Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun k3 (Maybe N) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113300Sym2 ss6989586621679113299 sources6989586621679113248 :: TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113297Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251Go'Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251FindSym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113300Sym3 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113300Sym4 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun k4 (Maybe N) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251FindSym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113263 :: TyFun (NonEmpty (N, Maybe a6989586621679107110)) (Maybe N) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113251Go'Sym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113283 :: TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Rep N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Rep N = D1 ('MetaData "N" "Math.Tensor.Safe.TH" "safe-tensor-0.2.1.0-inplace" 'False) (C1 ('MetaCons "Z" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 N)))
type Sing Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Sing = SN
type Demote N Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Demote N = N
type Show_ (arg :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Show_ (arg :: N) = Apply (Show__6989586621680635830Sym0 :: TyFun N Symbol -> Type) arg
type FromInteger a Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Signum (a :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Abs (a :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Negate (a :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type ShowList (arg :: [N]) arg1 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type ShowList (arg :: [N]) arg1 = Apply (Apply (ShowList_6989586621680635838Sym0 :: TyFun [N] (Symbol ~> Symbol) -> Type) arg) arg1
type (a1 :: N) * (a2 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (a1 :: N) * (a2 :: N) = Apply (Apply TFHelper_6989586621679117711Sym0 a1) a2
type (a1 :: N) - (a2 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (a1 :: N) - (a2 :: N) = Apply (Apply TFHelper_6989586621679117693Sym0 a1) a2
type (a1 :: N) + (a2 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (a1 :: N) + (a2 :: N) = Apply (Apply TFHelper_6989586621679117681Sym0 a1) a2
type Min (arg :: N) (arg1 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Min (arg :: N) (arg1 :: N) = Apply (Apply (Min_6989586621679837319Sym0 :: TyFun N (N ~> N) -> Type) arg) arg1
type Max (arg :: N) (arg1 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Max (arg :: N) (arg1 :: N) = Apply (Apply (Max_6989586621679837303Sym0 :: TyFun N (N ~> N) -> Type) arg) arg1
type (arg :: N) >= (arg1 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (arg :: N) >= (arg1 :: N) = Apply (Apply (TFHelper_6989586621679837287Sym0 :: TyFun N (N ~> Bool) -> Type) arg) arg1
type (arg :: N) > (arg1 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (arg :: N) > (arg1 :: N) = Apply (Apply (TFHelper_6989586621679837271Sym0 :: TyFun N (N ~> Bool) -> Type) arg) arg1
type (a1 :: N) <= (a2 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (a1 :: N) <= (a2 :: N) = Apply (Apply TFHelper_6989586621679117270Sym0 a1) a2
type (arg :: N) < (arg1 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (arg :: N) < (arg1 :: N) = Apply (Apply (TFHelper_6989586621679837239Sym0 :: TyFun N (N ~> Bool) -> Type) arg) arg1
type Compare (arg :: N) (arg1 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Compare (arg :: N) (arg1 :: N) = Apply (Apply (Compare_6989586621679837218Sym0 :: TyFun N (N ~> Ordering) -> Type) arg) arg1
type (x :: N) /= (y :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (x :: N) /= (y :: N) = Not (x == y)
type (a :: N) == (b :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type (a :: N) == (b :: N) = Equals_6989586621679117883 a b
type ShowsPrec a1 (a2 :: N) a3 Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type ShowsPrec a1 (a2 :: N) a3 = Apply (Apply (Apply ShowsPrec_6989586621679115969Sym0 a1) a2) a3
type Apply FromInteger_6989586621679117735Sym0 (a6989586621679117739 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply FromInteger_6989586621679117735Sym0 (a6989586621679117739 :: Nat) = FromInteger_6989586621679117735Sym1 a6989586621679117739
type Apply FromNatSym0 (a6989586621679113964 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply FromNatSym0 (a6989586621679113964 :: Nat) = FromNatSym1 a6989586621679113964
type Apply Signum_6989586621679117728Sym0 (a6989586621679117732 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply Signum_6989586621679117728Sym0 (a6989586621679117732 :: N) = Signum_6989586621679117728Sym1 a6989586621679117732
type Apply Abs_6989586621679117721Sym0 (a6989586621679117725 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply Abs_6989586621679117721Sym0 (a6989586621679117725 :: N) = Abs_6989586621679117721Sym1 a6989586621679117725
type Apply Negate_6989586621679117704Sym0 (a6989586621679117708 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply Negate_6989586621679117704Sym0 (a6989586621679117708 :: N) = Negate_6989586621679117704Sym1 a6989586621679117708
type Apply SSym0 (a6989586621679112975 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply SSym0 (a6989586621679112975 :: N) = SSym1 a6989586621679112975
type Apply (TFHelper_6989586621679117270Sym1 a6989586621679117275 :: TyFun N Bool -> Type) (a6989586621679117276 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (TFHelper_6989586621679117270Sym1 a6989586621679117275 :: TyFun N Bool -> Type) (a6989586621679117276 :: N) = TFHelper_6989586621679117270Sym2 a6989586621679117275 a6989586621679117276
type Apply (TFHelper_6989586621679117711Sym1 a6989586621679117716 :: TyFun N N -> Type) (a6989586621679117717 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (TFHelper_6989586621679117711Sym1 a6989586621679117716 :: TyFun N N -> Type) (a6989586621679117717 :: N) = TFHelper_6989586621679117711Sym2 a6989586621679117716 a6989586621679117717
type Apply (TFHelper_6989586621679117693Sym1 a6989586621679117698 :: TyFun N N -> Type) (a6989586621679117699 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (TFHelper_6989586621679117693Sym1 a6989586621679117698 :: TyFun N N -> Type) (a6989586621679117699 :: N) = TFHelper_6989586621679117693Sym2 a6989586621679117698 a6989586621679117699
type Apply (TFHelper_6989586621679117681Sym1 a6989586621679117686 :: TyFun N N -> Type) (a6989586621679117687 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (TFHelper_6989586621679117681Sym1 a6989586621679117686 :: TyFun N N -> Type) (a6989586621679117687 :: N) = TFHelper_6989586621679117681Sym2 a6989586621679117686 a6989586621679117687
type Apply (Lambda_6989586621679113293Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun k3 (Maybe N) -> Type) (lhs_69895866216791073766989586621679113295 :: k3) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113293Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun k3 (Maybe N) -> Type) (lhs_69895866216791073766989586621679113295 :: k3) = Lambda_6989586621679113293Sym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 lhs_69895866216791073766989586621679113295
type Apply (Lambda_6989586621679113300Sym4 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun k4 (Maybe N) -> Type) (lhs_69895866216791073746989586621679113302 :: k4) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113300Sym4 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun k4 (Maybe N) -> Type) (lhs_69895866216791073746989586621679113302 :: k4) = Lambda_6989586621679113300Sym5 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 lhs_69895866216791073746989586621679113302
type Apply ShowsPrec_6989586621679115969Sym0 (a6989586621679115979 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply ShowsPrec_6989586621679115969Sym0 (a6989586621679115979 :: Nat) = ShowsPrec_6989586621679115969Sym1 a6989586621679115979
type Apply TFHelper_6989586621679117270Sym0 (a6989586621679117275 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply TFHelper_6989586621679117270Sym0 (a6989586621679117275 :: N) = TFHelper_6989586621679117270Sym1 a6989586621679117275
type Apply TFHelper_6989586621679117711Sym0 (a6989586621679117716 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply TFHelper_6989586621679117711Sym0 (a6989586621679117716 :: N) = TFHelper_6989586621679117711Sym1 a6989586621679117716
type Apply TFHelper_6989586621679117693Sym0 (a6989586621679117698 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply TFHelper_6989586621679117693Sym0 (a6989586621679117698 :: N) = TFHelper_6989586621679117693Sym1 a6989586621679117698
type Apply TFHelper_6989586621679117681Sym0 (a6989586621679117686 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply TFHelper_6989586621679117681Sym0 (a6989586621679117686 :: N) = TFHelper_6989586621679117681Sym1 a6989586621679117686
type Apply (ShowsPrec_6989586621679115969Sym1 a6989586621679115979 :: TyFun N (Symbol ~> Symbol) -> Type) (a6989586621679115980 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (ShowsPrec_6989586621679115969Sym1 a6989586621679115979 :: TyFun N (Symbol ~> Symbol) -> Type) (a6989586621679115980 :: N) = ShowsPrec_6989586621679115969Sym2 a6989586621679115979 a6989586621679115980
type Apply (Let6989586621679113001Go'Sym0 :: TyFun k (TyFun N (NonEmpty (a6989586621679107209, b6989586621679107210) ~> NonEmpty (a6989586621679107209, N)) -> Type) -> Type) (is6989586621679113000 :: k) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001Go'Sym0 :: TyFun k (TyFun N (NonEmpty (a6989586621679107209, b6989586621679107210) ~> NonEmpty (a6989586621679107209, N)) -> Type) -> Type) (is6989586621679113000 :: k) = Let6989586621679113001Go'Sym1 is6989586621679113000 :: TyFun N (NonEmpty (a6989586621679107209, b6989586621679107210) ~> NonEmpty (a6989586621679107209, N)) -> Type
type Apply (Let6989586621679113001GoSym0 :: TyFun k (TyFun N (NonEmpty (a6989586621679107207, b6989586621679107208) ~> NonEmpty (N, b6989586621679107208)) -> Type) -> Type) (is6989586621679113000 :: k) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001GoSym0 :: TyFun k (TyFun N (NonEmpty (a6989586621679107207, b6989586621679107208) ~> NonEmpty (N, b6989586621679107208)) -> Type) -> Type) (is6989586621679113000 :: k) = Let6989586621679113001GoSym1 is6989586621679113000 :: TyFun N (NonEmpty (a6989586621679107207, b6989586621679107208) ~> NonEmpty (N, b6989586621679107208)) -> Type
type Apply (Let6989586621679113251Xs'Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251Xs'Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) = Let6989586621679113251Xs'Sym1 sources6989586621679113248 :: TyFun k2 (TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) -> Type
type Apply (Lambda_6989586621679113293Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113293Sym0 :: TyFun k1 (TyFun k2 (TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) = Lambda_6989586621679113293Sym1 sources6989586621679113248 :: TyFun k2 (TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) -> Type
type Apply (Lambda_6989586621679113297Sym0 :: TyFun k1 (TyFun (NonEmpty a) (TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113297Sym0 :: TyFun k1 (TyFun (NonEmpty a) (TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) = Lambda_6989586621679113297Sym1 sources6989586621679113248 :: TyFun (NonEmpty a) (TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) -> Type
type Apply (Let6989586621679113001Go'Sym1 is6989586621679113000 :: TyFun N (NonEmpty (a6989586621679107209, b6989586621679107210) ~> NonEmpty (a6989586621679107209, N)) -> Type) (a6989586621679113010 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001Go'Sym1 is6989586621679113000 :: TyFun N (NonEmpty (a6989586621679107209, b6989586621679107210) ~> NonEmpty (a6989586621679107209, N)) -> Type) (a6989586621679113010 :: N) = Let6989586621679113001Go'Sym2 is6989586621679113000 a6989586621679113010 :: TyFun (NonEmpty (a6989586621679107209, b6989586621679107210)) (NonEmpty (a6989586621679107209, N)) -> Type
type Apply (Let6989586621679113001GoSym1 is6989586621679113000 :: TyFun N (NonEmpty (a6989586621679107207, b6989586621679107208) ~> NonEmpty (N, b6989586621679107208)) -> Type) (a6989586621679113019 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001GoSym1 is6989586621679113000 :: TyFun N (NonEmpty (a6989586621679107207, b6989586621679107208) ~> NonEmpty (N, b6989586621679107208)) -> Type) (a6989586621679113019 :: N) = Let6989586621679113001GoSym2 is6989586621679113000 a6989586621679113019 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107208)) (NonEmpty (N, b6989586621679107208)) -> Type
type Apply (Let6989586621679113251FindSym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251FindSym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) = Let6989586621679113251FindSym1 sources6989586621679113248 :: TyFun k2 (TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) -> Type
type Apply (Let6989586621679113251Go'Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251Go'Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k1) = Let6989586621679113251Go'Sym1 sources6989586621679113248 :: TyFun k2 (TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type
type Apply (Let6989586621679113251Xs'Sym1 sources6989586621679113248 :: TyFun k2 (TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) -> Type) (targets6989586621679113249 :: k2) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251Xs'Sym1 sources6989586621679113248 :: TyFun k2 (TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) -> Type) (targets6989586621679113249 :: k2) = Let6989586621679113251Xs'Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type
type Apply (Lambda_6989586621679113293Sym1 sources6989586621679113248 :: TyFun k2 (TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) -> Type) (targets6989586621679113249 :: k2) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113293Sym1 sources6989586621679113248 :: TyFun k2 (TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) -> Type) (targets6989586621679113249 :: k2) = Lambda_6989586621679113293Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type
type Apply (Lambda_6989586621679113300Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) -> Type) -> Type) (ss6989586621679113299 :: k1) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113300Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) -> Type) -> Type) (ss6989586621679113299 :: k1) = Lambda_6989586621679113300Sym1 ss6989586621679113299 :: TyFun k2 (TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) -> Type
type Apply (Let6989586621679113251FindSym1 sources6989586621679113248 :: TyFun k2 (TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) -> Type) (targets6989586621679113249 :: k2) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251FindSym1 sources6989586621679113248 :: TyFun k2 (TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) -> Type) (targets6989586621679113249 :: k2) = Let6989586621679113251FindSym2 sources6989586621679113248 targets6989586621679113249 :: TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type
type Apply (Let6989586621679113251Go'Sym1 sources6989586621679113248 :: TyFun k2 (TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) (targets6989586621679113249 :: k2) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251Go'Sym1 sources6989586621679113248 :: TyFun k2 (TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) -> Type) (targets6989586621679113249 :: k2) = Let6989586621679113251Go'Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type
type Apply (Lambda_6989586621679113300Sym1 ss6989586621679113299 :: TyFun k2 (TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k2) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113300Sym1 ss6989586621679113299 :: TyFun k2 (TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) -> Type) (sources6989586621679113248 :: k2) = Lambda_6989586621679113300Sym2 ss6989586621679113299 sources6989586621679113248 :: TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type
type Apply (Let6989586621679113251FindSym2 sources6989586621679113248 targets6989586621679113249 :: TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) (xs6989586621679113250 :: k3) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251FindSym2 sources6989586621679113248 targets6989586621679113249 :: TyFun k3 (TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) -> Type) (xs6989586621679113250 :: k3) = Let6989586621679113251FindSym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type
type Apply (Let6989586621679113251Go'Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) (xs6989586621679113250 :: k3) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251Go'Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun k3 (TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) -> Type) (xs6989586621679113250 :: k3) = Let6989586621679113251Go'Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type
type Apply (Lambda_6989586621679113300Sym2 ss6989586621679113299 sources6989586621679113248 :: TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) (targets6989586621679113249 :: k3) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113300Sym2 ss6989586621679113299 sources6989586621679113248 :: TyFun k3 (TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) -> Type) (targets6989586621679113249 :: k3) = Lambda_6989586621679113300Sym3 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type
type Apply (Let6989586621679113251Go'Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) (a6989586621679113283 :: N) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251Go'Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun N (NonEmpty a6989586621679107109 ~> NonEmpty (N, a6989586621679107109)) -> Type) (a6989586621679113283 :: N) = Let6989586621679113251Go'Sym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113283 :: TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type
type Apply (Let6989586621679113251FindSym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) (a6989586621679113263 :: a6989586621679107110) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251FindSym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun a6989586621679107110 (NonEmpty (N, Maybe a6989586621679107110) ~> Maybe N) -> Type) (a6989586621679113263 :: a6989586621679107110) = Let6989586621679113251FindSym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113263
type Apply (LengthILSym0 :: TyFun (IList a) N -> Type) (a6989586621679113902 :: IList a) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (LengthILSym0 :: TyFun (IList a) N -> Type) (a6989586621679113902 :: IList a) = LengthILSym1 a6989586621679113902
type Apply (LengthNESym0 :: TyFun (NonEmpty a) N -> Type) (a6989586621679113909 :: NonEmpty a) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (LengthNESym0 :: TyFun (NonEmpty a) N -> Type) (a6989586621679113909 :: NonEmpty a) = LengthNESym1 a6989586621679113909
type Apply (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) (a6989586621679113897 :: [(VSpace s n, IList s)]) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) (a6989586621679113897 :: [(VSpace s n, IList s)]) = LengthRSym1 a6989586621679113897
type Apply (RelabelTranspositions'Sym0 :: TyFun (NonEmpty (a, a)) [(N, N)] -> Type) (a6989586621679112999 :: NonEmpty (a, a)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (RelabelTranspositions'Sym0 :: TyFun (NonEmpty (a, a)) [(N, N)] -> Type) (a6989586621679112999 :: NonEmpty (a, a)) = RelabelTranspositions'Sym1 a6989586621679112999
type Apply (RelabelTranspositionsSym1 a6989586621679113078 :: TyFun (IList a) (Maybe [(N, N)]) -> Type) (a6989586621679113079 :: IList a) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (RelabelTranspositionsSym1 a6989586621679113078 :: TyFun (IList a) (Maybe [(N, N)]) -> Type) (a6989586621679113079 :: IList a) = RelabelTranspositionsSym2 a6989586621679113078 a6989586621679113079
type Apply (Let6989586621679113001Is'''Sym0 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107210)) (NonEmpty (N, N)) -> Type) (is6989586621679113000 :: NonEmpty (a6989586621679107207, b6989586621679107210)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001Is'''Sym0 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107210)) (NonEmpty (N, N)) -> Type) (is6989586621679113000 :: NonEmpty (a6989586621679107207, b6989586621679107210)) = Let6989586621679113001Is'''Sym1 is6989586621679113000
type Apply (Let6989586621679113001Is''Sym0 :: TyFun (NonEmpty (a6989586621679107207, k1)) (NonEmpty (N, k1)) -> Type) (is6989586621679113000 :: NonEmpty (a6989586621679107207, k1)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001Is''Sym0 :: TyFun (NonEmpty (a6989586621679107207, k1)) (NonEmpty (N, k1)) -> Type) (is6989586621679113000 :: NonEmpty (a6989586621679107207, k1)) = Let6989586621679113001Is''Sym1 is6989586621679113000
type Apply (Let6989586621679113001Is'Sym0 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107208)) (NonEmpty (N, b6989586621679107208)) -> Type) (is6989586621679113000 :: NonEmpty (a6989586621679107207, b6989586621679107208)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001Is'Sym0 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107208)) (NonEmpty (N, b6989586621679107208)) -> Type) (is6989586621679113000 :: NonEmpty (a6989586621679107207, b6989586621679107208)) = Let6989586621679113001Is'Sym1 is6989586621679113000
type Apply (Transpositions'Sym2 a6989586621679113245 a6989586621679113246 :: TyFun (NonEmpty (Maybe a)) (Maybe [(N, N)]) -> Type) (a6989586621679113247 :: NonEmpty (Maybe a)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Transpositions'Sym2 a6989586621679113245 a6989586621679113246 :: TyFun (NonEmpty (Maybe a)) (Maybe [(N, N)]) -> Type) (a6989586621679113247 :: NonEmpty (Maybe a)) = Transpositions'Sym3 a6989586621679113245 a6989586621679113246 a6989586621679113247
type Apply (TranspositionsSym2 a6989586621679113361 a6989586621679113362 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) (a6989586621679113363 :: [(VSpace s n, IList s)]) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (TranspositionsSym2 a6989586621679113361 a6989586621679113362 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) (a6989586621679113363 :: [(VSpace s n, IList s)]) = TranspositionsSym3 a6989586621679113361 a6989586621679113362 a6989586621679113363
type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) (r6989586621679113412 :: [(VSpace s n, IList s)]) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) (r6989586621679113412 :: [(VSpace s n, IList s)]) = Let6989586621679113413Scrutinee_6989586621679107344Sym3 vs6989586621679113410 tl6989586621679113411 r6989586621679113412
type Apply (Let6989586621679113001Go'Sym2 is6989586621679113000 a6989586621679113010 :: TyFun (NonEmpty (a6989586621679107209, b6989586621679107210)) (NonEmpty (a6989586621679107209, N)) -> Type) (a6989586621679113011 :: NonEmpty (a6989586621679107209, b6989586621679107210)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001Go'Sym2 is6989586621679113000 a6989586621679113010 :: TyFun (NonEmpty (a6989586621679107209, b6989586621679107210)) (NonEmpty (a6989586621679107209, N)) -> Type) (a6989586621679113011 :: NonEmpty (a6989586621679107209, b6989586621679107210)) = Let6989586621679113001Go'Sym3 is6989586621679113000 a6989586621679113010 a6989586621679113011
type Apply (Let6989586621679113001GoSym2 is6989586621679113000 a6989586621679113019 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107208)) (NonEmpty (N, b6989586621679107208)) -> Type) (a6989586621679113020 :: NonEmpty (a6989586621679107207, b6989586621679107208)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113001GoSym2 is6989586621679113000 a6989586621679113019 :: TyFun (NonEmpty (a6989586621679107207, b6989586621679107208)) (NonEmpty (N, b6989586621679107208)) -> Type) (a6989586621679113020 :: NonEmpty (a6989586621679107207, b6989586621679107208)) = Let6989586621679113001GoSym3 is6989586621679113000 a6989586621679113019 a6989586621679113020
type Apply (Let6989586621679113251Xs'Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) (xs6989586621679113250 :: NonEmpty a6989586621679107109) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251Xs'Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) (xs6989586621679113250 :: NonEmpty a6989586621679107109) = Let6989586621679113251Xs'Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250
type Apply (Lambda_6989586621679113297Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) (ss6989586621679113299 :: NonEmpty a6989586621679107111) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113297Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) (ss6989586621679113299 :: NonEmpty a6989586621679107111) = Lambda_6989586621679113297Sym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 ss6989586621679113299
type Apply (Let6989586621679113251FindSym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113263 :: TyFun (NonEmpty (N, Maybe a6989586621679107110)) (Maybe N) -> Type) (a6989586621679113264 :: NonEmpty (N, Maybe a6989586621679107110)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251FindSym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113263 :: TyFun (NonEmpty (N, Maybe a6989586621679107110)) (Maybe N) -> Type) (a6989586621679113264 :: NonEmpty (N, Maybe a6989586621679107110)) = Let6989586621679113251FindSym5 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113263 a6989586621679113264
type Apply (Let6989586621679113251Go'Sym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113283 :: TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) (a6989586621679113284 :: NonEmpty a6989586621679107109) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113251Go'Sym4 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113283 :: TyFun (NonEmpty a6989586621679107109) (NonEmpty (N, a6989586621679107109)) -> Type) (a6989586621679113284 :: NonEmpty a6989586621679107109) = Let6989586621679113251Go'Sym5 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 a6989586621679113283 a6989586621679113284
type Apply (RelabelTranspositionsSym0 :: TyFun (NonEmpty (a, a)) (IList a ~> Maybe [(N, N)]) -> Type) (a6989586621679113078 :: NonEmpty (a, a)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (RelabelTranspositionsSym0 :: TyFun (NonEmpty (a, a)) (IList a ~> Maybe [(N, N)]) -> Type) (a6989586621679113078 :: NonEmpty (a, a)) = RelabelTranspositionsSym1 a6989586621679113078
type Apply (Transpositions'Sym0 :: TyFun (NonEmpty a) (NonEmpty a ~> (NonEmpty (Maybe a) ~> Maybe [(N, N)])) -> Type) (a6989586621679113245 :: NonEmpty a) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Transpositions'Sym0 :: TyFun (NonEmpty a) (NonEmpty a ~> (NonEmpty (Maybe a) ~> Maybe [(N, N)])) -> Type) (a6989586621679113245 :: NonEmpty a) = Transpositions'Sym1 a6989586621679113245
type Apply (Transpositions'Sym1 a6989586621679113245 :: TyFun (NonEmpty a) (NonEmpty (Maybe a) ~> Maybe [(N, N)]) -> Type) (a6989586621679113246 :: NonEmpty a) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Transpositions'Sym1 a6989586621679113245 :: TyFun (NonEmpty a) (NonEmpty (Maybe a) ~> Maybe [(N, N)]) -> Type) (a6989586621679113246 :: NonEmpty a) = Transpositions'Sym2 a6989586621679113245 a6989586621679113246
type Apply (TranspositionsSym1 a6989586621679113361 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) (a6989586621679113362 :: TransRule s) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (TranspositionsSym1 a6989586621679113361 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) (a6989586621679113362 :: TransRule s) = TranspositionsSym2 a6989586621679113361 a6989586621679113362
type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410 :: TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) (tl6989586621679113411 :: TransRule s) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410 :: TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) (tl6989586621679113411 :: TransRule s) = Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411
type Apply (Lambda_6989586621679113297Sym1 sources6989586621679113248 :: TyFun (NonEmpty a) (TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) -> Type) (targets6989586621679113249 :: NonEmpty a) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113297Sym1 sources6989586621679113248 :: TyFun (NonEmpty a) (TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) -> Type) (targets6989586621679113249 :: NonEmpty a) = Lambda_6989586621679113297Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type
type Apply (Lambda_6989586621679113293Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) (xs6989586621679113250 :: NonEmpty (Maybe k3)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113293Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe k3)) (TyFun k3 (Maybe N) -> Type) -> Type) (xs6989586621679113250 :: NonEmpty (Maybe k3)) = Lambda_6989586621679113293Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250
type Apply (Lambda_6989586621679113297Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) (xs6989586621679113250 :: NonEmpty (Maybe a)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113297Sym2 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe a)) (TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type) -> Type) (xs6989586621679113250 :: NonEmpty (Maybe a)) = Lambda_6989586621679113297Sym3 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250 :: TyFun (NonEmpty a6989586621679107111) (Maybe [(a6989586621679107111, N)]) -> Type
type Apply (Lambda_6989586621679113300Sym3 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) (xs6989586621679113250 :: NonEmpty (Maybe k4)) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Lambda_6989586621679113300Sym3 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 :: TyFun (NonEmpty (Maybe k4)) (TyFun k4 (Maybe N) -> Type) -> Type) (xs6989586621679113250 :: NonEmpty (Maybe k4)) = Lambda_6989586621679113300Sym4 ss6989586621679113299 sources6989586621679113248 targets6989586621679113249 xs6989586621679113250
type Apply (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) (a6989586621679113361 :: VSpace s n) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) (a6989586621679113361 :: VSpace s n) = TranspositionsSym1 a6989586621679113361
type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym0 :: TyFun (VSpace s n) (TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) -> Type) (vs6989586621679113410 :: VSpace s n) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (Let6989586621679113413Scrutinee_6989586621679107344Sym0 :: TyFun (VSpace s n) (TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) -> Type) (vs6989586621679113410 :: VSpace s n) = Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410

data VSpace a b Source #

Constructors

VSpace 

Fields

Instances

Instances details
NFData a => NFData1 (VSpace a) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

liftRnf :: (a0 -> ()) -> VSpace a a0 -> () #

Generic1 (VSpace a :: Type -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type Rep1 (VSpace a) :: k -> Type #

Methods

from1 :: forall (a0 :: k). VSpace a a0 -> Rep1 (VSpace a) a0 #

to1 :: forall (a0 :: k). Rep1 (VSpace a) a0 -> VSpace a a0 #

(Eq a, Eq b) => Eq (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

(==) :: VSpace a b -> VSpace a b -> Bool #

(/=) :: VSpace a b -> VSpace a b -> Bool #

(Ord a, Ord b) => Ord (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

compare :: VSpace a b -> VSpace a b -> Ordering #

(<) :: VSpace a b -> VSpace a b -> Bool #

(<=) :: VSpace a b -> VSpace a b -> Bool #

(>) :: VSpace a b -> VSpace a b -> Bool #

(>=) :: VSpace a b -> VSpace a b -> Bool #

max :: VSpace a b -> VSpace a b -> VSpace a b #

min :: VSpace a b -> VSpace a b -> VSpace a b #

(Show a, Show b) => Show (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

showsPrec :: Int -> VSpace a b -> ShowS #

show :: VSpace a b -> String #

showList :: [VSpace a b] -> ShowS #

Generic (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type Rep (VSpace a b) :: Type -> Type #

Methods

from :: VSpace a b -> Rep (VSpace a b) x #

to :: Rep (VSpace a b) x -> VSpace a b #

(NFData a, NFData b) => NFData (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

rnf :: VSpace a b -> () #

PShow (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol #

type Show_ arg :: Symbol #

type ShowList arg arg1 :: Symbol #

(SShow a, SShow b) => SShow (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sShowsPrec :: forall (t1 :: Nat) (t2 :: VSpace a b) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) #

sShow_ :: forall (t :: VSpace a b). Sing t -> Sing (Apply Show_Sym0 t) #

sShowList :: forall (t1 :: [VSpace a b]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) #

POrd (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type Compare arg arg1 :: Ordering #

type arg < arg1 :: Bool #

type arg <= arg1 :: Bool #

type arg > arg1 :: Bool #

type arg >= arg1 :: Bool #

type Max arg arg1 :: a #

type Min arg arg1 :: a #

(SOrd a, SOrd b) => SOrd (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sCompare :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) #

(%<) :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) #

(%<=) :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) #

(%>) :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) #

(%>=) :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) #

sMax :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) #

sMin :: forall (t1 :: VSpace a b) (t2 :: VSpace a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) #

(SEq a, SEq b) => SEq (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

(%==) :: forall (a0 :: VSpace a b) (b0 :: VSpace a b). Sing a0 -> Sing b0 -> Sing (a0 == b0) #

(%/=) :: forall (a0 :: VSpace a b) (b0 :: VSpace a b). Sing a0 -> Sing b0 -> Sing (a0 /= b0) #

PEq (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type x == y :: Bool #

type x /= y :: Bool #

(SDecide a, SDecide b) => SDecide (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

(%~) :: forall (a0 :: VSpace a b) (b0 :: VSpace a b). Sing a0 -> Sing b0 -> Decision (a0 :~: b0) #

(SingKind a, SingKind b) => SingKind (VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Associated Types

type Demote (VSpace a b) = (r :: Type) #

Methods

fromSing :: forall (a0 :: VSpace a b). Sing a0 -> Demote (VSpace a b) #

toSing :: Demote (VSpace a b) -> SomeSing (VSpace a b) #

SuppressUnusedWarnings DeltaRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings InjSym2ConRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings InjSym2CovRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings SurjSym2ConRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings SurjSym2CovRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings EpsilonRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings EpsilonInvRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings InjAreaConRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings InjAreaCovRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings SurjAreaConRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings SurjAreaCovRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI DeltaRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI InjSym2ConRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI InjSym2CovRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI SurjSym2ConRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI SurjSym2CovRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI EpsilonRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI EpsilonInvRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI InjAreaConRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI InjAreaCovRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI SurjAreaConRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SingI SurjAreaCovRankSym0 Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (DeltaRankSym1 a6989586621679574034 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjSym2ConRankSym1 a6989586621679573955 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjSym2CovRankSym1 a6989586621679573932 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjSym2ConRankSym1 a6989586621679573916 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjSym2CovRankSym1 a6989586621679573890 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (EpsilonRankSym1 a6989586621679574013 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (EpsilonInvRankSym1 a6989586621679573993 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaConRankSym1 a6989586621679573855 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaCovRankSym1 a6989586621679573829 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaConRankSym1 a6989586621679573803 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaCovRankSym1 a6989586621679573777 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (DeltaRankSym1 d) #

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

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (EpsilonRankSym1 d) #

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

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

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

Defined in Math.Tensor.Basic.TH

(SDecide a, SDecide b) => TestCoercion (SVSpace :: VSpace a b -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

testCoercion :: forall (a0 :: k) (b0 :: k). SVSpace a0 -> SVSpace b0 -> Maybe (Coercion a0 b0) #

(SDecide a, SDecide b) => TestEquality (SVSpace :: VSpace a b -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

testEquality :: forall (a0 :: k) (b0 :: k). SVSpace a0 -> SVSpace b0 -> Maybe (a0 :~: b0) #

SuppressUnusedWarnings (ContractRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (MergeRSym0 :: TyFun [(VSpace s n, IList s)] ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TailRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (HeadRSym0 :: TyFun [(VSpace s n, IList s)] (VSpace s n, Ix s) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (SaneSym0 :: TyFun [(VSpace a b, IList a)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (ShowsPrec_6989586621679117751Sym0 :: TyFun Nat (VSpace a b ~> (Symbol ~> Symbol)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (DeltaRankSym2 a6989586621679574034 a6989586621679574035 :: TyFun Symbol (Symbol ~> [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjSym2ConRankSym2 a6989586621679573955 a6989586621679573956 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjSym2CovRankSym2 a6989586621679573932 a6989586621679573933 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjSym2ConRankSym2 a6989586621679573916 a6989586621679573917 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjSym2CovRankSym2 a6989586621679573890 a6989586621679573891 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaConRankSym2 a6989586621679573855 a6989586621679573856 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaCovRankSym2 a6989586621679573829 a6989586621679573830 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaConRankSym2 a6989586621679573803 a6989586621679573804 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaCovRankSym2 a6989586621679573777 a6989586621679573778 :: TyFun Symbol (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (CanTransposeConSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeCovSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeSym0 :: TyFun (VSpace s n) (Ix s ~> (Ix s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113805Sym0 :: TyFun (VSpace s n) (IList s ~> ([(VSpace s n, IList s)] ~> (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])))))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (RelabelRSym0 :: TyFun (VSpace s n) (NonEmpty (s, s) ~> ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeMultSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym0 :: TyFun (VSpace s n) (TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (VDimSym0 :: TyFun (VSpace a b) b -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (VIdSym0 :: TyFun (VSpace a b) a -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Compare_6989586621679117768Sym0 :: TyFun (VSpace a b) (VSpace a b ~> Ordering) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (RemoveUntilSym0 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (VSpaceSym0 :: TyFun a (b ~> VSpace a b) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679573789RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573815RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573841RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573867RSym0 :: TyFun k1 (TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573965RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573942RSym0 :: TyFun k1 (TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (EpsilonRankSym2 a6989586621679574013 a6989586621679574014 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (EpsilonInvRankSym2 a6989586621679573993 a6989586621679573994 :: TyFun (NonEmpty Symbol) (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SOrd s => SingI (ContractRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n) => SingI (MergeRSym0 :: TyFun [(VSpace s n, IList s)] ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing MergeRSym0 #

SOrd s => SingI (TailRSym0 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing TailRSym0 #

SOrd s => SingI (HeadRSym0 :: TyFun [(VSpace s n, IList s)] (VSpace s n, Ix s) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing HeadRSym0 #

(SOrd a, SOrd b) => SingI (SaneSym0 :: TyFun [(VSpace a b, IList a)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing SaneSym0 #

SingI (LengthRSym0 :: TyFun [(VSpace s n, IList s)] N -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (DeltaRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2ConRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2CovRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2ConRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2CovRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaConRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaCovRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaConRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaCovRankSym2 d1 d2) #

(SOrd s, SOrd n) => SingI (RelabelRSym0 :: TyFun (VSpace s n) (NonEmpty (s, s) ~> ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n) => SingI (TranspositionsSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Maybe [(N, N)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n) => SingI (CanTransposeMultSym0 :: TyFun (VSpace s n) (TransRule s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n) => SingI (CanTransposeSym0 :: TyFun (VSpace s n) (Ix s ~> (Ix s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n) => SingI (CanTransposeCovSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n) => SingI (CanTransposeConSym0 :: TyFun (VSpace s n) (s ~> (s ~> ([(VSpace s n, IList s)] ~> Bool))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SingI (VIdSym0 :: TyFun (VSpace a b) a -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing VIdSym0 #

SingI (VDimSym0 :: TyFun (VSpace a b) b -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing VDimSym0 #

SOrd s => SingI (RemoveUntilSym0 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SingI (VSpaceSym0 :: TyFun a (b ~> VSpace a b) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing VSpaceSym0 #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (EpsilonRankSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (EpsilonInvRankSym2 d1 d2) #

SuppressUnusedWarnings (MergeRSym1 a6989586621679113791 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (RemoveUntilSym1 a6989586621679113432 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679573965RSym1 vid6989586621679573960 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573942RSym1 vid6989586621679573937 :: TyFun Nat (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (DeltaRankSym3 a6989586621679574034 a6989586621679574035 a6989586621679574036 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjSym2ConRankSym3 a6989586621679573955 a6989586621679573956 a6989586621679573957 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjSym2CovRankSym3 a6989586621679573932 a6989586621679573933 a6989586621679573934 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjSym2ConRankSym3 a6989586621679573916 a6989586621679573917 a6989586621679573918 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjSym2CovRankSym3 a6989586621679573890 a6989586621679573891 a6989586621679573892 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaConRankSym3 a6989586621679573855 a6989586621679573856 a6989586621679573857 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaCovRankSym3 a6989586621679573829 a6989586621679573830 a6989586621679573831 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaConRankSym3 a6989586621679573803 a6989586621679573804 a6989586621679573805 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaCovRankSym3 a6989586621679573777 a6989586621679573778 a6989586621679573779 :: TyFun Symbol (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (ShowsPrec_6989586621679117751Sym1 a6989586621679117759 :: TyFun (VSpace a b) (Symbol ~> Symbol) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Compare_6989586621679117768Sym1 a6989586621679117773 :: TyFun (VSpace a b) Ordering -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeSym1 a6989586621679113455 :: TyFun (Ix s) (Ix s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113436GoSym0 :: TyFun (Ix s) (TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113805Sym1 xv6989586621679113795 :: TyFun (IList s) ([(VSpace s n, IList s)] ~> (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)]))))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TranspositionsSym1 a6989586621679113361 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeMultSym1 a6989586621679113407 :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym1 vs6989586621679113410 :: TyFun (TransRule s) (TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (VSpaceSym1 a6989586621679112978 :: TyFun b (VSpace a b) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeConSym1 a6989586621679113537 :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeCovSym1 a6989586621679113482 :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679573789RSym1 vid6989586621679573783 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573815RSym1 vid6989586621679573809 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573841RSym1 vid6989586621679573835 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573867RSym1 vid6989586621679573861 :: TyFun a (TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (RelabelRSym1 a6989586621679113156 :: TyFun (NonEmpty (s, s)) ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SingI d) => SingI (RemoveUntilSym1 d :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (RemoveUntilSym1 d) #

(SOrd s, SOrd n, SingI d) => SingI (MergeRSym1 d :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (MergeRSym1 d) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (DeltaRankSym3 d1 d2 d3) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2ConRankSym3 d1 d2 d3) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2CovRankSym3 d1 d2 d3) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2ConRankSym3 d1 d2 d3) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2CovRankSym3 d1 d2 d3) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaConRankSym3 d1 d2 d3) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaCovRankSym3 d1 d2 d3) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaConRankSym3 d1 d2 d3) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaCovRankSym3 d1 d2 d3) #

(SOrd s, SOrd n, SingI d) => SingI (CanTransposeCovSym1 d :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n, SingI d) => SingI (CanTransposeConSym1 d :: TyFun s (s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n, SingI d) => SingI (CanTransposeSym1 d :: TyFun (Ix s) (Ix s ~> ([(VSpace s n, IList s)] ~> Bool)) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (CanTransposeSym1 d) #

(SOrd s, SOrd n, SingI d) => SingI (TranspositionsSym1 d :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

(SOrd s, SOrd n, SingI d) => SingI (CanTransposeMultSym1 d :: TyFun (TransRule s) ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SingI d => SingI (VSpaceSym1 d :: TyFun b (VSpace a b) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (VSpaceSym1 d) #

(SOrd s, SOrd n, SingI d) => SingI (RelabelRSym1 d :: TyFun (NonEmpty (s, s)) ([(VSpace s n, IList s)] ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (RelabelRSym1 d) #

SuppressUnusedWarnings (Lambda_6989586621679113805Sym2 xv6989586621679113795 xl6989586621679113796 :: TyFun [(VSpace s n, IList s)] (VSpace s n ~> (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (RelabelRSym2 a6989586621679113156 a6989586621679113157 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (TranspositionsSym2 a6989586621679113361 a6989586621679113362 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeMultSym2 a6989586621679113407 a6989586621679113408 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113413Scrutinee_6989586621679107344Sym2 vs6989586621679113410 tl6989586621679113411 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (InjSym2ConRankSym4 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjSym2CovRankSym4 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjSym2ConRankSym4 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjSym2CovRankSym4 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaConRankSym4 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaCovRankSym4 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaConRankSym4 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaCovRankSym4 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 :: TyFun Symbol (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (CanTransposeSym2 a6989586621679113455 a6989586621679113456 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeConSym2 a6989586621679113537 a6989586621679113538 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeCovSym2 a6989586621679113482 a6989586621679113483 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113436GoSym1 i6989586621679113434 :: TyFun k (TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679573789RSym2 vid6989586621679573783 a6989586621679573784 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573815RSym2 vid6989586621679573809 a6989586621679573810 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573841RSym2 vid6989586621679573835 a6989586621679573836 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573867RSym2 vid6989586621679573861 a6989586621679573862 :: TyFun a (TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573965RSym2 vid6989586621679573960 vdim6989586621679573961 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573942RSym2 vid6989586621679573937 vdim6989586621679573938 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

(SingI n1, SingI n2) => SingI ('VSpace n1 n2 :: VSpace a b) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing ('VSpace n1 n2) #

(SOrd s, SOrd n, SingI d1, SingI d2) => SingI (RelabelRSym2 d1 d2 :: TyFun [(VSpace s n, IList s)] (Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (RelabelRSym2 d1 d2) #

(SOrd s, SOrd n, SingI d1, SingI d2) => SingI (TranspositionsSym2 d1 d2 :: TyFun [(VSpace s n, IList s)] (Maybe [(N, N)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (TranspositionsSym2 d1 d2) #

(SOrd s, SOrd n, SingI d1, SingI d2) => SingI (CanTransposeMultSym2 d1 d2 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (CanTransposeMultSym2 d1 d2) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2ConRankSym4 d1 d2 d3 d4) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjSym2CovRankSym4 d1 d2 d3 d4) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2ConRankSym4 d1 d2 d3 d4) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjSym2CovRankSym4 d1 d2 d3 d4) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaConRankSym4 d1 d2 d3 d4) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (InjAreaCovRankSym4 d1 d2 d3 d4) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaConRankSym4 d1 d2 d3 d4) #

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

Defined in Math.Tensor.Basic.TH

Methods

sing :: Sing (SurjAreaCovRankSym4 d1 d2 d3 d4) #

(SOrd s, SOrd n, SingI d1, SingI d2) => SingI (CanTransposeCovSym2 d1 d2 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (CanTransposeCovSym2 d1 d2) #

(SOrd s, SOrd n, SingI d1, SingI d2) => SingI (CanTransposeConSym2 d1 d2 :: TyFun s ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (CanTransposeConSym2 d1 d2) #

(SOrd s, SOrd n, SingI d1, SingI d2) => SingI (CanTransposeSym2 d1 d2 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> Bool) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (CanTransposeSym2 d1 d2) #

SuppressUnusedWarnings (CanTransposeConSym3 a6989586621679113537 a6989586621679113538 a6989586621679113539 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeCovSym3 a6989586621679113482 a6989586621679113483 a6989586621679113484 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (CanTransposeSym3 a6989586621679113455 a6989586621679113456 a6989586621679113457 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (InjAreaConRankSym5 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (InjAreaCovRankSym5 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaConRankSym5 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (SurjAreaCovRankSym5 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Lambda_6989586621679113805Sym3 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 :: TyFun (VSpace s n) (IList s ~> ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)]))) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679113436GoSym2 i6989586621679113434 r6989586621679113435 :: TyFun (Ix s) ([(VSpace s n, IList s)] ~> [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679573789RSym3 vid6989586621679573783 a6989586621679573784 b6989586621679573785 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573815RSym3 vid6989586621679573809 a6989586621679573810 b6989586621679573811 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573841RSym3 vid6989586621679573835 a6989586621679573836 b6989586621679573837 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573867RSym3 vid6989586621679573861 a6989586621679573862 b6989586621679573863 :: TyFun a (TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573965RSym3 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573942RSym3 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

(SOrd s, SOrd n, SingI d1, SingI d2, SingI d3) => SingI (CanTransposeSym3 d1 d2 d3 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (CanTransposeSym3 d1 d2 d3) #

(SOrd s, SOrd n, SingI d1, SingI d2, SingI d3) => SingI (CanTransposeCovSym3 d1 d2 d3 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (CanTransposeCovSym3 d1 d2 d3) #

(SOrd s, SOrd n, SingI d1, SingI d2, SingI d3) => SingI (CanTransposeConSym3 d1 d2 d3 :: TyFun [(VSpace s n, IList s)] Bool -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

Methods

sing :: Sing (CanTransposeConSym3 d1 d2 d3) #

(SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (InjAreaConRankSym5 d1 d2 d3 d4 d5 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

Methods

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

(SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (InjAreaCovRankSym5 d1 d2 d3 d4 d5 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

Methods

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

(SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (SurjAreaConRankSym5 d1 d2 d3 d4 d5 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

Methods

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

(SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (SurjAreaCovRankSym5 d1 d2 d3 d4 d5 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

Methods

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

SuppressUnusedWarnings (Let6989586621679113436GoSym3 i6989586621679113434 r6989586621679113435 a6989586621679113437 :: TyFun [(VSpace s n, IList s)] [(VSpace s n, IList s)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Lambda_6989586621679113805Sym4 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 :: TyFun (IList s) ([(VSpace s n, IList s)] ~> (IList s ~> Maybe [(VSpace s n, IList s)])) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679573789RSym4 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573815RSym4 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573841RSym4 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573867RSym4 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 :: TyFun a (TyFun a [(VSpace k1 Nat, IList a)] -> Type) -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573965RSym4 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573942RSym4 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Lambda_6989586621679113805Sym5 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 :: TyFun [(VSpace s n, IList s)] (IList s ~> Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

SuppressUnusedWarnings (Let6989586621679573789RSym5 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573815RSym5 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573841RSym5 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Let6989586621679573867RSym5 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

SuppressUnusedWarnings (Lambda_6989586621679113805Sym6 xv6989586621679113795 xl6989586621679113796 xs6989586621679113797 yv6989586621679113798 yl6989586621679113799 ys6989586621679113800 :: TyFun (IList s) (Maybe [(VSpace s n, IList s)]) -> Type) Source # 
Instance details

Defined in Math.Tensor.Safe.TH

type Apply (DeltaRankSym3 a6989586621679574034 a6989586621679574035 a6989586621679574036 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) (a6989586621679574037 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (DeltaRankSym3 a6989586621679574034 a6989586621679574035 a6989586621679574036 :: TyFun Symbol [(VSpace Symbol Nat, IList Symbol)] -> Type) (a6989586621679574037 :: Symbol) = DeltaRankSym4 a6989586621679574034 a6989586621679574035 a6989586621679574036 a6989586621679574037
type Apply (InjSym2ConRankSym4 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573959 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2ConRankSym4 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573959 :: Symbol) = InjSym2ConRankSym5 a6989586621679573955 a6989586621679573956 a6989586621679573957 a6989586621679573958 a6989586621679573959
type Apply (InjSym2CovRankSym4 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573936 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2CovRankSym4 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573936 :: Symbol) = InjSym2CovRankSym5 a6989586621679573932 a6989586621679573933 a6989586621679573934 a6989586621679573935 a6989586621679573936
type Apply (SurjSym2ConRankSym4 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573920 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2ConRankSym4 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573920 :: Symbol) = SurjSym2ConRankSym5 a6989586621679573916 a6989586621679573917 a6989586621679573918 a6989586621679573919 a6989586621679573920
type Apply (SurjSym2CovRankSym4 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573894 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2CovRankSym4 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573894 :: Symbol) = SurjSym2CovRankSym5 a6989586621679573890 a6989586621679573891 a6989586621679573892 a6989586621679573893 a6989586621679573894
type Apply (InjAreaConRankSym5 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573860 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaConRankSym5 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573860 :: Symbol) = InjAreaConRankSym6 a6989586621679573855 a6989586621679573856 a6989586621679573857 a6989586621679573858 a6989586621679573859 a6989586621679573860
type Apply (InjAreaCovRankSym5 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573834 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (InjAreaCovRankSym5 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573834 :: Symbol) = InjAreaCovRankSym6 a6989586621679573829 a6989586621679573830 a6989586621679573831 a6989586621679573832 a6989586621679573833 a6989586621679573834
type Apply (SurjAreaConRankSym5 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573808 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaConRankSym5 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573808 :: Symbol) = SurjAreaConRankSym6 a6989586621679573803 a6989586621679573804 a6989586621679573805 a6989586621679573806 a6989586621679573807 a6989586621679573808
type Apply (SurjAreaCovRankSym5 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573782 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (SurjAreaCovRankSym5 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 :: TyFun Symbol (Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573782 :: Symbol) = SurjAreaCovRankSym6 a6989586621679573777 a6989586621679573778 a6989586621679573779 a6989586621679573780 a6989586621679573781 a6989586621679573782
type Apply (Let6989586621679573965RSym4 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573964 :: a) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679573965RSym4 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573964 :: a) = Let6989586621679573965RSym5 vid6989586621679573960 vdim6989586621679573961 a6989586621679573962 b6989586621679573963 i6989586621679573964
type Apply (Let6989586621679573942RSym4 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573941 :: a) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679573942RSym4 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573941 :: a) = Let6989586621679573942RSym5 vid6989586621679573937 vdim6989586621679573938 a6989586621679573939 b6989586621679573940 i6989586621679573941
type Apply (Let6989586621679573789RSym5 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573788 :: a) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679573789RSym5 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573788 :: a) = Let6989586621679573789RSym6 vid6989586621679573783 a6989586621679573784 b6989586621679573785 c6989586621679573786 d6989586621679573787 i6989586621679573788
type Apply (Let6989586621679573815RSym5 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573814 :: a) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679573815RSym5 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573814 :: a) = Let6989586621679573815RSym6 vid6989586621679573809 a6989586621679573810 b6989586621679573811 c6989586621679573812 d6989586621679573813 i6989586621679573814
type Apply (Let6989586621679573841RSym5 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573840 :: a) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679573841RSym5 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573840 :: a) = Let6989586621679573841RSym6 vid6989586621679573835 a6989586621679573836 b6989586621679573837 c6989586621679573838 d6989586621679573839 i6989586621679573840
type Apply (Let6989586621679573867RSym5 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573866 :: a) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (Let6989586621679573867RSym5 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 :: TyFun a [(VSpace k1 Nat, IList a)] -> Type) (i6989586621679573866 :: a) = Let6989586621679573867RSym6 vid6989586621679573861 a6989586621679573862 b6989586621679573863 c6989586621679573864 d6989586621679573865 i6989586621679573866
type Apply DeltaRankSym0 (a6989586621679574034 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply DeltaRankSym0 (a6989586621679574034 :: Symbol) = DeltaRankSym1 a6989586621679574034
type Apply InjSym2ConRankSym0 (a6989586621679573955 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply InjSym2ConRankSym0 (a6989586621679573955 :: Symbol) = InjSym2ConRankSym1 a6989586621679573955
type Apply InjSym2CovRankSym0 (a6989586621679573932 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply InjSym2CovRankSym0 (a6989586621679573932 :: Symbol) = InjSym2CovRankSym1 a6989586621679573932
type Apply SurjSym2ConRankSym0 (a6989586621679573916 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply SurjSym2ConRankSym0 (a6989586621679573916 :: Symbol) = SurjSym2ConRankSym1 a6989586621679573916
type Apply SurjSym2CovRankSym0 (a6989586621679573890 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply SurjSym2CovRankSym0 (a6989586621679573890 :: Symbol) = SurjSym2CovRankSym1 a6989586621679573890
type Apply EpsilonRankSym0 (a6989586621679574013 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply EpsilonRankSym0 (a6989586621679574013 :: Symbol) = EpsilonRankSym1 a6989586621679574013
type Apply EpsilonInvRankSym0 (a6989586621679573993 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply EpsilonInvRankSym0 (a6989586621679573993 :: Symbol) = EpsilonInvRankSym1 a6989586621679573993
type Apply InjAreaConRankSym0 (a6989586621679573855 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply InjAreaConRankSym0 (a6989586621679573855 :: Symbol) = InjAreaConRankSym1 a6989586621679573855
type Apply InjAreaCovRankSym0 (a6989586621679573829 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply InjAreaCovRankSym0 (a6989586621679573829 :: Symbol) = InjAreaCovRankSym1 a6989586621679573829
type Apply SurjAreaConRankSym0 (a6989586621679573803 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply SurjAreaConRankSym0 (a6989586621679573803 :: Symbol) = SurjAreaConRankSym1 a6989586621679573803
type Apply SurjAreaCovRankSym0 (a6989586621679573777 :: Symbol) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply SurjAreaCovRankSym0 (a6989586621679573777 :: Symbol) = SurjAreaCovRankSym1 a6989586621679573777
type Apply (DeltaRankSym1 a6989586621679574034 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679574035 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (DeltaRankSym1 a6989586621679574034 :: TyFun Nat (Symbol ~> (Symbol ~> [(VSpace Symbol Nat, IList Symbol)])) -> Type) (a6989586621679574035 :: Nat) = DeltaRankSym2 a6989586621679574034 a6989586621679574035
type Apply (InjSym2ConRankSym1 a6989586621679573955 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573956 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2ConRankSym1 a6989586621679573955 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573956 :: Nat) = InjSym2ConRankSym2 a6989586621679573955 a6989586621679573956
type Apply (InjSym2CovRankSym1 a6989586621679573932 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573933 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (InjSym2CovRankSym1 a6989586621679573932 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573933 :: Nat) = InjSym2CovRankSym2 a6989586621679573932 a6989586621679573933
type Apply (SurjSym2ConRankSym1 a6989586621679573916 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573917 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2ConRankSym1 a6989586621679573916 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573917 :: Nat) = SurjSym2ConRankSym2 a6989586621679573916 a6989586621679573917
type Apply (SurjSym2CovRankSym1 a6989586621679573890 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573891 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (SurjSym2CovRankSym1 a6989586621679573890 :: TyFun Nat (Symbol ~> (Symbol ~> (Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]))) -> Type) (a6989586621679573891 :: Nat) = SurjSym2CovRankSym2 a6989586621679573890 a6989586621679573891
type Apply (EpsilonRankSym1 a6989586621679574013 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679574014 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (EpsilonRankSym1 a6989586621679574013 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679574014 :: Nat) = EpsilonRankSym2 a6989586621679574013 a6989586621679574014
type Apply (EpsilonInvRankSym1 a6989586621679573993 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573994 :: Nat) Source # 
Instance details

Defined in Math.Tensor.Basic.TH

type Apply (EpsilonInvRankSym1 a6989586621679573993 :: TyFun Nat (NonEmpty Symbol ~> Maybe [(VSpace Symbol Nat, IList Symbol)]) -> Type) (a6989586621679573994 :: Nat) = EpsilonInvRankSym2 a6989586621679573993 a6989586621679573994
type Apply (InjAreaConRankSym1 a6989586621679573855 :: TyFun Symbol (Symbol ~> (