MathFlow.Core

type family IsSubSamp (f :: [Nat]) (m :: [Nat]) (n :: [Nat]) :: Bool where ...

type family IsMatMul (m :: [Nat]) (o :: [Nat]) (n :: [Nat]) :: Bool where ...

type family IsConcat (m :: [Nat]) (o :: [Nat]) (n :: [Nat]) :: Bool where ...

type family IsSameProduct (m :: [Nat]) (n :: [Nat]) :: Bool where ...

data Tensor n t a

(<+>)

class Dimension a

toValue

(%*)

(<--)

class FromTensor a