tensor-0.3.0: A completely type-safe library for linear algebra

Safe HaskellSafe-Inferred

Data.Tensor.Pure

Documentation

data family Tensor is e Source

type Vector i = Tensor (i :|: Nil)Source

type Matrix i j = Tensor (i :|: (j :|: Nil))Source

module Data.Tensor

module Data.TypeList.MultiIndex