tensor-0.3.0.1: A completely type-safe library for linear algebra
Data.TypeAlgebra
Description
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
:*: