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

Data.TypeAlgebra

Synopsis

class Sum a b whereSource

Sum of types.

Associated Types

type a :+: b Source

Methods

(<+>) :: a -> b -> a :+: bSource

The sum of an element of a and an element of b is an element in the type a :+: b.

a

b

a :+: b

:+:

Instances

class Prod a b whereSource

Product of types.

type a :*: b Source

(<*>) :: a -> b -> a :*: bSource

The product of an element of a and an element of b is an element in the type a :*: b.

a :*: b

:*: