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

Portabilitynon-portable
Stabilityexperimental
MaintainerNicola Squartini <tensor5@gmail.com>
Safe HaskellSafe-Inferred

Data.Tensor.Pure

Description

Implementation of Tensor data type that uses recursively defined type families.

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