Numeric.Tensor

Documentation

data Dim ds

Constructors

Dim

class Dimensions ds where

Minimal complete definition

dims

Methods

dims :: Dim ds -> [Int]

Instances

Dimensions ([] Nat)

Methods

dims :: Dim [Nat] -> [Int]

(KnownNat d, Dimensions ds) => Dimensions ((:) Nat d ds)

Methods

dims :: Dim ((Nat ': d) ds) -> [Int]

headDim :: Dim (d ': ds) -> Proxy d

tailDim :: Dim (d ': ds) -> Dim ds

printCrazy :: Dimensions d => Dim d -> String

contraDimsType :: Tensor t n m -> Dim n

coDimsType :: Tensor t n m -> Dim m

contraDims :: Dimensions n => Tensor t n m -> [Int]

coDims :: Dimensions m => Tensor t n m -> [Int]

type Vec2 = Tensor Double '[2] '[]

vec2 :: Double -> Double -> Vec2

class TensorCalculus t ns ms

Associated Types

data Tensor t ns ms

type TensorStore t ns ms

Instances

TensorCalculus t ([] Nat) ([] Nat)

Associated Types

data Tensor t ([] Nat :: [Nat]) ([] Nat :: [Nat]) :: *

type TensorStore t ([] Nat :: [Nat]) ([] Nat :: [Nat]) :: *

TensorCalculus t ([] Nat) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)))

Associated Types

data Tensor t ([] Nat :: [Nat]) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)) :: [Nat]) :: *

type TensorStore t ([] Nat :: [Nat]) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)) :: [Nat]) :: *

TensorCalculus t ([] Nat) ((:) Nat m1 ((:) Nat m2 ([] Nat)))

Associated Types

data Tensor t ([] Nat :: [Nat]) ((:) Nat m1 ((:) Nat m2 ([] Nat)) :: [Nat]) :: *

type TensorStore t ([] Nat :: [Nat]) ((:) Nat m1 ((:) Nat m2 ([] Nat)) :: [Nat]) :: *

TensorCalculus t ([] Nat) ((:) Nat m ([] Nat))

Associated Types

data Tensor t ([] Nat :: [Nat]) ((:) Nat m ([] Nat) :: [Nat]) :: *

type TensorStore t ([] Nat :: [Nat]) ((:) Nat m ([] Nat) :: [Nat]) :: *

TensorCalculus t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns))) ([] Nat)

Associated Types

data Tensor t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns)) :: [Nat]) ([] Nat :: [Nat]) :: *

type TensorStore t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns)) :: [Nat]) ([] Nat :: [Nat]) :: *

TensorCalculus t ((:) Nat n1 ((:) Nat n2 ([] Nat))) ([] Nat)

Associated Types

data Tensor t ((:) Nat n1 ((:) Nat n2 ([] Nat)) :: [Nat]) ([] Nat :: [Nat]) :: *

type TensorStore t ((:) Nat n1 ((:) Nat n2 ([] Nat)) :: [Nat]) ([] Nat :: [Nat]) :: *

TensorCalculus t ((:) Nat n ([] Nat)) ([] Nat)

Associated Types

data Tensor t ((:) Nat n ([] Nat) :: [Nat]) ([] Nat :: [Nat]) :: *

type TensorStore t ((:) Nat n ([] Nat) :: [Nat]) ([] Nat :: [Nat]) :: *

TensorCalculus t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns))) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)))

Associated Types

data Tensor t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns)) :: [Nat]) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)) :: [Nat]) :: *

type TensorStore t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns)) :: [Nat]) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)) :: [Nat]) :: *

TensorCalculus t ((:) Nat n1 ((:) Nat n2 ([] Nat))) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)))

Associated Types

data Tensor t ((:) Nat n1 ((:) Nat n2 ([] Nat)) :: [Nat]) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)) :: [Nat]) :: *

type TensorStore t ((:) Nat n1 ((:) Nat n2 ([] Nat)) :: [Nat]) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)) :: [Nat]) :: *

TensorCalculus t ((:) Nat n1 ([] Nat)) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)))

Associated Types

data Tensor t ((:) Nat n1 ([] Nat) :: [Nat]) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)) :: [Nat]) :: *

type TensorStore t ((:) Nat n1 ([] Nat) :: [Nat]) ((:) Nat m1 ((:) Nat m2 ((:) Nat m3 ms)) :: [Nat]) :: *

TensorCalculus t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns))) ((:) Nat m0 ((:) Nat m1 ([] Nat)))

Associated Types

data Tensor t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns)) :: [Nat]) ((:) Nat m0 ((:) Nat m1 ([] Nat)) :: [Nat]) :: *

type TensorStore t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns)) :: [Nat]) ((:) Nat m0 ((:) Nat m1 ([] Nat)) :: [Nat]) :: *

TensorCalculus t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns))) ((:) Nat m0 ([] Nat))

Associated Types

data Tensor t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns)) :: [Nat]) ((:) Nat m0 ([] Nat) :: [Nat]) :: *

type TensorStore t ((:) Nat n1 ((:) Nat n2 ((:) Nat n3 ns)) :: [Nat]) ((:) Nat m0 ([] Nat) :: [Nat]) :: *

TensorCalculus t ((:) Nat n ([] Nat)) ((:) Nat m ([] Nat))

Associated Types

data Tensor t ((:) Nat n ([] Nat) :: [Nat]) ((:) Nat m ([] Nat) :: [Nat]) :: *

type TensorStore t ((:) Nat n ([] Nat) :: [Nat]) ((:) Nat m ([] Nat) :: [Nat]) :: *

class Plus a where

Minimal complete definition

plus

Methods

plus :: a -> a -> a

Instances

Num t => Plus (Vector4 t)

Methods

plus :: Vector4 t -> Vector4 t -> Vector4 t

Num t => Plus (Vector3 t)

Methods

plus :: Vector3 t -> Vector3 t -> Vector3 t

Num t => Plus (Vector2 t)

Methods

plus :: Vector2 t -> Vector2 t -> Vector2 t

Num t => Plus (Vector1 t)

Methods

plus :: Vector1 t -> Vector1 t -> Vector1 t

Num t => Plus (VectorN t n)

Methods

plus :: VectorN t n -> VectorN t n -> VectorN t n

Plus (SomeVector t m) => Plus (Tensor t ([] Nat) ((:) Nat m ([] Nat)))

Methods

plus :: Tensor t [Nat] ((Nat ': m) [Nat]) -> Tensor t [Nat] ((Nat ': m) [Nat]) -> Tensor t [Nat] ((Nat ': m) [Nat])

Plus (SomeVector t n) => Plus (Tensor t ((:) Nat n ([] Nat)) ([] Nat))

Methods

plus :: Tensor t ((Nat ': n) [Nat]) [Nat] -> Tensor t ((Nat ': n) [Nat]) [Nat] -> Tensor t ((Nat ': n) [Nat]) [Nat]

newtype Vector1 t

Constructors

Vector1 t

Instances

Show t => Show (Vector1 t)

Methods

showsPrec :: Int -> Vector1 t -> ShowS

show :: Vector1 t -> String

showList :: [Vector1 t] -> ShowS

Num t => Plus (Vector1 t)

Methods

plus :: Vector1 t -> Vector1 t -> Vector1 t

data Vector2 t

Constructors

Vector2 t t

Instances

AppendDim t (Vector2 t) (Vector3 t)

Methods

appendDim :: t -> Vector2 t -> Vector3 t

Show t => Show (Vector2 t)

Methods

showsPrec :: Int -> Vector2 t -> ShowS

show :: Vector2 t -> String

showList :: [Vector2 t] -> ShowS

Num t => Plus (Vector2 t)

Methods

plus :: Vector2 t -> Vector2 t -> Vector2 t

data Vector3 t

Constructors

Vector3 t t t

Instances

AppendDim t (Vector3 t) (Vector4 t)

Methods

appendDim :: t -> Vector3 t -> Vector4 t

AppendDim t (Vector2 t) (Vector3 t)

Methods

appendDim :: t -> Vector2 t -> Vector3 t

Show t => Show (Vector3 t)

Methods

showsPrec :: Int -> Vector3 t -> ShowS

show :: Vector3 t -> String

showList :: [Vector3 t] -> ShowS

Num t => Plus (Vector3 t)

Methods

plus :: Vector3 t -> Vector3 t -> Vector3 t

data Vector4 t

Constructors

Vector4 t t t t

Instances

AppendDim t (Vector3 t) (Vector4 t)

Methods

appendDim :: t -> Vector3 t -> Vector4 t

AppendDim t (Vector4 t) (VectorN t 5)

Methods

appendDim :: t -> Vector4 t -> VectorN t 5

Show t => Show (Vector4 t)

Methods

showsPrec :: Int -> Vector4 t -> ShowS

show :: Vector4 t -> String

showList :: [Vector4 t] -> ShowS

Num t => Plus (Vector4 t)

Methods

plus :: Vector4 t -> Vector4 t -> Vector4 t

newtype VectorN t n

Constructors

VectorN [t]

Instances

AppendDim t (Vector4 t) (VectorN t 5)

Methods

appendDim :: t -> Vector4 t -> VectorN t 5

((~) Nat m ((+) n 1), (<=) 5 m, (<=) 4 n) => AppendDim t (VectorN t n) (VectorN t m)

Methods

appendDim :: t -> VectorN t n -> VectorN t m

Show t => Show (VectorN t n)

Methods

showsPrec :: Int -> VectorN t n -> ShowS

show :: VectorN t n -> String

showList :: [VectorN t n] -> ShowS

Num t => Plus (VectorN t n)

Methods

plus :: VectorN t n -> VectorN t n -> VectorN t n

newtype Matrix1x1 t

Constructors

Matrix1x1 t

Instances

Show t => Show (Matrix1x1 t)

Methods

showsPrec :: Int -> Matrix1x1 t -> ShowS

show :: Matrix1x1 t -> String

showList :: [Matrix1x1 t] -> ShowS

data Matrix2x2 t

Constructors

Matrix2x2 t t t t

Instances

Show t => Show (Matrix2x2 t)

Methods

showsPrec :: Int -> Matrix2x2 t -> ShowS

show :: Matrix2x2 t -> String

showList :: [Matrix2x2 t] -> ShowS

newtype MatrixNxM t n m

Constructors

MatrixNxM [[t]]

Instances

Show t => Show (MatrixNxM t n m)

Methods

showsPrec :: Int -> MatrixNxM t n m -> ShowS

show :: MatrixNxM t n m -> String

showList :: [MatrixNxM t n m] -> ShowS

data NDArray t

Constructors

NDArray ByteArray#

Instances

Show (NDArray t)

Methods

showsPrec :: Int -> NDArray t -> ShowS

show :: NDArray t -> String

showList :: [NDArray t] -> ShowS

type family SomeVector t (n :: Nat) = v | v -> t n where ...

Equations

SomeVector t 1 = Vector1 t

SomeVector t 2 = Vector2 t

SomeVector t 3 = Vector3 t

SomeVector t 4 = Vector4 t

SomeVector t n = VectorN t n

type family SomeMatrix t (n :: Nat) (m :: Nat) = v | v -> t n m where ...

Equations

SomeMatrix t 1 1 = Matrix1x1 t

SomeMatrix t 2 2 = Matrix2x2 t

SomeMatrix t n m = MatrixNxM t n m

class AppendDim a b c | a b -> c where

Minimal complete definition

appendDim

Methods

appendDim :: a -> b -> c

Instances

AppendDim t (Vector3 t) (Vector4 t)

Methods

appendDim :: t -> Vector3 t -> Vector4 t

AppendDim t (Vector2 t) (Vector3 t)

Methods

appendDim :: t -> Vector2 t -> Vector3 t

AppendDim t (Vector4 t) (VectorN t 5)

Methods

appendDim :: t -> Vector4 t -> VectorN t 5

((~) Nat m ((+) n 1), (<=) 5 m, (<=) 4 n) => AppendDim t (VectorN t n) (VectorN t m)

Methods

appendDim :: t -> VectorN t n -> VectorN t m